Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
Fun-sCOP order+ManyGlucose (2019-06-15) | SAT | 393.741 | 292.276 |
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-17670-serial-file.bin HOME/instance-4392307-1568446259.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: Sat Sep 14 09:30:15 CEST 2019 0.66/0.57 c PID: 17673 0.66/0.57 c IP: 172.20.3.136 0.66/0.57 c HOST: node136.alineos.net 0.66/0.57 c (0,0) Parsing Begin 2.47/1.40 c (0,0) Parsing End 2.76/1.40 c (0,0) CSP: 191 int (0 aux), 0 bool (0 aux), 80 ctr, max domain size 26 2.76/1.40 c (0,0) Heap : 450 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB) 2.76/1.40 c (0,0) Constraint Name Generate Begin 2.76/1.41 c (0,0) Ctr:HOME/instance-4392307-1568446259.xml,ExtensionSupport:Var 2.76/1.41 c (0,0) Constraint Name Generate End 2.76/1.41 c (0,0) Heap : 450 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB) 2.76/1.41 c (0,0) CSP to CSPinCNF Begin 22.28/11.05 c (10,10) translated 8 (10%) constraints 33.65/19.56 c (19,18) translated 16 (20%) constraints 36.29/22.17 c (21,21) translated 24 (30%) constraints 39.66/25.21 c (24,24) translated 32 (40%) constraints 42.50/28.09 c (27,27) translated 40 (50%) constraints 45.33/30.81 c (30,29) translated 48 (60%) constraints 188.84/146.28 c (145,141) translated 56 (70%) constraints 202.01/156.84 c (156,151) translated 64 (80%) constraints 202.71/157.53 c (156,152) translated 72 (90%) constraints 246.19/194.63 c (194,188) translated 80 (100%) constraints 255.20/203.66 c (203,197) =========================================== 255.20/203.67 c (203,197) Order 255.20/203.67 c (203,197) =========================================== 259.94/207.88 c (207,201) translated 204525 (10%) constraints 266.83/212.38 c (211,205) translated 409050 (20%) constraints 270.99/216.46 c (215,209) translated 613575 (30%) constraints 275.09/220.53 c (219,214) translated 818099 (40%) constraints 279.19/224.62 c (224,218) translated 1022624 (50%) constraints 283.37/228.70 c (228,222) translated 1227149 (60%) constraints 291.62/233.26 c (232,226) translated 1431673 (70%) constraints 295.62/237.21 c (236,230) translated 1636198 (80%) constraints 299.73/241.33 c (240,234) translated 1840723 (90%) constraints 303.91/245.43 c (244,238) translated 2045247 (100%) constraints 303.91/245.43 c (244,238) CSP to CSPinCNF End 304.04/245.51 c (244,238) CSP: 191 int (0 aux), 227362 bool (227362 aux), 2045247 ctr, max domain size 26 304.04/245.51 c (244,238) Heap : 6074 MiB used (max 21568 MiB), NonHeap : 26 MiB used (max 0 MiB) 304.04/245.51 c (244,238) CSPinCNF Propagation Begin 326.14/256.06 c (255,247) 0 values, 255 unsatisfiable literals, and 142 valid clauses are removed 326.14/256.06 c (255,247) CSPinCNF Propagation End 326.25/256.13 c (255,247) CSP: 191 int (0 aux), 227362 bool (227362 aux), 2045105 ctr, max domain size 26 326.25/256.13 c (255,247) Heap : 6441 MiB used (max 21639 MiB), NonHeap : 27 MiB used (max 0 MiB) 326.25/256.14 c (255,247) Simplify CSPinCNF Begin 330.45/260.26 c (259,251) Simplify CSPinCNF End 330.55/260.33 c (259,251) CSP: 191 int (0 aux), 227362 bool (227362 aux), 2045105 ctr, max domain size 26 330.55/260.33 c (259,251) Heap : 8605 MiB used (max 21639 MiB), NonHeap : 27 MiB used (max 0 MiB) 330.55/260.33 c (259,251) Calculate Precise Domain Begin 330.55/260.33 c (259,251) 0 values are removed by re-calculation 330.55/260.33 c (259,251) Calculate Precise Domain End 330.55/260.40 c (259,251) CSP: 191 int (0 aux), 227362 bool (227362 aux), 2045105 ctr, max domain size 26 330.55/260.40 c (259,251) Heap : 8605 MiB used (max 21639 MiB), NonHeap : 27 MiB used (max 0 MiB) 330.55/260.40 c (259,251) CSPinCNF to SatSolver Begin 340.72/263.77 c (263,254) 204511 (10 %) CSP clauses are encoded (0 SAT variables, 208947 SAT clauses) 342.76/265.75 c (265,256) 409021 (20 %) CSP clauses are encoded (0 SAT variables, 413457 SAT clauses) 344.66/267.67 c (267,258) 613532 (30 %) CSP clauses are encoded (0 SAT variables, 617968 SAT clauses) 352.83/270.36 c (269,260) 818042 (40 %) CSP clauses are encoded (0 SAT variables, 822478 SAT clauses) 354.74/272.26 c (271,262) 1022553 (50 %) CSP clauses are encoded (0 SAT variables, 1026989 SAT clauses) 356.65/274.18 c (273,263) 1227063 (60 %) CSP clauses are encoded (0 SAT variables, 1231499 SAT clauses) 361.17/276.39 c (275,265) 1431574 (70 %) CSP clauses are encoded (0 SAT variables, 1436010 SAT clauses) 363.06/278.37 c (277,267) 1636084 (80 %) CSP clauses are encoded (0 SAT variables, 1640520 SAT clauses) 365.05/280.34 c (279,269) 1840595 (90 %) CSP clauses are encoded (0 SAT variables, 1845031 SAT clauses) 367.02/282.46 c (281,271) 2045105 (100 %) CSP clauses are encoded (0 SAT variables, 2049541 SAT clauses) 367.02/282.46 c (281,271) CSPinCNF to SatSolver End 367.02/282.46 c (281,271) Heap : 9430 MiB used (max 20807 MiB), NonHeap : 29 MiB used (max 0 MiB) 367.02/282.47 c (281,271) 231990 bool, 2049542 clause 367.02/282.47 c (281,271) Export Begin 367.14/282.59 c (282,271) Export to HOME/scop-17670-serial-file.bin 367.14/282.59 c (282,271) Export End 367.14/282.59 c (282,271) Export File Size: 0.09 MB 367.14/282.59 c (282,271) 0,0,244,255,259,259,281,STOP-AFTER(DIMACS) 367.14/282.59 c END-Prog: Sat Sep 14 09:34:57 CEST 2019 369.75/283.00 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-17670-serial-file.bin 370.70/283.46 c (0,0) Read Serial File Begin 370.70/283.46 c (0,0) HOME/scop-17670-serial-file.bin 371.21/283.71 c (0,0) Read Serial File End 371.21/283.73 371.21/283.73 Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15) 371.21/283.73 (Solving Process) 371.21/283.73 371.21/283.75 c BEGIN-Prog: Sat Sep 14 09:34:59 CEST 2019 371.21/283.75 c PID: 17710 371.21/283.75 c IP: 172.20.3.136 371.21/283.75 c HOST: node136.alineos.net 371.21/283.75 c (0,0) SatSolver.solve Begin 371.21/283.75 c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392307-1568446259.xml-scop-17673.cnf 371.21/283.78 c (0,0) c 371.21/283.78 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) 371.21/283.78 c (0,0) c 371.21/283.78 c (0,0) c WARNING: for repeatability, setting FPU to use double precision 371.21/283.78 c (0,0) c 8 solvers engines and 1 companion as a blackboard created. 371.21/283.78 c (0,0) c ========================================[ Problem Statistics ]=========================================== 371.21/283.78 c (0,0) c | | 372.24/284.58 c (1,0) c | Number of variables: 231990 | 372.24/284.58 c (1,0) c | Number of clauses: 2045743 | 372.24/284.58 c (1,0) c | Parse time: 0.73 s | 372.24/284.58 c (1,0) c | | 376.66/289.00 c (5,0) c | Simplification time: 4.36 s | 376.66/289.00 c (5,0) c | | 376.66/289.00 c (5,0) c | Generating clones | 377.46/289.78 c (6,0) c | all clones generated. Memory = 1466.37Mb. | 377.46/289.78 c (6,0) c ========================================================================================================| 377.46/289.78 c (6,0) c 377.46/289.78 c (6,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 377.46/289.78 c (6,0) c 377.46/289.78 c (6,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 377.46/289.78 c (6,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 377.46/289.78 c (6,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 377.46/289.78 c (6,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 377.46/289.78 c (6,0) c | adaptStrategeis | True | False | True | False | True | False | True | False | 377.46/289.78 c (6,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 377.46/289.78 c (6,0) c | Initial random_seed | 91648253 | 91648254 | 91648255 | 91648256 | 91648257 | 91648258 | 91648259 | 91648260 | 377.46/289.78 c (6,0) c | chanseokStrategy | False | False | False | False | False | False | False | False | 377.46/289.78 c (6,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 377.46/289.78 c (6,0) c | glureduce | True | True | True | True | True | True | True | True | 377.46/289.78 c (6,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 377.46/289.78 c (6,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 377.46/289.78 c (6,0) c | luby_restart | False | False | False | False | False | False | False | False | 377.46/289.78 c (6,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 377.46/289.78 c (6,0) c | var_decay | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 377.46/289.78 c (6,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 377.46/289.78 c (6,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 377.46/289.78 c (6,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 377.46/289.78 c (6,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 392.87/291.94 c (8,0) c 392.87/291.94 c (8,0) c real time : 8.159 s 392.87/291.94 c (8,0) c cpu time : 19.7601 s 392.87/291.94 c (8,0) c 392.87/291.94 c (8,0) c 392.87/291.94 c (8,0) c 392.87/291.94 c (8,0) c |---------------------------------------- FINAL STATS --------------------------------------------------| 392.87/291.94 c (8,0) c 392.87/291.94 c (8,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 392.87/291.94 c (8,0) c | Threads | Total | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 392.87/291.94 c (8,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 392.87/291.94 c (8,0) c | Conflicts | 11721 | 1410 | 1390 | 1956 | 1191 | 1295 | 1995 | 1136 | 1348 | 392.87/291.94 c (8,0) c | Decisions | 285044 | 36134 | 48900 | 40462 | 30225 | 30818 | 27111 | 44977 | 26417 | 392.87/291.94 c (8,0) c | Propagations | 30331315 | 3773411 | 3574337 | 4387256 | 2884845 | 3553621 | 4065434 | 3512682 | 4579729 | 392.87/291.94 c (8,0) c | ReduceDBs | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 392.87/291.94 c (8,0) c | SimpDBs | 8 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 392.87/291.94 c (8,0) c | Restarts | 30 | 5 | 2 | 5 | 2 | 2 | 3 | 6 | 5 | 392.87/291.94 c (8,0) c | ForcedImports | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 392.87/291.94 c (8,0) c | PropBinClauses| 37079542 | 4473644 | 4421634 | 4514143 | 4869074 | 4506297 | 4731853 | 4581863 | 4981034 | 392.87/291.94 c (8,0) c | PropPreBlocker| 183306698 | 22854584 | 23333293 | 24739250 | 21863756 | 22582216 | 23900336 | 20867537 | 23165726 | 392.87/291.94 c (8,0) c | PropNotBlocker| 63040055 | 7901752 | 7501706 | 8676602 | 6478843 | 7428906 | 8916999 | 7072186 | 9063061 | 392.87/291.94 c (8,0) c | LitFullScans | 354233829 | 42015141 | 44323847 | 47677984 | 42020893 | 42008595 | 47308710 | 42214610 | 46664049 | 392.87/291.94 c (8,0) c | LitScanFracts | 46260 | 3907 | 3786 | 537 | 17985 | 2559 | 9353 | 3393 | 4740 | 392.87/291.94 c (8,0) c | DecisionLevel0| 30 | 5 | 2 | 5 | 2 | 2 | 3 | 6 | 5 | 392.87/291.94 c (8,0) c | Periods | 56 | 7 | 7 | 7 | 7 | 7 | 7 | 7 | 7 | 392.87/291.94 c (8,0) c | Margin | 160 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 392.87/291.94 c (8,0) c | Avg_Trail | | 66186 | 64340 | 76471 | 115538 | 101440 | 60060 | 53561 | 47741 | 392.87/291.94 c (8,0) c | Avg_DL | | 2158 | 772 | 477 | 492 | 636 | 257 | 441 | 297 | 392.87/291.94 c (8,0) c | Avg_Res | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 392.87/291.94 c (8,0) c | Avg_Res_Seen | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 392.87/291.94 c (8,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 392.87/291.94 c (8,0) c | Exported | 1047 | 160 | 118 | 149 | 116 | 106 | 142 | 106 | 150 | 392.87/291.94 c (8,0) c | Imported | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 392.87/291.94 c (8,0) c | Good | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 392.87/291.94 c (8,0) c | Purge | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 392.87/291.94 c (8,0) c | Promoted | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 392.87/291.94 c (8,0) c | Remove_Imp | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 392.87/291.94 c (8,0) c | Blocked_Reuse | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 392.87/291.94 c (8,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 392.87/291.94 c (8,0) c | Unaries | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 392.87/291.94 c (8,0) c | Binaries | | 116 | 78 | 95 | 94 | 85 | 93 | 71 | 99 | 392.87/291.94 c (8,0) c | Glues | | 160 | 118 | 149 | 116 | 106 | 142 | 106 | 150 | 392.87/291.94 c (8,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 392.87/291.94 c (8,0) c | Orig_Seen | 2 % | 38464 | 47278 | 46836 | 49096 | 37817 | 47955 | 48354 | 50842 | 392.87/291.94 c (8,0) c | Diff Orig seen| | - 8814 | X | - 442 | 1818 | - 9461 | 677 | 1076 | 3564 | 392.87/291.94 c (8,0) c | Hamming | 7 % | 18078 | X | 17779 | 15897 | 19156 | 16143 | 16626 | 14548 | 392.87/291.94 c (8,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 392.87/291.94 c (8,0) c | RunningTime | | 2.0 100%| 1.9 100%| 2.1 100%| 1.9 100%| 2.1 100%| 2.0 100%| 2.1 100%| 2.0 100%| 392.87/291.94 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%| 392.87/291.94 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%| 392.87/291.94 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%| 392.87/291.94 c (8,0) c | SolvingTime | | 2.0 | 1.9 | 2.1 | 1.9 | 2.1 | 2.0 | 2.1 | 2.0 | 392.87/291.94 c (8,0) c | PropagationTim| | 1.9 92%| 1.7 88%| 1.9 88%| 1.7 88%| 1.9 91%| 1.8 89%| 1.9 88%| 1.8 90%| 392.87/291.94 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%| 392.87/291.94 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%| 392.87/291.94 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%| 392.87/291.94 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%| 392.87/291.94 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%| 392.87/291.94 c (8,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 392.87/291.94 c (8,0) c 392.87/291.94 c (8,0) c 392.87/291.94 c (8,0) c Threads : 8 392.87/291.94 c (8,0) c Winner : 1 392.87/291.94 c (8,0) c Conflicts_0 : 1410 392.87/291.94 c (8,0) c Conflicts_1 : 1390 392.87/291.94 c (8,0) c Conflicts_2 : 1956 392.87/291.94 c (8,0) c Conflicts_3 : 1191 392.87/291.94 c (8,0) c Conflicts_4 : 1295 392.87/291.94 c (8,0) c Conflicts_5 : 1995 392.87/291.94 c (8,0) c Conflicts_6 : 1136 392.87/291.94 c (8,0) c Conflicts_7 : 1348 392.87/291.94 c (8,0) c Conflicts_total : 11721 392.87/291.94 c (8,0) c Conflicts_winner : 1390 392.87/291.94 c (8,0) c Decisions_0 : 36134 392.87/291.94 c (8,0) c Decisions_1 : 48900 392.87/291.94 c (8,0) c Decisions_2 : 40462 392.87/291.94 c (8,0) c Decisions_3 : 30225 392.87/291.94 c (8,0) c Decisions_4 : 30818 392.87/291.94 c (8,0) c Decisions_5 : 27111 392.87/291.94 c (8,0) c Decisions_6 : 44977 392.87/291.94 c (8,0) c Decisions_7 : 26417 392.87/291.94 c (8,0) c Decisions_total : 285044 392.87/291.94 c (8,0) c Decisions_winner : 48900 392.87/291.94 c (8,0) c Propagations_0 : 3773411 392.87/291.94 c (8,0) c Propagations_1 : 3574337 392.87/291.94 c (8,0) c Propagations_2 : 4387256 392.87/291.94 c (8,0) c Propagations_3 : 2884845 392.87/291.94 c (8,0) c Propagations_4 : 3553621 392.87/291.94 c (8,0) c Propagations_5 : 4065434 392.87/291.94 c (8,0) c Propagations_6 : 3512682 392.87/291.94 c (8,0) c Propagations_7 : 4579729 392.87/291.94 c (8,0) c Propagations_total : 30331315 392.87/291.94 c (8,0) c Propagations_winner : 3574337 392.87/291.94 c (8,0) c ReduceDBs_0 : 0 392.87/291.94 c (8,0) c ReduceDBs_1 : 0 392.87/291.94 c (8,0) c ReduceDBs_2 : 0 392.87/291.94 c (8,0) c ReduceDBs_3 : 0 392.87/291.94 c (8,0) c ReduceDBs_4 : 0 392.87/291.94 c (8,0) c ReduceDBs_5 : 0 392.87/291.94 c (8,0) c ReduceDBs_6 : 0 392.87/291.94 c (8,0) c ReduceDBs_7 : 0 392.87/291.94 c (8,0) c ReduceDBs_total : 0 392.87/291.94 c (8,0) c ReduceDBs_winner : 0 392.87/291.94 c (8,0) c SimpDBs_0 : 1 392.87/291.94 c (8,0) c SimpDBs_1 : 1 392.87/291.94 c (8,0) c SimpDBs_2 : 1 392.87/291.94 c (8,0) c SimpDBs_3 : 1 392.87/291.94 c (8,0) c SimpDBs_4 : 1 392.87/291.94 c (8,0) c SimpDBs_5 : 1 392.87/291.94 c (8,0) c SimpDBs_6 : 1 392.87/291.94 c (8,0) c SimpDBs_7 : 1 392.87/291.94 c (8,0) c SimpDBs_total : 8 392.87/291.94 c (8,0) c SimpDBs_winner : 1 392.87/291.94 c (8,0) c Restarts_0 : 5 392.87/291.94 c (8,0) c Restarts_1 : 2 392.87/291.94 c (8,0) c Restarts_2 : 5 392.87/291.94 c (8,0) c Restarts_3 : 2 392.87/291.94 c (8,0) c Restarts_4 : 2 392.87/291.94 c (8,0) c Restarts_5 : 3 392.87/291.94 c (8,0) c Restarts_6 : 6 392.87/291.94 c (8,0) c Restarts_7 : 5 392.87/291.94 c (8,0) c Restarts_total : 30 392.87/291.94 c (8,0) c Restarts_winner : 2 392.87/291.94 c (8,0) c ForcedImports_0 : 0 392.87/291.94 c (8,0) c ForcedImports_1 : 0 392.87/291.94 c (8,0) c ForcedImports_2 : 0 392.87/291.94 c (8,0) c ForcedImports_3 : 0 392.87/291.94 c (8,0) c ForcedImports_4 : 0 392.87/291.94 c (8,0) c ForcedImports_5 : 0 392.87/291.94 c (8,0) c ForcedImports_6 : 0 392.87/291.94 c (8,0) c ForcedImports_7 : 0 392.87/291.94 c (8,0) c ForcedImports_total : 0 392.87/291.94 c (8,0) c ForcedImports_winner : 0 392.87/291.94 c (8,0) c PropsBinClauses_0 : 4473644 392.87/291.94 c (8,0) c PropsBinClauses_1 : 4421634 392.87/291.94 c (8,0) c PropsBinClauses_2 : 4514143 392.87/291.94 c (8,0) c PropsBinClauses_3 : 4869074 392.87/291.94 c (8,0) c PropsBinClauses_4 : 4506297 392.87/291.94 c (8,0) c PropsBinClauses_5 : 4731853 392.87/291.94 c (8,0) c PropsBinClauses_6 : 4581863 392.87/291.94 c (8,0) c PropsBinClauses_7 : 4981034 392.87/291.94 c (8,0) c PropsBinClauses_total : 37079542 392.87/291.94 c (8,0) c PropsBinClauses_winner : 4421634 392.87/291.94 c (8,0) c PropsPreBlocker_0 : 22854584 392.87/291.94 c (8,0) c PropsPreBlocker_1 : 23333293 392.87/291.94 c (8,0) c PropsPreBlocker_2 : 24739250 392.87/291.94 c (8,0) c PropsPreBlocker_3 : 21863756 392.87/291.94 c (8,0) c PropsPreBlocker_4 : 22582216 392.87/291.94 c (8,0) c PropsPreBlocker_5 : 23900336 392.87/291.94 c (8,0) c PropsPreBlocker_6 : 20867537 392.87/291.94 c (8,0) c PropsPreBlocker_7 : 23165726 392.87/291.94 c (8,0) c PropsPreBlocker_total : 183306698 392.87/291.94 c (8,0) c PropsPreBlocker_winner : 23333293 392.87/291.94 c (8,0) c PropsNotBlocker_0 : 7901752 392.87/291.94 c (8,0) c PropsNotBlocker_1 : 7501706 392.87/291.94 c (8,0) c PropsNotBlocker_2 : 8676602 392.87/291.94 c (8,0) c PropsNotBlocker_3 : 6478843 392.87/291.94 c (8,0) c PropsNotBlocker_4 : 7428906 392.87/291.94 c (8,0) c PropsNotBlocker_5 : 8916999 392.87/291.94 c (8,0) c PropsNotBlocker_6 : 7072186 392.87/291.94 c (8,0) c PropsNotBlocker_7 : 9063061 392.87/291.94 c (8,0) c PropsNotBlocker_total : 63040055 392.87/291.94 c (8,0) c PropsNotBlocker_winner : 7501706 392.87/291.94 c (8,0) c PropsLitFullScans_0 : 42015141 392.87/291.94 c (8,0) c PropsLitFullScans_1 : 44323847 392.87/291.94 c (8,0) c PropsLitFullScans_2 : 47677984 392.87/291.94 c (8,0) c PropsLitFullScans_3 : 42020893 392.87/291.94 c (8,0) c PropsLitFullScans_4 : 42008595 392.87/291.94 c (8,0) c PropsLitFullScans_5 : 47308710 392.87/291.94 c (8,0) c PropsLitFullScans_6 : 42214610 392.87/291.94 c (8,0) c PropsLitFullScans_7 : 46664049 392.87/291.94 c (8,0) c PropsLitFullScans_total : 354233829 392.87/291.94 c (8,0) c PropsLitFullScans_winner : 44323847 392.87/291.94 c (8,0) c LitScanFractions_0 : 3907 392.87/291.94 c (8,0) c LitScanFractions_1 : 3786 392.87/291.94 c (8,0) c LitScanFractions_2 : 537 392.87/291.94 c (8,0) c LitScanFractions_3 : 17985 392.87/291.94 c (8,0) c LitScanFractions_4 : 2559 392.87/291.94 c (8,0) c LitScanFractions_5 : 9353 392.87/291.94 c (8,0) c LitScanFractions_6 : 3393 392.87/291.94 c (8,0) c LitScanFractions_7 : 4740 392.87/291.94 c (8,0) c LitScanFractions_total : 46260 392.87/291.94 c (8,0) c LitScanFractions_winner : 3786 392.87/291.94 c (8,0) c DecisionLevel0_0 : 5 392.87/291.94 c (8,0) c DecisionLevel0_1 : 2 392.87/291.94 c (8,0) c DecisionLevel0_2 : 5 392.87/291.94 c (8,0) c DecisionLevel0_3 : 2 392.87/291.94 c (8,0) c DecisionLevel0_4 : 2 392.87/291.94 c (8,0) c DecisionLevel0_5 : 3 392.87/291.94 c (8,0) c DecisionLevel0_6 : 6 392.87/291.94 c (8,0) c DecisionLevel0_7 : 5 392.87/291.94 c (8,0) c DecisionLevel0_total : 30 392.87/291.94 c (8,0) c DecisionLevel0_winner : 2 392.87/291.94 c (8,0) c Periods_0 : 7 392.87/291.94 c (8,0) c Periods_1 : 7 392.87/291.94 c (8,0) c Periods_2 : 7 392.87/291.95 c (8,0) c Periods_3 : 7 392.87/291.95 c (8,0) c Periods_4 : 7 392.87/291.95 c (8,0) c Periods_5 : 7 392.87/291.95 c (8,0) c Periods_6 : 7 392.87/291.95 c (8,0) c Periods_7 : 7 392.87/291.95 c (8,0) c Periods_total : 56 392.87/291.95 c (8,0) c Periods_winner : 7 392.87/291.95 c (8,0) c Margin_0 : 20 392.87/291.95 c (8,0) c Margin_1 : 20 392.87/291.95 c (8,0) c Margin_2 : 20 392.87/291.95 c (8,0) c Margin_3 : 20 392.87/291.95 c (8,0) c Margin_4 : 20 392.87/291.95 c (8,0) c Margin_5 : 20 392.87/291.95 c (8,0) c Margin_6 : 20 392.87/291.95 c (8,0) c Margin_7 : 20 392.87/291.95 c (8,0) c Margin_total : 160 392.87/291.95 c (8,0) c Margin_winner : 20 392.87/291.95 c (8,0) c Exported_0 : 160 392.87/291.95 c (8,0) c Exported_1 : 118 392.87/291.95 c (8,0) c Exported_2 : 149 392.87/291.95 c (8,0) c Exported_3 : 116 392.87/291.95 c (8,0) c Exported_4 : 106 392.87/291.95 c (8,0) c Exported_5 : 142 392.87/291.95 c (8,0) c Exported_6 : 106 392.87/291.95 c (8,0) c Exported_7 : 150 392.87/291.95 c (8,0) c Exported_total : 1047 392.87/291.95 c (8,0) c Exported_winner : 118 392.87/291.95 c (8,0) c Imported_0 : 0 392.87/291.95 c (8,0) c Imported_1 : 0 392.87/291.95 c (8,0) c Imported_2 : 0 392.87/291.95 c (8,0) c Imported_3 : 0 392.87/291.95 c (8,0) c Imported_4 : 0 392.87/291.95 c (8,0) c Imported_5 : 0 392.87/291.95 c (8,0) c Imported_6 : 0 392.87/291.95 c (8,0) c Imported_7 : 0 392.87/291.95 c (8,0) c Imported_total : 0 392.87/291.95 c (8,0) c Imported_winner : 0 392.87/291.95 c (8,0) c Good_0 : 0 392.87/291.95 c (8,0) c Good_1 : 0 392.87/291.95 c (8,0) c Good_2 : 0 392.87/291.95 c (8,0) c Good_3 : 0 392.87/291.95 c (8,0) c Good_4 : 0 392.87/291.95 c (8,0) c Good_5 : 0 392.87/291.95 c (8,0) c Good_6 : 0 392.87/291.95 c (8,0) c Good_7 : 0 392.87/291.95 c (8,0) c Good_total : 0 392.87/291.95 c (8,0) c Good_winner : 0 392.87/291.95 c (8,0) c Purge_0 : 0 392.87/291.95 c (8,0) c Purge_1 : 0 392.87/291.95 c (8,0) c Purge_2 : 0 392.87/291.95 c (8,0) c Purge_3 : 0 392.87/291.95 c (8,0) c Purge_4 : 0 392.87/291.95 c (8,0) c Purge_5 : 0 392.87/291.95 c (8,0) c Purge_6 : 0 392.87/291.95 c (8,0) c Purge_7 : 0 392.87/291.95 c (8,0) c Purge_total : 0 392.87/291.95 c (8,0) c Purge_winner : 0 392.87/291.95 c (8,0) c Promoted_0 : 0 392.87/291.95 c (8,0) c Promoted_1 : 0 392.87/291.95 c (8,0) c Promoted_2 : 0 392.87/291.95 c (8,0) c Promoted_3 : 0 392.87/291.95 c (8,0) c Promoted_4 : 0 392.87/291.95 c (8,0) c Promoted_5 : 0 392.87/291.95 c (8,0) c Promoted_6 : 0 392.87/291.95 c (8,0) c Promoted_7 : 0 392.87/291.95 c (8,0) c Promoted_total : 0 392.87/291.95 c (8,0) c Promoted_winner : 0 392.87/291.95 c (8,0) c Remove_Imp_0 : 0 392.87/291.95 c (8,0) c Remove_Imp_1 : 0 392.87/291.95 c (8,0) c Remove_Imp_2 : 0 392.87/291.95 c (8,0) c Remove_Imp_3 : 0 392.87/291.95 c (8,0) c Remove_Imp_4 : 0 392.87/291.95 c (8,0) c Remove_Imp_5 : 0 392.87/291.95 c (8,0) c Remove_Imp_6 : 0 392.87/291.95 c (8,0) c Remove_Imp_7 : 0 392.87/291.95 c (8,0) c Remove_Imp_total : 0 392.87/291.95 c (8,0) c Remove_Imp_winner : 0 392.87/291.95 c (8,0) c Blocked_Reuse_0 : 0 392.87/291.95 c (8,0) c Blocked_Reuse_1 : 0 392.87/291.95 c (8,0) c Blocked_Reuse_2 : 0 392.87/291.95 c (8,0) c Blocked_Reuse_3 : 0 392.87/291.95 c (8,0) c Blocked_Reuse_4 : 0 392.87/291.95 c (8,0) c Blocked_Reuse_5 : 0 392.87/291.95 c (8,0) c Blocked_Reuse_6 : 0 392.87/291.95 c (8,0) c Blocked_Reuse_7 : 0 392.87/291.95 c (8,0) c Blocked_Reuse_total : 0 392.87/291.95 c (8,0) c Blocked_Reuse_winner : 0 392.87/291.95 c (8,0) c Unaries_0 : 0 392.87/291.95 c (8,0) c Unaries_1 : 0 392.87/291.95 c (8,0) c Unaries_2 : 0 392.87/291.95 c (8,0) c Unaries_3 : 0 392.87/291.95 c (8,0) c Unaries_4 : 0 392.87/291.95 c (8,0) c Unaries_5 : 0 392.87/291.95 c (8,0) c Unaries_6 : 0 392.87/291.95 c (8,0) c Unaries_7 : 0 392.87/291.95 c (8,0) c Unaries_total : 0 392.87/291.95 c (8,0) c Unaries_winner : 0 392.87/291.95 c (8,0) c Binaries_0 : 116 392.87/291.95 c (8,0) c Binaries_1 : 78 392.87/291.95 c (8,0) c Binaries_2 : 95 392.87/291.95 c (8,0) c Binaries_3 : 94 392.87/291.95 c (8,0) c Binaries_4 : 85 392.87/291.95 c (8,0) c Binaries_5 : 93 392.87/291.95 c (8,0) c Binaries_6 : 71 392.87/291.95 c (8,0) c Binaries_7 : 99 392.87/291.95 c (8,0) c Binaries_total : 731 392.87/291.95 c (8,0) c Binaries_winner : 78 392.87/291.95 c (8,0) c Glues_0 : 160 392.87/291.95 c (8,0) c Glues_1 : 118 392.87/291.95 c (8,0) c Glues_2 : 149 392.87/291.95 c (8,0) c Glues_3 : 116 392.87/291.95 c (8,0) c Glues_4 : 106 392.87/291.95 c (8,0) c Glues_5 : 142 392.87/291.95 c (8,0) c Glues_6 : 106 392.87/291.95 c (8,0) c Glues_7 : 150 392.87/291.95 c (8,0) c Glues_total : 1047 392.87/291.95 c (8,0) c Glues_winner : 118 392.87/291.95 c (8,0) c RunningTime_0 : 2.036019 392.87/291.95 c (8,0) c RunningTime_1 : 1.933059 392.87/291.95 c (8,0) c RunningTime_2 : 2.127994 392.87/291.95 c (8,0) c RunningTime_3 : 1.931730 392.87/291.95 c (8,0) c RunningTime_4 : 2.052901 392.87/291.95 c (8,0) c RunningTime_5 : 1.974179 392.87/291.95 c (8,0) c RunningTime_6 : 2.100761 392.87/291.95 c (8,0) c RunningTime_7 : 2.044578 392.87/291.95 c (8,0) c RunningTime_total : 16.201222 392.87/291.95 c (8,0) c RunningTime_winner : 1.933059 392.87/291.95 c (8,0) c WaitingTime_0 : 0.000000 392.87/291.95 c (8,0) c WaitingTime_1 : 0.000000 392.87/291.95 c (8,0) c WaitingTime_2 : 0.000000 392.87/291.95 c (8,0) c WaitingTime_3 : 0.000000 392.87/291.95 c (8,0) c WaitingTime_4 : 0.000000 392.87/291.95 c (8,0) c WaitingTime_5 : 0.000000 392.87/291.95 c (8,0) c WaitingTime_6 : 0.000000 392.87/291.95 c (8,0) c WaitingTime_7 : 0.000000 392.87/291.95 c (8,0) c WaitingTime_total : 0.000000 392.87/291.95 c (8,0) c WaitingTime_winner : 0.000000 392.87/291.95 c (8,0) c ExchangingTime_0 : 0.000579 392.87/291.95 c (8,0) c ExchangingTime_1 : 0.000498 392.87/291.95 c (8,0) c ExchangingTime_2 : 0.000481 392.87/291.95 c (8,0) c ExchangingTime_3 : 0.000345 392.87/291.95 c (8,0) c ExchangingTime_4 : 0.000406 392.87/291.95 c (8,0) c ExchangingTime_5 : 0.000628 392.87/291.95 c (8,0) c ExchangingTime_6 : 0.000372 392.87/291.95 c (8,0) c ExchangingTime_7 : 0.000498 392.87/291.95 c (8,0) c ExchangingTime_total : 0.003808 392.87/291.95 c (8,0) c ExchangingTime_winner : 0.000498 392.87/291.95 c (8,0) c PeriodProcTime_0 : 0.000069 392.87/291.95 c (8,0) c PeriodProcTime_1 : 0.000069 392.87/291.95 c (8,0) c PeriodProcTime_2 : 0.000103 392.87/291.95 c (8,0) c PeriodProcTime_3 : 0.000083 392.87/291.95 c (8,0) c PeriodProcTime_4 : 0.000073 392.87/291.95 c (8,0) c PeriodProcTime_5 : 0.000078 392.87/291.95 c (8,0) c PeriodProcTime_6 : 0.000463 392.87/291.95 c (8,0) c PeriodProcTime_7 : 0.000087 392.87/291.95 c (8,0) c PeriodProcTime_total : 0.001025 392.87/291.95 c (8,0) c PeriodProcTime_winner : 0.000069 392.87/291.95 c (8,0) c SolvingTime_0 : 2.036667 392.87/291.95 c (8,0) c SolvingTime_1 : 1.933627 392.87/291.95 c (8,0) c SolvingTime_2 : 2.128578 392.87/291.95 c (8,0) c SolvingTime_3 : 1.932158 392.87/291.95 c (8,0) c SolvingTime_4 : 2.053380 392.87/291.95 c (8,0) c SolvingTime_5 : 1.974885 392.87/291.95 c (8,0) c SolvingTime_6 : 2.101597 392.87/291.95 c (8,0) c SolvingTime_7 : 2.045163 392.87/291.95 c (8,0) c SolvingTime_total : 16.206055 392.87/291.95 c (8,0) c SolvingTime_winner : 1.933627 392.87/291.95 c (8,0) c PropagationTime_0 : 1.865126 392.87/291.95 c (8,0) c PropagationTime_1 : 1.707553 392.87/291.95 c (8,0) c PropagationTime_2 : 1.867222 392.87/291.95 c (8,0) c PropagationTime_3 : 1.704129 392.87/291.95 c (8,0) c PropagationTime_4 : 1.861873 392.87/291.95 c (8,0) c PropagationTime_5 : 1.763385 392.87/291.95 c (8,0) c PropagationTime_6 : 1.853277 392.87/291.95 c (8,0) c PropagationTime_7 : 1.846802 392.87/291.95 c (8,0) c PropagationTime_total : 14.469367 392.87/291.95 c (8,0) c PropagationTime_winner : 1.707553 392.87/291.95 c (8,0) c AnalysisTime_0 : 0.063236 392.87/291.95 c (8,0) c AnalysisTime_1 : 0.103657 392.87/291.95 c (8,0) c AnalysisTime_2 : 0.096877 392.87/291.95 c (8,0) c AnalysisTime_3 : 0.133687 392.87/291.95 c (8,0) c AnalysisTime_4 : 0.085319 392.87/291.95 c (8,0) c AnalysisTime_5 : 0.098416 392.87/291.95 c (8,0) c AnalysisTime_6 : 0.130188 392.87/291.95 c (8,0) c AnalysisTime_7 : 0.089000 392.87/291.95 c (8,0) c AnalysisTime_total : 0.800381 392.87/291.95 c (8,0) c AnalysisTime_winner : 0.103657 392.87/291.95 c (8,0) c ReductionTime_0 : 0.000000 392.87/291.95 c (8,0) c ReductionTime_1 : 0.000000 392.87/291.95 c (8,0) c ReductionTime_2 : 0.000000 392.87/291.95 c (8,0) c ReductionTime_3 : 0.000000 392.87/291.95 c (8,0) c ReductionTime_4 : 0.000000 392.87/291.95 c (8,0) c ReductionTime_5 : 0.000000 392.87/291.95 c (8,0) c ReductionTime_6 : 0.000000 392.87/291.95 c (8,0) c ReductionTime_7 : 0.000000 392.87/291.95 c (8,0) c ReductionTime_total : 0.000000 392.87/291.95 c (8,0) c ReductionTime_winner : 0.000000 392.87/291.95 c (8,0) c SimplifyTime_0 : 0.000000 392.87/291.95 c (8,0) c SimplifyTime_1 : 0.000001 392.87/291.95 c (8,0) c SimplifyTime_2 : 0.000000 392.87/291.95 c (8,0) c SimplifyTime_3 : 0.000000 392.87/291.95 c (8,0) c SimplifyTime_4 : 0.000000 392.87/291.95 c (8,0) c SimplifyTime_5 : 0.000000 392.87/291.95 c (8,0) c SimplifyTime_6 : 0.000000 392.87/291.95 c (8,0) c SimplifyTime_7 : 0.000000 392.87/291.95 c (8,0) c SimplifyTime_total : 0.000001 392.87/291.95 c (8,0) c SimplifyTime_winner : 0.000001 392.87/291.95 c (8,0) c UsedRateTime_0 : 0.000000 392.87/291.95 c (8,0) c UsedRateTime_1 : 0.000000 392.87/291.95 c (8,0) c UsedRateTime_2 : 0.000000 392.87/291.95 c (8,0) c UsedRateTime_3 : 0.000000 392.87/291.95 c (8,0) c UsedRateTime_4 : 0.000000 392.87/291.95 c (8,0) c UsedRateTime_5 : 0.000000 392.87/291.95 c (8,0) c UsedRateTime_6 : 0.000000 392.87/291.95 c (8,0) c UsedRateTime_7 : 0.000000 392.87/291.95 c (8,0) c UsedRateTime_total : 0.000000 392.87/291.95 c (8,0) c UsedRateTime_winner : 0.000000 392.87/291.95 c (8,0) c OverlapRateTime_0 : 0.000000 392.87/291.95 c (8,0) c OverlapRateTime_1 : 0.000000 392.87/291.95 c (8,0) c OverlapRateTime_2 : 0.000000 392.87/291.95 c (8,0) c OverlapRateTime_3 : 0.000000 392.87/291.95 c (8,0) c OverlapRateTime_4 : 0.000000 392.87/291.95 c (8,0) c OverlapRateTime_5 : 0.000000 392.87/291.95 c (8,0) c OverlapRateTime_6 : 0.000000 392.87/291.95 c (8,0) c OverlapRateTime_7 : 0.000000 392.87/291.95 c (8,0) c OverlapRateTime_total : 0.000000 392.87/291.95 c (8,0) c OverlapRateTime_winner : 0.000000 392.87/291.95 c (8,0) c 392.87/291.95 c (8,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 392.87/291.95 c (8,0) c 392.87/291.95 c (8,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 392.87/291.95 c (8,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 392.87/291.95 c (8,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 392.87/291.95 c (8,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 392.87/291.95 c (8,0) c | adaptStrategeis | True | False | True | False | True | False | True | False | 392.87/291.95 c (8,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 392.87/291.95 c (8,0) c | Initial random_seed | 2011285819 | 493970541 | 734248891 | 1383920305 | 1426013980 | 1339827473 | 706529693 | 829568222 | 392.87/291.95 c (8,0) c | chanseokStrategy | False | False | False | False | False | False | False | False | 392.87/291.95 c (8,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 392.87/291.95 c (8,0) c | glureduce | True | True | True | True | True | True | True | True | 392.87/291.95 c (8,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 392.87/291.95 c (8,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 392.87/291.95 c (8,0) c | luby_restart | False | False | False | False | False | False | False | False | 392.87/291.95 c (8,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 392.87/291.95 c (8,0) c | var_decay | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 392.87/291.95 c (8,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 392.87/291.95 c (8,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 392.87/291.95 c (8,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 392.87/291.95 c (8,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 392.87/291.95 c (8,0) 392.87/291.95 c (8,0) s SATISFIABLE 393.39/292.11 c (8,0) SatSolver.solve End 393.39/292.12 c (8,0) Heap : 167 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB) 393.39/292.12 c (8,0) Show results Begin 393.57/292.23 c (8,0) x[0][0] = 18 393.57/292.23 c (8,0) x[0][1] = 0 393.57/292.23 c (8,0) x[0][2] = 15 393.57/292.23 c (8,0) x[0][3] = 0 393.57/292.23 c (8,0) x[0][4] = 18 393.57/292.23 c (8,0) x[0][6] = 0 393.57/292.23 c (8,0) x[0][7] = 12 393.57/292.23 c (8,0) x[0][8] = 8 393.57/292.23 c (8,0) x[0][9] = 18 393.57/292.23 c (8,0) x[0][11] = 0 393.57/292.24 c (8,0) x[0][12] = 2 393.57/292.24 c (8,0) x[0][13] = 12 393.57/292.24 c (8,0) x[0][14] = 4 393.57/292.24 c (8,0) x[1][0] = 15 393.57/292.24 c (8,0) x[1][1] = 17 393.57/292.24 c (8,0) x[1][2] = 20 393.57/292.24 c (8,0) x[1][3] = 3 393.57/292.24 c (8,0) x[1][4] = 4 393.57/292.24 c (8,0) x[1][5] = 12 393.57/292.24 c (8,0) x[1][6] = 12 393.57/292.24 c (8,0) x[1][7] = 4 393.57/292.24 c (8,0) x[1][8] = 13 393.57/292.24 c (8,0) x[1][9] = 19 393.57/292.24 c (8,0) x[1][11] = 3 393.57/292.24 c (8,0) x[1][12] = 0 393.57/292.24 c (8,0) x[1][13] = 8 393.57/292.24 c (8,0) x[1][14] = 12 393.57/292.24 c (8,0) x[2][0] = 14 393.57/292.24 c (8,0) x[2][1] = 2 393.57/292.24 c (8,0) x[2][2] = 2 393.57/292.24 c (8,0) x[2][3] = 0 393.57/292.24 c (8,0) x[2][4] = 18 393.57/292.24 c (8,0) x[2][5] = 8 393.57/292.24 c (8,0) x[2][6] = 14 393.57/292.24 c (8,0) x[2][7] = 13 393.57/292.24 c (8,0) x[2][8] = 13 393.57/292.24 c (8,0) x[2][9] = 0 393.57/292.24 c (8,0) x[2][10] = 11 393.57/292.24 c (8,0) x[2][11] = 8 393.57/292.24 c (8,0) x[2][12] = 18 393.57/292.24 c (8,0) x[2][13] = 12 393.57/292.24 c (8,0) x[2][14] = 4 393.57/292.24 c (8,0) x[3][0] = 19 393.57/292.24 c (8,0) x[3][1] = 7 393.57/292.24 c (8,0) x[3][2] = 4 393.57/292.24 c (8,0) x[3][3] = 18 393.57/292.24 c (8,0) x[3][5] = 11 393.57/292.24 c (8,0) x[3][6] = 8 393.57/292.24 c (8,0) x[3][7] = 18 393.57/292.24 c (8,0) x[3][8] = 4 393.57/292.24 c (8,0) x[3][9] = 17 393.57/292.24 c (8,0) x[3][10] = 4 393.57/292.24 c (8,0) x[3][11] = 17 393.57/292.24 c (8,0) x[3][12] = 0 393.57/292.24 c (8,0) x[3][13] = 8 393.57/292.24 c (8,0) x[3][14] = 19 393.57/292.24 c (8,0) x[4][0] = 18 393.57/292.24 c (8,0) x[4][1] = 8 393.57/292.24 c (8,0) x[4][2] = 18 393.57/292.24 c (8,0) x[4][4] = 17 393.57/292.24 c (8,0) x[4][5] = 0 393.57/292.24 c (8,0) x[4][6] = 18 393.57/292.24 c (8,0) x[4][7] = 4 393.57/292.24 c (8,0) x[4][9] = 19 393.57/292.24 c (8,0) x[4][10] = 20 393.57/292.24 c (8,0) x[4][11] = 4 393.57/292.24 c (8,0) x[5][3] = 2 393.57/292.24 c (8,0) x[5][4] = 14 393.57/292.24 c (8,0) x[5][5] = 3 393.57/292.24 c (8,0) x[5][6] = 4 393.57/292.24 c (8,0) x[5][8] = 3 393.57/292.24 c (8,0) x[5][9] = 20 393.57/292.24 c (8,0) x[5][10] = 17 393.57/292.24 c (8,0) x[5][12] = 2 393.57/292.24 c (8,0) x[5][13] = 5 393.57/292.24 c (8,0) x[5][14] = 15 393.57/292.24 c (8,0) x[6][0] = 0 393.57/292.24 c (8,0) x[6][1] = 25 393.57/292.24 c (8,0) x[6][2] = 4 393.57/292.24 c (8,0) x[6][3] = 17 393.57/292.24 c (8,0) x[6][4] = 19 393.57/292.24 c (8,0) x[6][5] = 24 393.57/292.24 c (8,0) x[6][7] = 17 393.57/292.24 c (8,0) x[6][8] = 0 393.57/292.24 c (8,0) x[6][9] = 15 393.57/292.24 c (8,0) x[6][11] = 0 393.57/292.25 c (8,0) x[6][12] = 11 393.57/292.25 c (8,0) x[6][13] = 14 393.57/292.25 c (8,0) x[6][14] = 8 393.57/292.25 c (8,0) x[7][0] = 23 393.57/292.25 c (8,0) x[7][1] = 4 393.57/292.25 c (8,0) x[7][2] = 17 393.57/292.25 c (8,0) x[7][3] = 20 393.57/292.25 c (8,0) x[7][4] = 18 393.57/292.25 c (8,0) x[7][6] = 3 393.57/292.25 c (8,0) x[7][7] = 0 393.57/292.25 c (8,0) x[7][8] = 22 393.57/292.25 c (8,0) x[7][10] = 18 393.57/292.25 c (8,0) x[7][11] = 12 393.57/292.25 c (8,0) x[7][12] = 0 393.57/292.25 c (8,0) x[7][13] = 11 393.57/292.25 c (8,0) x[7][14] = 19 393.57/292.25 c (8,0) x[8][0] = 0 393.57/292.25 c (8,0) x[8][1] = 13 393.57/292.25 c (8,0) x[8][2] = 18 393.57/292.25 c (8,0) x[8][3] = 4 393.57/292.25 c (8,0) x[8][5] = 1 393.57/292.25 c (8,0) x[8][6] = 0 393.57/292.25 c (8,0) x[8][7] = 8 393.57/292.25 c (8,0) x[8][9] = 2 393.57/292.25 c (8,0) x[8][10] = 7 393.57/292.25 c (8,0) x[8][11] = 0 393.57/292.25 c (8,0) x[8][12] = 15 393.57/292.25 c (8,0) x[8][13] = 10 393.57/292.25 c (8,0) x[8][14] = 0 393.57/292.25 c (8,0) x[9][0] = 8 393.57/292.25 c (8,0) x[9][1] = 3 393.57/292.25 c (8,0) x[9][2] = 4 393.57/292.25 c (8,0) x[9][4] = 6 393.57/292.25 c (8,0) x[9][5] = 0 393.57/292.25 c (8,0) x[9][6] = 11 393.57/292.25 c (8,0) x[9][8] = 2 393.57/292.25 c (8,0) x[9][9] = 7 393.57/292.25 c (8,0) x[9][10] = 0 393.57/292.25 c (8,0) x[9][11] = 18 393.57/292.25 c (8,0) x[10][3] = 4 393.57/292.25 c (8,0) x[10][4] = 17 393.57/292.25 c (8,0) x[10][5] = 6 393.57/292.25 c (8,0) x[10][7] = 18 393.57/292.25 c (8,0) x[10][8] = 7 393.57/292.25 c (8,0) x[10][9] = 0 393.57/292.25 c (8,0) x[10][10] = 7 393.57/292.25 c (8,0) x[10][12] = 19 393.57/292.25 c (8,0) x[10][13] = 7 393.57/292.25 c (8,0) x[10][14] = 4 393.57/292.25 c (8,0) x[11][0] = 0 393.57/292.25 c (8,0) x[11][1] = 15 393.57/292.25 c (8,0) x[11][2] = 15 393.57/292.25 c (8,0) x[11][3] = 20 393.57/292.25 c (8,0) x[11][4] = 8 393.57/292.25 c (8,0) x[11][5] = 4 393.57/292.25 c (8,0) x[11][6] = 17 393.57/292.25 c (8,0) x[11][7] = 0 393.57/292.25 c (8,0) x[11][8] = 8 393.57/292.25 c (8,0) x[11][9] = 19 393.57/292.25 c (8,0) x[11][11] = 19 393.57/292.25 c (8,0) x[11][12] = 7 393.57/292.25 c (8,0) x[11][13] = 24 393.57/292.25 c (8,0) x[11][14] = 12 393.57/292.25 c (8,0) x[12][0] = 15 393.57/292.25 c (8,0) x[12][1] = 7 393.57/292.25 c (8,0) x[12][2] = 14 393.57/292.25 c (8,0) x[12][3] = 18 393.57/292.25 c (8,0) x[12][4] = 15 393.57/292.25 c (8,0) x[12][5] = 7 393.57/292.25 c (8,0) x[12][6] = 14 393.57/292.25 c (8,0) x[12][7] = 15 393.57/292.25 c (8,0) x[12][8] = 17 393.57/292.25 c (8,0) x[12][9] = 14 393.57/292.25 c (8,0) x[12][10] = 19 393.57/292.25 c (8,0) x[12][11] = 4 393.57/292.25 c (8,0) x[12][12] = 8 393.57/292.25 c (8,0) x[12][13] = 3 393.57/292.25 c (8,0) x[12][14] = 4 393.57/292.25 c (8,0) x[13][0] = 19 393.57/292.25 c (8,0) x[13][1] = 14 393.57/292.25 c (8,0) x[13][2] = 20 393.57/292.25 c (8,0) x[13][3] = 18 393.57/292.25 c (8,0) x[13][5] = 14 393.57/292.25 c (8,0) x[13][6] = 20 393.57/292.25 c (8,0) x[13][7] = 0 393.57/292.25 c (8,0) x[13][8] = 14 393.57/292.25 c (8,0) x[13][9] = 20 393.57/292.25 c (8,0) x[13][10] = 0 393.57/292.25 c (8,0) x[13][11] = 17 393.57/292.25 c (8,0) x[13][12] = 14 393.57/292.25 c (8,0) x[13][13] = 13 393.57/292.25 c (8,0) x[13][14] = 18 393.57/292.25 c (8,0) x[14][0] = 4 393.57/292.25 c (8,0) x[14][1] = 19 393.57/292.25 c (8,0) x[14][2] = 17 393.57/292.25 c (8,0) x[14][3] = 4 393.57/292.25 c (8,0) x[14][5] = 19 393.57/292.25 c (8,0) x[14][6] = 4 393.57/292.25 c (8,0) x[14][7] = 19 393.57/292.25 c (8,0) x[14][8] = 18 393.57/292.25 c (8,0) x[14][10] = 18 393.57/292.25 c (8,0) x[14][11] = 0 393.57/292.25 c (8,0) x[14][12] = 11 393.57/292.25 c (8,0) x[14][13] = 4 393.57/292.25 c (8,0) x[14][14] = 4 393.57/292.25 s SATISFIABLE 393.57/292.26 v <instantiation> 393.57/292.26 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> 393.57/292.26 v <values>18 0 15 0 18 0 12 8 18 0 2 12 4 15 17 20 3 4 12 12 4 13 19 3 0 8 12 14 2 2 0 18 8 14 13 13 0 11 8 18 12 4 19 7 4 18 11 8 18 4 17 4 17 0 8 19 18 8 18 17 0 18 4 19 20 4 2 14 3 4 3 20 17 2 5 15 0 25 4 17 19 24 17 0 15 0 11 14 8 23 4 17 20 18 3 0 22 18 12 0 11 19 0 13 18 4 1 0 8 2 7 0 15 10 0 8 3 4 6 0 11 2 7 0 18 4 17 6 18 7 0 7 19 7 4 0 15 15 20 8 4 17 0 8 19 19 7 24 12 15 7 14 18 15 7 14 15 17 14 19 4 8 3 4 19 14 20 18 14 20 0 14 20 0 17 14 13 18 4 19 17 4 19 4 19 18 18 0 11 4 4</values> 393.57/292.26 v </instantiation> 393.57/292.26 c (8,0) Show results End 393.57/292.26 c (8,0) Heap : 187 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB) 393.57/292.26 c (8,0) 8,8,STOP-AFTER(ALL) 393.57/292.26 c END-Prog: Sat Sep 14 09:35:07 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 (9619 MiB free) memory of node 1: 16384 MiB (15573 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392307-1568446259/watcher-4392307-1568446259 -o /tmp/evaluation-result-4392307-1568446259/solver-4392307-1568446259 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node136-1568439334-14507 --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-4392307-1568446259.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=17670, runsolver pid=17667 Current StackSize limit: 8192 KiB [startup+0.100615 s]* /proc/loadavg: 8.31 7.81 7.13 2/213 17692 /proc/meminfo: memFree=25702624/32770624 swapFree=67002288/67108860 [pid=17670] ppid=17667 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/17670/stat : 17670 (scop.sh) S 17667 17670 14480 0 -1 4202496 558 319 0 0 0 0 0 0 20 0 1 0 420874543 115843072 349 33554432000 4194304 5098028 140736353268320 140736353265576 140135361569404 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 11993088 140736353272613 140736353272940 140736353272940 140736353275853 0 /proc/17670/statm: 28282 349 296 221 0 87 0 [pid=17673] ppid=17670 vsize=27314120 memory=106032 CPUtime=0.1 cores=0-7 /proc/17673/stat : 17673 (java) S 17670 17670 14480 0 -1 1077944320 6558 0 0 0 8 2 0 0 20 0 20 0 420874544 27969658880 26508 33554432000 4194304 4196468 140734436517200 140734436499744 140063410069239 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12165120 140734436524779 140734436525206 140734436525206 140734436528079 0 /proc/17673/statm: 6828530 26508 2813 1 0 6790935 0 [pid=17673/tid=17674] ppid=17670 vsize=27314120 memory=4134930498285298233 CPUtime=0.09 cores=0-7 /proc/17673/task/17674/stat : 17674 (java) R 17670 17670 14480 0 -1 4202560 4623 0 0 0 7 2 0 0 20 0 20 0 420874544 27969658880 26508 33554432000 4194304 4196468 140734436517200 140063381901440 140063394112869 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12165120 140734436524779 140734436525206 140734436525206 140734436528079 0 [pid=17673/tid=17675] ppid=17670 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/17673/task/17675/stat : 17675 (java) S 17670 17670 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420874546 27969658880 26508 33554432000 4194304 4196468 140734436517200 140063414311952 140063410079445 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12165120 140734436524779 140734436525206 140734436525206 140734436528079 0 [pid=17673/tid=17676] ppid=17670 vsize=27314120 memory=140602153137792 CPUtime=0 cores=0-7 /proc/17673/task/17676/stat : 17676 (java) S 17670 17670 14480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420874546 27969658880 26508 33554432000 4194304 4196468 140734436517200 140063247690896 140063410079445 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12165120 140734436524779 140734436525206 140734436525206 140734436528079 0 [pid=17673/tid=17677] ppid=17670 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/17673/task/17677/stat : 17677 (java) S 17670 17670 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420874546 27969658880 26508 33554432000 4194304 4196468 140734436517200 140062830701328 140063410079445 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12165120 140734436524779 140734436525206 140734436525206 140734436528079 0 [pid=17673/tid=17678] ppid=17670 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/17673/task/17678/stat : 17678 (java) S 17670 17670 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420874546 27969658880 26508 33554432000 4194304 4196468 140734436517200 140062829648784 140063410079445 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12165120 140734436524779 140734436525206 140734436525206 140734436528079 0 [pid=17673/tid=17679] ppid=17670 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/17673/task/17679/stat : 17679 (java) S 17670 17670 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420874546 27969658880 26508 33554432000 4194304 4196468 140734436517200 140062828595728 140063410079445 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12165120 140734436524779 140734436525206 140734436525206 140734436528079 0 [pid=17673/tid=17680] ppid=17670 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/17673/task/17680/stat : 17680 (java) S 17670 17670 14480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420874546 27969658880 26508 33554432000 4194304 4196468 140734436517200 140062827543184 140063410079445 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12165120 140734436524779 140734436525206 140734436525206 140734436528079 0 [pid=17673/tid=17681] ppid=17670 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/17673/task/17681/stat : 17681 (java) S 17670 17670 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420874546 27969658880 26508 33554432000 4194304 4196468 140734436517200 140062826490128 140063410079445 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12165120 140734436524779 140734436525206 140734436525206 140734436528079 0 [pid=17673/tid=17682] ppid=17670 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/17673/task/17682/stat : 17682 (java) S 17670 17670 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420874546 27969658880 26508 33554432000 4194304 4196468 140734436517200 140062825437584 140063410079445 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12165120 140734436524779 140734436525206 140734436525206 140734436528079 0 [pid=17673/tid=17683] ppid=17670 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/17673/task/17683/stat : 17683 (java) S 17670 17670 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420874548 27969658880 26508 33554432000 4194304 4196468 140734436517200 140062468512496 140063410080386 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12165120 140734436524779 140734436525206 140734436525206 140734436528079 0 [pid=17673/tid=17684] ppid=17670 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/17673/task/17684/stat : 17684 (java) S 17670 17670 14480 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420874548 27969658880 26508 33554432000 4194304 4196468 140734436517200 140061299435168 140063410079445 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12165120 140734436524779 140734436525206 140734436525206 140734436528079 0 [pid=17673/tid=17685] ppid=17670 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/17673/task/17685/stat : 17685 (java) S 17670 17670 14480 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420874549 27969658880 26508 33554432000 4194304 4196468 140734436517200 140061165212912 140063410079445 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12165120 140734436524779 140734436525206 140734436525206 140734436528079 0 [pid=17673/tid=17686] ppid=17670 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/17673/task/17686/stat : 17686 (java) S 17670 17670 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420874551 27969658880 26508 33554432000 4194304 4196468 140734436517200 140060790708688 140063410087835 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12165120 140734436524779 140734436525206 140734436525206 140734436528079 0 [pid=17673/tid=17687] ppid=17670 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/17673/task/17687/stat : 17687 (java) S 17670 17670 14480 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 20 0 420874551 27969658880 26508 33554432000 4194304 4196468 140734436517200 140062467459312 140063410080386 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12165120 140734436524779 140734436525206 140734436525206 140734436528079 0 [pid=17673/tid=17688] ppid=17670 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/17673/task/17688/stat : 17688 (java) S 17670 17670 14480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420874551 27969658880 27020 33554432000 4194304 4196468 140734436517200 140062466406768 140063410080386 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12165120 140734436524779 140734436525206 140734436525206 140734436528079 0 [pid=17673/tid=17689] ppid=17670 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/17673/task/17689/stat : 17689 (java) S 17670 17670 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420874551 27969658880 27020 33554432000 4194304 4196468 140734436517200 140062465353712 140063410080386 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12165120 140734436524779 140734436525206 140734436525206 140734436528079 0 [pid=17673/tid=17690] ppid=17670 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/17673/task/17690/stat : 17690 (java) S 17670 17670 14480 0 -1 1077944384 267 0 0 0 0 0 0 0 20 0 20 0 420874551 27969658880 27020 33554432000 4194304 4196468 140734436517200 140062464301168 140063410080386 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12165120 140734436524779 140734436525206 140734436525206 140734436528079 0 [pid=17673/tid=17691] ppid=17670 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/17673/task/17691/stat : 17691 (java) S 17670 17670 14480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420874551 27969658880 27020 33554432000 4194304 4196468 140734436517200 140060292803552 140063410079445 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12165120 140734436524779 140734436525206 140734436525206 140734436528079 0 [pid=17673/tid=17692] ppid=17670 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/17673/task/17692/stat : 17692 (java) S 17670 17670 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420874551 27969658880 27020 33554432000 4194304 4196468 140734436517200 140062463249584 140063410080386 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12165120 140734436524779 140734436525206 140734436525206 140734436528079 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 107428 KiB [startup+0.210415 s]* /proc/loadavg: 8.31 7.81 7.13 3/213 17692 /proc/meminfo: memFree=25683924/32770624 swapFree=67002288/67108860 [pid=17670] ppid=17667 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/17670/stat : 17670 (scop.sh) S 17667 17670 14480 0 -1 4202496 558 319 0 0 0 0 0 0 20 0 1 0 420874543 115843072 349 33554432000 4194304 5098028 140736353268320 140736353265576 140135361569404 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 11993088 140736353272613 140736353272940 140736353272940 140736353275853 0 /proc/17670/statm: 28282 349 296 221 0 87 0 [pid=17673] ppid=17670 vsize=27314120 memory=122720 CPUtime=0.24 cores=0-7 /proc/17673/stat : 17673 (java) S 17670 17670 14480 0 -1 1077944320 11462 0 0 0 20 4 0 0 20 0 20 0 420874544 27969658880 30680 33554432000 4194304 4196468 140734436517200 140734436499744 140063410069239 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12165120 140734436524779 140734436525206 140734436525206 140734436528079 0 /proc/17673/statm: 6828530 30680 2919 1 0 6790935 0 [pid=17673/tid=17674] ppid=17670 vsize=27314120 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/17673/task/17674/stat : 17674 (java) R 17670 17670 14480 0 -1 4202560 9099 0 0 0 16 4 0 0 20 0 20 0 420874544 27969658880 30680 33554432000 4194304 4196468 140734436517200 140063381893696 140063410083143 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12165120 140734436524779 140734436525206 140734436525206 140734436528079 0 [pid=17673/tid=17675] ppid=17670 vsize=27314120 memory=330 CPUtime=0 cores=0-7 /proc/17673/task/17675/stat : 17675 (java) S 17670 17670 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420874546 27969658880 30680 33554432000 4194304 4196468 140734436517200 140063414311952 140063410079445 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12165120 140734436524779 140734436525206 140734436525206 140734436528079 0 [pid=17673/tid=17676] ppid=17670 vsize=27314120 memory=288370978304849536 CPUtime=0 cores=0-7 /proc/17673/task/17676/stat : 17676 (java) S 17670 17670 14480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420874546 27969658880 30680 33554432000 4194304 4196468 140734436517200 140063247690896 140063410079445 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12165120 140734436524779 140734436525206 140734436525206 140734436528079 0 [pid=17673/tid=17677] ppid=17670 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/17673/task/17677/stat : 17677 (java) S 17670 17670 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420874546 27969658880 30680 33554432000 4194304 4196468 140734436517200 140062830701328 140063410079445 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12165120 140734436524779 140734436525206 140734436525206 140734436528079 0 [pid=17673/tid=17678] ppid=17670 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/17673/task/17678/stat : 17678 (java) S 17670 17670 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420874546 27969658880 30680 33554432000 4194304 4196468 140734436517200 140062829648784 140063410079445 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12165120 140734436524779 140734436525206 140734436525206 140734436528079 0 [pid=17673/tid=17679] ppid=17670 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/17673/task/17679/stat : 17679 (java) S 17670 17670 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420874546 27969658880 30680 33554432000 4194304 4196468 140734436517200 140062828595728 140063410079445 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12165120 140734436524779 140734436525206 140734436525206 140734436528079 0 [pid=17673/tid=17680] ppid=17670 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/17673/task/17680/stat : 17680 (java) S 17670 17670 14480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420874546 27969658880 30680 33554432000 4194304 4196468 140734436517200 140062827543184 140063410079445 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12165120 140734436524779 140734436525206 140734436525206 140734436528079 0 [pid=17673/tid=17681] ppid=17670 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/17673/task/17681/stat : 17681 (java) S 17670 17670 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420874546 27969658880 30680 33554432000 4194304 4196468 140734436517200 140062826490128 140063410079445 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12165120 140734436524779 140734436525206 140734436525206 140734436528079 0 [pid=17673/tid=17682] ppid=17670 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/17673/task/17682/stat : 17682 (java) S 17670 17670 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420874546 27969658880 30680 33554432000 4194304 4196468 140734436517200 140062825437584 140063410079445 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12165120 140734436524779 140734436525206 140734436525206 140734436528079 0 [pid=17673/tid=17683] ppid=17670 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/17673/task/17683/stat : 17683 (java) S 17670 17670 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420874548 27969658880 30680 33554432000 4194304 4196468 140734436517200 140062468512496 140063410080386 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12165120 140734436524779 140734436525206 140734436525206 140734436528079 0 [pid=17673/tid=17684] ppid=17670 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/17673/task/17684/stat : 17684 (java) S 17670 17670 14480 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420874548 27969658880 30680 33554432000 4194304 4196468 140734436517200 140061299435168 140063410079445 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12165120 140734436524779 140734436525206 140734436525206 140734436528079 0 [pid=17673/tid=17685] ppid=17670 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/17673/task/17685/stat : 17685 (java) S 17670 17670 14480 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420874549 27969658880 30680 33554432000 4194304 4196468 140734436517200 140061165212912 140063410079445 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12165120 140734436524779 140734436525206 140734436525206 140734436528079 0 [pid=17673/tid=17686] ppid=17670 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/17673/task/17686/stat : 17686 (java) S 17670 17670 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420874551 27969658880 30680 33554432000 4194304 4196468 140734436517200 140060790708688 140063410087835 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12165120 140734436524779 140734436525206 140734436525206 140734436528079 0 [pid=17673/tid=17687] ppid=17670 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/17673/task/17687/stat : 17687 (java) S 17670 17670 14480 0 -1 1077944384 423 0 0 0 0 0 0 0 20 0 20 0 420874551 27969658880 30680 33554432000 4194304 4196468 140734436517200 140062467459312 140063410080386 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12165120 140734436524779 140734436525206 140734436525206 140734436528079 0 [pid=17673/tid=17688] ppid=17670 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/17673/task/17688/stat : 17688 (java) S 17670 17670 14480 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 20 0 420874551 27969658880 30680 33554432000 4194304 4196468 140734436517200 140062466406768 140063410080386 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12165120 140734436524779 140734436525206 140734436525206 140734436528079 0 [pid=17673/tid=17689] ppid=17670 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/17673/task/17689/stat : 17689 (java) S 17670 17670 14480 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 20 0 420874551 27969658880 30680 33554432000 4194304 4196468 140734436517200 140062465353712 140063410080386 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12165120 140734436524779 140734436525206 140734436525206 140734436528079 0 [pid=17673/tid=17690] ppid=17670 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7 /proc/17673/task/17690/stat : 17690 (java) S 17670 17670 14480 0 -1 1077944384 518 0 0 0 2 0 0 0 20 0 20 0 420874551 27969658880 30680 33554432000 4194304 4196468 140734436517200 140062464301168 140063410080386 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12165120 140734436524779 140734436525206 140734436525206 140734436528079 0 [pid=17673/tid=17691] ppid=17670 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/17673/task/17691/stat : 17691 (java) S 17670 17670 14480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420874551 27969658880 30680 33554432000 4194304 4196468 140734436517200 140060292803552 140063410079445 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12165120 140734436524779 140734436525206 140734436525206 140734436528079 0 [pid=17673/tid=17692] ppid=17670 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/17673/task/17692/stat : 17692 (java) S 17670 17670 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420874551 27969658880 30680 33554432000 4194304 4196468 140734436517200 140062463249584 140063410080386 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12165120 140734436524779 140734436525206 140734436525206 140734436528079 0 Current children cumulated CPU time: 0.24 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 124116 KiB [startup+0.310423 s]* /proc/loadavg: 8.31 7.81 7.13 2/213 17692 /proc/meminfo: memFree=25682020/32770624 swapFree=67002288/67108860 [pid=17670] ppid=17667 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/17670/stat : 17670 (scop.sh) S 17667 17670 14480 0 -1 4202496 558 319 0 0 0 0 0 0 20 0 1 0 420874543 115843072 349 33554432000 4194304 5098028 140736353268320 140736353265576 140135361569404 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 11993088 140736353272613 140736353272940 140736353272940 140736353275853 0 /proc/17670/statm: 28282 349 296 221 0 87 0 [pid=17673] ppid=17670 vsize=27314120 memory=126824 CPUtime=0.42 cores=0-7 /proc/17673/stat : 17673 (java) S 17670 17670 14480 0 -1 1077944320 12634 0 0 0 38 4 0 0 20 0 20 0 420874544 27969658880 31706 33554432000 4194304 4196468 140734436517200 140734436499744 140063410069239 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12165120 140734436524779 140734436525206 140734436525206 140734436528079 0 /proc/17673/statm: 6828530 31706 3015 1 0 6790935 0 [pid=17673/tid=17674] ppid=17670 vsize=27314120 memory=6791534058613427641 CPUtime=0.3 cores=0-7 /proc/17673/task/17674/stat : 17674 (java) R 17670 17670 14480 0 -1 4202560 9994 0 0 0 26 4 0 0 20 0 20 0 420874544 27969658880 31706 33554432000 4194304 4196468 140734436517200 140063381899312 140063394149726 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12165120 140734436524779 140734436525206 140734436525206 140734436528079 0 [pid=17673/tid=17675] ppid=17670 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/17673/task/17675/stat : 17675 (java) S 17670 17670 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420874546 27969658880 31706 33554432000 4194304 4196468 140734436517200 140063414311952 140063410079445 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12165120 140734436524779 140734436525206 140734436525206 140734436528079 0 [pid=17673/tid=17676] ppid=17670 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/17673/task/17676/stat : 17676 (java) S 17670 17670 14480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420874546 27969658880 31706 33554432000 4194304 4196468 140734436517200 140063247690896 140063410079445 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12165120 140734436524779 140734436525206 140734436525206 140734436528079 0 [pid=17673/tid=17677] ppid=17670 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/17673/task/17677/stat : 17677 (java) S 17670 17670 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420874546 27969658880 31706 33554432000 4194304 4196468 140734436517200 140062830701328 140063410079445 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12165120 140734436524779 140734436525206 140734436525206 140734436528079 0 [pid=17673/tid=17678] ppid=17670 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/17673/task/17678/stat : 17678 (java) S 17670 17670 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420874546 27969658880 31706 33554432000 4194304 4196468 140734436517200 140062829648784 140063410079445 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12165120 140734436524779 140734436525206 140734436525206 140734436528079 0 [pid=17673/tid=17679] ppid=17670 vsize=27314120 memory=2244 CPUtime=0 cores=0-7 /proc/17673/task/17679/stat : 17679 (java) S 17670 17670 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420874546 27969658880 31706 33554432000 4194304 4196468 140734436517200 140062828595728 140063410079445 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12165120 140734436524779 140734436525206 140734436525206 140734436528079 0 [pid=17673/tid=17680] ppid=17670 vsize=27314120 memory=140601995654063 CPUtime=0 cores=0-7 /proc/17673/task/17680/stat : 17680 (java) S 17670 17670 14480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420874546 27969658880 31706 33554432000 4194304 4196468 140734436517200 140062827543184 140063410079445 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12165120 140734436524779 140734436525206 140734436525206 140734436528079 0 [pid=17673/tid=17681] ppid=17670 vsize=27314120 memory=140601995656368 CPUtime=0 cores=0-7 /proc/17673/task/17681/stat : 17681 (java) S 17670 17670 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420874546 27969658880 31706 33554432000 4194304 4196468 140734436517200 140062826490128 140063410079445 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12165120 140734436524779 140734436525206 140734436525206 140734436528079 0 [pid=17673/tid=17682] ppid=17670 vsize=27314120 memory=140601995658672 CPUtime=0 cores=0-7 /proc/17673/task/17682/stat : 17682 (java) S 17670 17670 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420874546 27969658880 31706 33554432000 4194304 4196468 140734436517200 140062825437584 140063410079445 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12165120 140734436524779 140734436525206 140734436525206 140734436528079 0 [pid=17673/tid=17683] ppid=17670 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/17673/task/17683/stat : 17683 (java) S 17670 17670 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420874548 27969658880 31706 33554432000 4194304 4196468 140734436517200 140062468512496 140063410080386 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12165120 140734436524779 140734436525206 140734436525206 140734436528079 0 [pid=17673/tid=17684] ppid=17670 vsize=27314120 memory=281203991324304 CPUtime=0 cores=0-7 /proc/17673/task/17684/stat : 17684 (java) S 17670 17670 14480 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420874548 27969658880 31706 33554432000 4194304 4196468 140734436517200 140061299435168 140063410079445 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12165120 140734436524779 140734436525206 140734436525206 140734436528079 0 [pid=17673/tid=17685] ppid=17670 vsize=27314120 memory=281203991331216 CPUtime=0 cores=0-7 /proc/17673/task/17685/stat : 17685 (java) S 17670 17670 14480 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420874549 27969658880 31706 33554432000 4194304 4196468 140734436517200 140061165212912 140063410079445 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12165120 140734436524779 140734436525206 140734436525206 140734436528079 0 [pid=17673/tid=17686] ppid=17670 vsize=27314120 memory=281203991272496 CPUtime=0 cores=0-7 /proc/17673/task/17686/stat : 17686 (java) S 17670 17670 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420874551 27969658880 31706 33554432000 4194304 4196468 140734436517200 140060790708688 140063410087835 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12165120 140734436524779 140734436525206 140734436525206 140734436528079 0 [pid=17673/tid=17687] ppid=17670 vsize=27314120 memory=281203991345040 CPUtime=0.01 cores=0-7 /proc/17673/task/17687/stat : 17687 (java) R 17670 17670 14480 0 -1 4202560 442 0 0 0 1 0 0 0 20 0 20 0 420874551 27969658880 31706 33554432000 4194304 4196468 140734436517200 140062467459312 140063410081174 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12165120 140734436524779 140734436525206 140734436525206 140734436528079 0 [pid=17673/tid=17688] ppid=17670 vsize=27314120 memory=281203991351952 CPUtime=0.01 cores=0-7 /proc/17673/task/17688/stat : 17688 (java) S 17670 17670 14480 0 -1 1077944384 122 0 0 0 1 0 0 0 20 0 20 0 420874551 27969658880 31706 33554432000 4194304 4196468 140734436517200 140062466406768 140063410080386 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12165120 140734436524779 140734436525206 140734436525206 140734436528079 0 [pid=17673/tid=17689] ppid=17670 vsize=27314120 memory=281203991349648 CPUtime=0.01 cores=0-7 /proc/17673/task/17689/stat : 17689 (java) S 17670 17670 14480 0 -1 1077944384 96 0 0 0 1 0 0 0 20 0 20 0 420874551 27969658880 31706 33554432000 4194304 4196468 140734436517200 140062465353712 140063410080386 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12165120 140734436524779 140734436525206 140734436525206 140734436528079 0 [pid=17673/tid=17690] ppid=17670 vsize=27314120 memory=281203991365808 CPUtime=0.07 cores=0-7 /proc/17673/task/17690/stat : 17690 (java) S 17670 17670 14480 0 -1 1077944384 621 0 0 0 7 0 0 0 20 0 20 0 420874551 27969658880 31706 33554432000 4194304 4196468 140734436517200 140062464301168 140063410080386 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12165120 140734436524779 140734436525206 140734436525206 140734436528079 0 [pid=17673/tid=17691] ppid=17670 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/17673/task/17691/stat : 17691 (java) S 17670 17670 14480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420874551 27969658880 31706 33554432000 4194304 4196468 140734436517200 140060292803552 140063410079445 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12165120 140734436524779 140734436525206 140734436525206 140734436528079 0 [pid=17673/tid=17692] ppid=17670 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/17673/task/17692/stat : 17692 (java) S 17670 17670 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420874551 27969658880 31706 33554432000 4194304 4196468 140734436517200 140062463249584 140063410080386 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12165120 140734436524779 140734436525206 140734436525206 140734436528079 0 Current children cumulated CPU time: 0.42 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 128220 KiB [startup+0.700947 s] /proc/loadavg: 8.31 7.81 7.13 2/213 17692 /proc/meminfo: memFree=25658580/32770624 swapFree=67002288/67108860 [pid=17670] ppid=17667 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/17670/stat : 17670 (scop.sh) S 17667 17670 14480 0 -1 4202496 558 319 0 0 0 0 0 0 20 0 1 0 420874543 115843072 349 33554432000 4194304 5098028 140736353268320 140736353265576 140135361569404 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 11993088 140736353272613 140736353272940 140736353272940 140736353275853 0 /proc/17670/statm: 28282 349 296 221 0 87 0 [pid=17673] ppid=17670 vsize=27320392 memory=164396 CPUtime=0.99 cores=0-7 /proc/17673/stat : 17673 (java) S 17670 17670 14480 0 -1 1077944320 20195 0 0 0 93 6 0 0 20 0 20 0 420874544 27976081408 41099 33554432000 4194304 4196468 140734436517200 140734436499744 140063410069239 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12165120 140734436524779 140734436525206 140734436525206 140734436528079 0 /proc/17673/statm: 6830098 41099 3194 1 0 6791447 0 [pid=17673/tid=17674] ppid=17670 vsize=27320392 memory=281203991723696 CPUtime=0.68 cores=0-7 /proc/17673/task/17674/stat : 17674 (java) R 17670 17670 14480 0 -1 4202560 16937 0 0 0 62 6 0 0 20 0 20 0 420874544 27976081408 41099 33554432000 4194304 4196468 140734436517200 140063381905296 140063410091165 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12165120 140734436524779 140734436525206 140734436525206 140734436528079 0 [pid=17673/tid=17675] ppid=17670 vsize=27320392 memory=140601995862896 CPUtime=0 cores=0-7 /proc/17673/task/17675/stat : 17675 (java) S 17670 17670 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420874546 27976081408 41099 33554432000 4194304 4196468 140734436517200 140063414311952 140063410079445 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12165120 140734436524779 140734436525206 140734436525206 140734436528079 0 [pid=17673/tid=17676] ppid=17670 vsize=27320392 memory=0 CPUtime=0 cores=0-7 /proc/17673/task/17676/stat : 17676 (java) S 17670 17670 14480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420874546 27976081408 41099 33554432000 4194304 4196468 140734436517200 140063247690896 140063410079445 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12165120 140734436524779 140734436525206 140734436525206 140734436528079 0 [pid=17673/tid=17677] ppid=17670 vsize=27320392 memory=1056 CPUtime=0 cores=0-7 /proc/17673/task/17677/stat : 17677 (java) S 17670 17670 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420874546 27976081408 41099 33554432000 4194304 4196468 140734436517200 140062830701328 140063410079445 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12165120 140734436524779 140734436525206 140734436525206 140734436528079 0 ################ # More data... # ################ [pid=17710/tid=17713] ppid=17670 vsize=8414124 memory=1768 CPUtime=0 cores=0-7 /proc/17710/task/17713/stat : 17713 (java) S 17670 17670 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420902845 8616062976 31021 33554432000 4194304 4196468 140733240291600 139684151556368 139684341561045 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28733440 140733240296439 140733240296598 140733240296598 140733240299471 0 [pid=17710/tid=17714] ppid=17670 vsize=8414124 memory=1656 CPUtime=0 cores=0-7 /proc/17710/task/17714/stat : 17714 (java) S 17670 17670 14480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420902845 8616062976 31021 33554432000 4194304 4196468 140733240291600 139684150504080 139684341561045 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28733440 140733240296439 140733240296598 140733240296598 140733240299471 0 [pid=17710/tid=17715] ppid=17670 vsize=8414124 memory=6791534058613427641 CPUtime=0 cores=0-7 /proc/17710/task/17715/stat : 17715 (java) S 17670 17670 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420902845 8616062976 31021 33554432000 4194304 4196468 140733240291600 139684149451280 139684341561045 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28733440 140733240296439 140733240296598 140733240296598 140733240299471 0 [pid=17710/tid=17716] ppid=17670 vsize=8414124 memory=1568 CPUtime=0 cores=0-7 /proc/17710/task/17716/stat : 17716 (java) S 17670 17670 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420902845 8616062976 31021 33554432000 4194304 4196468 140733240291600 139683823258512 139684341561045 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28733440 140733240296439 140733240296598 140733240296598 140733240299471 0 [pid=17710/tid=17717] ppid=17670 vsize=8414124 memory=1040 CPUtime=0 cores=0-7 /proc/17710/task/17717/stat : 17717 (java) S 17670 17670 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420902845 8616062976 31021 33554432000 4194304 4196468 140733240291600 139683822205712 139684341561045 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28733440 140733240296439 140733240296598 140733240296598 140733240299471 0 [pid=17710/tid=17718] ppid=17670 vsize=8414124 memory=14008 CPUtime=0 cores=0-7 /proc/17710/task/17718/stat : 17718 (java) S 17670 17670 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420902845 8616062976 31021 33554432000 4194304 4196468 140733240291600 139683821153424 139684341561045 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28733440 140733240296439 140733240296598 140733240296598 140733240299471 0 [pid=17710/tid=17719] ppid=17670 vsize=8414124 memory=12040 CPUtime=0 cores=0-7 /proc/17710/task/17719/stat : 17719 (java) S 17670 17670 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420902845 8616062976 31021 33554432000 4194304 4196468 140733240291600 139683820100624 139684341561045 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28733440 140733240296439 140733240296598 140733240296598 140733240299471 0 [pid=17710/tid=17720] ppid=17670 vsize=8414124 memory=2120 CPUtime=0 cores=0-7 /proc/17710/task/17720/stat : 17720 (java) S 17670 17670 14480 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 420902847 8616062976 31021 33554432000 4194304 4196468 140733240291600 139683300784240 139684341561986 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28733440 140733240296439 140733240296598 140733240296598 140733240299471 0 [pid=17710/tid=17721] ppid=17670 vsize=8414124 memory=124012 CPUtime=0 cores=0-7 /proc/17710/task/17721/stat : 17721 (java) S 17670 17670 14480 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 420902847 8616062976 31021 33554432000 4194304 4196468 140733240291600 139682939659040 139684341561045 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28733440 140733240296439 140733240296598 140733240296598 140733240299471 0 [pid=17710/tid=17722] ppid=17670 vsize=8414124 memory=207568 CPUtime=0 cores=0-7 /proc/17710/task/17722/stat : 17722 (java) S 17670 17670 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420902848 8616062976 31021 33554432000 4194304 4196468 140733240291600 139682671223920 139684341561045 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28733440 140733240296439 140733240296598 140733240296598 140733240299471 0 [pid=17710/tid=17723] ppid=17670 vsize=8414124 memory=920 CPUtime=0 cores=0-7 /proc/17710/task/17723/stat : 17723 (java) S 17670 17670 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420902850 8616062976 31021 33554432000 4194304 4196468 140733240291600 139682296715344 139684341569435 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28733440 140733240296439 140733240296598 140733240296598 140733240299471 0 [pid=17710/tid=17724] ppid=17670 vsize=8414124 memory=4232 CPUtime=0.07 cores=0-7 /proc/17710/task/17724/stat : 17724 (java) S 17670 17670 14480 0 -1 1077944384 557 0 0 0 7 0 0 0 20 0 24 0 420902850 8616062976 31021 33554432000 4194304 4196468 140733240291600 139683299732080 139684341561986 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28733440 140733240296439 140733240296598 140733240296598 140733240299471 0 [pid=17710/tid=17725] ppid=17670 vsize=8414124 memory=4104 CPUtime=0.12 cores=0-7 /proc/17710/task/17725/stat : 17725 (java) S 17670 17670 14480 0 -1 1077944384 521 0 0 0 12 0 0 0 20 0 24 0 420902850 8616062976 31021 33554432000 4194304 4196468 140733240291600 139683298679280 139684341561986 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28733440 140733240296439 140733240296598 140733240296598 140733240299471 0 [pid=17710/tid=17726] ppid=17670 vsize=8414124 memory=1412 CPUtime=0.11 cores=0-7 /proc/17710/task/17726/stat : 17726 (java) S 17670 17670 14480 0 -1 1077944384 442 0 0 0 11 0 0 0 20 0 24 0 420902850 8616062976 31021 33554432000 4194304 4196468 140733240291600 139683297626992 139684341561986 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28733440 140733240296439 140733240296598 140733240296598 140733240299471 0 [pid=17710/tid=17727] ppid=17670 vsize=8414124 memory=4486604260213485459 CPUtime=0.22 cores=0-7 /proc/17710/task/17727/stat : 17727 (java) S 17670 17670 14480 0 -1 1077944384 580 0 0 0 22 0 0 0 20 0 24 0 420902850 8616062976 31021 33554432000 4194304 4196468 140733240291600 139683296574192 139684341561986 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28733440 140733240296439 140733240296598 140733240296598 140733240299471 0 [pid=17710/tid=17728] ppid=17670 vsize=8414124 memory=10592 CPUtime=0 cores=0-7 /proc/17710/task/17728/stat : 17728 (java) S 17670 17670 14480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420902851 8616062976 31021 33554432000 4194304 4196468 140733240291600 139681798809952 139684341561045 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28733440 140733240296439 140733240296598 140733240296598 140733240299471 0 [pid=17710/tid=17729] ppid=17670 vsize=8414124 memory=1756 CPUtime=0 cores=0-7 /proc/17710/task/17729/stat : 17729 (java) S 17670 17670 14480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420902851 8616062976 31021 33554432000 4194304 4196468 140733240291600 139683295521072 139684341561986 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28733440 140733240296439 140733240296598 140733240296598 140733240299471 0 [pid=17710/tid=17731] ppid=17670 vsize=8414124 memory=5948 CPUtime=0 cores=0-7 /proc/17710/task/17731/stat : 17731 (java) S 17670 17670 14480 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 420902921 8616062976 31021 33554432000 4194304 4196468 140733240291600 139683287487808 139684341575449 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 28733440 140733240296439 140733240296598 140733240296598 140733240299471 0 [pid=17710/tid=17733] ppid=17670 vsize=8414124 memory=636 CPUtime=0 cores=0-7 /proc/17710/task/17733/stat : 17733 (java) S 17670 17670 14480 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 420902922 8616062976 31021 33554432000 4194304 4196468 140733240291600 139681127710608 139684341572765 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 28733440 140733240296439 140733240296598 140733240296598 140733240299471 0 [pid=17710/tid=17734] ppid=17670 vsize=8414124 memory=2900 CPUtime=0 cores=0-7 /proc/17710/task/17734/stat : 17734 (java) S 17670 17670 14480 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 420902922 8616062976 31021 33554432000 4194304 4196468 140733240291600 139681396145936 139684341572765 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 28733440 140733240296439 140733240296598 140733240296598 140733240299471 0 [pid=17710/tid=17735] ppid=17670 vsize=8414124 memory=124084 CPUtime=0 cores=0-7 /proc/17710/task/17735/stat : 17735 (java) S 17670 17670 14480 0 -1 1077944384 135 0 0 0 0 0 0 0 20 0 24 0 420902924 8616062976 31021 33554432000 4194304 4196468 140733240291600 139680859283248 139684341561045 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28733440 140733240296439 140733240296598 140733240296598 140733240299471 0 Current children cumulated CPU time: 388.19 s Current children cumulated vsize: 10642728 KiB Current children cumulated memory: 1689420 KiB [startup+292.001 s]* /proc/loadavg: 2.05 3.79 5.55 3/216 17743 /proc/meminfo: memFree=24037592/32770624 swapFree=67002288/67108860 [pid=17670] ppid=17667 vsize=113128 memory=1476 CPUtime=370.18 cores=0-7 /proc/17670/stat : 17670 (scop.sh) S 17667 17670 14480 0 -1 4202496 584 141127 0 0 0 0 35452 1566 20 0 1 0 420874543 115843072 369 33554432000 4194304 5098028 140736353268320 140736353265064 140135361569404 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 11993088 140736353272613 140736353272940 140736353272940 140736353275853 0 /proc/17670/statm: 28282 369 311 221 0 87 0 [pid=17710] ppid=17670 vsize=8414124 memory=139084 CPUtime=1.51 cores=0-7 /proc/17710/stat : 17710 (java) S 17670 17670 14480 0 -1 1077944320 21173 0 0 0 142 9 0 0 20 0 24 0 420902843 8616062976 34771 33554432000 4194304 4196468 140733240291600 140733240274144 139684341550839 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 28733440 140733240296439 140733240296598 140733240296598 140733240299471 0 /proc/17710/statm: 2103531 34771 3225 1 0 2064875 0 [pid=17710/tid=17711] ppid=17670 vsize=8414124 memory=1756 CPUtime=0.8 cores=0-7 /proc/17710/task/17711/stat : 17711 (java) S 17670 17670 14480 0 -1 1077944384 16855 0 0 0 73 7 0 0 20 0 24 0 420902844 8616062976 34771 33554432000 4194304 4196468 140733240291600 139684313391008 139684341561045 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28733440 140733240296439 140733240296598 140733240296598 140733240299471 0 [pid=17710/tid=17712] ppid=17670 vsize=8414124 memory=5948 CPUtime=0 cores=0-7 /proc/17710/task/17712/stat : 17712 (java) S 17670 17670 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420902845 8616062976 34771 33554432000 4194304 4196468 140733240291600 139684345792912 139684341561045 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28733440 140733240296439 140733240296598 140733240296598 140733240299471 0 [pid=17710/tid=17713] ppid=17670 vsize=8414124 memory=636 CPUtime=0 cores=0-7 /proc/17710/task/17713/stat : 17713 (java) S 17670 17670 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420902845 8616062976 34771 33554432000 4194304 4196468 140733240291600 139684151556368 139684341561045 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28733440 140733240296439 140733240296598 140733240296598 140733240299471 0 [pid=17710/tid=17714] ppid=17670 vsize=8414124 memory=8322832004384193422 CPUtime=0 cores=0-7 /proc/17710/task/17714/stat : 17714 (java) S 17670 17670 14480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420902845 8616062976 34771 33554432000 4194304 4196468 140733240291600 139684150504080 139684341561045 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28733440 140733240296439 140733240296598 140733240296598 140733240299471 0 [pid=17710/tid=17715] ppid=17670 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/17710/task/17715/stat : 17715 (java) S 17670 17670 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420902845 8616062976 34771 33554432000 4194304 4196468 140733240291600 139684149451280 139684341561045 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28733440 140733240296439 140733240296598 140733240296598 140733240299471 0 [pid=17710/tid=17716] ppid=17670 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/17710/task/17716/stat : 17716 (java) S 17670 17670 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420902845 8616062976 34771 33554432000 4194304 4196468 140733240291600 139683823258512 139684341561045 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28733440 140733240296439 140733240296598 140733240296598 140733240299471 0 [pid=17710/tid=17717] ppid=17670 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/17710/task/17717/stat : 17717 (java) S 17670 17670 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420902845 8616062976 34771 33554432000 4194304 4196468 140733240291600 139683822205712 139684341561045 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28733440 140733240296439 140733240296598 140733240296598 140733240299471 0 [pid=17710/tid=17718] ppid=17670 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/17710/task/17718/stat : 17718 (java) S 17670 17670 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420902845 8616062976 34771 33554432000 4194304 4196468 140733240291600 139683821153424 139684341561045 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28733440 140733240296439 140733240296598 140733240296598 140733240299471 0 [pid=17710/tid=17719] ppid=17670 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/17710/task/17719/stat : 17719 (java) S 17670 17670 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420902845 8616062976 34771 33554432000 4194304 4196468 140733240291600 139683820100624 139684341561045 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28733440 140733240296439 140733240296598 140733240296598 140733240299471 0 [pid=17710/tid=17720] ppid=17670 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/17710/task/17720/stat : 17720 (java) S 17670 17670 14480 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 420902847 8616062976 34771 33554432000 4194304 4196468 140733240291600 139683300784240 139684341561986 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28733440 140733240296439 140733240296598 140733240296598 140733240299471 0 [pid=17710/tid=17721] ppid=17670 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/17710/task/17721/stat : 17721 (java) S 17670 17670 14480 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 420902847 8616062976 34771 33554432000 4194304 4196468 140733240291600 139682939659040 139684341561045 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28733440 140733240296439 140733240296598 140733240296598 140733240299471 0 [pid=17710/tid=17722] ppid=17670 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/17710/task/17722/stat : 17722 (java) S 17670 17670 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420902848 8616062976 34771 33554432000 4194304 4196468 140733240291600 139682671223920 139684341561045 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28733440 140733240296439 140733240296598 140733240296598 140733240299471 0 [pid=17710/tid=17723] ppid=17670 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/17710/task/17723/stat : 17723 (java) S 17670 17670 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420902850 8616062976 34771 33554432000 4194304 4196468 140733240291600 139682296715344 139684341569435 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28733440 140733240296439 140733240296598 140733240296598 140733240299471 0 [pid=17710/tid=17724] ppid=17670 vsize=8414124 memory=0 CPUtime=0.1 cores=0-7 /proc/17710/task/17724/stat : 17724 (java) R 17670 17670 14480 0 -1 1077944384 617 0 0 0 10 0 0 0 20 0 24 0 420902850 8616062976 34771 33554432000 4194304 4196468 140733240291600 139683299732080 139684341561986 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28733440 140733240296439 140733240296598 140733240296598 140733240299471 0 [pid=17710/tid=17725] ppid=17670 vsize=8414124 memory=0 CPUtime=0.12 cores=0-7 /proc/17710/task/17725/stat : 17725 (java) S 17670 17670 14480 0 -1 1077944384 527 0 0 0 12 0 0 0 20 0 24 0 420902850 8616062976 34771 33554432000 4194304 4196468 140733240291600 139683298679280 139684341561986 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28733440 140733240296439 140733240296598 140733240296598 140733240299471 0 [pid=17710/tid=17726] ppid=17670 vsize=8414124 memory=0 CPUtime=0.13 cores=0-7 /proc/17710/task/17726/stat : 17726 (java) R 17670 17670 14480 0 -1 4202560 580 0 0 0 13 0 0 0 20 0 24 0 420902850 8616062976 34771 33554432000 4194304 4196468 140733240291600 139683297626992 139684341562774 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28733440 140733240296439 140733240296598 140733240296598 140733240299471 0 [pid=17710/tid=17727] ppid=17670 vsize=8414124 memory=0 CPUtime=0.26 cores=0-7 /proc/17710/task/17727/stat : 17727 (java) R 17670 17670 14480 0 -1 4202560 1054 0 0 0 26 0 0 0 20 0 24 0 420902850 8616062976 34771 33554432000 4194304 4196468 140733240291600 139683296574192 139684319651424 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28733440 140733240296439 140733240296598 140733240296598 140733240299471 0 [pid=17710/tid=17728] ppid=17670 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/17710/task/17728/stat : 17728 (java) S 17670 17670 14480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420902851 8616062976 34771 33554432000 4194304 4196468 140733240291600 139681798809952 139684341561045 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28733440 140733240296439 140733240296598 140733240296598 140733240299471 0 [pid=17710/tid=17729] ppid=17670 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/17710/task/17729/stat : 17729 (java) S 17670 17670 14480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420902851 8616062976 34771 33554432000 4194304 4196468 140733240291600 139683295521072 139684341561986 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28733440 140733240296439 140733240296598 140733240296598 140733240299471 0 [pid=17710/tid=17731] ppid=17670 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/17710/task/17731/stat : 17731 (java) S 17670 17670 14480 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 420902921 8616062976 34771 33554432000 4194304 4196468 140733240291600 139683287487808 139684341575449 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 28733440 140733240296439 140733240296598 140733240296598 140733240299471 0 [pid=17710/tid=17733] ppid=17670 vsize=8414124 memory=0 CPUtime=0.04 cores=0-7 /proc/17710/task/17733/stat : 17733 (java) R 17670 17670 14480 0 -1 4202560 20 0 0 0 4 0 0 0 20 0 24 0 420902922 8616062976 34771 33554432000 4194304 4196468 140733240291600 139681127710672 139683828985600 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28733440 140733240296439 140733240296598 140733240296598 140733240299471 0 [pid=17710/tid=17734] ppid=17670 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/17710/task/17734/stat : 17734 (java) S 17670 17670 14480 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 420902922 8616062976 34771 33554432000 4194304 4196468 140733240291600 139681396145936 139684341572765 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 28733440 140733240296439 140733240296598 140733240296598 140733240299471 0 [pid=17710/tid=17735] ppid=17670 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/17710/task/17735/stat : 17735 (java) S 17670 17670 14480 0 -1 1077944384 135 0 0 0 0 0 0 0 20 0 24 0 420902924 8616062976 34771 33554432000 4194304 4196468 140733240291600 139680859283248 139684341561045 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28733440 140733240296439 140733240296598 140733240296598 140733240299471 0 Current children cumulated CPU time: 371.69 s Current children cumulated vsize: 8527252 KiB Current children cumulated memory: 140560 KiB [startup+292.201 s] /proc/loadavg: 2.05 3.79 5.55 3/216 17743 /proc/meminfo: memFree=24037592/32770624 swapFree=67002288/67108860 [pid=17670] ppid=17667 vsize=113128 memory=1476 CPUtime=370.18 cores=0-7 /proc/17670/stat : 17670 (scop.sh) S 17667 17670 14480 0 -1 4202496 584 141127 0 0 0 0 35452 1566 20 0 1 0 420874543 115843072 369 33554432000 4194304 5098028 140736353268320 140736353265064 140135361569404 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 11993088 140736353272613 140736353272940 140736353272940 140736353275853 0 /proc/17670/statm: 28282 369 311 221 0 87 0 [pid=17710] ppid=17670 vsize=8283048 memory=179384 CPUtime=23.39 cores=0-7 /proc/17710/stat : 17710 (java) S 17670 17670 14480 0 -1 1077944320 21636 432255 0 0 180 10 1981 168 20 0 22 0 420902843 8481841152 44846 33554432000 4194304 4196468 140733240291600 140733240274144 139684341550839 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 28733440 140733240296439 140733240296598 140733240296598 140733240299471 0 /proc/17710/statm: 2070762 44846 3230 1 0 2032106 0 [pid=17710/tid=17711] ppid=17670 vsize=8283048 memory=6791534058613427641 CPUtime=22.37 cores=0-7 /proc/17710/task/17711/stat : 17711 (java) R 17670 17670 14480 0 -1 4202560 17064 432255 0 0 81 7 1981 168 20 0 22 0 420902844 8481841152 44846 33554432000 4194304 4196468 140733240291600 139684313389400 139684325661856 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28733440 140733240296439 140733240296598 140733240296598 140733240299471 0 [pid=17710/tid=17712] ppid=17670 vsize=8283048 memory=316941069428457783 CPUtime=21.49 cores=0-7 /proc/17710/task/17712/stat : 17712 (java) S 17670 17670 14480 0 -1 1077944384 2 432255 0 0 0 0 1981 168 20 0 22 0 420902845 8481841152 44846 33554432000 4194304 4196468 140733240291600 139684345792912 139684341561045 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28733440 140733240296439 140733240296598 140733240296598 140733240299471 0 [pid=17710/tid=17713] ppid=17670 vsize=8283048 memory=14126740981156277 CPUtime=21.49 cores=0-7 /proc/17710/task/17713/stat : 17713 (java) S 17670 17670 14480 0 -1 1077944384 2 432255 0 0 0 0 1981 168 20 0 22 0 420902845 8481841152 44846 33554432000 4194304 4196468 140733240291600 139684151556368 139684341561045 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28733440 140733240296439 140733240296598 140733240296598 140733240299471 0 [pid=17710/tid=17714] ppid=17670 vsize=8283048 memory=-7595761213668167008 CPUtime=21.49 cores=0-7 /proc/17710/task/17714/stat : 17714 (java) S 17670 17670 14480 0 -1 1077944384 3 432255 0 0 0 0 1981 168 20 0 22 0 420902845 8481841152 44846 33554432000 4194304 4196468 140733240291600 139684150504080 139684341561045 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28733440 140733240296439 140733240296598 140733240296598 140733240299471 0 [pid=17710/tid=17715] ppid=17670 vsize=8283048 memory=-7029379521808015264 CPUtime=21.49 cores=0-7 /proc/17710/task/17715/stat : 17715 (java) S 17670 17670 14480 0 -1 1077944384 2 432255 0 0 0 0 1981 168 20 0 22 0 420902845 8481841152 44846 33554432000 4194304 4196468 140733240291600 139684149451280 139684341561045 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28733440 140733240296439 140733240296598 140733240296598 140733240299471 0 [pid=17710/tid=17716] ppid=17670 vsize=8283048 memory=0 CPUtime=21.49 cores=0-7 /proc/17710/task/17716/stat : 17716 (java) S 17670 17670 14480 0 -1 1077944384 2 432255 0 0 0 0 1981 168 20 0 22 0 420902845 8481841152 44846 33554432000 4194304 4196468 140733240291600 139683823258512 139684341561045 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28733440 140733240296439 140733240296598 140733240296598 140733240299471 0 [pid=17710/tid=17717] ppid=17670 vsize=8283048 memory=0 CPUtime=21.49 cores=0-7 /proc/17710/task/17717/stat : 17717 (java) S 17670 17670 14480 0 -1 1077944384 1 432255 0 0 0 0 1981 168 20 0 22 0 420902845 8481841152 44846 33554432000 4194304 4196468 140733240291600 139683822205712 139684341561045 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28733440 140733240296439 140733240296598 140733240296598 140733240299471 0 [pid=17710/tid=17718] ppid=17670 vsize=8283048 memory=0 CPUtime=21.49 cores=0-7 /proc/17710/task/17718/stat : 17718 (java) S 17670 17670 14480 0 -1 1077944384 2 432255 0 0 0 0 1981 168 20 0 22 0 420902845 8481841152 44846 33554432000 4194304 4196468 140733240291600 139683821153424 139684341561045 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28733440 140733240296439 140733240296598 140733240296598 140733240299471 0 [pid=17710/tid=17719] ppid=17670 vsize=8283048 memory=0 CPUtime=21.49 cores=0-7 /proc/17710/task/17719/stat : 17719 (java) S 17670 17670 14480 0 -1 1077944384 1 432255 0 0 0 0 1981 168 20 0 22 0 420902845 8481841152 44846 33554432000 4194304 4196468 140733240291600 139683820100624 139684341561045 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28733440 140733240296439 140733240296598 140733240296598 140733240299471 0 [pid=17710/tid=17720] ppid=17670 vsize=8283048 memory=0 CPUtime=21.49 cores=0-7 /proc/17710/task/17720/stat : 17720 (java) S 17670 17670 14480 0 -1 1077944384 5 432255 0 0 0 0 1981 168 20 0 22 0 420902847 8481841152 44846 33554432000 4194304 4196468 140733240291600 139683300784240 139684341561986 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28733440 140733240296439 140733240296598 140733240296598 140733240299471 0 [pid=17710/tid=17721] ppid=17670 vsize=8283048 memory=7680491646476186426 CPUtime=21.49 cores=0-7 /proc/17710/task/17721/stat : 17721 (java) S 17670 17670 14480 0 -1 1077944384 13 432255 0 0 0 0 1981 168 20 0 22 0 420902847 8481841152 44846 33554432000 4194304 4196468 140733240291600 139682939659040 139684341561045 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28733440 140733240296439 140733240296598 140733240296598 140733240299471 0 [pid=17710/tid=17722] ppid=17670 vsize=8283048 memory=0 CPUtime=21.49 cores=0-7 /proc/17710/task/17722/stat : 17722 (java) S 17670 17670 14480 0 -1 1077944384 1 432255 0 0 0 0 1981 168 20 0 22 0 420902848 8481841152 44846 33554432000 4194304 4196468 140733240291600 139682671223920 139684341561045 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28733440 140733240296439 140733240296598 140733240296598 140733240299471 0 [pid=17710/tid=17723] ppid=17670 vsize=8283048 memory=0 CPUtime=21.49 cores=0-7 /proc/17710/task/17723/stat : 17723 (java) S 17670 17670 14480 0 -1 1077944384 1 432255 0 0 0 0 1981 168 20 0 22 0 420902850 8481841152 44846 33554432000 4194304 4196468 140733240291600 139682296715344 139684341569435 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28733440 140733240296439 140733240296598 140733240296598 140733240299471 0 [pid=17710/tid=17724] ppid=17670 vsize=8283048 memory=0 CPUtime=21.62 cores=0-7 /proc/17710/task/17724/stat : 17724 (java) S 17670 17670 14480 0 -1 1077944384 628 432255 0 0 13 0 1981 168 20 0 22 0 420902850 8481841152 44846 33554432000 4194304 4196468 140733240291600 139683299732080 139684341561986 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28733440 140733240296439 140733240296598 140733240296598 140733240299471 0 [pid=17710/tid=17725] ppid=17670 vsize=8283048 memory=0 CPUtime=21.66 cores=0-7 /proc/17710/task/17725/stat : 17725 (java) S 17670 17670 14480 0 -1 1077944384 545 432255 0 0 17 0 1981 168 20 0 22 0 420902850 8481841152 44846 33554432000 4194304 4196468 140733240291600 139683298679280 139684341561986 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28733440 140733240296439 140733240296598 140733240296598 140733240299471 0 [pid=17710/tid=17726] ppid=17670 vsize=8283048 memory=0 CPUtime=21.68 cores=0-7 /proc/17710/task/17726/stat : 17726 (java) S 17670 17670 14480 0 -1 1077944384 604 432255 0 0 19 0 1981 168 20 0 22 0 420902850 8481841152 44846 33554432000 4194304 4196468 140733240291600 139683297626992 139684341561986 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28733440 140733240296439 140733240296598 140733240296598 140733240299471 0 [pid=17710/tid=17727] ppid=17670 vsize=8283048 memory=0 CPUtime=21.81 cores=0-7 /proc/17710/task/17727/stat : 17727 (java) S 17670 17670 14480 0 -1 1077944384 1194 432255 0 0 32 0 1981 168 20 0 22 0 420902850 8481841152 44846 33554432000 4194304 4196468 140733240291600 139683296574192 139684341561986 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28733440 140733240296439 140733240296598 140733240296598 140733240299471 0 [pid=17710/tid=17728] ppid=17670 vsize=8283048 memory=0 CPUtime=21.49 cores=0-7 /proc/17710/task/17728/stat : 17728 (java) S 17670 17670 14480 0 -1 1077944384 3 432255 0 0 0 0 1981 168 20 0 22 0 420902851 8481841152 44846 33554432000 4194304 4196468 140733240291600 139681798809952 139684341561045 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28733440 140733240296439 140733240296598 140733240296598 140733240299471 0 [pid=17710/tid=17729] ppid=17670 vsize=8283048 memory=0 CPUtime=21.49 cores=0-7 /proc/17710/task/17729/stat : 17729 (java) S 17670 17670 14480 0 -1 1077944384 3 432255 0 0 0 0 1981 168 20 0 22 0 420902851 8481841152 44846 33554432000 4194304 4196468 140733240291600 139683295521072 139684341561986 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28733440 140733240296439 140733240296598 140733240296598 140733240299471 0 [pid=17710/tid=17731] ppid=17670 vsize=8283048 memory=0 CPUtime=21.49 cores=0-7 /proc/17710/task/17731/stat : 17731 (java) S 17670 17670 14480 0 -1 1077944384 24 432255 0 0 0 0 1981 168 20 0 22 0 420902921 8481841152 44846 33554432000 4194304 4196468 140733240291600 139683287486992 139684341561986 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28733440 140733240296439 140733240296598 140733240296598 140733240299471 0 [pid=17710/tid=17735] ppid=17670 vsize=8283048 memory=0 CPUtime=21.49 cores=0-7 /proc/17710/task/17735/stat : 17735 (java) S 17670 17670 14480 0 -1 1077944384 137 432255 0 0 0 0 1981 168 20 0 22 0 420902924 8481841152 44846 33554432000 4194304 4196468 140733240291600 139680859285040 139684341561986 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28733440 140733240296439 140733240296598 140733240296598 140733240299471 0 Current children cumulated CPU time: 393.57 s Current children cumulated vsize: 8396176 KiB Current children cumulated memory: 180860 KiB Child status: 0 Real time (s): 292.276 CPU time (s): 393.741 CPU user time (s): 376.252 CPU system time (s): 17.489 CPU usage (%): 134.715 Max. virtual memory (cumulated for all children) (KiB): 27443924 Max. memory (cumulated for all children) (KiB): 11646116 getrusage(RUSAGE_CHILDREN,...) data: user time used= 376.252 system time used= 17.489 maximum resident set size= 11644896 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 596848 page faults= 0 swaps= 0 block input operations= 0 block output operations= 101680 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 113841 involuntary context switches= 1305 # summary of solver processes directly reported to runsolver: # pid: 17670 # total CPU time (s): 393.741 # total CPU user time (s): 376.252 # total CPU system time (s): 17.489 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 1.74136 second user time and 3.49123 second system time The end
Begin job on node136 at 2019-09-14 09:30:15 IDJOB=4392307 IDBENCH=139919 IDSOLVER=2838 FILE ID=node136/4392307-1568446259 RUNJOBID= node136-1568439334-14507 PBS_JOBID= 21702333 Free space on /tmp= 61164 MiB SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-06-15) 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-4392307-1568446259/watcher-4392307-1568446259 -o /tmp/evaluation-result-4392307-1568446259/solver-4392307-1568446259 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node136-1568439334-14507 --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-4392307-1568446259.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= f196bcf8028f955a9b1a207c833066c3 RANDOM SEED=1608226178 node136.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.00 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.00 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.00 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.00 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 25797392 kB MemAvailable: 31886812 kB Buffers: 86272 kB Cached: 6279052 kB SwapCached: 3908 kB Active: 2062004 kB Inactive: 4313232 kB Active(anon): 5544 kB Inactive(anon): 44780 kB Active(file): 2056460 kB Inactive(file): 4268452 kB Unevictable: 106576 kB Mlocked: 106576 kB SwapTotal: 67108860 kB SwapFree: 67002288 kB Dirty: 23848 kB Writeback: 0 kB AnonPages: 144640 kB Mapped: 44620 kB Shmem: 31948 kB Slab: 190284 kB SReclaimable: 160688 kB SUnreclaim: 29596 kB KernelStack: 3744 kB PageTables: 6056 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 499060 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 98304 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /tmp at the end= 61144 MiB End job on node136 at 2019-09-14 09:35:07