Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
Fun-sCOP order+ManyGlucose (2019-09-22) | SAT | 391.116 | 286.095 |
Name | Crossword/Crossword-m1c-ogd-herald/ Crossword-m1c-ogd-h1502.xml |
MD5SUM | f196bcf8028f955a9b1a207c833066c3 |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 0.441362 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 225 |
Number of constraints | 80 |
Number of domains | 1 |
Minimum domain size | 26 |
Maximum domain size | 26 |
Distribution of domain sizes | [{"size":26,"count":191}] |
Minimum variable degree | 0 |
Maximum variable degree | 2 |
Distribution of variable degrees | [{"degree":0,"count":34},{"degree":2,"count":191}] |
Minimum constraint arity | 3 |
Maximum constraint arity | 15 |
Distribution of constraint arities | [{"arity":3,"count":16},{"arity":4,"count":36},{"arity":5,"count":14},{"arity":6,"count":6},{"arity":7,"count":2},{"arity":10,"count":4},{"arity":15,"count":2}] |
Number of extensional constraints | 80 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":80}] |
Optimization problem | NO |
Type of objective |
0.00/0.00 c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -order -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-22190-serial-file.bin HOME/instance-4405167-1569361962.xml 0.66/0.54 0.66/0.54 Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15) 0.66/0.54 0.66/0.57 c BEGIN-Prog: Tue Sep 24 23:54:56 CEST 2019 0.66/0.57 c PID: 22193 0.66/0.57 c IP: 172.20.3.139 0.66/0.57 c HOST: node139.alineos.net 0.66/0.57 c (0,0) Parsing Begin 2.92/1.42 c (0,0) Parsing End 2.92/1.42 c (0,0) CSP: 191 int (0 aux), 0 bool (0 aux), 80 ctr, max domain size 26 2.92/1.42 c (0,0) Heap : 450 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB) 2.92/1.42 c (0,0) Constraint Name Generate Begin 2.92/1.43 c (0,0) Ctr:HOME/instance-4405167-1569361962.xml,ExtensionSupport:Var 2.92/1.43 c (0,0) Constraint Name Generate End 2.92/1.43 c (0,0) Heap : 450 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB) 2.92/1.43 c (0,0) CSP to CSPinCNF Begin 22.16/11.01 c (10,10) translated 8 (10%) constraints 33.69/19.36 c (18,18) translated 16 (20%) constraints 37.49/21.92 c (21,21) translated 24 (30%) constraints 40.66/24.88 c (24,23) translated 32 (40%) constraints 43.49/27.70 c (27,26) translated 40 (50%) constraints 46.20/30.34 c (29,29) translated 48 (60%) constraints 187.95/143.36 c (142,138) translated 56 (70%) constraints 201.22/153.75 c (153,148) translated 64 (80%) constraints 201.98/154.42 c (153,148) translated 72 (90%) constraints 244.76/190.69 c (190,184) translated 80 (100%) constraints 253.66/199.50 c (198,193) =========================================== 253.66/199.52 c (198,193) Order 253.66/199.52 c (198,193) =========================================== 258.12/203.47 c (202,197) translated 204525 (10%) constraints 264.98/207.76 c (207,200) translated 409050 (20%) constraints 268.95/211.64 c (211,204) translated 613575 (30%) constraints 272.85/215.53 c (214,208) translated 818099 (40%) constraints 276.75/219.44 c (218,212) translated 1022624 (50%) constraints 280.71/223.35 c (222,216) translated 1227149 (60%) constraints 289.33/227.79 c (227,220) translated 1431673 (70%) constraints 293.13/231.55 c (231,224) translated 1636198 (80%) constraints 297.13/235.51 c (234,228) translated 1840723 (90%) constraints 301.10/239.45 c (238,232) translated 2045247 (100%) constraints 301.10/239.45 c (238,232) CSP to CSPinCNF End 301.23/239.52 c (238,232) CSP: 191 int (0 aux), 227362 bool (227362 aux), 2045247 ctr, max domain size 26 301.23/239.52 c (238,232) Heap : 6257 MiB used (max 21551 MiB), NonHeap : 26 MiB used (max 0 MiB) 301.23/239.52 c (238,232) CSPinCNF Propagation Begin 323.34/249.82 c (249,240) 0 values, 255 unsatisfiable literals, and 142 valid clauses are removed 323.34/249.82 c (249,240) CSPinCNF Propagation End 323.34/249.90 c (249,240) CSP: 191 int (0 aux), 227362 bool (227362 aux), 2045105 ctr, max domain size 26 323.34/249.90 c (249,240) Heap : 6742 MiB used (max 21623 MiB), NonHeap : 27 MiB used (max 0 MiB) 323.45/249.91 c (249,240) Simplify CSPinCNF Begin 327.35/253.70 c (253,244) Simplify CSPinCNF End 327.35/253.77 c (253,244) CSP: 191 int (0 aux), 227362 bool (227362 aux), 2045105 ctr, max domain size 26 327.35/253.77 c (253,244) Heap : 8894 MiB used (max 21623 MiB), NonHeap : 27 MiB used (max 0 MiB) 327.35/253.77 c (253,244) Calculate Precise Domain Begin 327.35/253.77 c (253,244) 0 values are removed by re-calculation 327.35/253.77 c (253,244) Calculate Precise Domain End 327.46/253.84 c (253,244) CSP: 191 int (0 aux), 227362 bool (227362 aux), 2045105 ctr, max domain size 26 327.46/253.84 c (253,244) Heap : 8894 MiB used (max 21623 MiB), NonHeap : 27 MiB used (max 0 MiB) 327.46/253.84 c (253,244) CSPinCNF to SatSolver Begin 337.54/257.23 c (256,247) 204511 (10 %) CSP clauses are encoded (0 SAT variables, 208947 SAT clauses) 339.57/259.27 c (258,249) 409021 (20 %) CSP clauses are encoded (0 SAT variables, 413457 SAT clauses) 341.58/261.26 c (260,251) 613532 (30 %) CSP clauses are encoded (0 SAT variables, 617968 SAT clauses) 349.79/264.00 c (263,253) 818042 (40 %) CSP clauses are encoded (0 SAT variables, 822478 SAT clauses) 351.80/265.97 c (265,255) 1022553 (50 %) CSP clauses are encoded (0 SAT variables, 1026989 SAT clauses) 353.80/267.94 c (267,257) 1227063 (60 %) CSP clauses are encoded (0 SAT variables, 1231499 SAT clauses) 358.62/270.20 c (269,259) 1431574 (70 %) CSP clauses are encoded (0 SAT variables, 1436010 SAT clauses) 360.43/272.09 c (271,261) 1636084 (80 %) CSP clauses are encoded (0 SAT variables, 1640520 SAT clauses) 362.54/274.11 c (273,263) 1840595 (90 %) CSP clauses are encoded (0 SAT variables, 1845031 SAT clauses) 367.27/276.48 c (275,265) 2045105 (100 %) CSP clauses are encoded (0 SAT variables, 2049541 SAT clauses) 367.27/276.48 c (275,265) CSPinCNF to SatSolver End 367.27/276.48 c (275,265) Heap : 4253 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB) 367.27/276.48 c (275,265) 231990 bool, 2049542 clause 367.27/276.48 c (275,265) Export Begin 367.57/276.61 c (276,265) Export to HOME/scop-22190-serial-file.bin 367.57/276.61 c (276,265) Export End 367.57/276.61 c (276,265) Export File Size: 0.09 MB 367.57/276.61 c (276,265) 0,0,238,249,253,253,275,STOP-AFTER(DIMACS) 367.57/276.61 c END-Prog: Tue Sep 24 23:59:32 CEST 2019 367.57/276.68 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-22190-serial-file.bin 368.24/277.15 c (0,0) Read Serial File Begin 368.24/277.15 c (0,0) HOME/scop-22190-serial-file.bin 368.74/277.41 c (0,0) Read Serial File End 368.74/277.42 368.74/277.42 Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15) 368.74/277.42 (Solving Process) 368.74/277.42 368.74/277.44 c BEGIN-Prog: Tue Sep 24 23:59:33 CEST 2019 368.74/277.44 c PID: 22234 368.74/277.44 c IP: 172.20.3.139 368.74/277.44 c HOST: node139.alineos.net 368.74/277.44 c (0,0) SatSolver.solve Begin 368.74/277.44 c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405167-1569361962.xml-scop-22193.cnf 368.74/277.47 c (0,0) c 368.74/277.47 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) 368.74/277.47 c (0,0) c 368.74/277.47 c (0,0) c WARNING: for repeatability, setting FPU to use double precision 368.74/277.47 c (0,0) c 8 solvers engines and 1 companion as a blackboard created. 368.74/277.47 c (0,0) c ========================================[ Problem Statistics ]=========================================== 368.74/277.47 c (0,0) c | | 369.77/278.27 c (1,0) c | Number of variables: 231990 | 369.77/278.27 c (1,0) c | Number of clauses: 2045743 | 369.77/278.27 c (1,0) c | Parse time: 0.73 s | 369.77/278.27 c (1,0) c | | 374.27/282.71 c (5,0) c | Simplification time: 4.36 s | 374.27/282.71 c (5,0) c | | 374.27/282.71 c (5,0) c | Generating clones | 374.97/283.49 c (6,0) c | all clones generated. Memory = 1466.36Mb. | 374.97/283.49 c (6,0) c ========================================================================================================| 374.97/283.49 c (6,0) c 374.97/283.49 c (6,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 374.97/283.49 c (6,0) c 374.97/283.49 c (6,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 374.97/283.49 c (6,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 374.97/283.49 c (6,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 374.97/283.49 c (6,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 374.97/283.49 c (6,0) c | adaptStrategeis | True | False | True | False | True | False | True | False | 374.97/283.49 c (6,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 374.97/283.49 c (6,0) c | Initial random_seed | 91648253 | 91648254 | 91648255 | 91648256 | 91648257 | 91648258 | 91648259 | 91648260 | 374.97/283.49 c (6,0) c | chanseokStrategy | False | False | False | False | False | False | False | False | 374.97/283.49 c (6,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 374.97/283.49 c (6,0) c | glureduce | True | True | True | True | True | True | True | True | 374.97/283.49 c (6,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 374.97/283.49 c (6,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 374.97/283.49 c (6,0) c | luby_restart | False | False | False | False | False | False | False | False | 374.97/283.49 c (6,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 374.97/283.49 c (6,0) c | var_decay | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 374.97/283.49 c (6,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 374.97/283.49 c (6,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 374.97/283.49 c (6,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 374.97/283.49 c (6,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 390.21/285.75 c (8,0) c 390.21/285.75 c (8,0) c real time : 8.27777 s 390.21/285.75 c (8,0) c cpu time : 19.6107 s 390.21/285.75 c (8,0) c 390.21/285.75 c (8,0) c 390.21/285.75 c (8,0) c 390.21/285.75 c (8,0) c |---------------------------------------- FINAL STATS --------------------------------------------------| 390.21/285.75 c (8,0) c 390.21/285.75 c (8,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 390.21/285.75 c (8,0) c | Threads | Total | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 390.21/285.75 c (8,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 390.21/285.75 c (8,0) c | Conflicts | 11192 | 1410 | 1312 | 1956 | 1191 | 1404 | 1618 | 1136 | 1165 | 390.21/285.75 c (8,0) c | Decisions | 277706 | 36134 | 48042 | 40462 | 30225 | 31195 | 22652 | 44977 | 24019 | 390.21/285.75 c (8,0) c | Propagations | 29293612 | 3773411 | 3363614 | 4387256 | 2884845 | 3599392 | 3652249 | 3512682 | 4120163 | 390.21/285.75 c (8,0) c | ReduceDBs | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 390.21/285.75 c (8,0) c | SimpDBs | 8 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 390.21/285.75 c (8,0) c | Restarts | 30 | 5 | 2 | 5 | 2 | 2 | 3 | 6 | 5 | 390.21/285.75 c (8,0) c | ForcedImports | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 390.21/285.75 c (8,0) c | PropBinClauses| 35894528 | 4473644 | 4213692 | 4514143 | 4869074 | 4544414 | 4276988 | 4581863 | 4420710 | 390.21/285.75 c (8,0) c | PropPreBlocker| 177648675 | 22854584 | 21950255 | 24739250 | 21863756 | 22949746 | 21190789 | 20867537 | 21232758 | 390.21/285.75 c (8,0) c | PropNotBlocker| 61238696 | 7901752 | 7200414 | 8676602 | 6478843 | 7573849 | 8000617 | 7072186 | 8334433 | 390.21/285.75 c (8,0) c | LitFullScans | 342800960 | 42015141 | 42004488 | 47677984 | 42020893 | 42712785 | 42147937 | 42214610 | 42007122 | 390.21/285.75 c (8,0) c | LitScanFracts | 46260 | 3907 | 3786 | 537 | 17985 | 2559 | 9353 | 3393 | 4740 | 390.21/285.75 c (8,0) c | DecisionLevel0| 30 | 5 | 2 | 5 | 2 | 2 | 3 | 6 | 5 | 390.21/285.75 c (8,0) c | Periods | 56 | 7 | 7 | 7 | 7 | 7 | 7 | 7 | 7 | 390.21/285.75 c (8,0) c | Margin | 160 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 390.21/285.75 c (8,0) c | Avg_Trail | | 66186 | 58294 | 76471 | 115538 | 107593 | 55311 | 53561 | 48125 | 390.21/285.75 c (8,0) c | Avg_DL | | 2158 | 792 | 477 | 492 | 617 | 265 | 441 | 333 | 390.21/285.75 c (8,0) c | Avg_Res | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 390.21/285.75 c (8,0) c | Avg_Res_Seen | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 390.21/285.75 c (8,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 390.21/285.75 c (8,0) c | Exported | 1021 | 160 | 114 | 149 | 116 | 109 | 132 | 106 | 135 | 390.21/285.75 c (8,0) c | Imported | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 390.21/285.75 c (8,0) c | Good | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 390.21/285.75 c (8,0) c | Purge | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 390.21/285.75 c (8,0) c | Promoted | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 390.21/285.75 c (8,0) c | Remove_Imp | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 390.21/285.75 c (8,0) c | Blocked_Reuse | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 390.21/285.75 c (8,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 390.21/285.75 c (8,0) c | Unaries | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 390.21/285.75 c (8,0) c | Binaries | | 116 | 75 | 95 | 94 | 87 | 85 | 71 | 88 | 390.21/285.75 c (8,0) c | Glues | | 160 | 114 | 149 | 116 | 109 | 132 | 106 | 135 | 390.21/285.75 c (8,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 390.21/285.75 c (8,0) c | Orig_Seen | 2 % | 38464 | 44065 | 46836 | 49096 | 39599 | 43713 | 48354 | 42947 | 390.21/285.75 c (8,0) c | Diff Orig seen| | - 8372 | - 2771 | X | 2260 | - 7237 | - 3123 | 1518 | - 3889 | 390.21/285.75 c (8,0) c | Hamming | 7 % | 16083 | 17459 | X | 17776 | 18384 | 15148 | 17373 | 14534 | 390.21/285.75 c (8,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 390.21/285.75 c (8,0) c | RunningTime | | 2.2 100%| 1.9 100%| 2.0 100%| 1.9 100%| 1.8 100%| 2.1 100%| 2.1 100%| 1.9 100%| 390.21/285.75 c (8,0) c | WaitingTime | | 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 390.21/285.75 c (8,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%| 390.21/285.75 c (8,0) c | PeriodProcTime| | 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 390.21/285.75 c (8,0) c | SolvingTime | | 2.2 | 1.9 | 2.0 | 1.9 | 1.8 | 2.1 | 2.1 | 1.9 | 390.21/285.75 c (8,0) c | PropagationTim| | 2.0 92%| 1.7 89%| 1.7 87%| 1.7 88%| 1.7 90%| 1.9 90%| 1.8 88%| 1.7 91%| 390.21/285.75 c (8,0) c | AnalysisTime | | 0.1 3%| 0.1 5%| 0.1 5%| 0.1 7%| 0.1 4%| 0.1 5%| 0.1 6%| 0.1 4%| 390.21/285.75 c (8,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%| 390.21/285.75 c (8,0) c | SimplifyTime | | 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 390.21/285.75 c (8,0) c | UsedRateTime | | 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 390.21/285.75 c (8,0) c | OverlapRateTim| | 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 390.21/285.75 c (8,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 390.21/285.75 c (8,0) c 390.21/285.75 c (8,0) c 390.21/285.75 c (8,0) c Threads : 8 390.21/285.75 c (8,0) c Winner : 2 390.21/285.75 c (8,0) c Conflicts_0 : 1410 390.21/285.75 c (8,0) c Conflicts_1 : 1312 390.21/285.75 c (8,0) c Conflicts_2 : 1956 390.21/285.75 c (8,0) c Conflicts_3 : 1191 390.21/285.75 c (8,0) c Conflicts_4 : 1404 390.21/285.75 c (8,0) c Conflicts_5 : 1618 390.21/285.75 c (8,0) c Conflicts_6 : 1136 390.21/285.75 c (8,0) c Conflicts_7 : 1165 390.21/285.75 c (8,0) c Conflicts_total : 11192 390.21/285.75 c (8,0) c Conflicts_winner : 1956 390.21/285.75 c (8,0) c Decisions_0 : 36134 390.21/285.75 c (8,0) c Decisions_1 : 48042 390.21/285.75 c (8,0) c Decisions_2 : 40462 390.21/285.75 c (8,0) c Decisions_3 : 30225 390.21/285.75 c (8,0) c Decisions_4 : 31195 390.21/285.75 c (8,0) c Decisions_5 : 22652 390.21/285.75 c (8,0) c Decisions_6 : 44977 390.21/285.75 c (8,0) c Decisions_7 : 24019 390.21/285.75 c (8,0) c Decisions_total : 277706 390.21/285.75 c (8,0) c Decisions_winner : 40462 390.21/285.75 c (8,0) c Propagations_0 : 3773411 390.21/285.75 c (8,0) c Propagations_1 : 3363614 390.21/285.75 c (8,0) c Propagations_2 : 4387256 390.21/285.75 c (8,0) c Propagations_3 : 2884845 390.21/285.75 c (8,0) c Propagations_4 : 3599392 390.21/285.75 c (8,0) c Propagations_5 : 3652249 390.21/285.75 c (8,0) c Propagations_6 : 3512682 390.21/285.75 c (8,0) c Propagations_7 : 4120163 390.21/285.75 c (8,0) c Propagations_total : 29293612 390.21/285.75 c (8,0) c Propagations_winner : 4387256 390.21/285.75 c (8,0) c ReduceDBs_0 : 0 390.21/285.75 c (8,0) c ReduceDBs_1 : 0 390.21/285.75 c (8,0) c ReduceDBs_2 : 0 390.21/285.75 c (8,0) c ReduceDBs_3 : 0 390.21/285.75 c (8,0) c ReduceDBs_4 : 0 390.21/285.75 c (8,0) c ReduceDBs_5 : 0 390.21/285.75 c (8,0) c ReduceDBs_6 : 0 390.21/285.75 c (8,0) c ReduceDBs_7 : 0 390.21/285.75 c (8,0) c ReduceDBs_total : 0 390.21/285.75 c (8,0) c ReduceDBs_winner : 0 390.21/285.75 c (8,0) c SimpDBs_0 : 1 390.21/285.75 c (8,0) c SimpDBs_1 : 1 390.21/285.75 c (8,0) c SimpDBs_2 : 1 390.21/285.75 c (8,0) c SimpDBs_3 : 1 390.21/285.75 c (8,0) c SimpDBs_4 : 1 390.21/285.75 c (8,0) c SimpDBs_5 : 1 390.21/285.75 c (8,0) c SimpDBs_6 : 1 390.21/285.75 c (8,0) c SimpDBs_7 : 1 390.21/285.75 c (8,0) c SimpDBs_total : 8 390.21/285.75 c (8,0) c SimpDBs_winner : 1 390.21/285.75 c (8,0) c Restarts_0 : 5 390.21/285.75 c (8,0) c Restarts_1 : 2 390.21/285.75 c (8,0) c Restarts_2 : 5 390.21/285.75 c (8,0) c Restarts_3 : 2 390.21/285.75 c (8,0) c Restarts_4 : 2 390.21/285.75 c (8,0) c Restarts_5 : 3 390.21/285.75 c (8,0) c Restarts_6 : 6 390.21/285.75 c (8,0) c Restarts_7 : 5 390.21/285.75 c (8,0) c Restarts_total : 30 390.21/285.75 c (8,0) c Restarts_winner : 5 390.21/285.75 c (8,0) c ForcedImports_0 : 0 390.21/285.75 c (8,0) c ForcedImports_1 : 0 390.21/285.75 c (8,0) c ForcedImports_2 : 0 390.21/285.75 c (8,0) c ForcedImports_3 : 0 390.21/285.75 c (8,0) c ForcedImports_4 : 0 390.21/285.75 c (8,0) c ForcedImports_5 : 0 390.21/285.75 c (8,0) c ForcedImports_6 : 0 390.21/285.75 c (8,0) c ForcedImports_7 : 0 390.21/285.75 c (8,0) c ForcedImports_total : 0 390.21/285.75 c (8,0) c ForcedImports_winner : 0 390.21/285.75 c (8,0) c PropsBinClauses_0 : 4473644 390.21/285.75 c (8,0) c PropsBinClauses_1 : 4213692 390.21/285.75 c (8,0) c PropsBinClauses_2 : 4514143 390.21/285.75 c (8,0) c PropsBinClauses_3 : 4869074 390.21/285.75 c (8,0) c PropsBinClauses_4 : 4544414 390.21/285.75 c (8,0) c PropsBinClauses_5 : 4276988 390.21/285.75 c (8,0) c PropsBinClauses_6 : 4581863 390.21/285.75 c (8,0) c PropsBinClauses_7 : 4420710 390.21/285.75 c (8,0) c PropsBinClauses_total : 35894528 390.21/285.75 c (8,0) c PropsBinClauses_winner : 4514143 390.21/285.75 c (8,0) c PropsPreBlocker_0 : 22854584 390.21/285.75 c (8,0) c PropsPreBlocker_1 : 21950255 390.21/285.75 c (8,0) c PropsPreBlocker_2 : 24739250 390.21/285.75 c (8,0) c PropsPreBlocker_3 : 21863756 390.21/285.75 c (8,0) c PropsPreBlocker_4 : 22949746 390.21/285.75 c (8,0) c PropsPreBlocker_5 : 21190789 390.21/285.75 c (8,0) c PropsPreBlocker_6 : 20867537 390.21/285.75 c (8,0) c PropsPreBlocker_7 : 21232758 390.21/285.75 c (8,0) c PropsPreBlocker_total : 177648675 390.21/285.75 c (8,0) c PropsPreBlocker_winner : 24739250 390.21/285.75 c (8,0) c PropsNotBlocker_0 : 7901752 390.21/285.75 c (8,0) c PropsNotBlocker_1 : 7200414 390.21/285.75 c (8,0) c PropsNotBlocker_2 : 8676602 390.21/285.75 c (8,0) c PropsNotBlocker_3 : 6478843 390.21/285.75 c (8,0) c PropsNotBlocker_4 : 7573849 390.21/285.75 c (8,0) c PropsNotBlocker_5 : 8000617 390.21/285.75 c (8,0) c PropsNotBlocker_6 : 7072186 390.21/285.75 c (8,0) c PropsNotBlocker_7 : 8334433 390.21/285.75 c (8,0) c PropsNotBlocker_total : 61238696 390.21/285.75 c (8,0) c PropsNotBlocker_winner : 8676602 390.21/285.75 c (8,0) c PropsLitFullScans_0 : 42015141 390.21/285.75 c (8,0) c PropsLitFullScans_1 : 42004488 390.21/285.75 c (8,0) c PropsLitFullScans_2 : 47677984 390.21/285.75 c (8,0) c PropsLitFullScans_3 : 42020893 390.21/285.75 c (8,0) c PropsLitFullScans_4 : 42712785 390.21/285.75 c (8,0) c PropsLitFullScans_5 : 42147937 390.21/285.75 c (8,0) c PropsLitFullScans_6 : 42214610 390.21/285.75 c (8,0) c PropsLitFullScans_7 : 42007122 390.21/285.75 c (8,0) c PropsLitFullScans_total : 342800960 390.21/285.75 c (8,0) c PropsLitFullScans_winner : 47677984 390.21/285.75 c (8,0) c LitScanFractions_0 : 3907 390.21/285.75 c (8,0) c LitScanFractions_1 : 3786 390.21/285.75 c (8,0) c LitScanFractions_2 : 537 390.21/285.75 c (8,0) c LitScanFractions_3 : 17985 390.21/285.75 c (8,0) c LitScanFractions_4 : 2559 390.21/285.75 c (8,0) c LitScanFractions_5 : 9353 390.21/285.75 c (8,0) c LitScanFractions_6 : 3393 390.21/285.75 c (8,0) c LitScanFractions_7 : 4740 390.21/285.75 c (8,0) c LitScanFractions_total : 46260 390.21/285.75 c (8,0) c LitScanFractions_winner : 537 390.21/285.75 c (8,0) c DecisionLevel0_0 : 5 390.21/285.75 c (8,0) c DecisionLevel0_1 : 2 390.21/285.75 c (8,0) c DecisionLevel0_2 : 5 390.21/285.75 c (8,0) c DecisionLevel0_3 : 2 390.21/285.75 c (8,0) c DecisionLevel0_4 : 2 390.21/285.75 c (8,0) c DecisionLevel0_5 : 3 390.21/285.75 c (8,0) c DecisionLevel0_6 : 6 390.21/285.75 c (8,0) c DecisionLevel0_7 : 5 390.21/285.75 c (8,0) c DecisionLevel0_total : 30 390.21/285.75 c (8,0) c DecisionLevel0_winner : 5 390.21/285.75 c (8,0) c Periods_0 : 7 390.21/285.75 c (8,0) c Periods_1 : 7 390.21/285.75 c (8,0) c Periods_2 : 7 390.21/285.75 c (8,0) c Periods_3 : 7 390.21/285.75 c (8,0) c Periods_4 : 7 390.21/285.75 c (8,0) c Periods_5 : 7 390.21/285.75 c (8,0) c Periods_6 : 7 390.21/285.75 c (8,0) c Periods_7 : 7 390.21/285.75 c (8,0) c Periods_total : 56 390.21/285.75 c (8,0) c Periods_winner : 7 390.21/285.75 c (8,0) c Margin_0 : 20 390.21/285.75 c (8,0) c Margin_1 : 20 390.21/285.75 c (8,0) c Margin_2 : 20 390.21/285.75 c (8,0) c Margin_3 : 20 390.21/285.75 c (8,0) c Margin_4 : 20 390.21/285.75 c (8,0) c Margin_5 : 20 390.21/285.75 c (8,0) c Margin_6 : 20 390.21/285.75 c (8,0) c Margin_7 : 20 390.21/285.75 c (8,0) c Margin_total : 160 390.21/285.75 c (8,0) c Margin_winner : 20 390.21/285.75 c (8,0) c Exported_0 : 160 390.21/285.75 c (8,0) c Exported_1 : 114 390.21/285.75 c (8,0) c Exported_2 : 149 390.21/285.75 c (8,0) c Exported_3 : 116 390.21/285.75 c (8,0) c Exported_4 : 109 390.21/285.75 c (8,0) c Exported_5 : 132 390.21/285.75 c (8,0) c Exported_6 : 106 390.21/285.75 c (8,0) c Exported_7 : 135 390.21/285.75 c (8,0) c Exported_total : 1021 390.21/285.75 c (8,0) c Exported_winner : 149 390.21/285.75 c (8,0) c Imported_0 : 0 390.21/285.75 c (8,0) c Imported_1 : 0 390.21/285.75 c (8,0) c Imported_2 : 0 390.21/285.75 c (8,0) c Imported_3 : 0 390.21/285.75 c (8,0) c Imported_4 : 0 390.21/285.76 c (8,0) c Imported_5 : 0 390.21/285.76 c (8,0) c Imported_6 : 0 390.21/285.76 c (8,0) c Imported_7 : 0 390.21/285.76 c (8,0) c Imported_total : 0 390.21/285.76 c (8,0) c Imported_winner : 0 390.21/285.76 c (8,0) c Good_0 : 0 390.21/285.76 c (8,0) c Good_1 : 0 390.21/285.76 c (8,0) c Good_2 : 0 390.21/285.76 c (8,0) c Good_3 : 0 390.21/285.76 c (8,0) c Good_4 : 0 390.21/285.76 c (8,0) c Good_5 : 0 390.21/285.76 c (8,0) c Good_6 : 0 390.21/285.76 c (8,0) c Good_7 : 0 390.21/285.76 c (8,0) c Good_total : 0 390.21/285.76 c (8,0) c Good_winner : 0 390.21/285.76 c (8,0) c Purge_0 : 0 390.21/285.76 c (8,0) c Purge_1 : 0 390.21/285.76 c (8,0) c Purge_2 : 0 390.21/285.76 c (8,0) c Purge_3 : 0 390.21/285.76 c (8,0) c Purge_4 : 0 390.21/285.76 c (8,0) c Purge_5 : 0 390.21/285.76 c (8,0) c Purge_6 : 0 390.21/285.76 c (8,0) c Purge_7 : 0 390.21/285.76 c (8,0) c Purge_total : 0 390.21/285.76 c (8,0) c Purge_winner : 0 390.21/285.76 c (8,0) c Promoted_0 : 0 390.21/285.76 c (8,0) c Promoted_1 : 0 390.21/285.76 c (8,0) c Promoted_2 : 0 390.21/285.76 c (8,0) c Promoted_3 : 0 390.21/285.76 c (8,0) c Promoted_4 : 0 390.21/285.76 c (8,0) c Promoted_5 : 0 390.21/285.76 c (8,0) c Promoted_6 : 0 390.21/285.76 c (8,0) c Promoted_7 : 0 390.21/285.76 c (8,0) c Promoted_total : 0 390.21/285.76 c (8,0) c Promoted_winner : 0 390.21/285.76 c (8,0) c Remove_Imp_0 : 0 390.21/285.76 c (8,0) c Remove_Imp_1 : 0 390.21/285.76 c (8,0) c Remove_Imp_2 : 0 390.21/285.76 c (8,0) c Remove_Imp_3 : 0 390.21/285.76 c (8,0) c Remove_Imp_4 : 0 390.21/285.76 c (8,0) c Remove_Imp_5 : 0 390.21/285.76 c (8,0) c Remove_Imp_6 : 0 390.21/285.76 c (8,0) c Remove_Imp_7 : 0 390.21/285.76 c (8,0) c Remove_Imp_total : 0 390.21/285.76 c (8,0) c Remove_Imp_winner : 0 390.21/285.76 c (8,0) c Blocked_Reuse_0 : 0 390.21/285.76 c (8,0) c Blocked_Reuse_1 : 0 390.21/285.76 c (8,0) c Blocked_Reuse_2 : 0 390.21/285.76 c (8,0) c Blocked_Reuse_3 : 0 390.21/285.76 c (8,0) c Blocked_Reuse_4 : 0 390.21/285.76 c (8,0) c Blocked_Reuse_5 : 0 390.21/285.76 c (8,0) c Blocked_Reuse_6 : 0 390.21/285.76 c (8,0) c Blocked_Reuse_7 : 0 390.21/285.76 c (8,0) c Blocked_Reuse_total : 0 390.21/285.76 c (8,0) c Blocked_Reuse_winner : 0 390.21/285.76 c (8,0) c Unaries_0 : 0 390.21/285.76 c (8,0) c Unaries_1 : 0 390.21/285.76 c (8,0) c Unaries_2 : 0 390.21/285.76 c (8,0) c Unaries_3 : 0 390.21/285.76 c (8,0) c Unaries_4 : 0 390.21/285.76 c (8,0) c Unaries_5 : 0 390.21/285.76 c (8,0) c Unaries_6 : 0 390.21/285.76 c (8,0) c Unaries_7 : 0 390.21/285.76 c (8,0) c Unaries_total : 0 390.21/285.76 c (8,0) c Unaries_winner : 0 390.21/285.76 c (8,0) c Binaries_0 : 116 390.21/285.76 c (8,0) c Binaries_1 : 75 390.21/285.76 c (8,0) c Binaries_2 : 95 390.21/285.76 c (8,0) c Binaries_3 : 94 390.21/285.76 c (8,0) c Binaries_4 : 87 390.21/285.76 c (8,0) c Binaries_5 : 85 390.21/285.76 c (8,0) c Binaries_6 : 71 390.21/285.76 c (8,0) c Binaries_7 : 88 390.21/285.76 c (8,0) c Binaries_total : 711 390.21/285.76 c (8,0) c Binaries_winner : 95 390.21/285.76 c (8,0) c Glues_0 : 160 390.21/285.76 c (8,0) c Glues_1 : 114 390.21/285.76 c (8,0) c Glues_2 : 149 390.21/285.76 c (8,0) c Glues_3 : 116 390.21/285.76 c (8,0) c Glues_4 : 109 390.21/285.76 c (8,0) c Glues_5 : 132 390.21/285.76 c (8,0) c Glues_6 : 106 390.21/285.76 c (8,0) c Glues_7 : 135 390.21/285.76 c (8,0) c Glues_total : 1021 390.21/285.76 c (8,0) c Glues_winner : 149 390.21/285.76 c (8,0) c RunningTime_0 : 2.228892 390.21/285.76 c (8,0) c RunningTime_1 : 1.885249 390.21/285.76 c (8,0) c RunningTime_2 : 1.992849 390.21/285.76 c (8,0) c RunningTime_3 : 1.917717 390.21/285.76 c (8,0) c RunningTime_4 : 1.829930 390.21/285.76 c (8,0) c RunningTime_5 : 2.062897 390.21/285.76 c (8,0) c RunningTime_6 : 2.075236 390.21/285.76 c (8,0) c RunningTime_7 : 1.885953 390.21/285.76 c (8,0) c RunningTime_total : 15.878723 390.21/285.76 c (8,0) c RunningTime_winner : 1.992849 390.21/285.76 c (8,0) c WaitingTime_0 : 0.000000 390.21/285.76 c (8,0) c WaitingTime_1 : 0.000000 390.21/285.76 c (8,0) c WaitingTime_2 : 0.000000 390.21/285.76 c (8,0) c WaitingTime_3 : 0.000000 390.21/285.76 c (8,0) c WaitingTime_4 : 0.000000 390.21/285.76 c (8,0) c WaitingTime_5 : 0.000000 390.21/285.76 c (8,0) c WaitingTime_6 : 0.000000 390.21/285.76 c (8,0) c WaitingTime_7 : 0.000000 390.21/285.76 c (8,0) c WaitingTime_total : 0.000000 390.21/285.76 c (8,0) c WaitingTime_winner : 0.000000 390.21/285.76 c (8,0) c ExchangingTime_0 : 0.000460 390.21/285.76 c (8,0) c ExchangingTime_1 : 0.000462 390.21/285.76 c (8,0) c ExchangingTime_2 : 0.000476 390.21/285.76 c (8,0) c ExchangingTime_3 : 0.000298 390.21/285.76 c (8,0) c ExchangingTime_4 : 0.000357 390.21/285.76 c (8,0) c ExchangingTime_5 : 0.000476 390.21/285.76 c (8,0) c ExchangingTime_6 : 0.000322 390.21/285.76 c (8,0) c ExchangingTime_7 : 0.000470 390.21/285.76 c (8,0) c ExchangingTime_total : 0.003321 390.21/285.76 c (8,0) c ExchangingTime_winner : 0.000476 390.21/285.76 c (8,0) c PeriodProcTime_0 : 0.000068 390.21/285.76 c (8,0) c PeriodProcTime_1 : 0.000078 390.21/285.76 c (8,0) c PeriodProcTime_2 : 0.000101 390.21/285.76 c (8,0) c PeriodProcTime_3 : 0.000077 390.21/285.76 c (8,0) c PeriodProcTime_4 : 0.000077 390.21/285.76 c (8,0) c PeriodProcTime_5 : 0.000068 390.21/285.76 c (8,0) c PeriodProcTime_6 : 0.000106 390.21/285.76 c (8,0) c PeriodProcTime_7 : 0.000060 390.21/285.76 c (8,0) c PeriodProcTime_total : 0.000636 390.21/285.76 c (8,0) c PeriodProcTime_winner : 0.000101 390.21/285.76 c (8,0) c SolvingTime_0 : 2.229419 390.21/285.76 c (8,0) c SolvingTime_1 : 1.885789 390.21/285.76 c (8,0) c SolvingTime_2 : 1.993426 390.21/285.76 c (8,0) c SolvingTime_3 : 1.918092 390.21/285.76 c (8,0) c SolvingTime_4 : 1.830364 390.21/285.76 c (8,0) c SolvingTime_5 : 2.063442 390.21/285.76 c (8,0) c SolvingTime_6 : 2.075664 390.21/285.76 c (8,0) c SolvingTime_7 : 1.886483 390.21/285.76 c (8,0) c SolvingTime_total : 15.882679 390.21/285.76 c (8,0) c SolvingTime_winner : 1.993426 390.21/285.76 c (8,0) c PropagationTime_0 : 2.041139 390.21/285.76 c (8,0) c PropagationTime_1 : 1.675220 390.21/285.76 c (8,0) c PropagationTime_2 : 1.739624 390.21/285.76 c (8,0) c PropagationTime_3 : 1.680270 390.21/285.76 c (8,0) c PropagationTime_4 : 1.654042 390.21/285.76 c (8,0) c PropagationTime_5 : 1.854698 390.21/285.76 c (8,0) c PropagationTime_6 : 1.829540 390.21/285.76 c (8,0) c PropagationTime_7 : 1.717917 390.21/285.76 c (8,0) c PropagationTime_total : 14.192450 390.21/285.76 c (8,0) c PropagationTime_winner : 1.739624 390.21/285.76 c (8,0) c AnalysisTime_0 : 0.069931 390.21/285.76 c (8,0) c AnalysisTime_1 : 0.103673 390.21/285.76 c (8,0) c AnalysisTime_2 : 0.092030 390.21/285.76 c (8,0) c AnalysisTime_3 : 0.143425 390.21/285.76 c (8,0) c AnalysisTime_4 : 0.074741 390.21/285.76 c (8,0) c AnalysisTime_5 : 0.102248 390.21/285.76 c (8,0) c AnalysisTime_6 : 0.128066 390.21/285.76 c (8,0) c AnalysisTime_7 : 0.069769 390.21/285.76 c (8,0) c AnalysisTime_total : 0.783882 390.21/285.76 c (8,0) c AnalysisTime_winner : 0.092030 390.21/285.76 c (8,0) c ReductionTime_0 : 0.000000 390.21/285.76 c (8,0) c ReductionTime_1 : 0.000000 390.21/285.76 c (8,0) c ReductionTime_2 : 0.000000 390.21/285.76 c (8,0) c ReductionTime_3 : 0.000000 390.21/285.76 c (8,0) c ReductionTime_4 : 0.000000 390.21/285.76 c (8,0) c ReductionTime_5 : 0.000000 390.21/285.76 c (8,0) c ReductionTime_6 : 0.000000 390.21/285.76 c (8,0) c ReductionTime_7 : 0.000000 390.21/285.76 c (8,0) c ReductionTime_total : 0.000000 390.21/285.76 c (8,0) c ReductionTime_winner : 0.000000 390.21/285.76 c (8,0) c SimplifyTime_0 : 0.000000 390.21/285.76 c (8,0) c SimplifyTime_1 : 0.000000 390.21/285.76 c (8,0) c SimplifyTime_2 : 0.000000 390.21/285.76 c (8,0) c SimplifyTime_3 : 0.000000 390.21/285.76 c (8,0) c SimplifyTime_4 : 0.000000 390.21/285.76 c (8,0) c SimplifyTime_5 : 0.000000 390.21/285.76 c (8,0) c SimplifyTime_6 : 0.000000 390.21/285.76 c (8,0) c SimplifyTime_7 : 0.000000 390.21/285.76 c (8,0) c SimplifyTime_total : 0.000000 390.21/285.76 c (8,0) c SimplifyTime_winner : 0.000000 390.21/285.76 c (8,0) c UsedRateTime_0 : 0.000000 390.21/285.76 c (8,0) c UsedRateTime_1 : 0.000000 390.21/285.76 c (8,0) c UsedRateTime_2 : 0.000000 390.21/285.76 c (8,0) c UsedRateTime_3 : 0.000000 390.21/285.76 c (8,0) c UsedRateTime_4 : 0.000000 390.21/285.76 c (8,0) c UsedRateTime_5 : 0.000000 390.21/285.76 c (8,0) c UsedRateTime_6 : 0.000000 390.21/285.76 c (8,0) c UsedRateTime_7 : 0.000000 390.21/285.76 c (8,0) c UsedRateTime_total : 0.000000 390.21/285.76 c (8,0) c UsedRateTime_winner : 0.000000 390.21/285.76 c (8,0) c OverlapRateTime_0 : 0.000000 390.21/285.76 c (8,0) c OverlapRateTime_1 : 0.000000 390.21/285.76 c (8,0) c OverlapRateTime_2 : 0.000000 390.21/285.76 c (8,0) c OverlapRateTime_3 : 0.000000 390.21/285.76 c (8,0) c OverlapRateTime_4 : 0.000000 390.21/285.76 c (8,0) c OverlapRateTime_5 : 0.000000 390.21/285.76 c (8,0) c OverlapRateTime_6 : 0.000000 390.21/285.76 c (8,0) c OverlapRateTime_7 : 0.000000 390.21/285.76 c (8,0) c OverlapRateTime_total : 0.000000 390.21/285.76 c (8,0) c OverlapRateTime_winner : 0.000000 390.21/285.76 c (8,0) c 390.21/285.76 c (8,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 390.21/285.76 c (8,0) c 390.21/285.76 c (8,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 390.21/285.76 c (8,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 390.21/285.76 c (8,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 390.21/285.76 c (8,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 390.21/285.76 c (8,0) c | adaptStrategeis | True | False | True | False | True | False | True | False | 390.21/285.76 c (8,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 390.21/285.76 c (8,0) c | Initial random_seed | 2011285819 | 457301943 | 734248891 | 1383920305 | 972705347 | 296712677 | 706529693 | 2122262940 | 390.21/285.76 c (8,0) c | chanseokStrategy | False | False | False | False | False | False | False | False | 390.21/285.76 c (8,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 390.21/285.76 c (8,0) c | glureduce | True | True | True | True | True | True | True | True | 390.21/285.76 c (8,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 390.21/285.76 c (8,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 390.21/285.76 c (8,0) c | luby_restart | False | False | False | False | False | False | False | False | 390.21/285.76 c (8,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 390.21/285.76 c (8,0) c | var_decay | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 390.21/285.76 c (8,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 390.21/285.76 c (8,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 390.21/285.76 c (8,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 390.21/285.76 c (8,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 390.21/285.76 c (8,0) 390.21/285.76 c (8,0) s SATISFIABLE 390.70/285.93 c (8,0) SatSolver.solve End 390.70/285.93 c (8,0) Heap : 167 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB) 390.70/285.93 c (8,0) Show results Begin 390.93/286.05 c (8,0) x[0][0] = 0 390.93/286.05 c (8,0) x[0][1] = 17 390.93/286.05 c (8,0) x[0][2] = 12 390.93/286.05 c (8,0) x[0][3] = 4 390.93/286.05 c (8,0) x[0][4] = 19 390.93/286.05 c (8,0) x[0][6] = 0 390.93/286.05 c (8,0) x[0][7] = 11 390.93/286.05 c (8,0) x[0][8] = 4 390.93/286.05 c (8,0) x[0][9] = 0 390.93/286.05 c (8,0) x[0][11] = 14 390.93/286.05 c (8,0) x[0][12] = 17 390.93/286.05 c (8,0) x[0][13] = 3 390.93/286.05 c (8,0) x[0][14] = 8 390.93/286.05 c (8,0) x[1][0] = 5 390.93/286.05 c (8,0) x[1][1] = 14 390.93/286.05 c (8,0) x[1][2] = 20 390.93/286.05 c (8,0) x[1][3] = 17 390.93/286.05 c (8,0) x[1][4] = 17 390.93/286.05 c (8,0) x[1][5] = 0 390.93/286.05 c (8,0) x[1][6] = 6 390.93/286.05 c (8,0) x[1][7] = 4 390.93/286.05 c (8,0) x[1][8] = 13 390.93/286.05 c (8,0) x[1][9] = 19 390.93/286.05 c (8,0) x[1][11] = 18 390.93/286.05 c (8,0) x[1][12] = 4 390.93/286.05 c (8,0) x[1][13] = 8 390.93/286.05 c (8,0) x[1][14] = 13 390.93/286.05 c (8,0) x[2][0] = 5 390.93/286.05 c (8,0) x[2][1] = 8 390.93/286.05 c (8,0) x[2][2] = 18 390.93/286.05 c (8,0) x[2][3] = 18 390.93/286.05 c (8,0) x[2][4] = 8 390.93/286.05 c (8,0) x[2][5] = 14 390.93/286.05 c (8,0) x[2][6] = 13 390.93/286.05 c (8,0) x[2][7] = 13 390.93/286.05 c (8,0) x[2][8] = 4 390.93/286.05 c (8,0) x[2][9] = 17 390.93/286.05 c (8,0) x[2][10] = 0 390.93/286.05 c (8,0) x[2][11] = 8 390.93/286.05 c (8,0) x[2][12] = 4 390.93/286.05 c (8,0) x[2][13] = 13 390.93/286.05 c (8,0) x[2][14] = 19 390.93/286.05 c (8,0) x[3][0] = 8 390.93/286.05 c (8,0) x[3][1] = 3 390.93/286.05 c (8,0) x[3][2] = 4 390.93/286.05 c (8,0) x[3][3] = 4 390.93/286.05 c (8,0) x[3][5] = 17 390.93/286.05 c (8,0) x[3][6] = 4 390.93/286.05 c (8,0) x[3][7] = 19 390.93/286.05 c (8,0) x[3][8] = 4 390.93/286.05 c (8,0) x[3][9] = 8 390.93/286.05 c (8,0) x[3][10] = 13 390.93/286.05 c (8,0) x[3][11] = 3 390.93/286.05 c (8,0) x[3][12] = 17 390.93/286.05 c (8,0) x[3][13] = 0 390.93/286.05 c (8,0) x[3][14] = 8 390.93/286.05 c (8,0) x[4][0] = 13 390.93/286.05 c (8,0) x[4][1] = 4 390.93/286.05 c (8,0) x[4][2] = 25 390.93/286.05 c (8,0) x[4][4] = 14 390.93/286.05 c (8,0) x[4][5] = 19 390.93/286.05 c (8,0) x[4][6] = 0 390.93/286.05 c (8,0) x[4][7] = 18 390.93/286.05 c (8,0) x[4][9] = 20 390.93/286.05 c (8,0) x[4][10] = 18 390.93/286.05 c (8,0) x[4][11] = 4 390.93/286.05 c (8,0) x[5][3] = 0 390.93/286.05 c (8,0) x[5][4] = 17 390.93/286.05 c (8,0) x[5][5] = 4 390.93/286.05 c (8,0) x[5][6] = 20 390.93/286.05 c (8,0) x[5][8] = 15 390.93/286.05 c (8,0) x[5][9] = 12 390.93/286.05 c (8,0) x[5][10] = 4 390.93/286.05 c (8,0) x[5][12] = 6 390.93/286.05 c (8,0) x[5][13] = 14 390.93/286.05 c (8,0) x[5][14] = 13 390.93/286.05 c (8,0) x[6][0] = 15 390.93/286.05 c (8,0) x[6][1] = 11 390.93/286.05 c (8,0) x[6][2] = 14 390.93/286.05 c (8,0) x[6][3] = 12 390.93/286.05 c (8,0) x[6][4] = 1 390.93/286.05 c (8,0) x[6][5] = 18 390.93/286.05 c (8,0) x[6][7] = 8 390.93/286.05 c (8,0) x[6][8] = 11 390.93/286.05 c (8,0) x[6][9] = 18 390.93/286.05 c (8,0) x[6][11] = 2 390.93/286.06 c (8,0) x[6][12] = 20 390.93/286.06 c (8,0) x[6][13] = 21 390.93/286.06 c (8,0) x[6][14] = 0 390.93/286.06 c (8,0) x[7][0] = 17 390.93/286.06 c (8,0) x[7][1] = 4 390.93/286.06 c (8,0) x[7][2] = 15 390.93/286.06 c (8,0) x[7][3] = 20 390.93/286.06 c (8,0) x[7][4] = 4 390.93/286.06 c (8,0) x[7][6] = 15 390.93/286.06 c (8,0) x[7][7] = 11 390.93/286.06 c (8,0) x[7][8] = 21 390.93/286.06 c (8,0) x[7][10] = 7 390.93/286.06 c (8,0) x[7][11] = 0 390.93/286.06 c (8,0) x[7][12] = 18 390.93/286.06 c (8,0) x[7][13] = 4 390.93/286.06 c (8,0) x[7][14] = 18 390.93/286.06 c (8,0) x[8][0] = 8 390.93/286.06 c (8,0) x[8][1] = 13 390.93/286.06 c (8,0) x[8][2] = 19 390.93/286.06 c (8,0) x[8][3] = 8 390.93/286.06 c (8,0) x[8][5] = 1 390.93/286.06 c (8,0) x[8][6] = 8 390.93/286.06 c (8,0) x[8][7] = 18 390.93/286.06 c (8,0) x[8][9] = 7 390.93/286.06 c (8,0) x[8][10] = 14 390.93/286.06 c (8,0) x[8][11] = 20 390.93/286.06 c (8,0) x[8][12] = 18 390.93/286.06 c (8,0) x[8][13] = 18 390.93/286.06 c (8,0) x[8][14] = 4 390.93/286.06 c (8,0) x[9][0] = 4 390.93/286.06 c (8,0) x[9][1] = 19 390.93/286.06 c (8,0) x[9][2] = 0 390.93/286.06 c (8,0) x[9][4] = 17 390.93/286.06 c (8,0) x[9][5] = 4 390.93/286.06 c (8,0) x[9][6] = 4 390.93/286.06 c (8,0) x[9][8] = 19 390.93/286.06 c (8,0) x[9][9] = 14 390.93/286.06 c (8,0) x[9][10] = 18 390.93/286.06 c (8,0) x[9][11] = 18 390.93/286.06 c (8,0) x[10][3] = 13 390.93/286.06 c (8,0) x[10][4] = 8 390.93/286.06 c (8,0) x[10][5] = 3 390.93/286.06 c (8,0) x[10][7] = 0 390.93/286.06 c (8,0) x[10][8] = 14 390.93/286.06 c (8,0) x[10][9] = 20 390.93/286.06 c (8,0) x[10][10] = 19 390.93/286.06 c (8,0) x[10][12] = 1 390.93/286.06 c (8,0) x[10][13] = 19 390.93/286.06 c (8,0) x[10][14] = 15 390.93/286.06 c (8,0) x[11][0] = 3 390.93/286.06 c (8,0) x[11][1] = 4 390.93/286.06 c (8,0) x[11][2] = 18 390.93/286.06 c (8,0) x[11][3] = 0 390.93/286.06 c (8,0) x[11][4] = 5 390.93/286.06 c (8,0) x[11][5] = 5 390.93/286.06 c (8,0) x[11][6] = 4 390.93/286.06 c (8,0) x[11][7] = 2 390.93/286.06 c (8,0) x[11][8] = 19 390.93/286.06 c (8,0) x[11][9] = 0 390.93/286.06 c (8,0) x[11][11] = 1 390.93/286.06 c (8,0) x[11][12] = 17 390.93/286.06 c (8,0) x[11][13] = 14 390.93/286.06 c (8,0) x[11][14] = 20 390.93/286.06 c (8,0) x[12][0] = 6 390.93/286.06 c (8,0) x[12][1] = 17 390.93/286.06 c (8,0) x[12][2] = 8 390.93/286.06 c (8,0) x[12][3] = 5 390.93/286.06 c (8,0) x[12][4] = 5 390.93/286.06 c (8,0) x[12][5] = 14 390.93/286.06 c (8,0) x[12][6] = 13 390.93/286.06 c (8,0) x[12][7] = 13 390.93/286.06 c (8,0) x[12][8] = 4 390.93/286.06 c (8,0) x[12][9] = 17 390.93/286.06 c (8,0) x[12][10] = 0 390.93/286.06 c (8,0) x[12][11] = 8 390.93/286.06 c (8,0) x[12][12] = 4 390.93/286.06 c (8,0) x[12][13] = 13 390.93/286.06 c (8,0) x[12][14] = 19 390.93/286.06 c (8,0) x[13][0] = 18 390.93/286.06 c (8,0) x[13][1] = 8 390.93/286.06 c (8,0) x[13][2] = 4 390.93/286.06 c (8,0) x[13][3] = 4 390.93/286.06 c (8,0) x[13][5] = 17 390.93/286.06 c (8,0) x[13][6] = 4 390.93/286.06 c (8,0) x[13][7] = 4 390.93/286.06 c (8,0) x[13][8] = 12 390.93/286.06 c (8,0) x[13][9] = 8 390.93/286.06 c (8,0) x[13][10] = 18 390.93/286.06 c (8,0) x[13][11] = 18 390.93/286.06 c (8,0) x[13][12] = 4 390.93/286.06 c (8,0) x[13][13] = 13 390.93/286.06 c (8,0) x[13][14] = 19 390.93/286.06 c (8,0) x[14][0] = 4 390.93/286.06 c (8,0) x[14][1] = 13 390.93/286.06 c (8,0) x[14][2] = 13 390.93/286.06 c (8,0) x[14][3] = 18 390.93/286.06 c (8,0) x[14][5] = 3 390.93/286.06 c (8,0) x[14][6] = 4 390.93/286.06 c (8,0) x[14][7] = 18 390.93/286.06 c (8,0) x[14][8] = 18 390.93/286.06 c (8,0) x[14][10] = 4 390.93/286.06 c (8,0) x[14][11] = 0 390.93/286.06 c (8,0) x[14][12] = 13 390.93/286.06 c (8,0) x[14][13] = 4 390.93/286.06 c (8,0) x[14][14] = 18 390.93/286.06 s SATISFIABLE 390.93/286.07 v <instantiation> 390.93/286.07 v <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][6] x[0][7] x[0][8] x[0][9] x[0][11] x[0][12] x[0][13] x[0][14] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][11] x[1][12] x[1][13] x[1][14] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[3][0] x[3][1] x[3][2] x[3][3] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[4][0] x[4][1] x[4][2] x[4][4] x[4][5] x[4][6] x[4][7] x[4][9] x[4][10] x[4][11] x[5][3] x[5][4] x[5][5] x[5][6] x[5][8] x[5][9] x[5][10] x[5][12] x[5][13] x[5][14] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][7] x[6][8] x[6][9] x[6][11] x[6][12] x[6][13] x[6][14] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][6] x[7][7] x[7][8] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[8][0] x[8][1] x[8][2] x[8][3] x[8][5] x[8][6] x[8][7] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[9][0] x[9][1] x[9][2] x[9][4] x[9][5] x[9][6] x[9][8] x[9][9] x[9][10] x[9][11] x[10][3] x[10][4] x[10][5] x[10][7] x[10][8] x[10][9] x[10][10] x[10][12] x[10][13] x[10][14] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][11] x[11][12] x[11][13] x[11][14] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[13][0] x[13][1] x[13][2] x[13][3] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[14][0] x[14][1] x[14][2] x[14][3] x[14][5] x[14][6] x[14][7] x[14][8] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14]</list> 390.93/286.07 v <values>0 17 12 4 19 0 11 4 0 14 17 3 8 5 14 20 17 17 0 6 4 13 19 18 4 8 13 5 8 18 18 8 14 13 13 4 17 0 8 4 13 19 8 3 4 4 17 4 19 4 8 13 3 17 0 8 13 4 25 14 19 0 18 20 18 4 0 17 4 20 15 12 4 6 14 13 15 11 14 12 1 18 8 11 18 2 20 21 0 17 4 15 20 4 15 11 21 7 0 18 4 18 8 13 19 8 1 8 18 7 14 20 18 18 4 4 19 0 17 4 4 19 14 18 18 13 8 3 0 14 20 19 1 19 15 3 4 18 0 5 5 4 2 19 0 1 17 14 20 6 17 8 5 5 14 13 13 4 17 0 8 4 13 19 18 8 4 4 17 4 4 12 8 18 18 4 13 19 4 13 13 18 3 4 18 18 4 0 13 4 18</values> 390.93/286.07 v </instantiation> 390.93/286.07 c (8,0) Show results End 390.93/286.07 c (8,0) Heap : 187 MiB used (max 3925 MiB), NonHeap : 19 MiB used (max 0 MiB) 390.93/286.07 c (8,0) 8,8,STOP-AFTER(ALL) 390.93/286.07 c END-Prog: Tue Sep 24 23:59:42 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 (13188 MiB free) memory of node 1: 16384 MiB (11620 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4405167-1569361962/watcher-4405167-1569361962 -o /tmp/evaluation-result-4405167-1569361962/solver-4405167-1569361962 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node139-1569356582-20870 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405167-1569361962.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=22190, runsolver pid=22187 Current StackSize limit: 8192 KiB [startup+0.100138 s]* /proc/loadavg: 8.15 8.25 8.21 2/212 22212 /proc/meminfo: memFree=25310768/32770624 swapFree=66941064/67108860 [pid=22190] ppid=22187 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/22190/stat : 22190 (scop.sh) S 22187 22190 20843 0 -1 4202496 558 319 0 0 0 0 0 0 20 0 1 0 512467020 115843072 349 33554432000 4194304 5098028 140730073244272 140730073241528 139821960032892 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 13983744 140730073248549 140730073248876 140730073248876 140730073251789 0 /proc/22190/statm: 28282 349 296 221 0 87 0 [pid=22193] ppid=22190 vsize=27314120 memory=106120 CPUtime=0.1 cores=0-7 /proc/22193/stat : 22193 (java) S 22190 22190 20843 0 -1 1077944320 6621 0 0 0 8 2 0 0 20 0 20 0 512467020 27969658880 26530 33554432000 4194304 4196468 140723839662432 140723839644976 140624954863351 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25538560 140723839664875 140723839665302 140723839665302 140723839668175 0 /proc/22193/statm: 6828530 26530 2804 1 0 6790935 0 [pid=22193/tid=22194] ppid=22190 vsize=27314120 memory=7752554716192480416 CPUtime=0.09 cores=0-7 /proc/22193/task/22194/stat : 22194 (java) R 22190 22190 20843 0 -1 4202560 4726 0 0 0 7 2 0 0 20 0 20 0 512467021 27969658880 27042 33554432000 4194304 4196468 140723839662432 140624926685632 140624938943838 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25538560 140723839664875 140723839665302 140723839665302 140723839668175 0 [pid=22193/tid=22195] ppid=22190 vsize=27314120 memory=732369862158580709 CPUtime=0 cores=0-7 /proc/22193/task/22195/stat : 22195 (java) S 22190 22190 20843 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512467023 27969658880 27042 33554432000 4194304 4196468 140723839662432 140624959106064 140624954873557 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25538560 140723839664875 140723839665302 140723839665302 140723839668175 0 [pid=22193/tid=22196] ppid=22190 vsize=27314120 memory=139723821127296 CPUtime=0 cores=0-7 /proc/22193/task/22196/stat : 22196 (java) S 22190 22190 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512467023 27969658880 27042 33554432000 4194304 4196468 140723839662432 140624773262480 140624954873557 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25538560 140723839664875 140723839665302 140723839665302 140723839668175 0 [pid=22193/tid=22197] ppid=22190 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/22193/task/22197/stat : 22197 (java) S 22190 22190 20843 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512467023 27969658880 27042 33554432000 4194304 4196468 140723839662432 140624772209424 140624954873557 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25538560 140723839664875 140723839665302 140723839665302 140723839668175 0 [pid=22193/tid=22198] ppid=22190 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/22193/task/22198/stat : 22198 (java) S 22190 22190 20843 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512467023 27969658880 27042 33554432000 4194304 4196468 140723839662432 140624771156880 140624954873557 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25538560 140723839664875 140723839665302 140723839665302 140723839668175 0 [pid=22193/tid=22199] ppid=22190 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/22193/task/22199/stat : 22199 (java) S 22190 22190 20843 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512467023 27969658880 27042 33554432000 4194304 4196468 140723839662432 140624770103824 140624954873557 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25538560 140723839664875 140723839665302 140723839665302 140723839668175 0 [pid=22193/tid=22200] ppid=22190 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/22193/task/22200/stat : 22200 (java) S 22190 22190 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512467023 27969658880 27042 33554432000 4194304 4196468 140723839662432 140624769051280 140624954873557 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25538560 140723839664875 140723839665302 140723839665302 140723839668175 0 [pid=22193/tid=22201] ppid=22190 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/22193/task/22201/stat : 22201 (java) S 22190 22190 20843 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512467023 27969658880 27042 33554432000 4194304 4196468 140723839662432 140624767998224 140624954873557 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25538560 140723839664875 140723839665302 140723839665302 140723839668175 0 [pid=22193/tid=22202] ppid=22190 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/22193/task/22202/stat : 22202 (java) S 22190 22190 20843 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512467023 27969658880 27042 33554432000 4194304 4196468 140723839662432 140624766945680 140624954873557 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25538560 140723839664875 140723839665302 140723839665302 140723839668175 0 [pid=22193/tid=22203] ppid=22190 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/22193/task/22203/stat : 22203 (java) S 22190 22190 20843 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512467025 27969658880 27042 33554432000 4194304 4196468 140723839662432 140624214551280 140624954874498 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25538560 140723839664875 140723839665302 140723839665302 140723839668175 0 [pid=22193/tid=22204] ppid=22190 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/22193/task/22204/stat : 22204 (java) S 22190 22190 20843 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 512467025 27969658880 27042 33554432000 4194304 4196468 140723839662432 140622866409120 140624954873557 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25538560 140723839664875 140723839665302 140723839665302 140723839668175 0 [pid=22193/tid=22205] ppid=22190 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/22193/task/22205/stat : 22205 (java) S 22190 22190 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512467025 27969658880 27042 33554432000 4194304 4196468 140723839662432 140622597973232 140624954873557 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25538560 140723839664875 140723839665302 140723839665302 140723839668175 0 [pid=22193/tid=22206] ppid=22190 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/22193/task/22206/stat : 22206 (java) S 22190 22190 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512467028 27969658880 27042 33554432000 4194304 4196468 140723839662432 140622223464912 140624954881947 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25538560 140723839664875 140723839665302 140723839665302 140723839668175 0 [pid=22193/tid=22207] ppid=22190 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/22193/task/22207/stat : 22207 (java) S 22190 22190 20843 0 -1 1077944384 317 0 0 0 0 0 0 0 20 0 20 0 512467028 27969658880 27042 33554432000 4194304 4196468 140723839662432 140624213498096 140624954874498 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25538560 140723839664875 140723839665302 140723839665302 140723839668175 0 [pid=22193/tid=22208] ppid=22190 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/22193/task/22208/stat : 22208 (java) S 22190 22190 20843 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512467028 27969658880 27042 33554432000 4194304 4196468 140723839662432 140624212445552 140624954874498 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25538560 140723839664875 140723839665302 140723839665302 140723839668175 0 [pid=22193/tid=22209] ppid=22190 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/22193/task/22209/stat : 22209 (java) S 22190 22190 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512467028 27969658880 27042 33554432000 4194304 4196468 140723839662432 140624211392496 140624954874498 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25538560 140723839664875 140723839665302 140723839665302 140723839668175 0 [pid=22193/tid=22210] ppid=22190 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/22193/task/22210/stat : 22210 (java) S 22190 22190 20843 0 -1 1077944384 241 0 0 0 0 0 0 0 20 0 20 0 512467028 27969658880 27042 33554432000 4194304 4196468 140723839662432 140624210339952 140624954874498 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25538560 140723839664875 140723839665302 140723839665302 140723839668175 0 [pid=22193/tid=22211] ppid=22190 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/22193/task/22211/stat : 22211 (java) S 22190 22190 20843 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512467028 27969658880 27042 33554432000 4194304 4196468 140723839662432 140621725559776 140624954873557 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25538560 140723839664875 140723839665302 140723839665302 140723839668175 0 [pid=22193/tid=22212] ppid=22190 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/22193/task/22212/stat : 22212 (java) S 22190 22190 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512467028 27969658880 27042 33554432000 4194304 4196468 140723839662432 140624141479088 140624954874498 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25538560 140723839664875 140723839665302 140723839665302 140723839668175 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 107516 KiB [startup+0.211338 s]* /proc/loadavg: 8.15 8.25 8.21 2/212 22212 /proc/meminfo: memFree=25290940/32770624 swapFree=66941064/67108860 [pid=22190] ppid=22187 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/22190/stat : 22190 (scop.sh) S 22187 22190 20843 0 -1 4202496 558 319 0 0 0 0 0 0 20 0 1 0 512467020 115843072 349 33554432000 4194304 5098028 140730073244272 140730073241528 139821960032892 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 13983744 140730073248549 140730073248876 140730073248876 140730073251789 0 /proc/22190/statm: 28282 349 296 221 0 87 0 [pid=22193] ppid=22190 vsize=27314120 memory=122968 CPUtime=0.25 cores=0-7 /proc/22193/stat : 22193 (java) S 22190 22190 20843 0 -1 1077944320 11629 0 0 0 21 4 0 0 20 0 20 0 512467020 27969658880 30742 33554432000 4194304 4196468 140723839662432 140723839644976 140624954863351 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25538560 140723839664875 140723839665302 140723839665302 140723839668175 0 /proc/22193/statm: 6828530 30742 2955 1 0 6790935 0 [pid=22193/tid=22194] ppid=22190 vsize=27314120 memory=576460756329955521 CPUtime=0.19 cores=0-7 /proc/22193/task/22194/stat : 22194 (java) R 22190 22190 20843 0 -1 4202560 9320 0 0 0 16 3 0 0 20 0 20 0 512467021 27969658880 30742 33554432000 4194304 4196468 140723839662432 140624926662736 140624938943838 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25538560 140723839664875 140723839665302 140723839665302 140723839668175 0 [pid=22193/tid=22195] ppid=22190 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/22193/task/22195/stat : 22195 (java) S 22190 22190 20843 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512467023 27969658880 30742 33554432000 4194304 4196468 140723839662432 140624959106064 140624954873557 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25538560 140723839664875 140723839665302 140723839665302 140723839668175 0 [pid=22193/tid=22196] ppid=22190 vsize=27314120 memory=3474447141009462944 CPUtime=0 cores=0-7 /proc/22193/task/22196/stat : 22196 (java) S 22190 22190 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512467023 27969658880 30742 33554432000 4194304 4196468 140723839662432 140624773262480 140624954873557 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25538560 140723839664875 140723839665302 140723839665302 140723839668175 0 [pid=22193/tid=22197] ppid=22190 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/22193/task/22197/stat : 22197 (java) S 22190 22190 20843 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512467023 27969658880 30742 33554432000 4194304 4196468 140723839662432 140624772209424 140624954873557 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25538560 140723839664875 140723839665302 140723839665302 140723839668175 0 [pid=22193/tid=22198] ppid=22190 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/22193/task/22198/stat : 22198 (java) S 22190 22190 20843 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512467023 27969658880 30742 33554432000 4194304 4196468 140723839662432 140624771156880 140624954873557 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25538560 140723839664875 140723839665302 140723839665302 140723839668175 0 [pid=22193/tid=22199] ppid=22190 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/22193/task/22199/stat : 22199 (java) S 22190 22190 20843 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512467023 27969658880 30742 33554432000 4194304 4196468 140723839662432 140624770103824 140624954873557 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25538560 140723839664875 140723839665302 140723839665302 140723839668175 0 [pid=22193/tid=22200] ppid=22190 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/22193/task/22200/stat : 22200 (java) S 22190 22190 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512467023 27969658880 30742 33554432000 4194304 4196468 140723839662432 140624769051280 140624954873557 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25538560 140723839664875 140723839665302 140723839665302 140723839668175 0 [pid=22193/tid=22201] ppid=22190 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/22193/task/22201/stat : 22201 (java) S 22190 22190 20843 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512467023 27969658880 30742 33554432000 4194304 4196468 140723839662432 140624767998224 140624954873557 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25538560 140723839664875 140723839665302 140723839665302 140723839668175 0 [pid=22193/tid=22202] ppid=22190 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/22193/task/22202/stat : 22202 (java) S 22190 22190 20843 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512467023 27969658880 30742 33554432000 4194304 4196468 140723839662432 140624766945680 140624954873557 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25538560 140723839664875 140723839665302 140723839665302 140723839668175 0 [pid=22193/tid=22203] ppid=22190 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/22193/task/22203/stat : 22203 (java) S 22190 22190 20843 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512467025 27969658880 30742 33554432000 4194304 4196468 140723839662432 140624214551280 140624954874498 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25538560 140723839664875 140723839665302 140723839665302 140723839668175 0 [pid=22193/tid=22204] ppid=22190 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/22193/task/22204/stat : 22204 (java) S 22190 22190 20843 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 512467025 27969658880 30742 33554432000 4194304 4196468 140723839662432 140622866409120 140624954873557 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25538560 140723839664875 140723839665302 140723839665302 140723839668175 0 [pid=22193/tid=22205] ppid=22190 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/22193/task/22205/stat : 22205 (java) S 22190 22190 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512467025 27969658880 30742 33554432000 4194304 4196468 140723839662432 140622597973232 140624954873557 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25538560 140723839664875 140723839665302 140723839665302 140723839668175 0 [pid=22193/tid=22206] ppid=22190 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/22193/task/22206/stat : 22206 (java) S 22190 22190 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512467028 27969658880 30742 33554432000 4194304 4196468 140723839662432 140622223464912 140624954881947 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25538560 140723839664875 140723839665302 140723839665302 140723839668175 0 [pid=22193/tid=22207] ppid=22190 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/22193/task/22207/stat : 22207 (java) S 22190 22190 20843 0 -1 1077944384 317 0 0 0 0 0 0 0 20 0 20 0 512467028 27969658880 30742 33554432000 4194304 4196468 140723839662432 140624213498096 140624954874498 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25538560 140723839664875 140723839665302 140723839665302 140723839668175 0 [pid=22193/tid=22208] ppid=22190 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/22193/task/22208/stat : 22208 (java) S 22190 22190 20843 0 -1 1077944384 156 0 0 0 0 0 0 0 20 0 20 0 512467028 27969658880 30742 33554432000 4194304 4196468 140723839662432 140624212445552 140624954874498 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25538560 140723839664875 140723839665302 140723839665302 140723839668175 0 [pid=22193/tid=22209] ppid=22190 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/22193/task/22209/stat : 22209 (java) S 22190 22190 20843 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 20 0 512467028 27969658880 30742 33554432000 4194304 4196468 140723839662432 140624211392496 140624954874498 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25538560 140723839664875 140723839665302 140723839665302 140723839668175 0 [pid=22193/tid=22210] ppid=22190 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7 /proc/22193/task/22210/stat : 22210 (java) S 22190 22190 20843 0 -1 1077944384 481 0 0 0 2 0 0 0 20 0 20 0 512467028 27969658880 30742 33554432000 4194304 4196468 140723839662432 140624210339952 140624954874498 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25538560 140723839664875 140723839665302 140723839665302 140723839668175 0 [pid=22193/tid=22211] ppid=22190 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/22193/task/22211/stat : 22211 (java) S 22190 22190 20843 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512467028 27969658880 30742 33554432000 4194304 4196468 140723839662432 140621725559776 140624954873557 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25538560 140723839664875 140723839665302 140723839665302 140723839668175 0 [pid=22193/tid=22212] ppid=22190 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/22193/task/22212/stat : 22212 (java) S 22190 22190 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512467028 27969658880 30742 33554432000 4194304 4196468 140723839662432 140624141479088 140624954874498 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25538560 140723839664875 140723839665302 140723839665302 140723839668175 0 Current children cumulated CPU time: 0.25 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 124364 KiB [startup+0.31041 s]* /proc/loadavg: 8.15 8.25 8.21 2/212 22212 /proc/meminfo: memFree=25287280/32770624 swapFree=66941064/67108860 [pid=22190] ppid=22187 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/22190/stat : 22190 (scop.sh) S 22187 22190 20843 0 -1 4202496 558 319 0 0 0 0 0 0 20 0 1 0 512467020 115843072 349 33554432000 4194304 5098028 140730073244272 140730073241528 139821960032892 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 13983744 140730073248549 140730073248876 140730073248876 140730073251789 0 /proc/22190/statm: 28282 349 296 221 0 87 0 [pid=22193] ppid=22190 vsize=27314120 memory=127616 CPUtime=0.43 cores=0-7 /proc/22193/stat : 22193 (java) S 22190 22190 20843 0 -1 1077944320 12780 0 0 0 38 5 0 0 20 0 20 0 512467020 27969658880 31904 33554432000 4194304 4196468 140723839662432 140723839644976 140624954863351 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25538560 140723839664875 140723839665302 140723839665302 140723839668175 0 /proc/22193/statm: 6828530 31904 3042 1 0 6790935 0 [pid=22193/tid=22194] ppid=22190 vsize=27314120 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/22193/task/22194/stat : 22194 (java) R 22190 22190 20843 0 -1 4202560 10265 0 0 0 25 4 0 0 20 0 20 0 512467021 27969658880 31904 33554432000 4194304 4196468 140723839662432 140624926666576 140624936426926 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25538560 140723839664875 140723839665302 140723839665302 140723839668175 0 [pid=22193/tid=22195] ppid=22190 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/22193/task/22195/stat : 22195 (java) S 22190 22190 20843 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512467023 27969658880 31904 33554432000 4194304 4196468 140723839662432 140624959106064 140624954873557 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25538560 140723839664875 140723839665302 140723839665302 140723839668175 0 [pid=22193/tid=22196] ppid=22190 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/22193/task/22196/stat : 22196 (java) S 22190 22190 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512467023 27969658880 31904 33554432000 4194304 4196468 140723839662432 140624773262480 140624954873557 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25538560 140723839664875 140723839665302 140723839665302 140723839668175 0 [pid=22193/tid=22197] ppid=22190 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/22193/task/22197/stat : 22197 (java) S 22190 22190 20843 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512467023 27969658880 31904 33554432000 4194304 4196468 140723839662432 140624772209424 140624954873557 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25538560 140723839664875 140723839665302 140723839665302 140723839668175 0 [pid=22193/tid=22198] ppid=22190 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/22193/task/22198/stat : 22198 (java) S 22190 22190 20843 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512467023 27969658880 31904 33554432000 4194304 4196468 140723839662432 140624771156880 140624954873557 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25538560 140723839664875 140723839665302 140723839665302 140723839668175 0 [pid=22193/tid=22199] ppid=22190 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/22193/task/22199/stat : 22199 (java) S 22190 22190 20843 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512467023 27969658880 31904 33554432000 4194304 4196468 140723839662432 140624770103824 140624954873557 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25538560 140723839664875 140723839665302 140723839665302 140723839668175 0 [pid=22193/tid=22200] ppid=22190 vsize=27314120 memory=139723674839727 CPUtime=0 cores=0-7 /proc/22193/task/22200/stat : 22200 (java) S 22190 22190 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512467023 27969658880 31904 33554432000 4194304 4196468 140723839662432 140624769051280 140624954873557 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25538560 140723839664875 140723839665302 140723839665302 140723839668175 0 [pid=22193/tid=22201] ppid=22190 vsize=27314120 memory=139723674842032 CPUtime=0 cores=0-7 /proc/22193/task/22201/stat : 22201 (java) S 22190 22190 20843 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512467023 27969658880 31904 33554432000 4194304 4196468 140723839662432 140624767998224 140624954873557 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25538560 140723839664875 140723839665302 140723839665302 140723839668175 0 [pid=22193/tid=22202] ppid=22190 vsize=27314120 memory=139723674844336 CPUtime=0 cores=0-7 /proc/22193/task/22202/stat : 22202 (java) S 22190 22190 20843 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512467023 27969658880 31904 33554432000 4194304 4196468 140723839662432 140624766945680 140624954873557 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25538560 140723839664875 140723839665302 140723839665302 140723839668175 0 [pid=22193/tid=22203] ppid=22190 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/22193/task/22203/stat : 22203 (java) S 22190 22190 20843 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512467025 27969658880 31904 33554432000 4194304 4196468 140723839662432 140624214551280 140624954874498 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25538560 140723839664875 140723839665302 140723839665302 140723839668175 0 [pid=22193/tid=22204] ppid=22190 vsize=27314120 memory=279447349702544 CPUtime=0 cores=0-7 /proc/22193/task/22204/stat : 22204 (java) S 22190 22190 20843 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 512467025 27969658880 31904 33554432000 4194304 4196468 140723839662432 140622866409120 140624954873557 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25538560 140723839664875 140723839665302 140723839665302 140723839668175 0 [pid=22193/tid=22205] ppid=22190 vsize=27314120 memory=279447349700240 CPUtime=0 cores=0-7 /proc/22193/task/22205/stat : 22205 (java) S 22190 22190 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512467025 27969658880 31904 33554432000 4194304 4196468 140723839662432 140622597973232 140624954873557 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25538560 140723839664875 140723839665302 140723839665302 140723839668175 0 [pid=22193/tid=22206] ppid=22190 vsize=27314120 memory=279447349707152 CPUtime=0 cores=0-7 /proc/22193/task/22206/stat : 22206 (java) S 22190 22190 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512467028 27969658880 31904 33554432000 4194304 4196468 140723839662432 140622223464912 140624954881947 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25538560 140723839664875 140723839665302 140723839665302 140723839668175 0 [pid=22193/tid=22207] ppid=22190 vsize=27314120 memory=279447349648432 CPUtime=0 cores=0-7 /proc/22193/task/22207/stat : 22207 (java) R 22190 22190 20843 0 -1 4202560 346 0 0 0 0 0 0 0 20 0 20 0 512467028 27969658880 31904 33554432000 4194304 4196468 140723839662432 140624213498096 140624947152800 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25538560 140723839664875 140723839665302 140723839665302 140723839668175 0 [pid=22193/tid=22208] ppid=22190 vsize=27314120 memory=279447349720976 CPUtime=0.01 cores=0-7 /proc/22193/task/22208/stat : 22208 (java) S 22190 22190 20843 0 -1 1077944384 208 0 0 0 1 0 0 0 20 0 20 0 512467028 27969658880 31904 33554432000 4194304 4196468 140723839662432 140624212445552 140624954874498 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25538560 140723839664875 140723839665302 140723839665302 140723839668175 0 [pid=22193/tid=22209] ppid=22190 vsize=27314120 memory=279447349727888 CPUtime=0.01 cores=0-7 /proc/22193/task/22209/stat : 22209 (java) S 22190 22190 20843 0 -1 1077944384 105 0 0 0 1 0 0 0 20 0 20 0 512467028 27969658880 31904 33554432000 4194304 4196468 140723839662432 140624211392496 140624954874498 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25538560 140723839664875 140723839665302 140723839665302 140723839668175 0 [pid=22193/tid=22210] ppid=22190 vsize=27314120 memory=279447349725584 CPUtime=0.07 cores=0-7 /proc/22193/task/22210/stat : 22210 (java) S 22190 22190 20843 0 -1 1077944384 523 0 0 0 7 0 0 0 20 0 20 0 512467028 27969658880 31904 33554432000 4194304 4196468 140723839662432 140624210339952 140624954874498 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25538560 140723839664875 140723839665302 140723839665302 140723839668175 0 [pid=22193/tid=22211] ppid=22190 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/22193/task/22211/stat : 22211 (java) S 22190 22190 20843 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512467028 27969658880 31904 33554432000 4194304 4196468 140723839662432 140621725559776 140624954873557 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25538560 140723839664875 140723839665302 140723839665302 140723839668175 0 [pid=22193/tid=22212] ppid=22190 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/22193/task/22212/stat : 22212 (java) S 22190 22190 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512467028 27969658880 31904 33554432000 4194304 4196468 140723839662432 140624141479088 140624954874498 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25538560 140723839664875 140723839665302 140723839665302 140723839668175 0 Current children cumulated CPU time: 0.43 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 129012 KiB [startup+0.700942 s] /proc/loadavg: 8.15 8.25 8.21 2/212 22212 /proc/meminfo: memFree=25254712/32770624 swapFree=66941064/67108860 [pid=22190] ppid=22187 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/22190/stat : 22190 (scop.sh) S 22187 22190 20843 0 -1 4202496 558 319 0 0 0 0 0 0 20 0 1 0 512467020 115843072 349 33554432000 4194304 5098028 140730073244272 140730073241528 139821960032892 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 13983744 140730073248549 140730073248876 140730073248876 140730073251789 0 /proc/22190/statm: 28282 349 296 221 0 87 0 [pid=22193] ppid=22190 vsize=27320392 memory=165176 CPUtime=1 cores=0-7 /proc/22193/stat : 22193 (java) S 22190 22190 20843 0 -1 1077944320 20406 0 0 0 92 8 0 0 20 0 20 0 512467020 27976081408 41294 33554432000 4194304 4196468 140723839662432 140723839644976 140624954863351 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25538560 140723839664875 140723839665302 140723839665302 140723839668175 0 /proc/22193/statm: 6830098 41294 3142 1 0 6791447 0 [pid=22193/tid=22194] ppid=22190 vsize=27320392 memory=0 CPUtime=0.68 cores=0-7 /proc/22193/task/22194/stat : 22194 (java) R 22190 22190 20843 0 -1 4202560 17345 0 0 0 61 7 0 0 20 0 20 0 512467021 27976081408 41294 33554432000 4194304 4196468 140723839662432 140624926699408 140624427033374 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25538560 140723839664875 140723839665302 140723839665302 140723839668175 0 [pid=22193/tid=22195] ppid=22190 vsize=27320392 memory=2353 CPUtime=0 cores=0-7 /proc/22193/task/22195/stat : 22195 (java) S 22190 22190 20843 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512467023 27976081408 41294 33554432000 4194304 4196468 140723839662432 140624959106064 140624954873557 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25538560 140723839664875 140723839665302 140723839665302 140723839668175 0 [pid=22193/tid=22196] ppid=22190 vsize=27320392 memory=0 CPUtime=0 cores=0-7 /proc/22193/task/22196/stat : 22196 (java) S 22190 22190 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512467023 27976081408 41294 33554432000 4194304 4196468 140723839662432 140624773262480 140624954873557 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25538560 140723839664875 140723839665302 140723839665302 140723839668175 0 [pid=22193/tid=22197] ppid=22190 vsize=27320392 memory=10728 CPUtime=0 cores=0-7 /proc/22193/task/22197/stat : 22197 (java) S 22190 22190 20843 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512467023 27976081408 41294 33554432000 4194304 4196468 140723839662432 140624772209424 140624954873557 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25538560 140723839664875 140723839665302 140723839665302 140723839668175 0 ################ # More data... # ################ /proc/22234/task/22239/stat : 22239 (java) S 22190 22190 20843 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 512494691 8616062976 29978 33554432000 4194304 4196468 140732997689408 140112178084880 140112695109333 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26914816 140732997694455 140732997694614 140732997694614 140732997697487 0 [pid=22234/tid=22240] ppid=22190 vsize=8414124 memory=119912 CPUtime=0 cores=0-7 /proc/22234/task/22240/stat : 22240 (java) S 22190 22190 20843 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512494691 8616062976 29978 33554432000 4194304 4196468 140732997689408 140112177031568 140112695109333 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26914816 140732997694455 140732997694614 140732997694614 140732997697487 0 [pid=22234/tid=22241] ppid=22190 vsize=8414124 memory=6791534058613427641 CPUtime=0 cores=0-7 /proc/22234/task/22241/stat : 22241 (java) S 22190 22190 20843 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512494691 8616062976 29978 33554432000 4194304 4196468 140732997689408 140112175978768 140112695109333 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26914816 140732997694455 140732997694614 140732997694614 140732997697487 0 [pid=22234/tid=22242] ppid=22190 vsize=8414124 memory=1552 CPUtime=0 cores=0-7 /proc/22234/task/22242/stat : 22242 (java) S 22190 22190 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512494691 8616062976 29978 33554432000 4194304 4196468 140732997689408 140112174926480 140112695109333 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26914816 140732997694455 140732997694614 140732997694614 140732997697487 0 [pid=22234/tid=22243] ppid=22190 vsize=8414124 memory=3984 CPUtime=0 cores=0-7 /proc/22234/task/22243/stat : 22243 (java) S 22190 22190 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512494691 8616062976 29978 33554432000 4194304 4196468 140732997689408 140112173873680 140112695109333 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26914816 140732997694455 140732997694614 140732997694614 140732997697487 0 [pid=22234/tid=22244] ppid=22190 vsize=8414124 memory=2832 CPUtime=0 cores=0-7 /proc/22234/task/22244/stat : 22244 (java) S 22190 22190 20843 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 512494692 8616062976 29978 33554432000 4194304 4196468 140732997689408 140111520070256 140112695110274 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26914816 140732997694455 140732997694614 140732997694614 140732997697487 0 [pid=22234/tid=22245] ppid=22190 vsize=8414124 memory=784 CPUtime=0 cores=0-7 /proc/22234/task/22245/stat : 22245 (java) S 22190 22190 20843 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 512494693 8616062976 29978 33554432000 4194304 4196468 140732997689408 140111295538464 140112695109333 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26914816 140732997694455 140732997694614 140732997694614 140732997697487 0 [pid=22234/tid=22246] ppid=22190 vsize=8414124 memory=1476 CPUtime=0 cores=0-7 /proc/22234/task/22246/stat : 22246 (java) S 22190 22190 20843 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 512494693 8616062976 29978 33554432000 4194304 4196468 140732997689408 140111161316976 140112695109333 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26914816 140732997694455 140732997694614 140732997694614 140732997697487 0 [pid=22234/tid=22247] ppid=22190 vsize=8414124 memory=119912 CPUtime=0 cores=0-7 /proc/22234/task/22247/stat : 22247 (java) S 22190 22190 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512494696 8616062976 29978 33554432000 4194304 4196468 140732997689408 140110786812496 140112695117723 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26914816 140732997694455 140732997694614 140732997694614 140732997697487 0 [pid=22234/tid=22248] ppid=22190 vsize=8414124 memory=1466072 CPUtime=0.09 cores=0-7 /proc/22234/task/22248/stat : 22248 (java) S 22190 22190 20843 0 -1 1077944384 622 0 0 0 9 0 0 0 20 0 24 0 512494696 8616062976 29978 33554432000 4194304 4196468 140732997689408 140111519017072 140112695110274 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26914816 140732997694455 140732997694614 140732997694614 140732997697487 0 [pid=22234/tid=22249] ppid=22190 vsize=8414124 memory=2016 CPUtime=0.11 cores=0-7 /proc/22234/task/22249/stat : 22249 (java) S 22190 22190 20843 0 -1 1077944384 609 0 0 0 11 0 0 0 20 0 24 0 512494696 8616062976 29978 33554432000 4194304 4196468 140732997689408 140111517964272 140112695110274 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26914816 140732997694455 140732997694614 140732997694614 140732997697487 0 [pid=22234/tid=22250] ppid=22190 vsize=8414124 memory=1416 CPUtime=0.07 cores=0-7 /proc/22234/task/22250/stat : 22250 (java) S 22190 22190 20843 0 -1 1077944384 207 0 0 0 7 0 0 0 20 0 24 0 512494696 8616062976 29978 33554432000 4194304 4196468 140732997689408 140111516911984 140112695110274 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26914816 140732997694455 140732997694614 140732997694614 140732997697487 0 [pid=22234/tid=22251] ppid=22190 vsize=8414124 memory=19 CPUtime=0.23 cores=0-7 /proc/22234/task/22251/stat : 22251 (java) S 22190 22190 20843 0 -1 1077944384 605 0 0 0 23 0 0 0 20 0 24 0 512494696 8616062976 29978 33554432000 4194304 4196468 140732997689408 140111515859184 140112695110274 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26914816 140732997694455 140732997694614 140732997694614 140732997697487 0 [pid=22234/tid=22252] ppid=22190 vsize=8414124 memory=177 CPUtime=0 cores=0-7 /proc/22234/task/22252/stat : 22252 (java) S 22190 22190 20843 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 512494696 8616062976 29978 33554432000 4194304 4196468 140732997689408 140110288907104 140112695109333 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26914816 140732997694455 140732997694614 140732997694614 140732997697487 0 [pid=22234/tid=22253] ppid=22190 vsize=8414124 memory=725 CPUtime=0 cores=0-7 /proc/22234/task/22253/stat : 22253 (java) S 22190 22190 20843 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 512494696 8616062976 29978 33554432000 4194304 4196468 140732997689408 140111514807088 140112695110274 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26914816 140732997694455 140732997694614 140732997694614 140732997697487 0 [pid=22234/tid=22255] ppid=22190 vsize=8414124 memory=19349 CPUtime=0 cores=0-7 /proc/22234/task/22255/stat : 22255 (java) S 22190 22190 20843 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 512494767 8616062976 29978 33554432000 4194304 4196468 140732997689408 140111506773824 140112695123737 0 4 2 25189581 18446744071579417331 0 0 -1 1 0 0 0 0 0 6293624 6294260 26914816 140732997694455 140732997694614 140732997694614 140732997697487 0 [pid=22234/tid=22257] ppid=22190 vsize=8414124 memory=5165 CPUtime=0 cores=0-7 /proc/22234/task/22257/stat : 22257 (java) S 22190 22190 20843 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 512494767 8616062976 29978 33554432000 4194304 4196468 140732997689408 140109617806736 140112695121053 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 26914816 140732997694455 140732997694614 140732997694614 140732997697487 0 [pid=22234/tid=22258] ppid=22190 vsize=8414124 memory=1476 CPUtime=0 cores=0-7 /proc/22234/task/22258/stat : 22258 (java) S 22190 22190 20843 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 512494768 8616062976 29978 33554432000 4194304 4196468 140732997689408 140109886242064 140112695121053 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 26914816 140732997694455 140732997694614 140732997694614 140732997697487 0 [pid=22234/tid=22259] ppid=22190 vsize=8414124 memory=119912 CPUtime=0 cores=0-7 /proc/22234/task/22259/stat : 22259 (java) S 22190 22190 20843 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 512494770 8616062976 29978 33554432000 4194304 4196468 140732997689408 140109349379376 140112695109333 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26914816 140732997694455 140732997694614 140732997694614 140732997697487 0 Current children cumulated CPU time: 384.96 s Current children cumulated vsize: 10642572 KiB Current children cumulated memory: 1682572 KiB [startup+285.601 s] /proc/loadavg: 1.85 4.14 6.45 8/222 22267 /proc/meminfo: memFree=23680152/32770624 swapFree=66941064/67108860 [pid=22190] ppid=22187 vsize=113128 memory=1476 CPUtime=367.69 cores=0-7 /proc/22190/stat : 22190 (scop.sh) S 22187 22190 20843 0 -1 4202496 584 140875 0 0 0 0 35215 1554 20 0 1 0 512467020 115843072 369 33554432000 4194304 5098028 140730073244272 140730073241016 139821960032892 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 13983744 140730073248549 140730073248876 140730073248876 140730073251789 0 /proc/22190/statm: 28282 369 311 221 0 87 0 [pid=22234] ppid=22190 vsize=8414124 memory=119912 CPUtime=1.36 cores=0-7 /proc/22234/stat : 22234 (java) S 22190 22190 20843 0 -1 1077944320 20456 0 0 0 128 8 0 0 20 0 24 0 512494689 8616062976 29978 33554432000 4194304 4196468 140732997689408 140732997671952 140112695099127 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 26914816 140732997694455 140732997694614 140732997694614 140732997697487 0 /proc/22234/statm: 2103531 29978 3205 1 0 2064875 0 [pid=22254] ppid=22234 vsize=2120472 memory=1581552 CPUtime=21.06 cores=0-7 /proc/22254/stat : 22254 (manyglucose-4.1) S 22234 22190 20843 0 -1 1077944320 417416 0 0 0 1947 159 0 0 20 0 2 0 512494767 2171363328 395388 33554432000 4194304 4454172 140723916623568 140723916621952 140218781196023 0 4 0 8388610 18446744073709551615 0 0 17 5 0 0 0 0 0 6552832 6554400 29102080 140723916628841 140723916629040 140723916629040 140723916631994 0 /proc/22254/statm: 530118 395388 420 64 0 525786 0 [pid=22254/tid=22260] ppid=22234 vsize=2120472 memory=191194764193249 CPUtime=2.01 cores=0-7 /proc/22254/task/22260/stat : 22260 (manyglucose-4.1) R 22234 22190 20843 0 -1 4202560 15186 0 0 0 188 13 0 0 20 0 2 0 512495370 2171363328 395388 33554432000 4194304 4454172 140723916623568 140218741656680 140218766498789 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6552832 6554400 29102080 140723916628841 140723916629040 140723916629040 140723916631994 0 [pid=22234/tid=22235] ppid=22190 vsize=8414124 memory=0 CPUtime=0.79 cores=0-7 /proc/22234/task/22235/stat : 22235 (java) S 22190 22190 20843 0 -1 1077944384 16990 0 0 0 74 5 0 0 20 0 24 0 512494690 8616062976 29978 33554432000 4194304 4196468 140732997689408 140112666939296 140112695109333 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26914816 140732997694455 140732997694614 140732997694614 140732997697487 0 [pid=22234/tid=22236] ppid=22190 vsize=8414124 memory=1724 CPUtime=0 cores=0-7 /proc/22234/task/22236/stat : 22236 (java) S 22190 22190 20843 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512494691 8616062976 29978 33554432000 4194304 4196468 140732997689408 140112699341712 140112695109333 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26914816 140732997694455 140732997694614 140732997694614 140732997697487 0 [pid=22234/tid=22237] ppid=22190 vsize=8414124 memory=1096 CPUtime=0 cores=0-7 /proc/22234/task/22237/stat : 22237 (java) S 22190 22190 20843 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512494691 8616062976 29978 33554432000 4194304 4196468 140732997689408 140112505105168 140112695109333 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26914816 140732997694455 140732997694614 140732997694614 140732997697487 0 [pid=22234/tid=22238] ppid=22190 vsize=8414124 memory=1228 CPUtime=0 cores=0-7 /proc/22234/task/22238/stat : 22238 (java) S 22190 22190 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512494691 8616062976 29978 33554432000 4194304 4196468 140732997689408 140112179137680 140112695109333 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26914816 140732997694455 140732997694614 140732997694614 140732997697487 0 [pid=22234/tid=22239] ppid=22190 vsize=8414124 memory=6144 CPUtime=0 cores=0-7 /proc/22234/task/22239/stat : 22239 (java) S 22190 22190 20843 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 512494691 8616062976 29978 33554432000 4194304 4196468 140732997689408 140112178084880 140112695109333 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26914816 140732997694455 140732997694614 140732997694614 140732997697487 0 [pid=22234/tid=22240] ppid=22190 vsize=8414124 memory=780 CPUtime=0 cores=0-7 /proc/22234/task/22240/stat : 22240 (java) S 22190 22190 20843 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512494691 8616062976 29978 33554432000 4194304 4196468 140732997689408 140112177031568 140112695109333 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26914816 140732997694455 140732997694614 140732997694614 140732997697487 0 [pid=22234/tid=22241] ppid=22190 vsize=8414124 memory=14008 CPUtime=0 cores=0-7 /proc/22234/task/22241/stat : 22241 (java) S 22190 22190 20843 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512494691 8616062976 29978 33554432000 4194304 4196468 140732997689408 140112175978768 140112695109333 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26914816 140732997694455 140732997694614 140732997694614 140732997697487 0 [pid=22234/tid=22242] ppid=22190 vsize=8414124 memory=33788 CPUtime=0 cores=0-7 /proc/22234/task/22242/stat : 22242 (java) S 22190 22190 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512494691 8616062976 29978 33554432000 4194304 4196468 140732997689408 140112174926480 140112695109333 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26914816 140732997694455 140732997694614 140732997694614 140732997697487 0 [pid=22234/tid=22243] ppid=22190 vsize=8414124 memory=1416 CPUtime=0 cores=0-7 /proc/22234/task/22243/stat : 22243 (java) S 22190 22190 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512494691 8616062976 29978 33554432000 4194304 4196468 140732997689408 140112173873680 140112695109333 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26914816 140732997694455 140732997694614 140732997694614 140732997697487 0 [pid=22234/tid=22244] ppid=22190 vsize=8414124 memory=10728 CPUtime=0 cores=0-7 /proc/22234/task/22244/stat : 22244 (java) S 22190 22190 20843 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 512494692 8616062976 29978 33554432000 4194304 4196468 140732997689408 140111520070256 140112695110274 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26914816 140732997694455 140732997694614 140732997694614 140732997697487 0 [pid=22234/tid=22245] ppid=22190 vsize=8414124 memory=1552 CPUtime=0 cores=0-7 /proc/22234/task/22245/stat : 22245 (java) S 22190 22190 20843 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 512494693 8616062976 29978 33554432000 4194304 4196468 140732997689408 140111295538464 140112695109333 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26914816 140732997694455 140732997694614 140732997694614 140732997697487 0 [pid=22234/tid=22246] ppid=22190 vsize=8414124 memory=3984 CPUtime=0 cores=0-7 /proc/22234/task/22246/stat : 22246 (java) S 22190 22190 20843 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 512494693 8616062976 29978 33554432000 4194304 4196468 140732997689408 140111161316976 140112695109333 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26914816 140732997694455 140732997694614 140732997694614 140732997697487 0 [pid=22234/tid=22247] ppid=22190 vsize=8414124 memory=2832 CPUtime=0 cores=0-7 /proc/22234/task/22247/stat : 22247 (java) S 22190 22190 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512494696 8616062976 29978 33554432000 4194304 4196468 140732997689408 140110786812496 140112695117723 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26914816 140732997694455 140732997694614 140732997694614 140732997697487 0 [pid=22234/tid=22248] ppid=22190 vsize=8414124 memory=784 CPUtime=0.09 cores=0-7 /proc/22234/task/22248/stat : 22248 (java) S 22190 22190 20843 0 -1 1077944384 622 0 0 0 9 0 0 0 20 0 24 0 512494696 8616062976 29978 33554432000 4194304 4196468 140732997689408 140111519017072 140112695110274 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26914816 140732997694455 140732997694614 140732997694614 140732997697487 0 [pid=22234/tid=22249] ppid=22190 vsize=8414124 memory=1060 CPUtime=0.11 cores=0-7 /proc/22234/task/22249/stat : 22249 (java) S 22190 22190 20843 0 -1 1077944384 609 0 0 0 11 0 0 0 20 0 24 0 512494696 8616062976 29978 33554432000 4194304 4196468 140732997689408 140111517964272 140112695110274 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26914816 140732997694455 140732997694614 140732997694614 140732997697487 0 [pid=22234/tid=22250] ppid=22190 vsize=8414124 memory=2116 CPUtime=0.07 cores=0-7 /proc/22234/task/22250/stat : 22250 (java) S 22190 22190 20843 0 -1 1077944384 207 0 0 0 7 0 0 0 20 0 24 0 512494696 8616062976 29978 33554432000 4194304 4196468 140732997689408 140111516911984 140112695110274 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26914816 140732997694455 140732997694614 140732997694614 140732997697487 0 [pid=22234/tid=22251] ppid=22190 vsize=8414124 memory=12024 CPUtime=0.23 cores=0-7 /proc/22234/task/22251/stat : 22251 (java) S 22190 22190 20843 0 -1 1077944384 605 0 0 0 23 0 0 0 20 0 24 0 512494696 8616062976 29978 33554432000 4194304 4196468 140732997689408 140111515859184 140112695110274 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26914816 140732997694455 140732997694614 140732997694614 140732997697487 0 [pid=22234/tid=22252] ppid=22190 vsize=8414124 memory=1560 CPUtime=0 cores=0-7 /proc/22234/task/22252/stat : 22252 (java) S 22190 22190 20843 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 512494696 8616062976 29978 33554432000 4194304 4196468 140732997689408 140110288907104 140112695109333 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26914816 140732997694455 140732997694614 140732997694614 140732997697487 0 [pid=22234/tid=22253] ppid=22190 vsize=8414124 memory=500 CPUtime=0 cores=0-7 /proc/22234/task/22253/stat : 22253 (java) S 22190 22190 20843 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 512494696 8616062976 29978 33554432000 4194304 4196468 140732997689408 140111514807088 140112695110274 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26914816 140732997694455 140732997694614 140732997694614 140732997697487 0 [pid=22234/tid=22255] ppid=22190 vsize=8414124 memory=928 CPUtime=0 cores=0-7 /proc/22234/task/22255/stat : 22255 (java) S 22190 22190 20843 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 512494767 8616062976 29978 33554432000 4194304 4196468 140732997689408 140111506773824 140112695123737 0 4 2 25189581 18446744071579417331 0 0 -1 1 0 0 0 0 0 6293624 6294260 26914816 140732997694455 140732997694614 140732997694614 140732997697487 0 [pid=22234/tid=22257] ppid=22190 vsize=8414124 memory=1984 CPUtime=0 cores=0-7 /proc/22234/task/22257/stat : 22257 (java) S 22190 22190 20843 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 512494767 8616062976 29978 33554432000 4194304 4196468 140732997689408 140109617806736 140112695121053 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 26914816 140732997694455 140732997694614 140732997694614 140732997697487 0 [pid=22234/tid=22258] ppid=22190 vsize=8414124 memory=2364 CPUtime=0 cores=0-7 /proc/22234/task/22258/stat : 22258 (java) S 22190 22190 20843 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 512494768 8616062976 29978 33554432000 4194304 4196468 140732997689408 140109886242064 140112695121053 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 26914816 140732997694455 140732997694614 140732997694614 140732997697487 0 [pid=22234/tid=22259] ppid=22190 vsize=8414124 memory=1744 CPUtime=0 cores=0-7 /proc/22234/task/22259/stat : 22259 (java) S 22190 22190 20843 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 512494770 8616062976 29978 33554432000 4194304 4196468 140732997689408 140109349379376 140112695109333 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26914816 140732997694455 140732997694614 140732997694614 140732997697487 0 Current children cumulated CPU time: 390.11 s Current children cumulated vsize: 10647724 KiB Current children cumulated memory: 1702940 KiB [startup+286.001 s]* /proc/loadavg: 1.85 4.14 6.45 2/211 22267 /proc/meminfo: memFree=25190612/32770624 swapFree=66941064/67108860 [pid=22190] ppid=22187 vsize=113128 memory=1476 CPUtime=367.69 cores=0-7 /proc/22190/stat : 22190 (scop.sh) S 22187 22190 20843 0 -1 4202496 584 140875 0 0 0 0 35215 1554 20 0 1 0 512467020 115843072 369 33554432000 4194304 5098028 140730073244272 140730073241016 139821960032892 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 13983744 140730073248549 140730073248876 140730073248876 140730073251789 0 /proc/22190/statm: 28282 369 311 221 0 87 0 [pid=22234] ppid=22190 vsize=8283048 memory=175244 CPUtime=23.24 cores=0-7 /proc/22234/stat : 22234 (java) S 22190 22190 20843 0 -1 1077944320 21529 425082 0 0 182 9 1966 167 20 0 22 0 512494689 8481841152 43811 33554432000 4194304 4196468 140732997689408 140732997671952 140112695099127 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 26914816 140732997694455 140732997694614 140732997694614 140732997697487 0 /proc/22234/statm: 2070762 43811 3233 1 0 2032106 0 [pid=22234/tid=22235] ppid=22190 vsize=8283048 memory=6791534058613427641 CPUtime=22.21 cores=0-7 /proc/22234/task/22235/stat : 22235 (java) R 22190 22190 20843 0 -1 4202560 17202 425082 0 0 82 6 1966 167 20 0 22 0 512494690 8481841152 43811 33554432000 4194304 4196468 140732997689408 140112666937520 140112695111062 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26914816 140732997694455 140732997694614 140732997694614 140732997697487 0 [pid=22234/tid=22236] ppid=22190 vsize=8283048 memory=-7003737579269690708 CPUtime=21.33 cores=0-7 /proc/22234/task/22236/stat : 22236 (java) S 22190 22190 20843 0 -1 1077944384 2 425082 0 0 0 0 1966 167 20 0 22 0 512494691 8481841152 43811 33554432000 4194304 4196468 140732997689408 140112699341712 140112695109333 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26914816 140732997694455 140732997694614 140732997694614 140732997697487 0 [pid=22234/tid=22237] ppid=22190 vsize=8283048 memory=500 CPUtime=21.33 cores=0-7 /proc/22234/task/22237/stat : 22237 (java) S 22190 22190 20843 0 -1 1077944384 2 425082 0 0 0 0 1966 167 20 0 22 0 512494691 8481841152 43811 33554432000 4194304 4196468 140732997689408 140112505105168 140112695109333 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26914816 140732997694455 140732997694614 140732997694614 140732997697487 0 [pid=22234/tid=22238] ppid=22190 vsize=8283048 memory=928 CPUtime=21.33 cores=0-7 /proc/22234/task/22238/stat : 22238 (java) S 22190 22190 20843 0 -1 1077944384 1 425082 0 0 0 0 1966 167 20 0 22 0 512494691 8481841152 43811 33554432000 4194304 4196468 140732997689408 140112179137680 140112695109333 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26914816 140732997694455 140732997694614 140732997694614 140732997697487 0 [pid=22234/tid=22239] ppid=22190 vsize=8283048 memory=1984 CPUtime=21.33 cores=0-7 /proc/22234/task/22239/stat : 22239 (java) S 22190 22190 20843 0 -1 1077944384 3 425082 0 0 0 0 1966 167 20 0 22 0 512494691 8481841152 43811 33554432000 4194304 4196468 140732997689408 140112178084880 140112695109333 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26914816 140732997694455 140732997694614 140732997694614 140732997697487 0 [pid=22234/tid=22240] ppid=22190 vsize=8283048 memory=119864 CPUtime=21.33 cores=0-7 /proc/22234/task/22240/stat : 22240 (java) S 22190 22190 20843 0 -1 1077944384 2 425082 0 0 0 0 1966 167 20 0 22 0 512494691 8481841152 43811 33554432000 4194304 4196468 140732997689408 140112177031568 140112695109333 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26914816 140732997694455 140732997694614 140732997694614 140732997697487 0 [pid=22234/tid=22241] ppid=22190 vsize=8283048 memory=1476 CPUtime=21.33 cores=0-7 /proc/22234/task/22241/stat : 22241 (java) S 22190 22190 20843 0 -1 1077944384 2 425082 0 0 0 0 1966 167 20 0 22 0 512494691 8481841152 43811 33554432000 4194304 4196468 140732997689408 140112175978768 140112695109333 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26914816 140732997694455 140732997694614 140732997694614 140732997697487 0 [pid=22234/tid=22242] ppid=22190 vsize=8283048 memory=119912 CPUtime=21.33 cores=0-7 /proc/22234/task/22242/stat : 22242 (java) S 22190 22190 20843 0 -1 1077944384 1 425082 0 0 0 0 1966 167 20 0 22 0 512494691 8481841152 43811 33554432000 4194304 4196468 140732997689408 140112174926480 140112695109333 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26914816 140732997694455 140732997694614 140732997694614 140732997697487 0 [pid=22234/tid=22243] ppid=22190 vsize=8283048 memory=1502500 CPUtime=21.33 cores=0-7 /proc/22234/task/22243/stat : 22243 (java) S 22190 22190 20843 0 -1 1077944384 1 425082 0 0 0 0 1966 167 20 0 22 0 512494691 8481841152 43811 33554432000 4194304 4196468 140732997689408 140112173873680 140112695109333 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26914816 140732997694455 140732997694614 140732997694614 140732997697487 0 [pid=22234/tid=22244] ppid=22190 vsize=8283048 memory=1748 CPUtime=21.33 cores=0-7 /proc/22234/task/22244/stat : 22244 (java) S 22190 22190 20843 0 -1 1077944384 7 425082 0 0 0 0 1966 167 20 0 22 0 512494692 8481841152 43811 33554432000 4194304 4196468 140732997689408 140111520070256 140112695110274 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26914816 140732997694455 140732997694614 140732997694614 140732997697487 0 [pid=22234/tid=22245] ppid=22190 vsize=8283048 memory=1476 CPUtime=21.33 cores=0-7 /proc/22234/task/22245/stat : 22245 (java) S 22190 22190 20843 0 -1 1077944384 13 425082 0 0 0 0 1966 167 20 0 22 0 512494693 8481841152 43811 33554432000 4194304 4196468 140732997689408 140111295538464 140112695109333 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26914816 140732997694455 140732997694614 140732997694614 140732997697487 0 [pid=22234/tid=22246] ppid=22190 vsize=8283048 memory=1556336 CPUtime=21.33 cores=0-7 /proc/22234/task/22246/stat : 22246 (java) S 22190 22190 20843 0 -1 1077944384 21 425082 0 0 0 0 1966 167 20 0 22 0 512494693 8481841152 43811 33554432000 4194304 4196468 140732997689408 140111161316976 140112695109333 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26914816 140732997694455 140732997694614 140732997694614 140732997697487 0 [pid=22234/tid=22247] ppid=22190 vsize=8283048 memory=7163937698454393430 CPUtime=21.33 cores=0-7 /proc/22234/task/22247/stat : 22247 (java) S 22190 22190 20843 0 -1 1077944384 1 425082 0 0 0 0 1966 167 20 0 22 0 512494696 8481841152 43811 33554432000 4194304 4196468 140732997689408 140110786812496 140112695117723 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26914816 140732997694455 140732997694614 140732997694614 140732997697487 0 [pid=22234/tid=22248] ppid=22190 vsize=8283048 memory=7163937698454393430 CPUtime=21.5 cores=0-7 /proc/22234/task/22248/stat : 22248 (java) S 22190 22190 20843 0 -1 1077944384 661 425082 0 0 17 0 1966 167 20 0 22 0 512494696 8481841152 43811 33554432000 4194304 4196468 140732997689408 140111519017072 140112695110274 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26914816 140732997694455 140732997694614 140732997694614 140732997697487 0 [pid=22234/tid=22249] ppid=22190 vsize=8283048 memory=7163937698454393430 CPUtime=21.52 cores=0-7 /proc/22234/task/22249/stat : 22249 (java) S 22190 22190 20843 0 -1 1077944384 702 425082 0 0 19 0 1966 167 20 0 22 0 512494696 8481841152 43811 33554432000 4194304 4196468 140732997689408 140111517964272 140112695110274 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26914816 140732997694455 140732997694614 140732997694614 140732997697487 0 [pid=22234/tid=22250] ppid=22190 vsize=8283048 memory=7740387507079108193 CPUtime=21.47 cores=0-7 /proc/22234/task/22250/stat : 22250 (java) S 22190 22190 20843 0 -1 1077944384 312 425082 0 0 14 0 1966 167 20 0 22 0 512494696 8481841152 43811 33554432000 4194304 4196468 140732997689408 140111516911984 140112695110274 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26914816 140732997694455 140732997694614 140732997694614 140732997697487 0 [pid=22234/tid=22251] ppid=22190 vsize=8283048 memory=7740387507079108193 CPUtime=21.65 cores=0-7 /proc/22234/task/22251/stat : 22251 (java) S 22190 22190 20843 0 -1 1077944384 1156 425082 0 0 32 0 1966 167 20 0 22 0 512494696 8481841152 43811 33554432000 4194304 4196468 140732997689408 140111515859184 140112695110274 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26914816 140732997694455 140732997694614 140732997694614 140732997697487 0 [pid=22234/tid=22252] ppid=22190 vsize=8283048 memory=7163937698454393430 CPUtime=21.33 cores=0-7 /proc/22234/task/22252/stat : 22252 (java) S 22190 22190 20843 0 -1 1077944384 3 425082 0 0 0 0 1966 167 20 0 22 0 512494696 8481841152 43811 33554432000 4194304 4196468 140732997689408 140110288907104 140112695109333 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26914816 140732997694455 140732997694614 140732997694614 140732997697487 0 [pid=22234/tid=22253] ppid=22190 vsize=8283048 memory=7737585925329674606 CPUtime=21.33 cores=0-7 /proc/22234/task/22253/stat : 22253 (java) S 22190 22190 20843 0 -1 1077944384 3 425082 0 0 0 0 1966 167 20 0 22 0 512494696 8481841152 43811 33554432000 4194304 4196468 140732997689408 140111514807088 140112695110274 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26914816 140732997694455 140732997694614 140732997694614 140732997697487 0 [pid=22234/tid=22255] ppid=22190 vsize=8283048 memory=7020380997474676326 CPUtime=21.33 cores=0-7 /proc/22234/task/22255/stat : 22255 (java) S 22190 22190 20843 0 -1 1077944384 24 425082 0 0 0 0 1966 167 20 0 22 0 512494767 8481841152 43811 33554432000 4194304 4196468 140732997689408 140111506773008 140112695110274 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26914816 140732997694455 140732997694614 140732997694614 140732997697487 0 [pid=22234/tid=22259] ppid=22190 vsize=8283048 memory=7737585925329674606 CPUtime=21.33 cores=0-7 /proc/22234/task/22259/stat : 22259 (java) S 22190 22190 20843 0 -1 1077944384 13 425082 0 0 0 0 1966 167 20 0 22 0 512494770 8481841152 43811 33554432000 4194304 4196468 140732997689408 140109349381168 140112695110274 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26914816 140732997694455 140732997694614 140732997694614 140732997697487 0 Current children cumulated CPU time: 390.93 s Current children cumulated vsize: 8396176 KiB Current children cumulated memory: 176720 KiB Child status: 0 Real time (s): 286.095 CPU time (s): 391.116 CPU user time (s): 373.765 CPU system time (s): 17.3506 CPU usage (%): 136.708 Max. virtual memory (cumulated for all children) (KiB): 27443924 Max. memory (cumulated for all children) (KiB): 11668192 getrusage(RUSAGE_CHILDREN,...) data: user time used= 373.765 system time used= 17.3506 maximum resident set size= 11667036 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 589323 page faults= 0 swaps= 0 block input operations= 0 block output operations= 101656 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 125002 involuntary context switches= 1043 # summary of solver processes directly reported to runsolver: # pid: 22190 # total CPU time (s): 391.116 # total CPU user time (s): 373.765 # total CPU system time (s): 17.3506 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 1.84895 second user time and 3.28599 second system time The end
Begin job on node139 at 2019-09-24 23:54:55 IDJOB=4405167 IDBENCH=139919 IDSOLVER=2867 FILE ID=node139/4405167-1569361962 RUNJOBID= node139-1569356582-20870 PBS_JOBID= 21705103 Free space on /tmp= 5140 MiB SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-09-22) BENCH NAME= XCSP17/Crossword/Crossword-m1c-ogd-herald/Crossword-m1c-ogd-h1502.xml COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -order DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4405167-1569361962/watcher-4405167-1569361962 -o /tmp/evaluation-result-4405167-1569361962/solver-4405167-1569361962 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node139-1569356582-20870 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405167-1569361962.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= f196bcf8028f955a9b1a207c833066c3 RANDOM SEED=2037681271 node139.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.57 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.57 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.57 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.57 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 25405772 kB MemAvailable: 31781448 kB Buffers: 113944 kB Cached: 6349624 kB SwapCached: 64808 kB Active: 3225340 kB Inactive: 3308184 kB Active(anon): 4784 kB Inactive(anon): 120880 kB Active(file): 3220556 kB Inactive(file): 3187304 kB Unevictable: 107760 kB Mlocked: 107760 kB SwapTotal: 67108860 kB SwapFree: 66941064 kB Dirty: 23880 kB Writeback: 0 kB AnonPages: 168624 kB Mapped: 57596 kB Shmem: 47400 kB Slab: 425508 kB SReclaimable: 396276 kB SUnreclaim: 29232 kB KernelStack: 3728 kB PageTables: 5384 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 504820 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 122880 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 107904 kB DirectMap2M: 33437696 kB Free space on /tmp at the end= 5120 MiB End job on node139 at 2019-09-24 23:59:42