Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
Fun-sCOP hybrid+ManyGlucose (2019-06-15) | SAT | 385.235 | 295.936 |
Name | RoomMate/ RoomMate-int-s1/RoomMate-sr0700d-int.xml |
MD5SUM | 95bc0b66e49d41fb88ec1889e7409155 |
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 | 176.644 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 700 |
Number of constraints | 978600 |
Number of domains | 1 |
Minimum domain size | 699 |
Maximum domain size | 699 |
Distribution of domain sizes | [{"size":699,"count":700}] |
Minimum variable degree | 2796 |
Maximum variable degree | 2796 |
Distribution of variable degrees | [{"degree":2796,"count":700}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 2 |
Distribution of constraint arities | [{"arity":2,"count":978600}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 978600 |
Distribution of constraint types | [{"type":"intension","count":978600}] |
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-18749-serial-file.bin HOME/instance-4392628-1568427841.xml 0.65/0.54 0.65/0.54 Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15) 0.65/0.54 0.65/0.56 c BEGIN-Prog: Sat Sep 14 04:23:23 CEST 2019 0.65/0.56 c PID: 18752 0.65/0.56 c IP: 172.20.3.151 0.65/0.56 c HOST: node151.alineos.net 0.65/0.57 c (0,0) Parsing Begin 73.52/49.64 c (49,46) Parsing End 73.52/49.65 c (49,46) CSP: 700 int (0 aux), 0 bool (0 aux), 978600 ctr, max domain size 699 73.52/49.65 c (49,46) Heap : 6409 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB) 73.52/49.65 c (49,46) Constraint Name Generate Begin 82.26/52.84 c (52,49) Ctr:HOME/instance-4392628-1568427841.xml,Eq:Imp:Le:Num:Var 82.26/52.84 c (52,49) Constraint Name Generate End 82.26/52.84 c (52,49) Heap : 1777 MiB used (max 20654 MiB), NonHeap : 25 MiB used (max 0 MiB) 82.26/52.84 c (52,49) CSP to CSPinCNF Begin 86.55/56.13 c (55,52) translated 97860 (10%) constraints 89.38/58.99 c (58,55) translated 195720 (20%) constraints 92.34/61.85 c (61,58) translated 293580 (30%) constraints 95.24/64.71 c (64,60) translated 391440 (40%) constraints 98.04/67.56 c (67,63) translated 489300 (50%) constraints 107.42/71.26 c (70,66) translated 587160 (60%) constraints 110.33/74.17 c (73,69) translated 685020 (70%) constraints 113.23/77.05 c (76,72) translated 782880 (80%) constraints 116.12/79.93 c (79,75) translated 880740 (90%) constraints 119.08/82.81 c (82,78) translated 978600 (100%) constraints 119.08/82.81 c (82,78) =========================================== 119.33/83.01 c (82,78) Hybrid: #OE=700, #LE=0 119.33/83.01 c (82,78) Hybrid 119.33/83.01 c (82,78) =========================================== 121.32/84.46 c (83,79) translated 97860 (10%) constraints 122.72/85.88 c (85,81) translated 195720 (20%) constraints 124.16/87.28 c (86,82) translated 293580 (30%) constraints 125.56/88.69 c (88,84) translated 391440 (40%) constraints 126.97/90.08 c (89,85) translated 489300 (50%) constraints 140.14/97.30 c (96,91) translated 587160 (60%) constraints 146.58/103.62 c (103,98) translated 685020 (70%) constraints 159.84/110.94 c (110,104) translated 782880 (80%) constraints 166.14/117.22 c (116,110) translated 880740 (90%) constraints 183.04/125.08 c (124,117) translated 978600 (100%) constraints 183.04/125.08 c (124,117) CSP to CSPinCNF End 183.24/125.22 c (124,117) CSP: 700 int (0 aux), 489300 bool (489300 aux), 1957200 ctr, max domain size 699 183.24/125.22 c (124,117) Heap : 5185 MiB used (max 21139 MiB), NonHeap : 25 MiB used (max 0 MiB) 183.24/125.22 c (124,117) CSPinCNF Propagation Begin 376.51/290.60 c (290,279) 838502 values, 1267429 unsatisfiable literals, and 1737973 valid clauses are removed 376.51/290.60 c (290,279) CSPinCNF Propagation End 376.70/290.76 c (290,279) CSP: 684 int (0 aux), 489316 bool (489300 aux), 219227 ctr, max domain size 683 376.70/290.76 c (290,279) Heap : 5620 MiB used (max 21018 MiB), NonHeap : 26 MiB used (max 0 MiB) 376.82/290.85 c (290,279) Hybrid: #OE=490000, #LE=0 376.82/290.85 c (290,279) Simplify CSPinCNF Begin 377.46/291.22 c (290,279) Simplify CSPinCNF End 377.55/291.38 c (290,279) CSP: 684 int (0 aux), 489316 bool (489300 aux), 219227 ctr, max domain size 683 377.55/291.38 c (290,279) Heap : 5799 MiB used (max 21018 MiB), NonHeap : 26 MiB used (max 0 MiB) 377.55/291.38 c (290,279) Calculate Precise Domain Begin 377.55/291.39 c (290,279) 0 values are removed by re-calculation 377.55/291.39 c (290,279) Calculate Precise Domain End 377.75/291.55 c (291,280) CSP: 684 int (0 aux), 489316 bool (489300 aux), 219227 ctr, max domain size 683 377.75/291.55 c (291,280) Heap : 5799 MiB used (max 21018 MiB), NonHeap : 26 MiB used (max 0 MiB) 377.75/291.55 c (291,280) CSPinCNF to SatSolver Begin 380.30/292.53 c (291,281) 21923 (10 %) CSP clauses are encoded (0 SAT variables, 90619 SAT clauses) 380.43/292.68 c (292,281) 43846 (20 %) CSP clauses are encoded (0 SAT variables, 112542 SAT clauses) 380.66/292.82 c (292,281) 65769 (30 %) CSP clauses are encoded (0 SAT variables, 134465 SAT clauses) 380.76/292.95 c (292,281) 87691 (40 %) CSP clauses are encoded (0 SAT variables, 156387 SAT clauses) 380.87/293.09 c (292,281) 109614 (50 %) CSP clauses are encoded (0 SAT variables, 178310 SAT clauses) 381.06/293.22 c (292,281) 131537 (60 %) CSP clauses are encoded (0 SAT variables, 200233 SAT clauses) 381.16/293.35 c (292,281) 153459 (70 %) CSP clauses are encoded (0 SAT variables, 222155 SAT clauses) 381.26/293.49 c (292,282) 175382 (80 %) CSP clauses are encoded (0 SAT variables, 244078 SAT clauses) 381.46/293.62 c (293,282) 197305 (90 %) CSP clauses are encoded (0 SAT variables, 266001 SAT clauses) 381.55/293.75 c (293,282) 219227 (100 %) CSP clauses are encoded (0 SAT variables, 287923 SAT clauses) 381.55/293.75 c (293,282) CSPinCNF to SatSolver End 381.55/293.75 c (293,282) Heap : 7685 MiB used (max 21018 MiB), NonHeap : 29 MiB used (max 0 MiB) 381.55/293.75 c (293,282) 139398 bool, 287924 clause 381.55/293.75 c (293,282) Export Begin 381.70/293.88 c (293,282) Export to HOME/scop-18749-serial-file.bin 381.70/293.88 c (293,282) Export End 381.70/293.88 c (293,282) Export File Size: 0.11 MB 381.70/293.88 c (293,282) 49,52,124,290,290,291,293,STOP-AFTER(DIMACS) 381.70/293.88 c END-Prog: Sat Sep 14 04:28:16 CEST 2019 0.00/293.94 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-18749-serial-file.bin 382.56/294.41 c (0,0) Read Serial File Begin 382.56/294.41 c (0,0) HOME/scop-18749-serial-file.bin 382.85/294.66 c (0,0) Read Serial File End 382.85/294.67 382.85/294.67 Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15) 382.85/294.67 (Solving Process) 382.85/294.67 382.85/294.69 c BEGIN-Prog: Sat Sep 14 04:28:17 CEST 2019 382.85/294.69 c PID: 18793 382.85/294.69 c IP: 172.20.3.151 382.85/294.69 c HOST: node151.alineos.net 383.15/294.70 c (0,0) SatSolver.solve Begin 383.15/294.70 c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392628-1568427841.xml-scop-18752.cnf 383.15/294.72 c (0,0) c 383.15/294.72 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) 383.15/294.72 c (0,0) c 383.15/294.72 c (0,0) c WARNING: for repeatability, setting FPU to use double precision 383.15/294.72 c (0,0) c 8 solvers engines and 1 companion as a blackboard created. 383.15/294.72 c (0,0) c ========================================[ Problem Statistics ]=========================================== 383.15/294.72 c (0,0) c | | 383.34/294.88 c (0,0) c | Number of variables: 139398 | 383.34/294.88 c (0,0) c | Number of clauses: 287924 | 383.34/294.88 c (0,0) c | Parse time: 0.14 s | 383.34/294.88 c (0,0) c | | 383.81/295.26 c (0,0) c | Simplification time: 0.37 s | 383.81/295.26 c (0,0) c | | 383.81/295.26 c (0,0) c | Generating clones | 384.11/295.54 c (1,0) c | all clones generated. Memory = 335.18Mb. | 384.11/295.54 c (1,0) c ========================================================================================================| 384.11/295.54 c (1,0) c 384.11/295.54 c (1,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 384.11/295.54 c (1,0) c 384.11/295.54 c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 384.11/295.54 c (1,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 384.11/295.54 c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 384.11/295.54 c (1,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 384.11/295.54 c (1,0) c | adaptStrategeis | True | False | True | False | True | False | True | False | 384.11/295.54 c (1,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 384.11/295.54 c (1,0) c | Initial random_seed | 91648253 | 91648254 | 91648255 | 91648256 | 91648257 | 91648258 | 91648259 | 91648260 | 384.11/295.54 c (1,0) c | chanseokStrategy | False | False | False | False | False | False | False | False | 384.11/295.54 c (1,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 384.11/295.54 c (1,0) c | glureduce | True | True | True | True | True | True | True | True | 384.11/295.54 c (1,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 384.11/295.54 c (1,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 384.11/295.54 c (1,0) c | luby_restart | False | False | False | False | False | False | False | False | 384.11/295.54 c (1,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 384.11/295.54 c (1,0) c | var_decay | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 384.11/295.54 c (1,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 384.11/295.54 c (1,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 384.11/295.54 c (1,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 384.11/295.54 c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 384.11/295.56 c (1,0) c 384.11/295.56 c (1,0) c real time : 0.835793 s 384.11/295.56 c (1,0) c cpu time : 0.810655 s 384.11/295.56 c (1,0) c 384.11/295.56 c (1,0) c 384.11/295.56 c (1,0) c 384.11/295.56 c (1,0) c |---------------------------------------- FINAL STATS --------------------------------------------------| 384.11/295.56 c (1,0) c 384.11/295.56 c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 384.11/295.56 c (1,0) c | Threads | Total | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 384.11/295.56 c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 384.11/295.56 c (1,0) c | Conflicts | 15 | 1 | 2 | 1 | 1 | 4 | 3 | 2 | 1 | 384.11/295.56 c (1,0) c | Decisions | 51 | 5 | 6 | 5 | 9 | 8 | 6 | 6 | 6 | 384.11/295.56 c (1,0) c | Propagations | 74863 | 6951 | 6951 | 13295 | 6951 | 13041 | 13739 | 6984 | 6951 | 384.11/295.56 c (1,0) c | ReduceDBs | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 384.11/295.56 c (1,0) c | SimpDBs | 8 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 384.11/295.56 c (1,0) c | Restarts | 8 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 384.11/295.56 c (1,0) c | ForcedImports | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 384.11/295.56 c (1,0) c | PropBinClauses| 126153 | 17574 | 12512 | 18526 | 12307 | 18779 | 20149 | 14132 | 12174 | 384.11/295.56 c (1,0) c | PropPreBlocker| 156171 | 21159 | 16472 | 22321 | 16282 | 22262 | 23737 | 17815 | 16123 | 384.11/295.56 c (1,0) c | PropNotBlocker| 64843 | 8209 | 7702 | 8554 | 7553 | 8494 | 8897 | 7927 | 7507 | 384.11/295.56 c (1,0) c | LitFullScans | 446928 | 56439 | 68051 | 59858 | 45731 | 61384 | 64819 | 45807 | 44839 | 384.11/295.56 c (1,0) c | LitScanFracts | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 384.11/295.56 c (1,0) c | DecisionLevel0| 14 | 2 | 1 | 2 | 1 | 2 | 3 | 2 | 1 | 384.11/295.56 c (1,0) c | Periods | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 384.11/295.56 c (1,0) c | Margin | 160 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 384.11/295.56 c (1,0) c | Avg_Trail | | 5835 | 6361 | 6349 | 5835 | 6509 | 6790 | 5206 | 5835 | 384.11/295.56 c (1,0) c | Avg_DL | | 1 | 2 | 1 | 5 | 2 | 1 | 2 | 2 | 384.11/295.56 c (1,0) c | Avg_Res | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 384.11/295.56 c (1,0) c | Avg_Res_Seen | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 384.11/295.56 c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 384.11/295.56 c (1,0) c | Exported | 6 | 0 | 2 | 0 | 0 | 2 | 1 | 0 | 1 | 384.11/295.56 c (1,0) c | Imported | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 384.11/295.56 c (1,0) c | Good | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 384.11/295.56 c (1,0) c | Purge | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 384.11/295.56 c (1,0) c | Promoted | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 384.11/295.56 c (1,0) c | Remove_Imp | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 384.11/295.56 c (1,0) c | Blocked_Reuse | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 384.11/295.56 c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 384.11/295.56 c (1,0) c | Unaries | | 1 | 0 | 1 | 0 | 1 | 2 | 1 | 0 | 384.11/295.56 c (1,0) c | Binaries | | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 1 | 384.11/295.56 c (1,0) c | Glues | | 0 | 2 | 0 | 0 | 2 | 1 | 0 | 1 | 384.11/295.56 c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 384.11/295.56 c (1,0) c | Orig_Seen | 11 % | 5607 | 584 | 6016 | 1035 | 5911 | 6692 | 1304 | 948 | 384.11/295.56 c (1,0) c | Diff Orig seen| | X | - 5023 | 409 | - 4572 | 304 | 1085 | - 4303 | - 4659 | 384.11/295.56 c (1,0) c | Hamming | 0 % | X | 127 | 260 | 127 | 134 | 229 | 322 | 127 | 384.11/295.56 c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 384.11/295.56 c (1,0) c | RunningTime | | 0.0 100%| 0.0 100%| 0.0 100%| 0.0 100%| 0.0 100%| 0.0 100%| 0.0 100%| 0.0 100%| 384.11/295.56 c (1,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%| 384.11/295.56 c (1,0) c | ExchangingTime| | 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 384.11/295.56 c (1,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%| 384.11/295.56 c (1,0) c | SolvingTime | | 0.0 | 0.0 | 0.0 | 0.0 | 0.0 | 0.0 | 0.0 | 0.0 | 384.11/295.56 c (1,0) c | PropagationTim| | 0.0 67%| 0.0 62%| 0.0 63%| 0.0 57%| 0.0 60%| 0.0 78%| 0.0 92%| 0.0 56%| 384.11/295.56 c (1,0) c | AnalysisTime | | 0.0 12%| 0.0 18%| 0.0 11%| 0.0 13%| 0.0 13%| 0.0 16%| 0.0 5%| 0.0 11%| 384.11/295.56 c (1,0) c | ReductionTime | | 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 384.11/295.56 c (1,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%| 384.11/295.56 c (1,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%| 384.11/295.56 c (1,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%| 384.11/295.56 c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 384.11/295.56 c (1,0) c 384.11/295.56 c (1,0) c 384.11/295.56 c (1,0) c Threads : 8 384.11/295.56 c (1,0) c Winner : 0 384.11/295.56 c (1,0) c Conflicts_0 : 1 384.11/295.56 c (1,0) c Conflicts_1 : 2 384.11/295.56 c (1,0) c Conflicts_2 : 1 384.11/295.56 c (1,0) c Conflicts_3 : 1 384.11/295.56 c (1,0) c Conflicts_4 : 4 384.11/295.56 c (1,0) c Conflicts_5 : 3 384.11/295.56 c (1,0) c Conflicts_6 : 2 384.11/295.56 c (1,0) c Conflicts_7 : 1 384.11/295.56 c (1,0) c Conflicts_total : 15 384.11/295.56 c (1,0) c Conflicts_winner : 1 384.11/295.56 c (1,0) c Decisions_0 : 5 384.11/295.56 c (1,0) c Decisions_1 : 6 384.11/295.56 c (1,0) c Decisions_2 : 5 384.11/295.56 c (1,0) c Decisions_3 : 9 384.11/295.56 c (1,0) c Decisions_4 : 8 384.11/295.56 c (1,0) c Decisions_5 : 6 384.11/295.56 c (1,0) c Decisions_6 : 6 384.11/295.56 c (1,0) c Decisions_7 : 6 384.11/295.56 c (1,0) c Decisions_total : 51 384.11/295.56 c (1,0) c Decisions_winner : 5 384.11/295.56 c (1,0) c Propagations_0 : 6951 384.11/295.56 c (1,0) c Propagations_1 : 6951 384.11/295.56 c (1,0) c Propagations_2 : 13295 384.11/295.56 c (1,0) c Propagations_3 : 6951 384.11/295.56 c (1,0) c Propagations_4 : 13041 384.11/295.56 c (1,0) c Propagations_5 : 13739 384.11/295.56 c (1,0) c Propagations_6 : 6984 384.11/295.56 c (1,0) c Propagations_7 : 6951 384.11/295.56 c (1,0) c Propagations_total : 74863 384.11/295.56 c (1,0) c Propagations_winner : 6951 384.11/295.56 c (1,0) c ReduceDBs_0 : 0 384.11/295.56 c (1,0) c ReduceDBs_1 : 0 384.11/295.56 c (1,0) c ReduceDBs_2 : 0 384.11/295.56 c (1,0) c ReduceDBs_3 : 0 384.11/295.56 c (1,0) c ReduceDBs_4 : 0 384.11/295.56 c (1,0) c ReduceDBs_5 : 0 384.11/295.56 c (1,0) c ReduceDBs_6 : 0 384.11/295.56 c (1,0) c ReduceDBs_7 : 0 384.11/295.56 c (1,0) c ReduceDBs_total : 0 384.11/295.56 c (1,0) c ReduceDBs_winner : 0 384.11/295.56 c (1,0) c SimpDBs_0 : 1 384.11/295.56 c (1,0) c SimpDBs_1 : 1 384.11/295.56 c (1,0) c SimpDBs_2 : 1 384.11/295.56 c (1,0) c SimpDBs_3 : 1 384.11/295.56 c (1,0) c SimpDBs_4 : 1 384.11/295.56 c (1,0) c SimpDBs_5 : 1 384.11/295.56 c (1,0) c SimpDBs_6 : 1 384.11/295.56 c (1,0) c SimpDBs_7 : 1 384.11/295.56 c (1,0) c SimpDBs_total : 8 384.11/295.56 c (1,0) c SimpDBs_winner : 1 384.11/295.56 c (1,0) c Restarts_0 : 1 384.11/295.56 c (1,0) c Restarts_1 : 1 384.11/295.56 c (1,0) c Restarts_2 : 1 384.11/295.56 c (1,0) c Restarts_3 : 1 384.11/295.56 c (1,0) c Restarts_4 : 1 384.11/295.56 c (1,0) c Restarts_5 : 1 384.11/295.56 c (1,0) c Restarts_6 : 1 384.11/295.56 c (1,0) c Restarts_7 : 1 384.11/295.56 c (1,0) c Restarts_total : 8 384.11/295.56 c (1,0) c Restarts_winner : 1 384.11/295.56 c (1,0) c ForcedImports_0 : 0 384.11/295.56 c (1,0) c ForcedImports_1 : 0 384.11/295.56 c (1,0) c ForcedImports_2 : 0 384.11/295.56 c (1,0) c ForcedImports_3 : 0 384.11/295.56 c (1,0) c ForcedImports_4 : 0 384.11/295.56 c (1,0) c ForcedImports_5 : 0 384.11/295.56 c (1,0) c ForcedImports_6 : 0 384.11/295.56 c (1,0) c ForcedImports_7 : 0 384.11/295.56 c (1,0) c ForcedImports_total : 0 384.11/295.56 c (1,0) c ForcedImports_winner : 0 384.11/295.56 c (1,0) c PropsBinClauses_0 : 17574 384.11/295.56 c (1,0) c PropsBinClauses_1 : 12512 384.11/295.56 c (1,0) c PropsBinClauses_2 : 18526 384.11/295.56 c (1,0) c PropsBinClauses_3 : 12307 384.11/295.56 c (1,0) c PropsBinClauses_4 : 18779 384.11/295.56 c (1,0) c PropsBinClauses_5 : 20149 384.11/295.56 c (1,0) c PropsBinClauses_6 : 14132 384.11/295.56 c (1,0) c PropsBinClauses_7 : 12174 384.11/295.56 c (1,0) c PropsBinClauses_total : 126153 384.11/295.56 c (1,0) c PropsBinClauses_winner : 17574 384.11/295.56 c (1,0) c PropsPreBlocker_0 : 21159 384.11/295.56 c (1,0) c PropsPreBlocker_1 : 16472 384.11/295.56 c (1,0) c PropsPreBlocker_2 : 22321 384.11/295.56 c (1,0) c PropsPreBlocker_3 : 16282 384.11/295.56 c (1,0) c PropsPreBlocker_4 : 22262 384.11/295.56 c (1,0) c PropsPreBlocker_5 : 23737 384.11/295.56 c (1,0) c PropsPreBlocker_6 : 17815 384.11/295.56 c (1,0) c PropsPreBlocker_7 : 16123 384.11/295.56 c (1,0) c PropsPreBlocker_total : 156171 384.11/295.56 c (1,0) c PropsPreBlocker_winner : 21159 384.11/295.56 c (1,0) c PropsNotBlocker_0 : 8209 384.11/295.56 c (1,0) c PropsNotBlocker_1 : 7702 384.11/295.56 c (1,0) c PropsNotBlocker_2 : 8554 384.11/295.56 c (1,0) c PropsNotBlocker_3 : 7553 384.11/295.56 c (1,0) c PropsNotBlocker_4 : 8494 384.11/295.56 c (1,0) c PropsNotBlocker_5 : 8897 384.11/295.56 c (1,0) c PropsNotBlocker_6 : 7927 384.11/295.56 c (1,0) c PropsNotBlocker_7 : 7507 384.11/295.56 c (1,0) c PropsNotBlocker_total : 64843 384.11/295.56 c (1,0) c PropsNotBlocker_winner : 8209 384.11/295.56 c (1,0) c PropsLitFullScans_0 : 56439 384.11/295.56 c (1,0) c PropsLitFullScans_1 : 68051 384.11/295.56 c (1,0) c PropsLitFullScans_2 : 59858 384.11/295.56 c (1,0) c PropsLitFullScans_3 : 45731 384.11/295.56 c (1,0) c PropsLitFullScans_4 : 61384 384.11/295.56 c (1,0) c PropsLitFullScans_5 : 64819 384.11/295.56 c (1,0) c PropsLitFullScans_6 : 45807 384.11/295.56 c (1,0) c PropsLitFullScans_7 : 44839 384.11/295.56 c (1,0) c PropsLitFullScans_total : 446928 384.11/295.56 c (1,0) c PropsLitFullScans_winner : 56439 384.11/295.56 c (1,0) c LitScanFractions_0 : 0 384.11/295.56 c (1,0) c LitScanFractions_1 : 0 384.11/295.56 c (1,0) c LitScanFractions_2 : 0 384.11/295.56 c (1,0) c LitScanFractions_3 : 0 384.11/295.56 c (1,0) c LitScanFractions_4 : 0 384.11/295.56 c (1,0) c LitScanFractions_5 : 0 384.11/295.56 c (1,0) c LitScanFractions_6 : 0 384.11/295.56 c (1,0) c LitScanFractions_7 : 0 384.11/295.56 c (1,0) c LitScanFractions_total : 0 384.11/295.56 c (1,0) c LitScanFractions_winner : 0 384.11/295.56 c (1,0) c DecisionLevel0_0 : 2 384.11/295.56 c (1,0) c DecisionLevel0_1 : 1 384.11/295.56 c (1,0) c DecisionLevel0_2 : 2 384.11/295.56 c (1,0) c DecisionLevel0_3 : 1 384.11/295.56 c (1,0) c DecisionLevel0_4 : 2 384.11/295.56 c (1,0) c DecisionLevel0_5 : 3 384.11/295.56 c (1,0) c DecisionLevel0_6 : 2 384.11/295.56 c (1,0) c DecisionLevel0_7 : 1 384.11/295.56 c (1,0) c DecisionLevel0_total : 14 384.11/295.56 c (1,0) c DecisionLevel0_winner : 2 384.11/295.56 c (1,0) c Periods_0 : 0 384.11/295.56 c (1,0) c Periods_1 : 0 384.11/295.56 c (1,0) c Periods_2 : 0 384.11/295.56 c (1,0) c Periods_3 : 0 384.11/295.56 c (1,0) c Periods_4 : 0 384.11/295.56 c (1,0) c Periods_5 : 0 384.11/295.56 c (1,0) c Periods_6 : 0 384.11/295.56 c (1,0) c Periods_7 : 0 384.11/295.56 c (1,0) c Periods_total : 0 384.11/295.56 c (1,0) c Periods_winner : 0 384.11/295.56 c (1,0) c Margin_0 : 20 384.11/295.56 c (1,0) c Margin_1 : 20 384.11/295.56 c (1,0) c Margin_2 : 20 384.11/295.56 c (1,0) c Margin_3 : 20 384.11/295.56 c (1,0) c Margin_4 : 20 384.11/295.56 c (1,0) c Margin_5 : 20 384.11/295.56 c (1,0) c Margin_6 : 20 384.11/295.56 c (1,0) c Margin_7 : 20 384.11/295.56 c (1,0) c Margin_total : 160 384.11/295.56 c (1,0) c Margin_winner : 20 384.11/295.57 c (1,0) c Exported_0 : 0 384.11/295.57 c (1,0) c Exported_1 : 2 384.11/295.57 c (1,0) c Exported_2 : 0 384.11/295.57 c (1,0) c Exported_3 : 0 384.11/295.57 c (1,0) c Exported_4 : 2 384.11/295.57 c (1,0) c Exported_5 : 1 384.11/295.57 c (1,0) c Exported_6 : 0 384.11/295.57 c (1,0) c Exported_7 : 1 384.11/295.57 c (1,0) c Exported_total : 6 384.11/295.57 c (1,0) c Exported_winner : 0 384.11/295.57 c (1,0) c Imported_0 : 0 384.11/295.57 c (1,0) c Imported_1 : 0 384.11/295.57 c (1,0) c Imported_2 : 0 384.11/295.57 c (1,0) c Imported_3 : 0 384.11/295.57 c (1,0) c Imported_4 : 0 384.11/295.57 c (1,0) c Imported_5 : 0 384.11/295.57 c (1,0) c Imported_6 : 0 384.11/295.57 c (1,0) c Imported_7 : 0 384.11/295.57 c (1,0) c Imported_total : 0 384.11/295.57 c (1,0) c Imported_winner : 0 384.11/295.57 c (1,0) c Good_0 : 0 384.11/295.57 c (1,0) c Good_1 : 0 384.11/295.57 c (1,0) c Good_2 : 0 384.11/295.57 c (1,0) c Good_3 : 0 384.11/295.57 c (1,0) c Good_4 : 0 384.11/295.57 c (1,0) c Good_5 : 0 384.11/295.57 c (1,0) c Good_6 : 0 384.11/295.57 c (1,0) c Good_7 : 0 384.11/295.57 c (1,0) c Good_total : 0 384.11/295.57 c (1,0) c Good_winner : 0 384.11/295.57 c (1,0) c Purge_0 : 0 384.11/295.57 c (1,0) c Purge_1 : 0 384.11/295.57 c (1,0) c Purge_2 : 0 384.11/295.57 c (1,0) c Purge_3 : 0 384.11/295.57 c (1,0) c Purge_4 : 0 384.11/295.57 c (1,0) c Purge_5 : 0 384.11/295.57 c (1,0) c Purge_6 : 0 384.11/295.57 c (1,0) c Purge_7 : 0 384.11/295.57 c (1,0) c Purge_total : 0 384.11/295.57 c (1,0) c Purge_winner : 0 384.11/295.57 c (1,0) c Promoted_0 : 0 384.11/295.57 c (1,0) c Promoted_1 : 0 384.11/295.57 c (1,0) c Promoted_2 : 0 384.11/295.57 c (1,0) c Promoted_3 : 0 384.11/295.57 c (1,0) c Promoted_4 : 0 384.11/295.57 c (1,0) c Promoted_5 : 0 384.11/295.57 c (1,0) c Promoted_6 : 0 384.11/295.57 c (1,0) c Promoted_7 : 0 384.11/295.57 c (1,0) c Promoted_total : 0 384.11/295.57 c (1,0) c Promoted_winner : 0 384.11/295.57 c (1,0) c Remove_Imp_0 : 0 384.11/295.57 c (1,0) c Remove_Imp_1 : 0 384.11/295.57 c (1,0) c Remove_Imp_2 : 0 384.11/295.57 c (1,0) c Remove_Imp_3 : 0 384.11/295.57 c (1,0) c Remove_Imp_4 : 0 384.11/295.57 c (1,0) c Remove_Imp_5 : 0 384.11/295.57 c (1,0) c Remove_Imp_6 : 0 384.11/295.57 c (1,0) c Remove_Imp_7 : 0 384.11/295.57 c (1,0) c Remove_Imp_total : 0 384.11/295.57 c (1,0) c Remove_Imp_winner : 0 384.11/295.57 c (1,0) c Blocked_Reuse_0 : 0 384.11/295.57 c (1,0) c Blocked_Reuse_1 : 0 384.11/295.57 c (1,0) c Blocked_Reuse_2 : 0 384.11/295.57 c (1,0) c Blocked_Reuse_3 : 0 384.11/295.57 c (1,0) c Blocked_Reuse_4 : 0 384.11/295.57 c (1,0) c Blocked_Reuse_5 : 0 384.11/295.57 c (1,0) c Blocked_Reuse_6 : 0 384.11/295.57 c (1,0) c Blocked_Reuse_7 : 0 384.11/295.57 c (1,0) c Blocked_Reuse_total : 0 384.11/295.57 c (1,0) c Blocked_Reuse_winner : 0 384.11/295.57 c (1,0) c Unaries_0 : 1 384.11/295.57 c (1,0) c Unaries_1 : 0 384.11/295.57 c (1,0) c Unaries_2 : 1 384.11/295.57 c (1,0) c Unaries_3 : 0 384.11/295.57 c (1,0) c Unaries_4 : 1 384.11/295.57 c (1,0) c Unaries_5 : 2 384.11/295.57 c (1,0) c Unaries_6 : 1 384.11/295.57 c (1,0) c Unaries_7 : 0 384.11/295.57 c (1,0) c Unaries_total : 6 384.11/295.57 c (1,0) c Unaries_winner : 1 384.11/295.57 c (1,0) c Binaries_0 : 0 384.11/295.57 c (1,0) c Binaries_1 : 0 384.11/295.57 c (1,0) c Binaries_2 : 0 384.11/295.57 c (1,0) c Binaries_3 : 0 384.11/295.57 c (1,0) c Binaries_4 : 0 384.11/295.57 c (1,0) c Binaries_5 : 1 384.11/295.57 c (1,0) c Binaries_6 : 0 384.11/295.57 c (1,0) c Binaries_7 : 1 384.11/295.57 c (1,0) c Binaries_total : 2 384.11/295.57 c (1,0) c Binaries_winner : 0 384.11/295.57 c (1,0) c Glues_0 : 0 384.11/295.57 c (1,0) c Glues_1 : 2 384.11/295.57 c (1,0) c Glues_2 : 0 384.11/295.57 c (1,0) c Glues_3 : 0 384.11/295.57 c (1,0) c Glues_4 : 2 384.11/295.57 c (1,0) c Glues_5 : 1 384.11/295.57 c (1,0) c Glues_6 : 0 384.11/295.57 c (1,0) c Glues_7 : 1 384.11/295.57 c (1,0) c Glues_total : 6 384.11/295.57 c (1,0) c Glues_winner : 0 384.11/295.57 c (1,0) c RunningTime_0 : 0.011841 384.11/295.57 c (1,0) c RunningTime_1 : 0.011156 384.11/295.57 c (1,0) c RunningTime_2 : 0.008836 384.11/295.57 c (1,0) c RunningTime_3 : 0.009018 384.11/295.57 c (1,0) c RunningTime_4 : 0.008618 384.11/295.57 c (1,0) c RunningTime_5 : 0.010132 384.11/295.57 c (1,0) c RunningTime_6 : 0.010832 384.11/295.57 c (1,0) c RunningTime_7 : 0.006600 384.11/295.57 c (1,0) c RunningTime_total : 0.077033 384.11/295.57 c (1,0) c RunningTime_winner : 0.011841 384.11/295.57 c (1,0) c WaitingTime_0 : 0.000000 384.11/295.57 c (1,0) c WaitingTime_1 : 0.000000 384.11/295.57 c (1,0) c WaitingTime_2 : 0.000000 384.11/295.57 c (1,0) c WaitingTime_3 : 0.000000 384.11/295.57 c (1,0) c WaitingTime_4 : 0.000000 384.11/295.57 c (1,0) c WaitingTime_5 : 0.000000 384.11/295.57 c (1,0) c WaitingTime_6 : 0.000000 384.11/295.57 c (1,0) c WaitingTime_7 : 0.000000 384.11/295.57 c (1,0) c WaitingTime_total : 0.000000 384.11/295.57 c (1,0) c WaitingTime_winner : 0.000000 384.11/295.57 c (1,0) c ExchangingTime_0 : 0.000001 384.11/295.57 c (1,0) c ExchangingTime_1 : 0.000010 384.11/295.57 c (1,0) c ExchangingTime_2 : 0.000002 384.11/295.57 c (1,0) c ExchangingTime_3 : 0.000000 384.11/295.57 c (1,0) c ExchangingTime_4 : 0.000005 384.11/295.57 c (1,0) c ExchangingTime_5 : 0.000004 384.11/295.57 c (1,0) c ExchangingTime_6 : 0.000001 384.11/295.57 c (1,0) c ExchangingTime_7 : 0.000002 384.11/295.57 c (1,0) c ExchangingTime_total : 0.000025 384.11/295.57 c (1,0) c ExchangingTime_winner : 0.000001 384.11/295.57 c (1,0) c PeriodProcTime_0 : 0.000000 384.11/295.57 c (1,0) c PeriodProcTime_1 : 0.000000 384.11/295.57 c (1,0) c PeriodProcTime_2 : 0.000000 384.11/295.57 c (1,0) c PeriodProcTime_3 : 0.000000 384.11/295.57 c (1,0) c PeriodProcTime_4 : 0.000000 384.11/295.57 c (1,0) c PeriodProcTime_5 : 0.000000 384.11/295.57 c (1,0) c PeriodProcTime_6 : 0.000000 384.11/295.57 c (1,0) c PeriodProcTime_7 : 0.000000 384.11/295.57 c (1,0) c PeriodProcTime_total : 0.000000 384.11/295.57 c (1,0) c PeriodProcTime_winner : 0.000000 384.11/295.57 c (1,0) c SolvingTime_0 : 0.011842 384.11/295.57 c (1,0) c SolvingTime_1 : 0.011166 384.11/295.57 c (1,0) c SolvingTime_2 : 0.008838 384.11/295.57 c (1,0) c SolvingTime_3 : 0.009018 384.11/295.57 c (1,0) c SolvingTime_4 : 0.008623 384.11/295.57 c (1,0) c SolvingTime_5 : 0.010136 384.11/295.57 c (1,0) c SolvingTime_6 : 0.010833 384.11/295.57 c (1,0) c SolvingTime_7 : 0.006602 384.11/295.57 c (1,0) c SolvingTime_total : 0.077058 384.11/295.57 c (1,0) c SolvingTime_winner : 0.011842 384.11/295.57 c (1,0) c PropagationTime_0 : 0.007972 384.11/295.57 c (1,0) c PropagationTime_1 : 0.006944 384.11/295.57 c (1,0) c PropagationTime_2 : 0.005573 384.11/295.57 c (1,0) c PropagationTime_3 : 0.005174 384.11/295.57 c (1,0) c PropagationTime_4 : 0.005197 384.11/295.57 c (1,0) c PropagationTime_5 : 0.007910 384.11/295.57 c (1,0) c PropagationTime_6 : 0.009971 384.11/295.57 c (1,0) c PropagationTime_7 : 0.003728 384.11/295.57 c (1,0) c PropagationTime_total : 0.052469 384.11/295.57 c (1,0) c PropagationTime_winner : 0.007972 384.11/295.57 c (1,0) c AnalysisTime_0 : 0.001393 384.11/295.57 c (1,0) c AnalysisTime_1 : 0.002062 384.11/295.57 c (1,0) c AnalysisTime_2 : 0.000967 384.11/295.57 c (1,0) c AnalysisTime_3 : 0.001208 384.11/295.57 c (1,0) c AnalysisTime_4 : 0.001097 384.11/295.57 c (1,0) c AnalysisTime_5 : 0.001622 384.11/295.57 c (1,0) c AnalysisTime_6 : 0.000489 384.11/295.57 c (1,0) c AnalysisTime_7 : 0.000722 384.11/295.57 c (1,0) c AnalysisTime_total : 0.009560 384.11/295.57 c (1,0) c AnalysisTime_winner : 0.001393 384.11/295.57 c (1,0) c ReductionTime_0 : 0.000000 384.11/295.57 c (1,0) c ReductionTime_1 : 0.000000 384.11/295.57 c (1,0) c ReductionTime_2 : 0.000000 384.11/295.57 c (1,0) c ReductionTime_3 : 0.000000 384.11/295.57 c (1,0) c ReductionTime_4 : 0.000000 384.11/295.57 c (1,0) c ReductionTime_5 : 0.000000 384.11/295.57 c (1,0) c ReductionTime_6 : 0.000000 384.11/295.57 c (1,0) c ReductionTime_7 : 0.000000 384.11/295.57 c (1,0) c ReductionTime_total : 0.000000 384.11/295.57 c (1,0) c ReductionTime_winner : 0.000000 384.11/295.57 c (1,0) c SimplifyTime_0 : 0.000000 384.11/295.57 c (1,0) c SimplifyTime_1 : 0.000000 384.11/295.57 c (1,0) c SimplifyTime_2 : 0.000000 384.11/295.57 c (1,0) c SimplifyTime_3 : 0.000000 384.11/295.57 c (1,0) c SimplifyTime_4 : 0.000001 384.11/295.57 c (1,0) c SimplifyTime_5 : 0.000001 384.11/295.57 c (1,0) c SimplifyTime_6 : 0.000001 384.11/295.57 c (1,0) c SimplifyTime_7 : 0.000000 384.11/295.57 c (1,0) c SimplifyTime_total : 0.000003 384.11/295.57 c (1,0) c SimplifyTime_winner : 0.000000 384.11/295.57 c (1,0) c UsedRateTime_0 : 0.000000 384.11/295.57 c (1,0) c UsedRateTime_1 : 0.000000 384.11/295.58 c (1,0) c UsedRateTime_2 : 0.000000 384.11/295.58 c (1,0) c UsedRateTime_3 : 0.000000 384.11/295.58 c (1,0) c UsedRateTime_4 : 0.000000 384.11/295.58 c (1,0) c UsedRateTime_5 : 0.000000 384.11/295.58 c (1,0) c UsedRateTime_6 : 0.000000 384.11/295.58 c (1,0) c UsedRateTime_7 : 0.000000 384.11/295.58 c (1,0) c UsedRateTime_total : 0.000000 384.11/295.58 c (1,0) c UsedRateTime_winner : 0.000000 384.11/295.58 c (1,0) c OverlapRateTime_0 : 0.000000 384.11/295.58 c (1,0) c OverlapRateTime_1 : 0.000000 384.11/295.58 c (1,0) c OverlapRateTime_2 : 0.000000 384.11/295.58 c (1,0) c OverlapRateTime_3 : 0.000000 384.11/295.58 c (1,0) c OverlapRateTime_4 : 0.000000 384.11/295.58 c (1,0) c OverlapRateTime_5 : 0.000000 384.11/295.58 c (1,0) c OverlapRateTime_6 : 0.000000 384.11/295.58 c (1,0) c OverlapRateTime_7 : 0.000000 384.11/295.58 c (1,0) c OverlapRateTime_total : 0.000000 384.11/295.58 c (1,0) c OverlapRateTime_winner : 0.000000 384.11/295.58 c (1,0) c 384.11/295.58 c (1,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 384.11/295.58 c (1,0) c 384.11/295.58 c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 384.11/295.58 c (1,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 384.11/295.58 c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 384.11/295.58 c (1,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 384.11/295.58 c (1,0) c | adaptStrategeis | True | False | True | False | True | False | True | False | 384.11/295.58 c (1,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 384.11/295.58 c (1,0) c | Initial random_seed | 171059187 | 2060069148 | 1569074965 | 1045213269 | 546769282 | 923552284 | 639423068 | 355293852 | 384.11/295.58 c (1,0) c | chanseokStrategy | False | False | False | False | False | False | False | False | 384.11/295.58 c (1,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 384.11/295.58 c (1,0) c | glureduce | True | True | True | True | True | True | True | True | 384.11/295.58 c (1,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 384.11/295.58 c (1,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 384.11/295.58 c (1,0) c | luby_restart | False | False | False | False | False | False | False | False | 384.11/295.58 c (1,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 384.11/295.58 c (1,0) c | var_decay | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 384.11/295.58 c (1,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 384.11/295.58 c (1,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 384.11/295.58 c (1,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 384.11/295.58 c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 384.11/295.58 c (1,0) 384.11/295.58 c (1,0) s SATISFIABLE 384.37/295.69 c (1,0) SatSolver.solve End 384.37/295.69 c (1,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB) 384.37/295.69 c (1,0) Show results Begin 384.90/295.89 c (1,0) x[0] = 30 384.90/295.89 c (1,0) x[1] = 6 384.90/295.89 c (1,0) x[2] = 32 384.90/295.89 c (1,0) x[3] = 12 384.90/295.89 c (1,0) x[4] = 20 384.90/295.89 c (1,0) x[5] = 7 384.90/295.89 c (1,0) x[6] = 5 384.90/295.89 c (1,0) x[7] = 16 384.90/295.89 c (1,0) x[8] = 23 384.90/295.89 c (1,0) x[9] = 10 384.90/295.89 c (1,0) x[10] = 3 384.90/295.89 c (1,0) x[11] = 52 384.90/295.89 c (1,0) x[12] = 21 384.90/295.89 c (1,0) x[13] = 17 384.90/295.89 c (1,0) x[14] = 55 384.90/295.89 c (1,0) x[15] = 4 384.90/295.89 c (1,0) x[16] = 1 384.90/295.89 c (1,0) x[17] = 46 384.90/295.89 c (1,0) x[18] = 25 384.90/295.89 c (1,0) x[19] = 25 384.90/295.89 c (1,0) x[20] = 16 384.90/295.89 c (1,0) x[21] = 11 384.90/295.89 c (1,0) x[22] = 15 384.90/295.89 c (1,0) x[23] = 71 384.90/295.89 c (1,0) x[24] = 28 384.90/295.89 c (1,0) x[25] = 28 384.90/295.89 c (1,0) x[26] = 11 384.90/295.89 c (1,0) x[27] = 20 384.90/295.89 c (1,0) x[28] = 1 384.90/295.89 c (1,0) x[29] = 1 384.90/295.89 c (1,0) x[30] = 20 384.90/295.89 c (1,0) x[31] = 68 384.90/295.89 c (1,0) x[32] = 5 384.90/295.89 c (1,0) x[33] = 9 384.90/295.89 c (1,0) x[34] = 3 384.90/295.89 c (1,0) x[35] = 29 384.90/295.89 c (1,0) x[36] = 33 384.90/295.89 c (1,0) x[37] = 15 384.90/295.89 c (1,0) x[38] = 50 384.90/295.89 c (1,0) x[39] = 37 384.90/295.89 c (1,0) x[40] = 2 384.90/295.89 c (1,0) x[41] = 6 384.90/295.89 c (1,0) x[42] = 31 384.90/295.89 c (1,0) x[43] = 6 384.90/295.89 c (1,0) x[44] = 65 384.90/295.89 c (1,0) x[45] = 14 384.90/295.89 c (1,0) x[46] = 0 384.90/295.89 c (1,0) x[47] = 10 384.90/295.89 c (1,0) x[48] = 124 384.90/295.89 c (1,0) x[49] = 7 384.90/295.89 c (1,0) x[50] = 36 384.90/295.89 c (1,0) x[51] = 45 384.90/295.89 c (1,0) x[52] = 1 384.90/295.89 c (1,0) x[53] = 37 384.90/295.89 c (1,0) x[54] = 26 384.90/295.89 c (1,0) x[55] = 11 384.90/295.89 c (1,0) x[56] = 73 384.90/295.89 c (1,0) x[57] = 9 384.90/295.89 c (1,0) x[58] = 0 384.90/295.89 c (1,0) x[59] = 24 384.90/295.89 c (1,0) x[60] = 1 384.90/295.89 c (1,0) x[61] = 57 384.90/295.89 c (1,0) x[62] = 10 384.90/295.89 c (1,0) x[63] = 0 384.90/295.89 c (1,0) x[64] = 36 384.90/295.89 c (1,0) x[65] = 41 384.90/295.89 c (1,0) x[66] = 47 384.90/295.89 c (1,0) x[67] = 40 384.90/295.89 c (1,0) x[68] = 41 384.90/295.89 c (1,0) x[69] = 5 384.90/295.89 c (1,0) x[70] = 2 384.90/295.89 c (1,0) x[71] = 30 384.90/295.89 c (1,0) x[72] = 4 384.90/295.89 c (1,0) x[73] = 27 384.90/295.89 c (1,0) x[74] = 32 384.90/295.89 c (1,0) x[75] = 4 384.90/295.89 c (1,0) x[76] = 3 384.90/295.89 c (1,0) x[77] = 79 384.90/295.89 c (1,0) x[78] = 70 384.90/295.89 c (1,0) x[79] = 35 384.90/295.89 c (1,0) x[80] = 22 384.90/295.89 c (1,0) x[81] = 14 384.90/295.89 c (1,0) x[82] = 26 384.90/295.89 c (1,0) x[83] = 37 384.90/295.89 c (1,0) x[84] = 7 384.90/295.89 c (1,0) x[85] = 29 384.90/295.90 c (1,0) x[86] = 10 384.90/295.90 c (1,0) x[87] = 74 384.90/295.90 c (1,0) x[88] = 52 384.90/295.90 c (1,0) x[89] = 9 384.90/295.90 c (1,0) x[90] = 2 384.90/295.90 c (1,0) x[91] = 23 384.90/295.90 c (1,0) x[92] = 16 384.90/295.90 c (1,0) x[93] = 21 384.90/295.90 c (1,0) x[94] = 23 384.90/295.90 c (1,0) x[95] = 43 384.90/295.90 c (1,0) x[96] = 0 385.15/295.90 c (1,0) x[97] = 11 385.15/295.90 c (1,0) x[98] = 10 385.15/295.90 c (1,0) x[99] = 9 385.15/295.90 c (1,0) x[100] = 36 385.15/295.90 c (1,0) x[101] = 0 385.15/295.90 c (1,0) x[102] = 5 385.15/295.90 c (1,0) x[103] = 15 385.15/295.90 c (1,0) x[104] = 56 385.15/295.90 c (1,0) x[105] = 67 385.15/295.90 c (1,0) x[106] = 4 385.15/295.90 c (1,0) x[107] = 71 385.15/295.90 c (1,0) x[108] = 13 385.15/295.90 c (1,0) x[109] = 24 385.15/295.90 c (1,0) x[110] = 24 385.15/295.90 c (1,0) x[111] = 12 385.15/295.90 c (1,0) x[112] = 18 385.15/295.90 c (1,0) x[113] = 148 385.15/295.90 c (1,0) x[114] = 33 385.15/295.90 c (1,0) x[115] = 11 385.15/295.90 c (1,0) x[116] = 39 385.15/295.90 c (1,0) x[117] = 56 385.15/295.90 c (1,0) x[118] = 99 385.15/295.90 c (1,0) x[119] = 117 385.15/295.90 c (1,0) x[120] = 22 385.15/295.90 c (1,0) x[121] = 1 385.15/295.90 c (1,0) x[122] = 43 385.15/295.90 c (1,0) x[123] = 42 385.15/295.90 c (1,0) x[124] = 13 385.15/295.90 c (1,0) x[125] = 18 385.15/295.90 c (1,0) x[126] = 77 385.15/295.90 c (1,0) x[127] = 1 385.15/295.90 c (1,0) x[128] = 23 385.15/295.90 c (1,0) x[129] = 5 385.15/295.90 c (1,0) x[130] = 68 385.15/295.90 c (1,0) x[131] = 19 385.15/295.90 c (1,0) x[132] = 18 385.15/295.90 c (1,0) x[133] = 4 385.15/295.90 c (1,0) x[134] = 11 385.15/295.90 c (1,0) x[135] = 18 385.15/295.90 c (1,0) x[136] = 5 385.15/295.90 c (1,0) x[137] = 2 385.15/295.90 c (1,0) x[138] = 20 385.15/295.90 c (1,0) x[139] = 12 385.15/295.90 c (1,0) x[140] = 2 385.15/295.90 c (1,0) x[141] = 0 385.15/295.90 c (1,0) x[142] = 73 385.15/295.90 c (1,0) x[143] = 23 385.15/295.90 c (1,0) x[144] = 5 385.15/295.90 c (1,0) x[145] = 21 385.15/295.90 c (1,0) x[146] = 93 385.15/295.90 c (1,0) x[147] = 10 385.15/295.90 c (1,0) x[148] = 2 385.15/295.90 c (1,0) x[149] = 101 385.15/295.90 c (1,0) x[150] = 20 385.15/295.90 c (1,0) x[151] = 11 385.15/295.90 c (1,0) x[152] = 3 385.15/295.90 c (1,0) x[153] = 36 385.15/295.90 c (1,0) x[154] = 11 385.15/295.90 c (1,0) x[155] = 8 385.15/295.90 c (1,0) x[156] = 52 385.15/295.90 c (1,0) x[157] = 28 385.15/295.90 c (1,0) x[158] = 2 385.15/295.90 c (1,0) x[159] = 17 385.15/295.90 c (1,0) x[160] = 16 385.15/295.90 c (1,0) x[161] = 55 385.15/295.90 c (1,0) x[162] = 32 385.15/295.90 c (1,0) x[163] = 6 385.15/295.90 c (1,0) x[164] = 39 385.15/295.90 c (1,0) x[165] = 34 385.15/295.90 c (1,0) x[166] = 25 385.15/295.90 c (1,0) x[167] = 15 385.15/295.90 c (1,0) x[168] = 10 385.15/295.90 c (1,0) x[169] = 0 385.15/295.90 c (1,0) x[170] = 6 385.15/295.90 c (1,0) x[171] = 43 385.15/295.90 c (1,0) x[172] = 2 385.15/295.90 c (1,0) x[173] = 1 385.15/295.90 c (1,0) x[174] = 2 385.15/295.90 c (1,0) x[175] = 29 385.15/295.90 c (1,0) x[176] = 31 385.15/295.90 c (1,0) x[177] = 5 385.15/295.90 c (1,0) x[178] = 61 385.15/295.90 c (1,0) x[179] = 20 385.15/295.90 c (1,0) x[180] = 4 385.15/295.90 c (1,0) x[181] = 4 385.15/295.90 c (1,0) x[182] = 8 385.15/295.90 c (1,0) x[183] = 19 385.15/295.90 c (1,0) x[184] = 15 385.15/295.90 c (1,0) x[185] = 4 385.15/295.90 c (1,0) x[186] = 12 385.15/295.90 c (1,0) x[187] = 2 385.15/295.90 c (1,0) x[188] = 0 385.15/295.90 c (1,0) x[189] = 37 385.15/295.90 c (1,0) x[190] = 12 385.15/295.90 c (1,0) x[191] = 15 385.15/295.90 c (1,0) x[192] = 17 385.15/295.90 c (1,0) x[193] = 0 385.15/295.90 c (1,0) x[194] = 67 385.15/295.90 c (1,0) x[195] = 116 385.15/295.90 c (1,0) x[196] = 4 385.15/295.90 c (1,0) x[197] = 34 385.15/295.90 c (1,0) x[198] = 45 385.15/295.90 c (1,0) x[199] = 9 385.15/295.90 c (1,0) x[200] = 1 385.15/295.90 c (1,0) x[201] = 25 385.15/295.90 c (1,0) x[202] = 38 385.15/295.90 c (1,0) x[203] = 4 385.15/295.90 c (1,0) x[204] = 21 385.15/295.90 c (1,0) x[205] = 4 385.15/295.90 c (1,0) x[206] = 10 385.15/295.90 c (1,0) x[207] = 21 385.15/295.90 c (1,0) x[208] = 67 385.15/295.90 c (1,0) x[209] = 30 385.15/295.90 c (1,0) x[210] = 5 385.15/295.90 c (1,0) x[211] = 43 385.15/295.90 c (1,0) x[212] = 37 385.15/295.90 c (1,0) x[213] = 45 385.15/295.90 c (1,0) x[214] = 17 385.15/295.90 c (1,0) x[215] = 94 385.15/295.90 c (1,0) x[216] = 12 385.15/295.90 c (1,0) x[217] = 10 385.15/295.90 c (1,0) x[218] = 16 385.15/295.90 c (1,0) x[219] = 20 385.15/295.90 c (1,0) x[220] = 71 385.15/295.90 c (1,0) x[221] = 25 385.15/295.90 c (1,0) x[222] = 10 385.15/295.90 c (1,0) x[223] = 4 385.15/295.90 c (1,0) x[224] = 114 385.15/295.90 c (1,0) x[225] = 39 385.15/295.90 c (1,0) x[226] = 23 385.15/295.90 c (1,0) x[227] = 29 385.15/295.90 c (1,0) x[228] = 8 385.15/295.90 c (1,0) x[229] = 35 385.15/295.90 c (1,0) x[230] = 3 385.15/295.90 c (1,0) x[231] = 61 385.15/295.90 c (1,0) x[232] = 1 385.15/295.90 c (1,0) x[233] = 76 385.15/295.90 c (1,0) x[234] = 74 385.15/295.90 c (1,0) x[235] = 32 385.15/295.90 c (1,0) x[236] = 2 385.15/295.90 c (1,0) x[237] = 8 385.15/295.90 c (1,0) x[238] = 5 385.15/295.90 c (1,0) x[239] = 10 385.15/295.90 c (1,0) x[240] = 35 385.15/295.90 c (1,0) x[241] = 0 385.15/295.90 c (1,0) x[242] = 8 385.15/295.90 c (1,0) x[243] = 42 385.15/295.90 c (1,0) x[244] = 12 385.15/295.90 c (1,0) x[245] = 8 385.15/295.90 c (1,0) x[246] = 6 385.15/295.90 c (1,0) x[247] = 81 385.15/295.90 c (1,0) x[248] = 0 385.15/295.90 c (1,0) x[249] = 72 385.15/295.90 c (1,0) x[250] = 16 385.15/295.90 c (1,0) x[251] = 0 385.15/295.90 c (1,0) x[252] = 15 385.15/295.90 c (1,0) x[253] = 20 385.15/295.90 c (1,0) x[254] = 17 385.15/295.90 c (1,0) x[255] = 10 385.15/295.90 c (1,0) x[256] = 19 385.15/295.90 c (1,0) x[257] = 113 385.15/295.90 c (1,0) x[258] = 20 385.15/295.90 c (1,0) x[259] = 14 385.15/295.90 c (1,0) x[260] = 24 385.15/295.90 c (1,0) x[261] = 24 385.15/295.90 c (1,0) x[262] = 51 385.15/295.90 c (1,0) x[263] = 28 385.15/295.90 c (1,0) x[264] = 21 385.15/295.90 c (1,0) x[265] = 26 385.15/295.90 c (1,0) x[266] = 37 385.15/295.90 c (1,0) x[267] = 0 385.15/295.90 c (1,0) x[268] = 31 385.15/295.90 c (1,0) x[269] = 38 385.15/295.90 c (1,0) x[270] = 8 385.15/295.90 c (1,0) x[271] = 84 385.15/295.90 c (1,0) x[272] = 51 385.15/295.90 c (1,0) x[273] = 3 385.15/295.90 c (1,0) x[274] = 43 385.15/295.90 c (1,0) x[275] = 23 385.15/295.90 c (1,0) x[276] = 3 385.15/295.90 c (1,0) x[277] = 16 385.15/295.90 c (1,0) x[278] = 11 385.15/295.90 c (1,0) x[279] = 1 385.15/295.90 c (1,0) x[280] = 4 385.15/295.90 c (1,0) x[281] = 20 385.15/295.90 c (1,0) x[282] = 0 385.15/295.90 c (1,0) x[283] = 7 385.15/295.90 c (1,0) x[284] = 37 385.15/295.90 c (1,0) x[285] = 54 385.15/295.90 c (1,0) x[286] = 57 385.15/295.90 c (1,0) x[287] = 29 385.15/295.90 c (1,0) x[288] = 1 385.15/295.90 c (1,0) x[289] = 41 385.15/295.90 c (1,0) x[290] = 8 385.15/295.90 c (1,0) x[291] = 3 385.15/295.90 c (1,0) x[292] = 33 385.15/295.90 c (1,0) x[293] = 5 385.15/295.90 c (1,0) x[294] = 5 385.15/295.90 c (1,0) x[295] = 43 385.15/295.90 c (1,0) x[296] = 9 385.15/295.90 c (1,0) x[297] = 10 385.15/295.90 c (1,0) x[298] = 7 385.15/295.90 c (1,0) x[299] = 3 385.15/295.90 c (1,0) x[300] = 93 385.15/295.90 c (1,0) x[301] = 0 385.15/295.90 c (1,0) x[302] = 16 385.15/295.90 c (1,0) x[303] = 8 385.15/295.90 c (1,0) x[304] = 5 385.15/295.90 c (1,0) x[305] = 68 385.15/295.90 c (1,0) x[306] = 0 385.15/295.90 c (1,0) x[307] = 40 385.15/295.90 c (1,0) x[308] = 1 385.15/295.90 c (1,0) x[309] = 36 385.15/295.90 c (1,0) x[310] = 9 385.15/295.90 c (1,0) x[311] = 6 385.15/295.90 c (1,0) x[312] = 24 385.15/295.90 c (1,0) x[313] = 52 385.15/295.90 c (1,0) x[314] = 24 385.15/295.90 c (1,0) x[315] = 12 385.15/295.90 c (1,0) x[316] = 9 385.15/295.90 c (1,0) x[317] = 30 385.15/295.90 c (1,0) x[318] = 21 385.15/295.90 c (1,0) x[319] = 1 385.15/295.90 c (1,0) x[320] = 8 385.15/295.90 c (1,0) x[321] = 26 385.15/295.90 c (1,0) x[322] = 6 385.15/295.90 c (1,0) x[323] = 21 385.15/295.90 c (1,0) x[324] = 12 385.15/295.90 c (1,0) x[325] = 84 385.15/295.90 c (1,0) x[326] = 56 385.15/295.90 c (1,0) x[327] = 13 385.15/295.90 c (1,0) x[328] = 4 385.15/295.90 c (1,0) x[329] = 42 385.15/295.90 c (1,0) x[330] = 11 385.15/295.90 c (1,0) x[331] = 44 385.15/295.90 c (1,0) x[332] = 24 385.15/295.90 c (1,0) x[333] = 61 385.15/295.90 c (1,0) x[334] = 15 385.15/295.90 c (1,0) x[335] = 63 385.15/295.90 c (1,0) x[336] = 26 385.15/295.90 c (1,0) x[337] = 42 385.15/295.90 c (1,0) x[338] = 77 385.15/295.90 c (1,0) x[339] = 39 385.15/295.90 c (1,0) x[340] = 33 385.15/295.90 c (1,0) x[341] = 27 385.15/295.90 c (1,0) x[342] = 4 385.15/295.90 c (1,0) x[343] = 81 385.15/295.90 c (1,0) x[344] = 61 385.15/295.90 c (1,0) x[345] = 5 385.15/295.90 c (1,0) x[346] = 8 385.15/295.90 c (1,0) x[347] = 7 385.15/295.90 c (1,0) x[348] = 5 385.15/295.90 c (1,0) x[349] = 28 385.15/295.90 c (1,0) x[350] = 14 385.15/295.90 c (1,0) x[351] = 12 385.15/295.90 c (1,0) x[352] = 23 385.15/295.90 c (1,0) x[353] = 70 385.15/295.90 c (1,0) x[354] = 3 385.15/295.90 c (1,0) x[355] = 65 385.15/295.90 c (1,0) x[356] = 23 385.15/295.90 c (1,0) x[357] = 68 385.15/295.90 c (1,0) x[358] = 39 385.15/295.90 c (1,0) x[359] = 40 385.15/295.90 c (1,0) x[360] = 1 385.15/295.90 c (1,0) x[361] = 4 385.15/295.90 c (1,0) x[362] = 49 385.15/295.90 c (1,0) x[363] = 13 385.15/295.90 c (1,0) x[364] = 30 385.15/295.90 c (1,0) x[365] = 77 385.15/295.90 c (1,0) x[366] = 14 385.15/295.90 c (1,0) x[367] = 50 385.15/295.90 c (1,0) x[368] = 16 385.15/295.90 c (1,0) x[369] = 11 385.15/295.90 c (1,0) x[370] = 36 385.15/295.90 c (1,0) x[371] = 23 385.15/295.90 c (1,0) x[372] = 42 385.15/295.90 c (1,0) x[373] = 18 385.15/295.90 c (1,0) x[374] = 2 385.15/295.90 c (1,0) x[375] = 69 385.15/295.90 c (1,0) x[376] = 21 385.15/295.90 c (1,0) x[377] = 46 385.15/295.90 c (1,0) x[378] = 43 385.15/295.90 c (1,0) x[379] = 94 385.15/295.90 c (1,0) x[380] = 6 385.15/295.90 c (1,0) x[381] = 4 385.15/295.90 c (1,0) x[382] = 15 385.15/295.90 c (1,0) x[383] = 24 385.15/295.90 c (1,0) x[384] = 9 385.15/295.90 c (1,0) x[385] = 30 385.15/295.90 c (1,0) x[386] = 62 385.15/295.90 c (1,0) x[387] = 10 385.15/295.90 c (1,0) x[388] = 2 385.15/295.90 c (1,0) x[389] = 11 385.15/295.90 c (1,0) x[390] = 2 385.15/295.90 c (1,0) x[391] = 14 385.15/295.90 c (1,0) x[392] = 8 385.15/295.90 c (1,0) x[393] = 6 385.15/295.90 c (1,0) x[394] = 3 385.15/295.90 c (1,0) x[395] = 20 385.15/295.90 c (1,0) x[396] = 52 385.15/295.90 c (1,0) x[397] = 19 385.15/295.90 c (1,0) x[398] = 25 385.15/295.90 c (1,0) x[399] = 30 385.15/295.90 c (1,0) x[400] = 37 385.15/295.90 c (1,0) x[401] = 0 385.15/295.90 c (1,0) x[402] = 0 385.15/295.90 c (1,0) x[403] = 46 385.15/295.90 c (1,0) x[404] = 2 385.15/295.90 c (1,0) x[405] = 1 385.15/295.90 c (1,0) x[406] = 30 385.15/295.90 c (1,0) x[407] = 129 385.15/295.90 c (1,0) x[408] = 24 385.15/295.90 c (1,0) x[409] = 22 385.15/295.90 c (1,0) x[410] = 41 385.15/295.90 c (1,0) x[411] = 11 385.15/295.90 c (1,0) x[412] = 17 385.15/295.90 c (1,0) x[413] = 25 385.15/295.90 c (1,0) x[414] = 5 385.15/295.90 c (1,0) x[415] = 14 385.15/295.90 c (1,0) x[416] = 33 385.15/295.90 c (1,0) x[417] = 5 385.15/295.90 c (1,0) x[418] = 66 385.15/295.90 c (1,0) x[419] = 7 385.15/295.90 c (1,0) x[420] = 0 385.15/295.90 c (1,0) x[421] = 9 385.15/295.90 c (1,0) x[422] = 8 385.15/295.90 c (1,0) x[423] = 22 385.15/295.90 c (1,0) x[424] = 4 385.15/295.90 c (1,0) x[425] = 16 385.15/295.90 c (1,0) x[426] = 9 385.15/295.90 c (1,0) x[427] = 24 385.15/295.90 c (1,0) x[428] = 20 385.15/295.90 c (1,0) x[429] = 42 385.15/295.90 c (1,0) x[430] = 121 385.15/295.90 c (1,0) x[431] = 49 385.15/295.90 c (1,0) x[432] = 22 385.15/295.90 c (1,0) x[433] = 36 385.15/295.90 c (1,0) x[434] = 26 385.15/295.90 c (1,0) x[435] = 19 385.15/295.90 c (1,0) x[436] = 13 385.15/295.90 c (1,0) x[437] = 26 385.15/295.90 c (1,0) x[438] = 23 385.15/295.90 c (1,0) x[439] = 31 385.15/295.90 c (1,0) x[440] = 12 385.15/295.90 c (1,0) x[441] = 15 385.15/295.90 c (1,0) x[442] = 4 385.15/295.90 c (1,0) x[443] = 66 385.15/295.90 c (1,0) x[444] = 33 385.15/295.90 c (1,0) x[445] = 5 385.15/295.90 c (1,0) x[446] = 15 385.15/295.90 c (1,0) x[447] = 21 385.15/295.90 c (1,0) x[448] = 8 385.15/295.90 c (1,0) x[449] = 7 385.15/295.90 c (1,0) x[450] = 57 385.15/295.90 c (1,0) x[451] = 13 385.15/295.90 c (1,0) x[452] = 41 385.15/295.90 c (1,0) x[453] = 49 385.15/295.90 c (1,0) x[454] = 42 385.15/295.90 c (1,0) x[455] = 23 385.15/295.90 c (1,0) x[456] = 12 385.15/295.90 c (1,0) x[457] = 17 385.15/295.90 c (1,0) x[458] = 22 385.15/295.90 c (1,0) x[459] = 32 385.15/295.90 c (1,0) x[460] = 76 385.15/295.90 c (1,0) x[461] = 0 385.15/295.90 c (1,0) x[462] = 20 385.15/295.90 c (1,0) x[463] = 3 385.15/295.90 c (1,0) x[464] = 53 385.15/295.90 c (1,0) x[465] = 39 385.15/295.90 c (1,0) x[466] = 16 385.15/295.90 c (1,0) x[467] = 0 385.15/295.90 c (1,0) x[468] = 20 385.15/295.90 c (1,0) x[469] = 26 385.15/295.90 c (1,0) x[470] = 2 385.15/295.90 c (1,0) x[471] = 17 385.15/295.90 c (1,0) x[472] = 41 385.15/295.90 c (1,0) x[473] = 11 385.15/295.90 c (1,0) x[474] = 13 385.15/295.90 c (1,0) x[475] = 44 385.15/295.90 c (1,0) x[476] = 19 385.15/295.90 c (1,0) x[477] = 63 385.15/295.90 c (1,0) x[478] = 19 385.15/295.90 c (1,0) x[479] = 31 385.15/295.90 c (1,0) x[480] = 165 385.15/295.90 c (1,0) x[481] = 3 385.15/295.90 c (1,0) x[482] = 53 385.15/295.90 c (1,0) x[483] = 26 385.15/295.90 c (1,0) x[484] = 8 385.15/295.90 c (1,0) x[485] = 4 385.15/295.90 c (1,0) x[486] = 5 385.15/295.90 c (1,0) x[487] = 3 385.15/295.90 c (1,0) x[488] = 19 385.15/295.90 c (1,0) x[489] = 6 385.15/295.90 c (1,0) x[490] = 64 385.15/295.90 c (1,0) x[491] = 35 385.15/295.90 c (1,0) x[492] = 2 385.15/295.90 c (1,0) x[493] = 10 385.15/295.90 c (1,0) x[494] = 98 385.15/295.90 c (1,0) x[495] = 63 385.15/295.90 c (1,0) x[496] = 19 385.15/295.90 c (1,0) x[497] = 5 385.15/295.90 c (1,0) x[498] = 10 385.15/295.90 c (1,0) x[499] = 17 385.15/295.90 c (1,0) x[500] = 1 385.15/295.90 c (1,0) x[501] = 61 385.15/295.90 c (1,0) x[502] = 6 385.15/295.90 c (1,0) x[503] = 119 385.15/295.90 c (1,0) x[504] = 20 385.15/295.90 c (1,0) x[505] = 123 385.15/295.90 c (1,0) x[506] = 4 385.15/295.90 c (1,0) x[507] = 2 385.15/295.90 c (1,0) x[508] = 7 385.15/295.90 c (1,0) x[509] = 22 385.15/295.90 c (1,0) x[510] = 21 385.15/295.90 c (1,0) x[511] = 17 385.15/295.90 c (1,0) x[512] = 102 385.15/295.90 c (1,0) x[513] = 62 385.15/295.90 c (1,0) x[514] = 19 385.15/295.90 c (1,0) x[515] = 44 385.15/295.90 c (1,0) x[516] = 52 385.15/295.90 c (1,0) x[517] = 20 385.15/295.90 c (1,0) x[518] = 22 385.15/295.90 c (1,0) x[519] = 9 385.15/295.90 c (1,0) x[520] = 40 385.15/295.90 c (1,0) x[521] = 29 385.15/295.90 c (1,0) x[522] = 71 385.15/295.90 c (1,0) x[523] = 120 385.15/295.90 c (1,0) x[524] = 74 385.15/295.90 c (1,0) x[525] = 35 385.15/295.90 c (1,0) x[526] = 60 385.15/295.90 c (1,0) x[527] = 8 385.15/295.90 c (1,0) x[528] = 0 385.15/295.90 c (1,0) x[529] = 28 385.15/295.90 c (1,0) x[530] = 9 385.15/295.90 c (1,0) x[531] = 14 385.15/295.90 c (1,0) x[532] = 20 385.15/295.90 c (1,0) x[533] = 2 385.15/295.90 c (1,0) x[534] = 3 385.15/295.90 c (1,0) x[535] = 1 385.15/295.90 c (1,0) x[536] = 14 385.15/295.90 c (1,0) x[537] = 43 385.15/295.90 c (1,0) x[538] = 1 385.15/295.90 c (1,0) x[539] = 4 385.15/295.90 c (1,0) x[540] = 35 385.15/295.90 c (1,0) x[541] = 27 385.15/295.90 c (1,0) x[542] = 44 385.15/295.90 c (1,0) x[543] = 6 385.15/295.90 c (1,0) x[544] = 2 385.15/295.90 c (1,0) x[545] = 54 385.15/295.90 c (1,0) x[546] = 3 385.15/295.90 c (1,0) x[547] = 4 385.15/295.90 c (1,0) x[548] = 26 385.15/295.90 c (1,0) x[549] = 58 385.15/295.90 c (1,0) x[550] = 20 385.15/295.90 c (1,0) x[551] = 24 385.15/295.90 c (1,0) x[552] = 31 385.15/295.90 c (1,0) x[553] = 17 385.15/295.90 c (1,0) x[554] = 5 385.15/295.90 c (1,0) x[555] = 33 385.15/295.90 c (1,0) x[556] = 12 385.15/295.90 c (1,0) x[557] = 29 385.15/295.90 c (1,0) x[558] = 3 385.15/295.90 c (1,0) x[559] = 13 385.15/295.90 c (1,0) x[560] = 12 385.15/295.90 c (1,0) x[561] = 19 385.15/295.90 c (1,0) x[562] = 19 385.15/295.90 c (1,0) x[563] = 33 385.15/295.90 c (1,0) x[564] = 31 385.15/295.90 c (1,0) x[565] = 50 385.15/295.90 c (1,0) x[566] = 4 385.15/295.90 c (1,0) x[567] = 14 385.15/295.90 c (1,0) x[568] = 60 385.15/295.90 c (1,0) x[569] = 56 385.15/295.90 c (1,0) x[570] = 19 385.15/295.90 c (1,0) x[571] = 116 385.15/295.90 c (1,0) x[572] = 3 385.15/295.90 c (1,0) x[573] = 6 385.15/295.90 c (1,0) x[574] = 32 385.15/295.90 c (1,0) x[575] = 16 385.15/295.90 c (1,0) x[576] = 8 385.15/295.90 c (1,0) x[577] = 19 385.15/295.90 c (1,0) x[578] = 12 385.15/295.90 c (1,0) x[579] = 7 385.15/295.90 c (1,0) x[580] = 8 385.15/295.90 c (1,0) x[581] = 24 385.15/295.90 c (1,0) x[582] = 3 385.15/295.90 c (1,0) x[583] = 53 385.15/295.90 c (1,0) x[584] = 0 385.15/295.90 c (1,0) x[585] = 2 385.15/295.90 c (1,0) x[586] = 44 385.15/295.90 c (1,0) x[587] = 46 385.15/295.90 c (1,0) x[588] = 1 385.15/295.90 c (1,0) x[589] = 74 385.15/295.90 c (1,0) x[590] = 25 385.15/295.90 c (1,0) x[591] = 60 385.15/295.90 c (1,0) x[592] = 2 385.15/295.90 c (1,0) x[593] = 29 385.15/295.90 c (1,0) x[594] = 29 385.15/295.90 c (1,0) x[595] = 3 385.15/295.90 c (1,0) x[596] = 6 385.15/295.90 c (1,0) x[597] = 74 385.15/295.90 c (1,0) x[598] = 6 385.15/295.90 c (1,0) x[599] = 9 385.15/295.90 c (1,0) x[600] = 24 385.15/295.90 c (1,0) x[601] = 33 385.15/295.90 c (1,0) x[602] = 4 385.15/295.90 c (1,0) x[603] = 50 385.15/295.90 c (1,0) x[604] = 4 385.15/295.90 c (1,0) x[605] = 48 385.15/295.90 c (1,0) x[606] = 7 385.15/295.90 c (1,0) x[607] = 25 385.15/295.90 c (1,0) x[608] = 1 385.15/295.90 c (1,0) x[609] = 23 385.15/295.90 c (1,0) x[610] = 0 385.15/295.90 c (1,0) x[611] = 25 385.15/295.90 c (1,0) x[612] = 13 385.15/295.90 c (1,0) x[613] = 19 385.15/295.90 c (1,0) x[614] = 72 385.15/295.90 c (1,0) x[615] = 6 385.15/295.90 c (1,0) x[616] = 7 385.15/295.90 c (1,0) x[617] = 13 385.15/295.90 c (1,0) x[618] = 14 385.15/295.90 c (1,0) x[619] = 33 385.15/295.90 c (1,0) x[620] = 0 385.15/295.90 c (1,0) x[621] = 50 385.15/295.90 c (1,0) x[622] = 3 385.15/295.90 c (1,0) x[623] = 11 385.15/295.90 c (1,0) x[624] = 48 385.15/295.90 c (1,0) x[625] = 4 385.15/295.90 c (1,0) x[626] = 23 385.15/295.90 c (1,0) x[627] = 23 385.15/295.90 c (1,0) x[628] = 25 385.15/295.90 c (1,0) x[629] = 7 385.15/295.90 c (1,0) x[630] = 79 385.15/295.90 c (1,0) x[631] = 13 385.15/295.90 c (1,0) x[632] = 0 385.15/295.90 c (1,0) x[633] = 8 385.15/295.90 c (1,0) x[634] = 34 385.15/295.90 c (1,0) x[635] = 20 385.15/295.90 c (1,0) x[636] = 52 385.15/295.90 c (1,0) x[637] = 0 385.15/295.90 c (1,0) x[638] = 10 385.15/295.90 c (1,0) x[639] = 5 385.15/295.90 c (1,0) x[640] = 1 385.15/295.90 c (1,0) x[641] = 24 385.15/295.90 c (1,0) x[642] = 23 385.15/295.90 c (1,0) x[643] = 6 385.15/295.90 c (1,0) x[644] = 26 385.15/295.90 c (1,0) x[645] = 20 385.15/295.90 c (1,0) x[646] = 21 385.15/295.90 c (1,0) x[647] = 23 385.15/295.90 c (1,0) x[648] = 20 385.15/295.90 c (1,0) x[649] = 3 385.15/295.90 c (1,0) x[650] = 4 385.15/295.90 c (1,0) x[651] = 11 385.15/295.90 c (1,0) x[652] = 3 385.15/295.90 c (1,0) x[653] = 66 385.15/295.90 c (1,0) x[654] = 18 385.15/295.90 c (1,0) x[655] = 3 385.15/295.90 c (1,0) x[656] = 66 385.15/295.90 c (1,0) x[657] = 12 385.15/295.90 c (1,0) x[658] = 11 385.15/295.90 c (1,0) x[659] = 14 385.15/295.90 c (1,0) x[660] = 21 385.15/295.90 c (1,0) x[661] = 20 385.15/295.90 c (1,0) x[662] = 29 385.15/295.90 c (1,0) x[663] = 13 385.15/295.90 c (1,0) x[664] = 0 385.15/295.90 c (1,0) x[665] = 8 385.15/295.90 c (1,0) x[666] = 7 385.15/295.90 c (1,0) x[667] = 42 385.15/295.90 c (1,0) x[668] = 5 385.15/295.90 c (1,0) x[669] = 4 385.15/295.90 c (1,0) x[670] = 82 385.15/295.90 c (1,0) x[671] = 35 385.15/295.90 c (1,0) x[672] = 64 385.15/295.90 c (1,0) x[673] = 5 385.15/295.90 c (1,0) x[674] = 3 385.15/295.90 c (1,0) x[675] = 21 385.15/295.90 c (1,0) x[676] = 44 385.15/295.90 c (1,0) x[677] = 26 385.15/295.90 c (1,0) x[678] = 60 385.15/295.90 c (1,0) x[679] = 65 385.15/295.90 c (1,0) x[680] = 3 385.15/295.90 c (1,0) x[681] = 20 385.15/295.90 c (1,0) x[682] = 1 385.15/295.90 c (1,0) x[683] = 1 385.15/295.90 c (1,0) x[684] = 31 385.15/295.90 c (1,0) x[685] = 18 385.15/295.90 c (1,0) x[686] = 55 385.15/295.90 c (1,0) x[687] = 14 385.15/295.90 c (1,0) x[688] = 1 385.15/295.90 c (1,0) x[689] = 24 385.15/295.90 c (1,0) x[690] = 34 385.15/295.90 c (1,0) x[691] = 59 385.15/295.90 c (1,0) x[692] = 17 385.15/295.90 c (1,0) x[693] = 11 385.15/295.90 c (1,0) x[694] = 8 385.15/295.90 c (1,0) x[695] = 0 385.15/295.90 c (1,0) x[696] = 9 385.15/295.90 c (1,0) x[697] = 5 385.15/295.90 c (1,0) x[698] = 8 385.15/295.90 c (1,0) x[699] = 12 385.15/295.90 s SATISFIABLE 385.15/295.91 v <instantiation> 385.15/295.91 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] x[370] x[371] x[372] x[373] x[374] x[375] x[376] x[377] x[378] x[379] x[380] x[381] x[382] x[383] x[384] x[385] x[386] x[387] x[388] x[389] x[390] x[391] x[392] x[393] x[394] x[395] x[396] x[397] x[398] x[399] x[400] x[401] x[402] x[403] x[404] x[405] x[406] x[407] x[408] x[409] x[410] x[411] x[412] x[413] x[414] x[415] x[416] x[417] x[418] x[419] x[420] x[421] x[422] x[423] x[424] x[425] x[426] x[427] x[428] x[429] x[430] x[431] x[432] x[433] x[434] x[435] x[436] x[437] x[438] x[439] x[440] x[441] x[442] x[443] x[444] x[445] x[446] x[447] x[448] x[449] x[450] x[451] x[452] x[453] x[454] x[455] x[456] x[457] x[458] x[459] x[460] x[461] x[462] x[463] x[464] x[465] x[466] x[467] x[468] x[469] x[470] x[471] x[472] x[473] x[474] x[475] x[476] x[477] x[478] x[479] x[480] x[481] x[482] x[483] x[484] x[485] x[486] x[487] x[488] x[489] x[490] x[491] x[492] x[493] x[494] x[495] x[496] x[497] x[498] x[499] x[500] x[501] x[502] x[503] x[504] x[505] x[506] x[507] x[508] x[509] x[510] x[511] x[512] x[513] x[514] x[515] x[516] x[517] x[518] x[519] x[520] x[521] x[522] x[523] x[524] x[525] x[526] x[527] x[528] x[529] x[530] x[531] x[532] x[533] x[534] x[535] x[536] x[537] x[538] x[539] x[540] x[541] x[542] x[543] x[544] x[545] x[546] x[547] x[548] x[549] x[550] x[551] x[552] x[553] x[554] x[555] x[556] x[557] x[558] x[559] x[560] x[561] x[562] x[563] x[564] x[565] x[566] x[567] x[568] x[569] x[570] x[571] x[572] x[573] x[574] x[575] x[576] x[577] x[578] x[579] x[580] x[581] x[582] x[583] x[584] x[585] x[586] x[587] x[588] x[589] x[590] x[591] x[592] x[593] x[594] x[595] x[596] x[597] x[598] x[599] x[600] x[601] x[602] x[603] x[604] x[605] x[606] x[607] x[608] x[609] x[610] x[611] x[612] x[613] x[614] x[615] x[616] x[617] x[618] x[619] x[620] x[621] x[622] x[623] x[624] x[625] x[626] x[627] x[628] x[629] x[630] x[631] x[632] x[633] x[634] x[635] x[636] x[637] x[638] x[639] x[640] x[641] x[642] x[643] x[644] x[645] x[646] x[647] x[648] x[649] x[650] x[651] x[652] x[653] x[654] x[655] x[656] x[657] x[658] x[659] x[660] x[661] x[662] x[663] x[664] x[665] x[666] x[667] x[668] x[669] x[670] x[671] x[672] x[673] x[674] x[675] x[676] x[677] x[678] x[679] x[680] x[681] x[682] x[683] x[684] x[685] x[686] x[687] x[688] x[689] x[690] x[691] x[692] x[693] x[694] x[695] x[696] x[697] x[698] x[699]</list> 385.15/295.91 v <values>30 6 32 12 20 7 5 16 23 10 3 52 21 17 55 4 1 46 25 25 16 11 15 71 28 28 11 20 1 1 20 68 5 9 3 29 33 15 50 37 2 6 31 6 65 14 0 10 124 7 36 45 1 37 26 11 73 9 0 24 1 57 10 0 36 41 47 40 41 5 2 30 4 27 32 4 3 79 70 35 22 14 26 37 7 29 10 74 52 9 2 23 16 21 23 43 0 11 10 9 36 0 5 15 56 67 4 71 13 24 24 12 18 148 33 11 39 56 99 117 22 1 43 42 13 18 77 1 23 5 68 19 18 4 11 18 5 2 20 12 2 0 73 23 5 21 93 10 2 101 20 11 3 36 11 8 52 28 2 17 16 55 32 6 39 34 25 15 10 0 6 43 2 1 2 29 31 5 61 20 4 4 8 19 15 4 12 2 0 37 12 15 17 0 67 116 4 34 45 9 1 25 38 4 21 4 10 21 67 30 5 43 37 45 17 94 12 10 16 20 71 25 10 4 114 39 23 29 8 35 3 61 1 76 74 32 2 8 5 10 35 0 8 42 12 8 6 81 0 72 16 0 15 20 17 10 19 113 20 14 24 24 51 28 21 26 37 0 31 38 8 84 51 3 43 23 3 16 11 1 4 20 0 7 37 54 57 29 1 41 8 3 33 5 5 43 9 10 7 3 93 0 16 8 5 68 0 40 1 36 9 6 24 52 24 12 9 30 21 1 8 26 6 21 12 84 56 13 4 42 11 44 24 61 15 63 26 42 77 39 33 27 4 81 61 5 8 7 5 28 14 12 23 70 3 65 23 68 39 40 1 4 49 13 30 77 14 50 16 11 36 23 42 18 2 69 21 46 43 94 6 4 15 24 9 30 62 10 2 11 2 14 8 6 3 20 52 19 25 30 37 0 0 46 2 1 30 129 24 22 41 11 17 25 5 14 33 5 66 7 0 9 8 22 4 16 9 24 20 42 121 49 22 36 26 19 13 26 23 31 12 15 4 66 33 5 15 21 8 7 57 13 41 49 42 23 12 17 22 32 76 0 20 3 53 39 16 0 20 26 2 17 41 11 13 44 19 63 19 31 165 3 53 26 8 4 5 3 19 6 64 35 2 10 98 63 19 5 10 17 1 61 6 119 20 123 4 2 7 22 21 17 102 62 19 44 52 20 22 9 40 29 71 120 74 35 60 8 0 28 9 14 20 2 3 1 14 43 1 4 35 27 44 6 2 54 3 4 26 58 20 24 31 17 5 33 12 29 3 13 12 19 19 33 31 50 4 14 60 56 19 116 3 6 32 16 8 19 12 7 8 24 3 53 0 2 44 46 1 74 25 60 2 29 29 3 6 74 6 9 24 33 4 50 4 48 7 25 1 23 0 25 13 19 72 6 7 13 14 33 0 50 3 11 48 4 23 23 25 7 79 13 0 8 34 20 52 0 10 5 1 24 23 6 26 20 21 23 20 3 4 11 3 66 18 3 66 12 11 14 21 20 29 13 0 8 7 42 5 4 82 35 64 5 3 21 44 26 60 65 3 20 1 1 31 18 55 14 1 24 34 59 17 11 8 0 9 5 8 12</values> 385.15/295.91 v </instantiation> 385.15/295.91 c (1,0) Show results End 385.15/295.91 c (1,0) Heap : 184 MiB used (max 3925 MiB), NonHeap : 19 MiB used (max 0 MiB) 385.15/295.91 c (1,0) 1,1,STOP-AFTER(ALL) 385.15/295.91 c END-Prog: Sat Sep 14 04:28:18 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 (14834 MiB free) memory of node 1: 16384 MiB (15388 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392628-1568427841/watcher-4392628-1568427841 -o /tmp/evaluation-result-4392628-1568427841/solver-4392628-1568427841 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node151-1568416728-14741 --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-4392628-1568427841.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=18749, runsolver pid=18746 Current StackSize limit: 8192 KiB [startup+0.100138 s]* /proc/loadavg: 8.04 7.52 6.20 2/211 18771 /proc/meminfo: memFree=30855244/32770624 swapFree=66935220/67108860 [pid=18749] ppid=18746 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/18749/stat : 18749 (scop.sh) S 18746 18749 14714 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 419055621 115843072 349 33554432000 4194304 5098028 140733116979216 140733116976472 140018126475900 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 30605312 140733116982052 140733116982380 140733116982380 140733116985293 0 /proc/18749/statm: 28282 349 296 221 0 87 0 [pid=18752] ppid=18749 vsize=27314120 memory=105036 CPUtime=0.1 cores=0-7 /proc/18752/stat : 18752 (java) S 18749 18749 14714 0 -1 1077944320 6874 0 0 0 8 2 0 0 20 0 20 0 419055621 27969658880 26259 33554432000 4194304 4196468 140733682584432 140733682566976 140648978546423 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32301056 140733682586346 140733682586774 140733682586774 140733682589647 0 /proc/18752/statm: 6828530 26259 2800 1 0 6790935 0 [pid=18752/tid=18753] ppid=18749 vsize=27314120 memory=8186588030768683932 CPUtime=0.09 cores=0-7 /proc/18752/task/18753/stat : 18753 (java) R 18749 18749 14714 0 -1 4202560 4960 0 0 0 7 2 0 0 20 0 20 0 419055621 27969658880 26771 33554432000 4194304 4196468 140733682584432 140648950378624 140648962626910 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32301056 140733682586346 140733682586774 140733682586774 140733682589647 0 [pid=18752/tid=18754] ppid=18749 vsize=27314120 memory=732370804791385061 CPUtime=0 cores=0-7 /proc/18752/task/18754/stat : 18754 (java) S 18749 18749 14714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419055623 27969658880 26771 33554432000 4194304 4196468 140733682584432 140648982789264 140648978556629 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32301056 140733682586346 140733682586774 140733682586774 140733682589647 0 [pid=18752/tid=18755] ppid=18749 vsize=27314120 memory=140666453931648 CPUtime=0 cores=0-7 /proc/18752/task/18755/stat : 18755 (java) S 18749 18749 14714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419055623 27969658880 26771 33554432000 4194304 4196468 140733682584432 140648796945424 140648978556629 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32301056 140733682586346 140733682586774 140733682586774 140733682589647 0 [pid=18752/tid=18756] ppid=18749 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/18752/task/18756/stat : 18756 (java) S 18749 18749 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419055624 27969658880 26771 33554432000 4194304 4196468 140733682584432 140648795892624 140648978556629 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32301056 140733682586346 140733682586774 140733682586774 140733682589647 0 [pid=18752/tid=18757] ppid=18749 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/18752/task/18757/stat : 18757 (java) S 18749 18749 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419055624 27969658880 26771 33554432000 4194304 4196468 140733682584432 140648794839824 140648978556629 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32301056 140733682586346 140733682586774 140733682586774 140733682589647 0 [pid=18752/tid=18758] ppid=18749 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/18752/task/18758/stat : 18758 (java) S 18749 18749 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419055624 27969658880 26771 33554432000 4194304 4196468 140733682584432 140648793787024 140648978556629 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32301056 140733682586346 140733682586774 140733682586774 140733682589647 0 [pid=18752/tid=18759] ppid=18749 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/18752/task/18759/stat : 18759 (java) S 18749 18749 14714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419055624 27969658880 26771 33554432000 4194304 4196468 140733682584432 140648792734224 140648978556629 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32301056 140733682586346 140733682586774 140733682586774 140733682589647 0 [pid=18752/tid=18760] ppid=18749 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/18752/task/18760/stat : 18760 (java) S 18749 18749 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419055624 27969658880 26771 33554432000 4194304 4196468 140733682584432 140648791681424 140648978556629 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32301056 140733682586346 140733682586774 140733682586774 140733682589647 0 [pid=18752/tid=18761] ppid=18749 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/18752/task/18761/stat : 18761 (java) S 18749 18749 14714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419055624 27969658880 26771 33554432000 4194304 4196468 140733682584432 140648790628624 140648978556629 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32301056 140733682586346 140733682586774 140733682586774 140733682589647 0 [pid=18752/tid=18762] ppid=18749 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/18752/task/18762/stat : 18762 (java) S 18749 18749 14714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419055625 27969658880 26771 33554432000 4194304 4196468 140733682584432 140648238201712 140648978557570 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32301056 140733682586346 140733682586774 140733682586774 140733682589647 0 [pid=18752/tid=18763] ppid=18749 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/18752/task/18763/stat : 18763 (java) S 18749 18749 14714 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419055625 27969658880 26771 33554432000 4194304 4196468 140733682584432 140646622946848 140648978556629 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32301056 140733682586346 140733682586774 140733682586774 140733682589647 0 [pid=18752/tid=18764] ppid=18749 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/18752/task/18764/stat : 18764 (java) S 18749 18749 14714 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419055626 27969658880 26771 33554432000 4194304 4196468 140733682584432 140646488724848 140648978556629 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32301056 140733682586346 140733682586774 140733682586774 140733682589647 0 [pid=18752/tid=18765] ppid=18749 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/18752/task/18765/stat : 18765 (java) S 18749 18749 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419055628 27969658880 26771 33554432000 4194304 4196468 140733682584432 140646114220368 140648978565019 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32301056 140733682586346 140733682586774 140733682586774 140733682589647 0 [pid=18752/tid=18766] ppid=18749 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/18752/task/18766/stat : 18766 (java) S 18749 18749 14714 0 -1 1077944384 309 0 0 0 0 0 0 0 20 0 20 0 419055628 27969658880 26771 33554432000 4194304 4196468 140733682584432 140648237148528 140648978557570 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32301056 140733682586346 140733682586774 140733682586774 140733682589647 0 [pid=18752/tid=18767] ppid=18749 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/18752/task/18767/stat : 18767 (java) S 18749 18749 14714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419055628 27969658880 26771 33554432000 4194304 4196468 140733682584432 140648236095728 140648978557570 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32301056 140733682586346 140733682586774 140733682586774 140733682589647 0 [pid=18752/tid=18768] ppid=18749 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/18752/task/18768/stat : 18768 (java) S 18749 18749 14714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419055628 27969658880 26771 33554432000 4194304 4196468 140733682584432 140648235042928 140648978557570 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32301056 140733682586346 140733682586774 140733682586774 140733682589647 0 [pid=18752/tid=18769] ppid=18749 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/18752/task/18769/stat : 18769 (java) S 18749 18749 14714 0 -1 1077944384 247 0 0 0 0 0 0 0 20 0 20 0 419055628 27969658880 26771 33554432000 4194304 4196468 140733682584432 140648166451184 140648978557570 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32301056 140733682586346 140733682586774 140733682586774 140733682589647 0 [pid=18752/tid=18770] ppid=18749 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/18752/task/18770/stat : 18770 (java) S 18749 18749 14714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419055628 27969658880 26771 33554432000 4194304 4196468 140733682584432 140645616315488 140648978556629 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32301056 140733682586346 140733682586774 140733682586774 140733682589647 0 [pid=18752/tid=18771] ppid=18749 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/18752/task/18771/stat : 18771 (java) S 18749 18749 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419055629 27969658880 26771 33554432000 4194304 4196468 140733682584432 140648165399600 140648978557570 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32301056 140733682586346 140733682586774 140733682586774 140733682589647 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 106432 KiB [startup+0.210392 s]* /proc/loadavg: 8.04 7.52 6.20 2/211 18771 /proc/meminfo: memFree=30836944/32770624 swapFree=66935220/67108860 [pid=18749] ppid=18746 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/18749/stat : 18749 (scop.sh) S 18746 18749 14714 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 419055621 115843072 349 33554432000 4194304 5098028 140733116979216 140733116976472 140018126475900 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 30605312 140733116982052 140733116982380 140733116982380 140733116985293 0 /proc/18749/statm: 28282 349 296 221 0 87 0 [pid=18752] ppid=18749 vsize=27314120 memory=121872 CPUtime=0.25 cores=0-7 /proc/18752/stat : 18752 (java) S 18749 18749 14714 0 -1 1077944320 11864 0 0 0 21 4 0 0 20 0 20 0 419055621 27969658880 30468 33554432000 4194304 4196468 140733682584432 140733682566976 140648978546423 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32301056 140733682586346 140733682586774 140733682586774 140733682589647 0 /proc/18752/statm: 6828530 30468 2953 1 0 6790935 0 [pid=18752/tid=18753] ppid=18749 vsize=27314120 memory=0 CPUtime=0.2 cores=0-7 /proc/18752/task/18753/stat : 18753 (java) R 18749 18749 14714 0 -1 4202560 9553 0 0 0 17 3 0 0 20 0 20 0 419055621 27969658880 30468 33554432000 4194304 4196468 140733682584432 140648950345808 140648958821810 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32301056 140733682586346 140733682586774 140733682586774 140733682589647 0 [pid=18752/tid=18754] ppid=18749 vsize=27314120 memory=732370804791385061 CPUtime=0 cores=0-7 /proc/18752/task/18754/stat : 18754 (java) S 18749 18749 14714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419055623 27969658880 30468 33554432000 4194304 4196468 140733682584432 140648982789264 140648978556629 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32301056 140733682586346 140733682586774 140733682586774 140733682589647 0 [pid=18752/tid=18755] ppid=18749 vsize=27314120 memory=140666453931648 CPUtime=0 cores=0-7 /proc/18752/task/18755/stat : 18755 (java) S 18749 18749 14714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419055623 27969658880 30468 33554432000 4194304 4196468 140733682584432 140648796945424 140648978556629 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32301056 140733682586346 140733682586774 140733682586774 140733682589647 0 [pid=18752/tid=18756] ppid=18749 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/18752/task/18756/stat : 18756 (java) S 18749 18749 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419055624 27969658880 30468 33554432000 4194304 4196468 140733682584432 140648795892624 140648978556629 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32301056 140733682586346 140733682586774 140733682586774 140733682589647 0 [pid=18752/tid=18757] ppid=18749 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/18752/task/18757/stat : 18757 (java) S 18749 18749 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419055624 27969658880 30468 33554432000 4194304 4196468 140733682584432 140648794839824 140648978556629 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32301056 140733682586346 140733682586774 140733682586774 140733682589647 0 [pid=18752/tid=18758] ppid=18749 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/18752/task/18758/stat : 18758 (java) S 18749 18749 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419055624 27969658880 30468 33554432000 4194304 4196468 140733682584432 140648793787024 140648978556629 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32301056 140733682586346 140733682586774 140733682586774 140733682589647 0 [pid=18752/tid=18759] ppid=18749 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/18752/task/18759/stat : 18759 (java) S 18749 18749 14714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419055624 27969658880 30468 33554432000 4194304 4196468 140733682584432 140648792734224 140648978556629 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32301056 140733682586346 140733682586774 140733682586774 140733682589647 0 [pid=18752/tid=18760] ppid=18749 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/18752/task/18760/stat : 18760 (java) S 18749 18749 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419055624 27969658880 30468 33554432000 4194304 4196468 140733682584432 140648791681424 140648978556629 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32301056 140733682586346 140733682586774 140733682586774 140733682589647 0 [pid=18752/tid=18761] ppid=18749 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/18752/task/18761/stat : 18761 (java) S 18749 18749 14714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419055624 27969658880 30468 33554432000 4194304 4196468 140733682584432 140648790628624 140648978556629 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32301056 140733682586346 140733682586774 140733682586774 140733682589647 0 [pid=18752/tid=18762] ppid=18749 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/18752/task/18762/stat : 18762 (java) S 18749 18749 14714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419055625 27969658880 30468 33554432000 4194304 4196468 140733682584432 140648238201712 140648978557570 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32301056 140733682586346 140733682586774 140733682586774 140733682589647 0 [pid=18752/tid=18763] ppid=18749 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/18752/task/18763/stat : 18763 (java) S 18749 18749 14714 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419055625 27969658880 30468 33554432000 4194304 4196468 140733682584432 140646622946848 140648978556629 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32301056 140733682586346 140733682586774 140733682586774 140733682589647 0 [pid=18752/tid=18764] ppid=18749 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/18752/task/18764/stat : 18764 (java) S 18749 18749 14714 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419055626 27969658880 30468 33554432000 4194304 4196468 140733682584432 140646488724848 140648978556629 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32301056 140733682586346 140733682586774 140733682586774 140733682589647 0 [pid=18752/tid=18765] ppid=18749 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/18752/task/18765/stat : 18765 (java) S 18749 18749 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419055628 27969658880 30468 33554432000 4194304 4196468 140733682584432 140646114220368 140648978565019 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32301056 140733682586346 140733682586774 140733682586774 140733682589647 0 [pid=18752/tid=18766] ppid=18749 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/18752/task/18766/stat : 18766 (java) S 18749 18749 14714 0 -1 1077944384 320 0 0 0 0 0 0 0 20 0 20 0 419055628 27969658880 30468 33554432000 4194304 4196468 140733682584432 140648237148528 140648978557570 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32301056 140733682586346 140733682586774 140733682586774 140733682589647 0 [pid=18752/tid=18767] ppid=18749 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/18752/task/18767/stat : 18767 (java) S 18749 18749 14714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419055628 27969658880 30468 33554432000 4194304 4196468 140733682584432 140648236095728 140648978557570 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32301056 140733682586346 140733682586774 140733682586774 140733682589647 0 [pid=18752/tid=18768] ppid=18749 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/18752/task/18768/stat : 18768 (java) S 18749 18749 14714 0 -1 1077944384 157 0 0 0 0 0 0 0 20 0 20 0 419055628 27969658880 30468 33554432000 4194304 4196468 140733682584432 140648235042928 140648978557570 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32301056 140733682586346 140733682586774 140733682586774 140733682589647 0 [pid=18752/tid=18769] ppid=18749 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7 /proc/18752/task/18769/stat : 18769 (java) S 18749 18749 14714 0 -1 1077944384 472 0 0 0 2 0 0 0 20 0 20 0 419055628 27969658880 30468 33554432000 4194304 4196468 140733682584432 140648166451184 140648978557570 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32301056 140733682586346 140733682586774 140733682586774 140733682589647 0 [pid=18752/tid=18770] ppid=18749 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/18752/task/18770/stat : 18770 (java) S 18749 18749 14714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419055628 27969658880 30468 33554432000 4194304 4196468 140733682584432 140645616315488 140648978556629 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32301056 140733682586346 140733682586774 140733682586774 140733682589647 0 [pid=18752/tid=18771] ppid=18749 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/18752/task/18771/stat : 18771 (java) S 18749 18749 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419055629 27969658880 30468 33554432000 4194304 4196468 140733682584432 140648165399600 140648978557570 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32301056 140733682586346 140733682586774 140733682586774 140733682589647 0 Current children cumulated CPU time: 0.25 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 123268 KiB [startup+0.309742 s]* /proc/loadavg: 8.04 7.52 6.20 2/211 18771 /proc/meminfo: memFree=30834028/32770624 swapFree=66935220/67108860 [pid=18749] ppid=18746 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/18749/stat : 18749 (scop.sh) S 18746 18749 14714 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 419055621 115843072 349 33554432000 4194304 5098028 140733116979216 140733116976472 140018126475900 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 30605312 140733116982052 140733116982380 140733116982380 140733116985293 0 /proc/18749/statm: 28282 349 296 221 0 87 0 [pid=18752] ppid=18749 vsize=27314120 memory=125548 CPUtime=0.43 cores=0-7 /proc/18752/stat : 18752 (java) S 18749 18749 14714 0 -1 1077944320 12815 0 0 0 38 5 0 0 20 0 20 0 419055621 27969658880 31387 33554432000 4194304 4196468 140733682584432 140733682566976 140648978546423 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32301056 140733682586346 140733682586774 140733682586774 140733682589647 0 /proc/18752/statm: 6828530 31387 3017 1 0 6790935 0 [pid=18752/tid=18753] ppid=18749 vsize=27314120 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/18752/task/18753/stat : 18753 (java) R 18749 18749 14714 0 -1 4202560 10320 0 0 0 26 3 0 0 20 0 20 0 419055621 27969658880 31387 33554432000 4194304 4196468 140733682584432 140648950376496 140648963712023 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32301056 140733682586346 140733682586774 140733682586774 140733682589647 0 [pid=18752/tid=18754] ppid=18749 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/18752/task/18754/stat : 18754 (java) S 18749 18749 14714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419055623 27969658880 31387 33554432000 4194304 4196468 140733682584432 140648982789264 140648978556629 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32301056 140733682586346 140733682586774 140733682586774 140733682589647 0 [pid=18752/tid=18755] ppid=18749 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/18752/task/18755/stat : 18755 (java) S 18749 18749 14714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419055623 27969658880 31387 33554432000 4194304 4196468 140733682584432 140648796945424 140648978556629 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32301056 140733682586346 140733682586774 140733682586774 140733682589647 0 [pid=18752/tid=18756] ppid=18749 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/18752/task/18756/stat : 18756 (java) S 18749 18749 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419055624 27969658880 31387 33554432000 4194304 4196468 140733682584432 140648795892624 140648978556629 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32301056 140733682586346 140733682586774 140733682586774 140733682589647 0 [pid=18752/tid=18757] ppid=18749 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/18752/task/18757/stat : 18757 (java) S 18749 18749 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419055624 27969658880 31387 33554432000 4194304 4196468 140733682584432 140648794839824 140648978556629 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32301056 140733682586346 140733682586774 140733682586774 140733682589647 0 [pid=18752/tid=18758] ppid=18749 vsize=27314120 memory=2244 CPUtime=0 cores=0-7 /proc/18752/task/18758/stat : 18758 (java) S 18749 18749 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419055624 27969658880 31387 33554432000 4194304 4196468 140733682584432 140648793787024 140648978556629 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32301056 140733682586346 140733682586774 140733682586774 140733682589647 0 [pid=18752/tid=18759] ppid=18749 vsize=27314120 memory=140666353054639 CPUtime=0 cores=0-7 /proc/18752/task/18759/stat : 18759 (java) S 18749 18749 14714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419055624 27969658880 31387 33554432000 4194304 4196468 140733682584432 140648792734224 140648978556629 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32301056 140733682586346 140733682586774 140733682586774 140733682589647 0 [pid=18752/tid=18760] ppid=18749 vsize=27314120 memory=140666353056944 CPUtime=0 cores=0-7 /proc/18752/task/18760/stat : 18760 (java) S 18749 18749 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419055624 27969658880 31387 33554432000 4194304 4196468 140733682584432 140648791681424 140648978556629 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32301056 140733682586346 140733682586774 140733682586774 140733682589647 0 [pid=18752/tid=18761] ppid=18749 vsize=27314120 memory=140666353059248 CPUtime=0 cores=0-7 /proc/18752/task/18761/stat : 18761 (java) S 18749 18749 14714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419055624 27969658880 31387 33554432000 4194304 4196468 140733682584432 140648790628624 140648978556629 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32301056 140733682586346 140733682586774 140733682586774 140733682589647 0 [pid=18752/tid=18762] ppid=18749 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/18752/task/18762/stat : 18762 (java) S 18749 18749 14714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419055625 27969658880 31387 33554432000 4194304 4196468 140733682584432 140648238201712 140648978557570 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32301056 140733682586346 140733682586774 140733682586774 140733682589647 0 [pid=18752/tid=18763] ppid=18749 vsize=27314120 memory=281332706125456 CPUtime=0 cores=0-7 /proc/18752/task/18763/stat : 18763 (java) S 18749 18749 14714 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419055625 27969658880 31387 33554432000 4194304 4196468 140733682584432 140646622946848 140648978556629 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32301056 140733682586346 140733682586774 140733682586774 140733682589647 0 [pid=18752/tid=18764] ppid=18749 vsize=27314120 memory=281332706132368 CPUtime=0 cores=0-7 /proc/18752/task/18764/stat : 18764 (java) S 18749 18749 14714 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419055626 27969658880 31387 33554432000 4194304 4196468 140733682584432 140646488724848 140648978556629 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32301056 140733682586346 140733682586774 140733682586774 140733682589647 0 [pid=18752/tid=18765] ppid=18749 vsize=27314120 memory=281332706073648 CPUtime=0 cores=0-7 /proc/18752/task/18765/stat : 18765 (java) S 18749 18749 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419055628 27969658880 31387 33554432000 4194304 4196468 140733682584432 140646114220368 140648978565019 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32301056 140733682586346 140733682586774 140733682586774 140733682589647 0 [pid=18752/tid=18766] ppid=18749 vsize=27314120 memory=281332706146192 CPUtime=0 cores=0-7 /proc/18752/task/18766/stat : 18766 (java) R 18749 18749 14714 0 -1 4202560 353 0 0 0 0 0 0 0 20 0 20 0 419055628 27969658880 31387 33554432000 4194304 4196468 140733682584432 140648237148528 140648958210032 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32301056 140733682586346 140733682586774 140733682586774 140733682589647 0 [pid=18752/tid=18767] ppid=18749 vsize=27314120 memory=281332706153104 CPUtime=0.02 cores=0-7 /proc/18752/task/18767/stat : 18767 (java) S 18749 18749 14714 0 -1 1077944384 115 0 0 0 2 0 0 0 20 0 20 0 419055628 27969658880 31387 33554432000 4194304 4196468 140733682584432 140648236095728 140648978557570 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32301056 140733682586346 140733682586774 140733682586774 140733682589647 0 [pid=18752/tid=18768] ppid=18749 vsize=27314120 memory=281332706150800 CPUtime=0.01 cores=0-7 /proc/18752/task/18768/stat : 18768 (java) S 18749 18749 14714 0 -1 1077944384 174 0 0 0 1 0 0 0 20 0 20 0 419055628 27969658880 31387 33554432000 4194304 4196468 140733682584432 140648235042928 140648978557570 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32301056 140733682586346 140733682586774 140733682586774 140733682589647 0 [pid=18752/tid=18769] ppid=18749 vsize=27314120 memory=281332706166960 CPUtime=0.07 cores=0-7 /proc/18752/task/18769/stat : 18769 (java) S 18749 18749 14714 0 -1 1077944384 494 0 0 0 7 0 0 0 20 0 20 0 419055628 27969658880 31387 33554432000 4194304 4196468 140733682584432 140648166451184 140648978557570 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32301056 140733682586346 140733682586774 140733682586774 140733682589647 0 [pid=18752/tid=18770] ppid=18749 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/18752/task/18770/stat : 18770 (java) S 18749 18749 14714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419055628 27969658880 31387 33554432000 4194304 4196468 140733682584432 140645616315488 140648978556629 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32301056 140733682586346 140733682586774 140733682586774 140733682589647 0 [pid=18752/tid=18771] ppid=18749 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/18752/task/18771/stat : 18771 (java) S 18749 18749 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419055629 27969658880 31387 33554432000 4194304 4196468 140733682584432 140648165399600 140648978557570 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32301056 140733682586346 140733682586774 140733682586774 140733682589647 0 Current children cumulated CPU time: 0.43 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 126944 KiB [startup+0.701776 s] /proc/loadavg: 8.04 7.52 6.20 2/211 18771 /proc/meminfo: memFree=30809748/32770624 swapFree=66935220/67108860 [pid=18749] ppid=18746 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/18749/stat : 18749 (scop.sh) S 18746 18749 14714 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 419055621 115843072 349 33554432000 4194304 5098028 140733116979216 140733116976472 140018126475900 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 30605312 140733116982052 140733116982380 140733116982380 140733116985293 0 /proc/18749/statm: 28282 349 296 221 0 87 0 [pid=18752] ppid=18749 vsize=27320392 memory=163880 CPUtime=1.02 cores=0-7 /proc/18752/stat : 18752 (java) S 18749 18749 14714 0 -1 1077944320 20548 0 0 0 96 6 0 0 20 0 20 0 419055621 27976081408 40970 33554432000 4194304 4196468 140733682584432 140733682566976 140648978546423 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32301056 140733682586346 140733682586774 140733682586774 140733682589647 0 /proc/18752/statm: 6830098 40970 3195 1 0 6791447 0 [pid=18752/tid=18753] ppid=18749 vsize=27320392 memory=281332706461888 CPUtime=0.68 cores=0-7 /proc/18752/task/18753/stat : 18753 (java) R 18749 18749 14714 0 -1 4202560 17394 0 0 0 63 5 0 0 20 0 20 0 419055621 27976081408 40970 33554432000 4194304 4196468 140733682584432 140648950381888 140648978558358 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32301056 140733682586346 140733682586774 140733682586774 140733682589647 0 [pid=18752/tid=18754] ppid=18749 vsize=27320392 memory=1564 CPUtime=0 cores=0-7 /proc/18752/task/18754/stat : 18754 (java) S 18749 18749 14714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419055623 27976081408 40970 33554432000 4194304 4196468 140733682584432 140648982789264 140648978556629 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32301056 140733682586346 140733682586774 140733682586774 140733682589647 0 [pid=18752/tid=18755] ppid=18749 vsize=27320392 memory=976 CPUtime=0 cores=0-7 /proc/18752/task/18755/stat : 18755 (java) S 18749 18749 14714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419055623 27976081408 40970 33554432000 4194304 4196468 140733682584432 140648796945424 140648978556629 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32301056 140733682586346 140733682586774 140733682586774 140733682589647 0 [pid=18752/tid=18756] ppid=18749 vsize=27320392 memory=772 CPUtime=0 cores=0-7 /proc/18752/task/18756/stat : 18756 (java) S 18749 18749 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419055624 27976081408 40970 33554432000 4194304 4196468 140733682584432 140648795892624 140648978556629 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32301056 140733682586346 140733682586774 140733682586774 140733682589647 0 ################ # More data... # ################ [pid=18793/tid=18794] ppid=18749 vsize=8414124 memory=1564 CPUtime=0.79 cores=0-7 /proc/18793/task/18794/stat : 18794 (java) S 18749 18749 14714 0 -1 1077944384 16413 0 0 0 73 6 0 0 20 0 24 0 419085016 8616062976 31117 33554432000 4194304 4196468 140722543837600 139718080487328 139718108657365 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37056512 140722543842295 140722543842454 140722543842454 140722543845327 0 [pid=18793/tid=18795] ppid=18749 vsize=8414124 memory=976 CPUtime=0 cores=0-7 /proc/18793/task/18795/stat : 18795 (java) S 18749 18749 14714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419085018 8616062976 31117 33554432000 4194304 4196468 140722543837600 139718112889872 139718108657365 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37056512 140722543842295 140722543842454 140722543842454 140722543845327 0 [pid=18793/tid=18796] ppid=18749 vsize=8414124 memory=772 CPUtime=0 cores=0-7 /proc/18793/task/18796/stat : 18796 (java) S 18749 18749 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419085018 8616062976 31117 33554432000 4194304 4196468 140722543837600 139717913058448 139718108657365 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37056512 140722543842295 140722543842454 140722543842454 140722543845327 0 [pid=18793/tid=18797] ppid=18749 vsize=8414124 memory=3932 CPUtime=0 cores=0-7 /proc/18793/task/18797/stat : 18797 (java) S 18749 18749 14714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419085018 8616062976 31117 33554432000 4194304 4196468 140722543837600 139717912005392 139718108657365 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37056512 140722543842295 140722543842454 140722543842454 140722543845327 0 [pid=18793/tid=18798] ppid=18749 vsize=8414124 memory=2832 CPUtime=0 cores=0-7 /proc/18793/task/18798/stat : 18798 (java) S 18749 18749 14714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419085018 8616062976 31117 33554432000 4194304 4196468 140722543837600 139717910952848 139718108657365 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37056512 140722543842295 140722543842454 140722543842454 140722543845327 0 [pid=18793/tid=18799] ppid=18749 vsize=8414124 memory=1548 CPUtime=0 cores=0-7 /proc/18793/task/18799/stat : 18799 (java) S 18749 18749 14714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419085018 8616062976 31117 33554432000 4194304 4196468 140722543837600 139717909899792 139718108657365 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37056512 140722543842295 140722543842454 140722543842454 140722543845327 0 [pid=18793/tid=18800] ppid=18749 vsize=8414124 memory=1056 CPUtime=0 cores=0-7 /proc/18793/task/18800/stat : 18800 (java) S 18749 18749 14714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419085018 8616062976 31117 33554432000 4194304 4196468 140722543837600 139717908847248 139718108657365 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37056512 140722543842295 140722543842454 140722543842454 140722543845327 0 [pid=18793/tid=18801] ppid=18749 vsize=8414124 memory=744 CPUtime=0 cores=0-7 /proc/18793/task/18801/stat : 18801 (java) S 18749 18749 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419085018 8616062976 31117 33554432000 4194304 4196468 140722543837600 139717907794192 139718108657365 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37056512 140722543842295 140722543842454 140722543842454 140722543845327 0 [pid=18793/tid=18802] ppid=18749 vsize=8414124 memory=8296 CPUtime=0 cores=0-7 /proc/18793/task/18802/stat : 18802 (java) S 18749 18749 14714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419085018 8616062976 31117 33554432000 4194304 4196468 140722543837600 139717906741648 139718108657365 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37056512 140722543842295 140722543842454 140722543842454 140722543845327 0 [pid=18793/tid=18803] ppid=18749 vsize=8414124 memory=5960 CPUtime=0 cores=0-7 /proc/18793/task/18803/stat : 18803 (java) S 18749 18749 14714 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 419085019 8616062976 31117 33554432000 4194304 4196468 140722543837600 139717067954928 139718108658306 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37056512 140722543842295 140722543842454 140722543842454 140722543845327 0 [pid=18793/tid=18804] ppid=18749 vsize=8414124 memory=1124 CPUtime=0 cores=0-7 /proc/18793/task/18804/stat : 18804 (java) S 18749 18749 14714 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419085020 8616062976 31117 33554432000 4194304 4196468 140722543837600 139716695418528 139718108657365 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37056512 140722543842295 140722543842454 140722543842454 140722543845327 0 [pid=18793/tid=18805] ppid=18749 vsize=8414124 memory=14008 CPUtime=0 cores=0-7 /proc/18793/task/18805/stat : 18805 (java) S 18749 18749 14714 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 419085020 8616062976 31117 33554432000 4194304 4196468 140722543837600 139716561196272 139718108657365 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37056512 140722543842295 140722543842454 140722543842454 140722543845327 0 [pid=18793/tid=18806] ppid=18749 vsize=8414124 memory=12024 CPUtime=0 cores=0-7 /proc/18793/task/18806/stat : 18806 (java) S 18749 18749 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419085023 8616062976 31117 33554432000 4194304 4196468 140722543837600 139716186692048 139718108665755 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37056512 140722543842295 140722543842454 140722543842454 140722543845327 0 [pid=18793/tid=18807] ppid=18749 vsize=8414124 memory=2124 CPUtime=0.1 cores=0-7 /proc/18793/task/18807/stat : 18807 (java) R 18749 18749 14714 0 -1 4202560 708 0 0 0 10 0 0 0 20 0 24 0 419085023 8616062976 31117 33554432000 4194304 4196468 140722543837600 139717066892128 139718093764208 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37056512 140722543842295 140722543842454 140722543842454 140722543845327 0 [pid=18793/tid=18808] ppid=18749 vsize=8414124 memory=7828 CPUtime=0.16 cores=0-7 /proc/18793/task/18808/stat : 18808 (java) S 18749 18749 14714 0 -1 1077944384 723 0 0 0 16 0 0 0 20 0 24 0 419085023 8616062976 31117 33554432000 4194304 4196468 140722543837600 139717065849200 139718108658306 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37056512 140722543842295 140722543842454 140722543842454 140722543845327 0 [pid=18793/tid=18809] ppid=18749 vsize=8414124 memory=504 CPUtime=0.11 cores=0-7 /proc/18793/task/18809/stat : 18809 (java) R 18749 18749 14714 0 -1 4202560 287 0 0 0 11 0 0 0 20 0 24 0 419085023 8616062976 31117 33554432000 4194304 4196468 140722543837600 139717064796144 139718092133093 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37056512 140722543842295 140722543842454 140722543842454 140722543845327 0 [pid=18793/tid=18810] ppid=18749 vsize=8414124 memory=1564 CPUtime=0.25 cores=0-7 /proc/18793/task/18810/stat : 18810 (java) S 18749 18749 14714 0 -1 1077944384 633 0 0 0 25 0 0 0 20 0 24 0 419085023 8616062976 31117 33554432000 4194304 4196468 140722543837600 139717063743600 139718108658306 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37056512 140722543842295 140722543842454 140722543842454 140722543845327 0 [pid=18793/tid=18811] ppid=18749 vsize=8414124 memory=924 CPUtime=0 cores=0-7 /proc/18793/task/18811/stat : 18811 (java) S 18749 18749 14714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419085023 8616062976 31117 33554432000 4194304 4196468 140722543837600 139715688786912 139718108657365 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37056512 140722543842295 140722543842454 140722543842454 140722543845327 0 [pid=18793/tid=18812] ppid=18749 vsize=8414124 memory=1420 CPUtime=0 cores=0-7 /proc/18793/task/18812/stat : 18812 (java) S 18749 18749 14714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419085023 8616062976 31117 33554432000 4194304 4196468 140722543837600 139717062692016 139718108658306 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37056512 140722543842295 140722543842454 140722543842454 140722543845327 0 [pid=18793/tid=18814] ppid=18749 vsize=8414124 memory=1984 CPUtime=0 cores=0-7 /proc/18793/task/18814/stat : 18814 (java) S 18749 18749 14714 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419085093 8616062976 31117 33554432000 4194304 4196468 140722543837600 139717054657984 139718108671769 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 37056512 140722543842295 140722543842454 140722543842454 140722543845327 0 [pid=18793/tid=18816] ppid=18749 vsize=8414124 memory=2532 CPUtime=0.03 cores=0-7 /proc/18793/task/18816/stat : 18816 (java) R 18749 18749 14714 0 -1 4202560 17 0 0 0 3 0 0 0 20 0 24 0 419085093 8616062976 31117 33554432000 4194304 4196468 140722543837600 139715017686544 139718101349639 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37056512 140722543842295 140722543842454 140722543842454 140722543845327 0 [pid=18793/tid=18817] ppid=18749 vsize=8414124 memory=1440 CPUtime=0 cores=0-7 /proc/18793/task/18817/stat : 18817 (java) S 18749 18749 14714 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 419085093 8616062976 31117 33554432000 4194304 4196468 140722543837600 139715286122160 139718108669085 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 37056512 140722543842295 140722543842454 140722543842454 140722543845327 0 [pid=18793/tid=18818] ppid=18749 vsize=8414124 memory=812 CPUtime=0 cores=0-7 /proc/18793/task/18818/stat : 18818 (java) S 18749 18749 14714 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 419085095 8616062976 31117 33554432000 4194304 4196468 140722543837600 139714749258672 139718108657365 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37056512 140722543842295 140722543842454 140722543842454 140722543845327 0 Current children cumulated CPU time: 384.37 s Current children cumulated vsize: 9427764 KiB Current children cumulated memory: 444864 KiB [startup+295.801 s] /proc/loadavg: 1.14 3.50 4.82 2/216 18818 /proc/meminfo: memFree=30776668/32770624 swapFree=66935224/67108860 [pid=18749] ppid=18746 vsize=113128 memory=1476 CPUtime=381.98 cores=0-7 /proc/18749/stat : 18749 (scop.sh) S 18746 18749 14714 0 -1 4202496 583 162989 0 0 0 0 36441 1757 20 0 1 0 419055621 115843072 369 33554432000 4194304 5098028 140733116979216 140733116975960 140018126475900 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30605312 140733116982052 140733116982380 140733116982380 140733116985293 0 /proc/18749/statm: 28282 369 311 221 0 87 0 [pid=18793] ppid=18749 vsize=8283048 memory=156020 CPUtime=2.92 cores=0-7 /proc/18793/stat : 18793 (java) S 18749 18749 14714 0 -1 1077944320 21306 68267 0 0 188 10 84 10 20 0 22 0 419085015 8481841152 39005 33554432000 4194304 4196468 140722543837600 140722543820144 139718108647159 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 37056512 140722543842295 140722543842454 140722543842454 140722543845327 0 /proc/18793/statm: 2070762 39005 3236 1 0 2032106 0 [pid=18793/tid=18794] ppid=18749 vsize=8283048 memory=6791534058613427641 CPUtime=1.84 cores=0-7 /proc/18793/task/18794/stat : 18794 (java) R 18749 18749 14714 0 -1 4202560 16706 68267 0 0 84 6 84 10 20 0 22 0 419085016 8481841152 39005 33554432000 4194304 4196468 140722543837600 139718080484624 139718108659094 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37056512 140722543842295 140722543842454 140722543842454 140722543845327 0 [pid=18793/tid=18795] ppid=18749 vsize=8283048 memory=-7003737579269690708 CPUtime=0.94 cores=0-7 /proc/18793/task/18795/stat : 18795 (java) S 18749 18749 14714 0 -1 1077944384 3 68267 0 0 0 0 84 10 20 0 22 0 419085018 8481841152 39005 33554432000 4194304 4196468 140722543837600 139718112889872 139718108657365 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37056512 140722543842295 140722543842454 140722543842454 140722543845327 0 [pid=18793/tid=18796] ppid=18749 vsize=8283048 memory=14133350919046965 CPUtime=0.94 cores=0-7 /proc/18793/task/18796/stat : 18796 (java) S 18749 18749 14714 0 -1 1077944384 1 68267 0 0 0 0 84 10 20 0 22 0 419085018 8481841152 39005 33554432000 4194304 4196468 140722543837600 139717913058448 139718108657365 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37056512 140722543842295 140722543842454 140722543842454 140722543845327 0 [pid=18793/tid=18797] ppid=18749 vsize=8283048 memory=2832 CPUtime=0.94 cores=0-7 /proc/18793/task/18797/stat : 18797 (java) S 18749 18749 14714 0 -1 1077944384 2 68267 0 0 0 0 84 10 20 0 22 0 419085018 8481841152 39005 33554432000 4194304 4196468 140722543837600 139717912005392 139718108657365 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37056512 140722543842295 140722543842454 140722543842454 140722543845327 0 [pid=18793/tid=18798] ppid=18749 vsize=8283048 memory=1548 CPUtime=0.94 cores=0-7 /proc/18793/task/18798/stat : 18798 (java) S 18749 18749 14714 0 -1 1077944384 3 68267 0 0 0 0 84 10 20 0 22 0 419085018 8481841152 39005 33554432000 4194304 4196468 140722543837600 139717910952848 139718108657365 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37056512 140722543842295 140722543842454 140722543842454 140722543845327 0 [pid=18793/tid=18799] ppid=18749 vsize=8283048 memory=1056 CPUtime=0.94 cores=0-7 /proc/18793/task/18799/stat : 18799 (java) S 18749 18749 14714 0 -1 1077944384 2 68267 0 0 0 0 84 10 20 0 22 0 419085018 8481841152 39005 33554432000 4194304 4196468 140722543837600 139717909899792 139718108657365 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37056512 140722543842295 140722543842454 140722543842454 140722543845327 0 [pid=18793/tid=18800] ppid=18749 vsize=8283048 memory=744 CPUtime=0.94 cores=0-7 /proc/18793/task/18800/stat : 18800 (java) S 18749 18749 14714 0 -1 1077944384 2 68267 0 0 0 0 84 10 20 0 22 0 419085018 8481841152 39005 33554432000 4194304 4196468 140722543837600 139717908847248 139718108657365 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37056512 140722543842295 140722543842454 140722543842454 140722543845327 0 [pid=18793/tid=18801] ppid=18749 vsize=8283048 memory=-7824251494390846564 CPUtime=0.94 cores=0-7 /proc/18793/task/18801/stat : 18801 (java) S 18749 18749 14714 0 -1 1077944384 1 68267 0 0 0 0 84 10 20 0 22 0 419085018 8481841152 39005 33554432000 4194304 4196468 140722543837600 139717907794192 139718108657365 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37056512 140722543842295 140722543842454 140722543842454 140722543845327 0 [pid=18793/tid=18802] ppid=18749 vsize=8283048 memory=1124 CPUtime=0.94 cores=0-7 /proc/18793/task/18802/stat : 18802 (java) S 18749 18749 14714 0 -1 1077944384 2 68267 0 0 0 0 84 10 20 0 22 0 419085018 8481841152 39005 33554432000 4194304 4196468 140722543837600 139717906741648 139718108657365 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37056512 140722543842295 140722543842454 140722543842454 140722543845327 0 [pid=18793/tid=18803] ppid=18749 vsize=8283048 memory=14008 CPUtime=0.94 cores=0-7 /proc/18793/task/18803/stat : 18803 (java) S 18749 18749 14714 0 -1 1077944384 5 68267 0 0 0 0 84 10 20 0 22 0 419085019 8481841152 39005 33554432000 4194304 4196468 140722543837600 139717067954928 139718108658306 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37056512 140722543842295 140722543842454 140722543842454 140722543845327 0 [pid=18793/tid=18804] ppid=18749 vsize=8283048 memory=12024 CPUtime=0.94 cores=0-7 /proc/18793/task/18804/stat : 18804 (java) S 18749 18749 14714 0 -1 1077944384 13 68267 0 0 0 0 84 10 20 0 22 0 419085020 8481841152 39005 33554432000 4194304 4196468 140722543837600 139716695418528 139718108657365 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37056512 140722543842295 140722543842454 140722543842454 140722543845327 0 [pid=18793/tid=18805] ppid=18749 vsize=8283048 memory=2124 CPUtime=0.94 cores=0-7 /proc/18793/task/18805/stat : 18805 (java) S 18749 18749 14714 0 -1 1077944384 21 68267 0 0 0 0 84 10 20 0 22 0 419085020 8481841152 39005 33554432000 4194304 4196468 140722543837600 139716561196272 139718108657365 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37056512 140722543842295 140722543842454 140722543842454 140722543845327 0 [pid=18793/tid=18806] ppid=18749 vsize=8283048 memory=7828 CPUtime=0.94 cores=0-7 /proc/18793/task/18806/stat : 18806 (java) S 18749 18749 14714 0 -1 1077944384 1 68267 0 0 0 0 84 10 20 0 22 0 419085023 8481841152 39005 33554432000 4194304 4196468 140722543837600 139716186692048 139718108665755 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37056512 140722543842295 140722543842454 140722543842454 140722543845327 0 [pid=18793/tid=18807] ppid=18749 vsize=8283048 memory=504 CPUtime=1.1 cores=0-7 /proc/18793/task/18807/stat : 18807 (java) S 18749 18749 14714 0 -1 1077944384 731 68267 0 0 16 0 84 10 20 0 22 0 419085023 8481841152 39005 33554432000 4194304 4196468 140722543837600 139717066901744 139718108658306 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37056512 140722543842295 140722543842454 140722543842454 140722543845327 0 [pid=18793/tid=18808] ppid=18749 vsize=8283048 memory=804 CPUtime=1.18 cores=0-7 /proc/18793/task/18808/stat : 18808 (java) R 18749 18749 14714 0 -1 1077944384 759 68267 0 0 24 0 84 10 20 0 22 0 419085023 8481841152 39005 33554432000 4194304 4196468 140722543837600 139717065849200 139718108658306 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37056512 140722543842295 140722543842454 140722543842454 140722543845327 0 [pid=18793/tid=18809] ppid=18749 vsize=8283048 memory=1656 CPUtime=1.12 cores=0-7 /proc/18793/task/18809/stat : 18809 (java) S 18749 18749 14714 0 -1 1077944384 314 68267 0 0 18 0 84 10 20 0 22 0 419085023 8481841152 39005 33554432000 4194304 4196468 140722543837600 139717064796144 139718108658306 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37056512 140722543842295 140722543842454 140722543842454 140722543845327 0 [pid=18793/tid=18810] ppid=18749 vsize=8283048 memory=1808 CPUtime=1.26 cores=0-7 /proc/18793/task/18810/stat : 18810 (java) R 18749 18749 14714 0 -1 4202560 803 68267 0 0 32 0 84 10 20 0 22 0 419085023 8481841152 39005 33554432000 4194304 4196468 140722543837600 139717063739328 139718108668506 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37056512 140722543842295 140722543842454 140722543842454 140722543845327 0 [pid=18793/tid=18811] ppid=18749 vsize=8283048 memory=920 CPUtime=0.94 cores=0-7 /proc/18793/task/18811/stat : 18811 (java) S 18749 18749 14714 0 -1 1077944384 3 68267 0 0 0 0 84 10 20 0 22 0 419085023 8481841152 39005 33554432000 4194304 4196468 140722543837600 139715688786912 139718108657365 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37056512 140722543842295 140722543842454 140722543842454 140722543845327 0 [pid=18793/tid=18812] ppid=18749 vsize=8283048 memory=4136 CPUtime=0.94 cores=0-7 /proc/18793/task/18812/stat : 18812 (java) S 18749 18749 14714 0 -1 1077944384 3 68267 0 0 0 0 84 10 20 0 22 0 419085023 8481841152 39005 33554432000 4194304 4196468 140722543837600 139717062692016 139718108658306 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37056512 140722543842295 140722543842454 140722543842454 140722543845327 0 [pid=18793/tid=18814] ppid=18749 vsize=8283048 memory=4100 CPUtime=0.94 cores=0-7 /proc/18793/task/18814/stat : 18814 (java) S 18749 18749 14714 0 -1 1077944384 25 68267 0 0 0 0 84 10 20 0 22 0 419085093 8481841152 39005 33554432000 4194304 4196468 140722543837600 139717054657168 139718108658306 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37056512 140722543842295 140722543842454 140722543842454 140722543845327 0 [pid=18793/tid=18818] ppid=18749 vsize=8283048 memory=1412 CPUtime=0.94 cores=0-7 /proc/18793/task/18818/stat : 18818 (java) S 18749 18749 14714 0 -1 1077944384 15 68267 0 0 0 0 84 10 20 0 22 0 419085095 8481841152 39005 33554432000 4194304 4196468 140722543837600 139714749260464 139718108658306 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37056512 140722543842295 140722543842454 140722543842454 140722543845327 0 Current children cumulated CPU time: 384.9 s Current children cumulated vsize: 8396176 KiB Current children cumulated memory: 157496 KiB [startup+295.901 s] /proc/loadavg: 1.14 3.50 4.82 2/216 18818 /proc/meminfo: memFree=30776668/32770624 swapFree=66935224/67108860 [pid=18749] ppid=18746 vsize=113128 memory=1476 CPUtime=381.98 cores=0-7 /proc/18749/stat : 18749 (scop.sh) S 18746 18749 14714 0 -1 4202496 583 162989 0 0 0 0 36441 1757 20 0 1 0 419055621 115843072 369 33554432000 4194304 5098028 140733116979216 140733116975960 140018126475900 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30605312 140733116982052 140733116982380 140733116982380 140733116985293 0 /proc/18749/statm: 28282 369 311 221 0 87 0 [pid=18793] ppid=18749 vsize=8284072 memory=167336 CPUtime=3.17 cores=0-7 /proc/18793/stat : 18793 (java) S 18749 18749 14714 0 -1 1077944320 23431 68267 0 0 212 11 84 10 20 0 22 0 419085015 8482889728 41834 33554432000 4194304 4196468 140722543837600 140722543820144 139718108647159 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 37056512 140722543842295 140722543842454 140722543842454 140722543845327 0 /proc/18793/statm: 2071018 41834 3237 1 0 2032362 0 [pid=18793/tid=18794] ppid=18749 vsize=8284072 memory=1476 CPUtime=1.94 cores=0-7 /proc/18793/task/18794/stat : 18794 (java) R 18749 18749 14714 0 -1 4202560 18440 68267 0 0 93 7 84 10 20 0 22 0 419085016 8482889728 41834 33554432000 4194304 4196468 140722543837600 139718080473760 139718101326877 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37056512 140722543842295 140722543842454 140722543842454 140722543845327 0 [pid=18793/tid=18795] ppid=18749 vsize=8284072 memory=119728 CPUtime=0.94 cores=0-7 /proc/18793/task/18795/stat : 18795 (java) S 18749 18749 14714 0 -1 1077944384 3 68267 0 0 0 0 84 10 20 0 22 0 419085018 8482889728 41834 33554432000 4194304 4196468 140722543837600 139718112889872 139718108657365 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37056512 140722543842295 140722543842454 140722543842454 140722543845327 0 [pid=18793/tid=18796] ppid=18749 vsize=8284072 memory=1476 CPUtime=0.94 cores=0-7 /proc/18793/task/18796/stat : 18796 (java) S 18749 18749 14714 0 -1 1077944384 1 68267 0 0 0 0 84 10 20 0 22 0 419085018 8482889728 41834 33554432000 4194304 4196468 140722543837600 139717913058448 139718108657365 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37056512 140722543842295 140722543842454 140722543842454 140722543845327 0 [pid=18793/tid=18797] ppid=18749 vsize=8284072 memory=11828388 CPUtime=0.94 cores=0-7 /proc/18793/task/18797/stat : 18797 (java) S 18749 18749 14714 0 -1 1077944384 2 68267 0 0 0 0 84 10 20 0 22 0 419085018 8482889728 41834 33554432000 4194304 4196468 140722543837600 139717912005392 139718108657365 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37056512 140722543842295 140722543842454 140722543842454 140722543845327 0 [pid=18793/tid=18798] ppid=18749 vsize=8284072 memory=1476 CPUtime=0.94 cores=0-7 /proc/18793/task/18798/stat : 18798 (java) S 18749 18749 14714 0 -1 1077944384 3 68267 0 0 0 0 84 10 20 0 22 0 419085018 8482889728 41834 33554432000 4194304 4196468 140722543837600 139717910952848 139718108657365 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37056512 140722543842295 140722543842454 140722543842454 140722543845327 0 [pid=18793/tid=18799] ppid=18749 vsize=8284072 memory=119728 CPUtime=0.94 cores=0-7 /proc/18793/task/18799/stat : 18799 (java) S 18749 18749 14714 0 -1 1077944384 2 68267 0 0 0 0 84 10 20 0 22 0 419085018 8482889728 41834 33554432000 4194304 4196468 140722543837600 139717909899792 139718108657365 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37056512 140722543842295 140722543842454 140722543842454 140722543845327 0 [pid=18793/tid=18800] ppid=18749 vsize=8284072 memory=7828 CPUtime=0.94 cores=0-7 /proc/18793/task/18800/stat : 18800 (java) S 18749 18749 14714 0 -1 1077944384 2 68267 0 0 0 0 84 10 20 0 22 0 419085018 8482889728 41834 33554432000 4194304 4196468 140722543837600 139717908847248 139718108657365 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37056512 140722543842295 140722543842454 140722543842454 140722543845327 0 [pid=18793/tid=18801] ppid=18749 vsize=8284072 memory=504 CPUtime=0.94 cores=0-7 /proc/18793/task/18801/stat : 18801 (java) S 18749 18749 14714 0 -1 1077944384 1 68267 0 0 0 0 84 10 20 0 22 0 419085018 8482889728 41736 33554432000 4194304 4196468 140722543837600 139717907794192 139718108657365 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37056512 140722543842295 140722543842454 140722543842454 140722543845327 0 [pid=18793/tid=18802] ppid=18749 vsize=8284072 memory=1476 CPUtime=0.94 cores=0-7 /proc/18793/task/18802/stat : 18802 (java) S 18749 18749 14714 0 -1 1077944384 2 68267 0 0 0 0 84 10 20 0 22 0 419085018 8482889728 41640 33554432000 4194304 4196468 140722543837600 139717906741648 139718108657365 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37056512 140722543842295 140722543842454 140722543842454 140722543845327 0 [pid=18793/tid=18803] ppid=18749 vsize=8283048 memory=95644 CPUtime=0.94 cores=0-7 /proc/18793/task/18803/stat : 18803 (java) S 18749 18749 14714 0 -1 1077944384 5 68267 0 0 0 0 84 10 20 0 22 0 419085019 8481841152 41640 33554432000 4194304 4196468 140722543837600 139717067954928 139718108658306 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37056512 140722543842295 140722543842454 140722543842454 140722543845327 0 [pid=18793/tid=18804] ppid=18749 vsize=8283048 memory=119728 CPUtime=0.94 cores=0-7 /proc/18793/task/18804/stat : 18804 (java) S 18749 18749 14714 0 -1 1077944384 13 68267 0 0 0 0 84 10 20 0 22 0 419085020 8481841152 41640 33554432000 4194304 4196468 140722543837600 139716695418528 139718108657365 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37056512 140722543842295 140722543842454 140722543842454 140722543845327 0 [pid=18793/tid=18805] ppid=18749 vsize=8283048 memory=1396 CPUtime=0.94 cores=0-7 /proc/18793/task/18805/stat : 18805 (java) S 18749 18749 14714 0 -1 1077944384 21 68267 0 0 0 0 84 10 20 0 22 0 419085020 8481841152 41640 33554432000 4194304 4196468 140722543837600 139716561196272 139718108657365 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37056512 140722543842295 140722543842454 140722543842454 140722543845327 0 [pid=18793/tid=18806] ppid=18749 vsize=8283048 memory=11828388 CPUtime=0.94 cores=0-7 /proc/18793/task/18806/stat : 18806 (java) S 18749 18749 14714 0 -1 1077944384 1 68267 0 0 0 0 84 10 20 0 22 0 419085023 8481841152 41640 33554432000 4194304 4196468 140722543837600 139716186692048 139718108665755 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37056512 140722543842295 140722543842454 140722543842454 140722543845327 0 [pid=18793/tid=18807] ppid=18749 vsize=8283048 memory=1396 CPUtime=1.15 cores=0-7 /proc/18793/task/18807/stat : 18807 (java) R 18749 18749 14714 0 -1 4202560 966 68267 0 0 21 0 84 10 20 0 22 0 419085023 8481841152 41640 33554432000 4194304 4196468 140722543837600 139717066882152 139718092143947 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37056512 140722543842295 140722543842454 140722543842454 140722543845327 0 [pid=18793/tid=18808] ppid=18749 vsize=8283048 memory=1476 CPUtime=1.2 cores=0-7 /proc/18793/task/18808/stat : 18808 (java) S 18749 18749 14714 0 -1 1077944384 769 68267 0 0 26 0 84 10 20 0 22 0 419085023 8481841152 41640 33554432000 4194304 4196468 140722543837600 139717065849200 139718108658306 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37056512 140722543842295 140722543842454 140722543842454 140722543845327 0 [pid=18793/tid=18809] ppid=18749 vsize=8283048 memory=61712 CPUtime=1.14 cores=0-7 /proc/18793/task/18809/stat : 18809 (java) S 18749 18749 14714 0 -1 1077944384 324 68267 0 0 20 0 84 10 20 0 22 0 419085023 8481841152 41640 33554432000 4194304 4196468 140722543837600 139717064796144 139718108658306 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37056512 140722543842295 140722543842454 140722543842454 140722543845327 0 [pid=18793/tid=18810] ppid=18749 vsize=8283048 memory=1396 CPUtime=1.31 cores=0-7 /proc/18793/task/18810/stat : 18810 (java) S 18749 18749 14714 0 -1 1077944384 938 68267 0 0 37 0 84 10 20 0 22 0 419085023 8481841152 41640 33554432000 4194304 4196468 140722543837600 139717063743600 139718108658306 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37056512 140722543842295 140722543842454 140722543842454 140722543845327 0 [pid=18793/tid=18811] ppid=18749 vsize=8283048 memory=11828388 CPUtime=0.94 cores=0-7 /proc/18793/task/18811/stat : 18811 (java) S 18749 18749 14714 0 -1 1077944384 3 68267 0 0 0 0 84 10 20 0 22 0 419085023 8481841152 41640 33554432000 4194304 4196468 140722543837600 139715688786912 139718108657365 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37056512 140722543842295 140722543842454 140722543842454 140722543845327 0 [pid=18793/tid=18812] ppid=18749 vsize=8283048 memory=1772 CPUtime=0.94 cores=0-7 /proc/18793/task/18812/stat : 18812 (java) S 18749 18749 14714 0 -1 1077944384 3 68267 0 0 0 0 84 10 20 0 22 0 419085023 8481841152 41640 33554432000 4194304 4196468 140722543837600 139717062692016 139718108658306 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37056512 140722543842295 140722543842454 140722543842454 140722543845327 0 [pid=18793/tid=18814] ppid=18749 vsize=8283048 memory=111632 CPUtime=0.94 cores=0-7 /proc/18793/task/18814/stat : 18814 (java) S 18749 18749 14714 0 -1 1077944384 25 68267 0 0 0 0 84 10 20 0 22 0 419085093 8481841152 41640 33554432000 4194304 4196468 140722543837600 139717054657168 139718108658306 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37056512 140722543842295 140722543842454 140722543842454 140722543845327 0 [pid=18793/tid=18818] ppid=18749 vsize=8283048 memory=4486604260213485459 CPUtime=0.94 cores=0-7 /proc/18793/task/18818/stat : 18818 (java) S 18749 18749 14714 0 -1 1077944384 15 68267 0 0 0 0 84 10 20 0 22 0 419085095 8481841152 41640 33554432000 4194304 4196468 140722543837600 139714749260464 139718108658306 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37056512 140722543842295 140722543842454 140722543842454 140722543845327 0 Current children cumulated CPU time: 385.15 s Current children cumulated vsize: 8397200 KiB Current children cumulated memory: 168812 KiB Child status: 0 Real time (s): 295.936 CPU time (s): 385.235 CPU user time (s): 367.43 CPU system time (s): 17.805 CPU usage (%): 130.175 Max. virtual memory (cumulated for all children) (KiB): 27441876 Max. memory (cumulated for all children) (KiB): 11833372 getrusage(RUSAGE_CHILDREN,...) data: user time used= 367.43 system time used= 17.805 maximum resident set size= 11832780 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 255510 page faults= 0 swaps= 0 block input operations= 0 block output operations= 12536 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 22841 involuntary context switches= 1303 # summary of solver processes directly reported to runsolver: # pid: 18749 # total CPU time (s): 385.235 # total CPU user time (s): 367.43 # total CPU system time (s): 17.805 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 2.03432 second user time and 3.09001 second system time The end
Begin job on node151 at 2019-09-14 04:23:22 IDJOB=4392628 IDBENCH=126905 IDSOLVER=2839 FILE ID=node151/4392628-1568427841 RUNJOBID= node151-1568416728-14741 PBS_JOBID= 21702250 Free space on /tmp= 59272 MiB SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-06-15) BENCH NAME= XCSP17/RoomMate/RoomMate-int-s1/RoomMate-sr0700d-int.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-4392628-1568427841/watcher-4392628-1568427841 -o /tmp/evaluation-result-4392628-1568427841/solver-4392628-1568427841 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node151-1568416728-14741 --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-4392628-1568427841.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 95bc0b66e49d41fb88ec1889e7409155 RANDOM SEED=1238357957 node151.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.53 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 : 5335.75 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.53 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 : 5335.75 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.53 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 : 5335.75 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.53 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 : 5335.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 30948752 kB MemAvailable: 31857044 kB Buffers: 183440 kB Cached: 1017124 kB SwapCached: 71104 kB Active: 673980 kB Inactive: 598276 kB Active(anon): 7852 kB Inactive(anon): 96932 kB Active(file): 666128 kB Inactive(file): 501344 kB Unevictable: 110868 kB Mlocked: 110868 kB SwapTotal: 67108860 kB SwapFree: 66935220 kB Dirty: 61064 kB Writeback: 0 kB AnonPages: 111968 kB Mapped: 37256 kB Shmem: 24452 kB Slab: 141532 kB SReclaimable: 113312 kB SUnreclaim: 28220 kB KernelStack: 3360 kB PageTables: 5040 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 497988 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 69632 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 138624 kB DirectMap2M: 33406976 kB Free space on /tmp at the end= 59248 MiB End job on node151 at 2019-09-14 04:28:19