Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
Fun-sCOP order+ManyGlucose (2019-06-15) | UNSAT | 287.308 | 220.632 |
Name | Crossword/ Crossword-m1c-ogd-vg/Crossword-m1c-ogd-vg-15-19.xml |
MD5SUM | 771a2032fa08b3551aec0b6adeb94e67 |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 0.204409 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 285 |
Number of constraints | 34 |
Number of domains | 1 |
Minimum domain size | 26 |
Maximum domain size | 26 |
Distribution of domain sizes | [{"size":26,"count":285}] |
Minimum variable degree | 2 |
Maximum variable degree | 2 |
Distribution of variable degrees | [{"degree":2,"count":285}] |
Minimum constraint arity | 15 |
Maximum constraint arity | 19 |
Distribution of constraint arities | [{"arity":15,"count":19},{"arity":19,"count":15}] |
Number of extensional constraints | 34 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":34}] |
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-4671-serial-file.bin HOME/instance-4392275-1568446556.xml 0.65/0.54 0.65/0.54 Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15) 0.65/0.54 0.65/0.57 c BEGIN-Prog: Sat Sep 14 09:35:15 CEST 2019 0.65/0.57 c PID: 4674 0.65/0.57 c IP: 172.20.3.145 0.65/0.57 c HOST: node145.alineos.net 0.65/0.57 c (0,0) Parsing Begin 1.94/1.09 c (0,0) Parsing End 1.94/1.10 c (0,0) CSP: 285 int (0 aux), 0 bool (0 aux), 34 ctr, max domain size 26 1.94/1.10 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB) 1.94/1.10 c (0,0) Constraint Name Generate Begin 2.23/1.11 c (0,0) Ctr:HOME/instance-4392275-1568446556.xml,ExtensionSupport:Var 2.23/1.11 c (0,0) Constraint Name Generate End 2.23/1.11 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB) 2.23/1.11 c (0,0) CSP to CSPinCNF Begin 12.02/4.49 c (3,3) translated 4 (10%) constraints 14.21/6.52 c (5,5) translated 7 (20%) constraints 16.98/9.22 c (8,8) translated 11 (30%) constraints 19.04/11.23 c (10,10) translated 14 (40%) constraints 30.75/20.66 c (20,19) translated 17 (50%) constraints 59.67/44.42 c (43,42) translated 21 (60%) constraints 88.72/68.49 c (67,66) translated 24 (70%) constraints 135.07/103.26 c (102,99) translated 28 (80%) constraints 161.74/124.61 c (124,119) translated 31 (90%) constraints 179.92/139.79 c (139,134) translated 34 (100%) constraints 180.02/139.82 c (139,134) =========================================== 180.02/139.85 c (139,134) Order 180.02/139.85 c (139,134) =========================================== 183.77/143.09 c (142,137) translated 174492 (10%) constraints 187.06/146.35 c (145,141) translated 348983 (20%) constraints 190.42/149.66 c (149,144) translated 523474 (30%) constraints 193.72/152.94 c (152,147) translated 697965 (40%) constraints 200.20/156.60 c (156,150) translated 872456 (50%) constraints 203.40/159.87 c (159,154) translated 1046948 (60%) constraints 206.78/163.17 c (162,157) translated 1221439 (70%) constraints 210.07/166.45 c (165,160) translated 1395930 (80%) constraints 213.37/169.71 c (169,164) translated 1570421 (90%) constraints 216.58/172.97 c (172,167) translated 1744912 (100%) constraints 216.58/172.97 c (172,167) CSP to CSPinCNF End 216.89/173.13 c (172,167) CSP: 285 int (0 aux), 298411 bool (298411 aux), 1744912 ctr, max domain size 24 216.89/173.13 c (172,167) Heap : 7034 MiB used (max 21601 MiB), NonHeap : 27 MiB used (max 0 MiB) 216.89/173.13 c (172,167) CSPinCNF Propagation Begin 249.92/194.45 c (193,187) 21788 values, 74103 unsatisfiable literals, and 112651 valid clauses are removed 249.92/194.45 c (193,187) CSPinCNF Propagation End 250.02/194.57 c (194,187) CSP: 285 int (0 aux), 298411 bool (298411 aux), 1632261 ctr, max domain size 24 250.02/194.57 c (194,187) Heap : 5257 MiB used (max 21679 MiB), NonHeap : 27 MiB used (max 0 MiB) 250.02/194.60 c (194,187) Simplify CSPinCNF Begin 253.22/197.65 c (197,190) Simplify CSPinCNF End 253.32/197.77 c (197,190) CSP: 285 int (0 aux), 298411 bool (298411 aux), 1632261 ctr, max domain size 24 253.32/197.77 c (197,190) Heap : 6872 MiB used (max 21679 MiB), NonHeap : 27 MiB used (max 0 MiB) 253.32/197.77 c (197,190) Calculate Precise Domain Begin 253.32/197.77 c (197,190) 0 values are removed by re-calculation 253.32/197.77 c (197,190) Calculate Precise Domain End 253.42/197.89 c (197,190) CSP: 285 int (0 aux), 298411 bool (298411 aux), 1632261 ctr, max domain size 24 253.42/197.89 c (197,190) Heap : 6882 MiB used (max 21679 MiB), NonHeap : 27 MiB used (max 0 MiB) 253.42/197.89 c (197,190) CSPinCNF to SatSolver Begin 262.47/200.75 c (200,192) 163227 (10 %) CSP clauses are encoded (0 SAT variables, 167896 SAT clauses) 264.01/202.25 c (201,194) 326453 (20 %) CSP clauses are encoded (0 SAT variables, 331122 SAT clauses) 265.51/203.75 c (203,195) 489679 (30 %) CSP clauses are encoded (0 SAT variables, 494348 SAT clauses) 267.02/205.25 c (204,197) 652905 (40 %) CSP clauses are encoded (0 SAT variables, 657574 SAT clauses) 268.52/206.78 c (206,198) 816131 (50 %) CSP clauses are encoded (0 SAT variables, 820800 SAT clauses) 274.62/208.88 c (208,200) 979357 (60 %) CSP clauses are encoded (0 SAT variables, 984026 SAT clauses) 276.12/210.38 c (209,201) 1142583 (70 %) CSP clauses are encoded (0 SAT variables, 1147252 SAT clauses) 277.62/211.87 c (211,203) 1305809 (80 %) CSP clauses are encoded (0 SAT variables, 1310478 SAT clauses) 279.13/213.36 c (212,204) 1469035 (90 %) CSP clauses are encoded (0 SAT variables, 1473704 SAT clauses) 280.63/214.84 c (214,206) 1632261 (100 %) CSP clauses are encoded (0 SAT variables, 1636930 SAT clauses) 280.63/214.84 c (214,206) CSPinCNF to SatSolver End 280.63/214.84 c (214,206) Heap : 8303 MiB used (max 21658 MiB), NonHeap : 29 MiB used (max 0 MiB) 280.63/214.84 c (214,206) 281594 bool, 1636931 clause 280.63/214.84 c (214,206) Export Begin 280.75/214.98 c (214,206) Export to HOME/scop-4671-serial-file.bin 280.75/214.98 c (214,206) Export End 280.75/214.98 c (214,206) Export File Size: 0.17 MB 280.75/214.98 c (214,206) 0,0,172,194,197,197,214,STOP-AFTER(DIMACS) 280.75/214.98 c END-Prog: Sat Sep 14 09:38:49 CEST 2019 0.00/215.06 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-4671-serial-file.bin 281.03/215.53 c (0,0) Read Serial File Begin 281.03/215.53 c (0,0) HOME/scop-4671-serial-file.bin 281.03/215.80 c (0,0) Read Serial File End 281.03/215.81 281.03/215.81 Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15) 281.03/215.81 (Solving Process) 281.03/215.81 281.03/215.83 c BEGIN-Prog: Sat Sep 14 09:38:50 CEST 2019 281.03/215.83 c PID: 4708 281.03/215.83 c IP: 172.20.3.145 281.03/215.83 c HOST: node145.alineos.net 281.03/215.84 c (0,0) SatSolver.solve Begin 281.03/215.84 c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392275-1568446556.xml-scop-4674.cnf 281.03/215.86 c (0,0) c 281.03/215.86 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) 281.03/215.86 c (0,0) c 281.03/215.86 c (0,0) c WARNING: for repeatability, setting FPU to use double precision 281.03/215.86 c (0,0) c 8 solvers engines and 1 companion as a blackboard created. 281.03/215.86 c (0,0) c ========================================[ Problem Statistics ]=========================================== 281.03/215.86 c (0,0) c | | 283.02/216.56 c (1,0) c | Number of variables: 281594 | 283.02/216.56 c (1,0) c | Number of clauses: 1636368 | 283.02/216.56 c (1,0) c | Parse time: 0.63 s | 283.02/216.56 c (1,0) c | | 286.13/219.61 c (4,0) c | Simplification time: 3.01 s | 286.13/219.61 c (4,0) c | | 286.13/219.61 c (4,0) c | Generating clones | 287.03/220.53 c (5,0) c | all clones generated. Memory = 1340.68Mb. | 287.03/220.53 c (5,0) c ========================================================================================================| 287.03/220.53 c (5,0) c 287.03/220.53 c (5,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 287.03/220.53 c (5,0) c 287.03/220.53 c (5,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 287.03/220.53 c (5,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 287.03/220.53 c (5,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 287.03/220.53 c (5,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 287.03/220.53 c (5,0) c | adaptStrategeis | True | False | True | False | True | False | True | False | 287.03/220.53 c (5,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 287.03/220.53 c (5,0) c | Initial random_seed | 91648253 | 91648254 | 91648255 | 91648256 | 91648257 | 91648258 | 91648259 | 91648260 | 287.03/220.53 c (5,0) c | chanseokStrategy | False | False | False | False | False | False | False | False | 287.03/220.53 c (5,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 287.03/220.53 c (5,0) c | glureduce | True | True | True | True | True | True | True | True | 287.03/220.53 c (5,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 287.03/220.53 c (5,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 287.03/220.53 c (5,0) c | luby_restart | False | False | False | False | False | False | False | False | 287.03/220.53 c (5,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 287.03/220.53 c (5,0) c | var_decay | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 287.03/220.53 c (5,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 287.03/220.53 c (5,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 287.03/220.53 c (5,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 287.03/220.53 c (5,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 287.03/220.56 c (5,0) c 287.03/220.56 c (5,0) c real time : 4.69982 s 287.03/220.56 c (5,0) c cpu time : 4.37329 s 287.03/220.56 c (5,0) c 287.03/220.56 c (5,0) c 287.03/220.56 c (5,0) c 287.03/220.56 c (5,0) c |---------------------------------------- FINAL STATS --------------------------------------------------| 287.03/220.56 c (5,0) c 287.03/220.56 c (5,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 287.03/220.56 c (5,0) c | Threads | Total | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 287.03/220.56 c (5,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 287.03/220.56 c (5,0) c | Conflicts | 78 | 8 | 11 | 8 | 8 | 8 | 8 | 11 | 16 | 287.03/220.56 c (5,0) c | Decisions | 20193 | 3240 | 3417 | 3302 | 3360 | 3386 | 3361 | 38 | 89 | 287.03/220.56 c (5,0) c | Propagations | 92435 | 16442 | 8784 | 6161 | 18129 | 10900 | 8491 | 9142 | 14386 | 287.03/220.56 c (5,0) c | ReduceDBs | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 287.03/220.56 c (5,0) c | SimpDBs | 8 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 287.03/220.56 c (5,0) c | Restarts | 8 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 287.03/220.56 c (5,0) c | ForcedImports | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 287.03/220.56 c (5,0) c | PropBinClauses| 160176 | 15667 | 18786 | 16142 | 26244 | 19678 | 18238 | 20499 | 24922 | 287.03/220.56 c (5,0) c | PropPreBlocker| 291624 | 21633 | 32371 | 23811 | 51056 | 40743 | 29768 | 40366 | 51876 | 287.03/220.56 c (5,0) c | PropNotBlocker| 228181 | 17320 | 23944 | 19042 | 44179 | 30454 | 24163 | 31575 | 37504 | 287.03/220.56 c (5,0) c | LitFullScans | 747835 | 59294 | 82474 | 63879 | 132126 | 100933 | 77429 | 102180 | 129520 | 287.03/220.56 c (5,0) c | LitScanFracts | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 287.03/220.56 c (5,0) c | DecisionLevel0| 42 | 5 | 3 | 5 | 5 | 5 | 5 | 6 | 8 | 287.03/220.56 c (5,0) c | Periods | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 287.03/220.56 c (5,0) c | Margin | 160 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 287.03/220.56 c (5,0) c | Avg_Trail | | 12152 | 13550 | 12409 | 15387 | 14757 | 13564 | 14325 | 12281 | 287.03/220.56 c (5,0) c | Avg_DL | | 405 | 413 | 435 | 450 | 476 | 463 | 11 | 10 | 287.03/220.56 c (5,0) c | Avg_Res | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 287.03/220.56 c (5,0) c | Avg_Res_Seen | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 287.03/220.56 c (5,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 287.03/220.56 c (5,0) c | Exported | 24 | 2 | 4 | 2 | 2 | 2 | 2 | 4 | 6 | 287.03/220.56 c (5,0) c | Imported | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 287.03/220.56 c (5,0) c | Good | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 287.03/220.56 c (5,0) c | Purge | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 287.03/220.56 c (5,0) c | Promoted | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 287.03/220.56 c (5,0) c | Remove_Imp | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 287.03/220.56 c (5,0) c | Blocked_Reuse | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 287.03/220.56 c (5,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 287.03/220.56 c (5,0) c | Unaries | | 4 | 2 | 4 | 4 | 4 | 4 | 5 | 7 | 287.03/220.56 c (5,0) c | Binaries | | 1 | 3 | 1 | 1 | 1 | 1 | 3 | 3 | 287.03/220.56 c (5,0) c | Glues | | 2 | 4 | 2 | 2 | 2 | 2 | 4 | 6 | 287.03/220.56 c (5,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 287.03/220.56 c (5,0) c | Orig_Seen | 0 % | 81 | 125 | 81 | 81 | 81 | 81 | 173 | 202 | 287.03/220.56 c (5,0) c | Diff Orig seen| | X | 44 | - 0 | - 0 | - 0 | - 0 | 92 | 121 | 287.03/220.56 c (5,0) c | Hamming | 0 % | X | 132 | 0 | 5 | 6 | 0 | 233 | 300 | 287.03/220.56 c (5,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 287.03/220.56 c (5,0) c | RunningTime | | 0.0 100%| 0.0 100%| 0.0 100%| 0.0 100%| 0.0 100%| 0.0 100%| 0.0 100%| 0.0 100%| 287.03/220.56 c (5,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%| 287.03/220.56 c (5,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%| 287.03/220.56 c (5,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%| 287.03/220.56 c (5,0) c | SolvingTime | | 0.0 | 0.0 | 0.0 | 0.0 | 0.0 | 0.0 | 0.0 | 0.0 | 287.03/220.56 c (5,0) c | PropagationTim| | 0.0 88%| 0.0 79%| 0.0 95%| 0.0 92%| 0.0 94%| 0.0 93%| 0.0 97%| 0.0 97%| 287.03/220.56 c (5,0) c | AnalysisTime | | 0.0 1%| 0.0 2%| 0.0 1%| 0.0 0%| 0.0 0%| 0.0 1%| 0.0 1%| 0.0 1%| 287.03/220.56 c (5,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%| 287.03/220.56 c (5,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%| 287.03/220.56 c (5,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%| 287.03/220.56 c (5,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%| 287.03/220.56 c (5,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 287.03/220.56 c (5,0) c 287.03/220.56 c (5,0) c 287.03/220.56 c (5,0) c Threads : 8 287.03/220.56 c (5,0) c Winner : 0 287.03/220.56 c (5,0) c Conflicts_0 : 8 287.03/220.56 c (5,0) c Conflicts_1 : 11 287.03/220.56 c (5,0) c Conflicts_2 : 8 287.03/220.56 c (5,0) c Conflicts_3 : 8 287.03/220.56 c (5,0) c Conflicts_4 : 8 287.03/220.56 c (5,0) c Conflicts_5 : 8 287.03/220.56 c (5,0) c Conflicts_6 : 11 287.03/220.56 c (5,0) c Conflicts_7 : 16 287.03/220.56 c (5,0) c Conflicts_total : 78 287.03/220.56 c (5,0) c Conflicts_winner : 8 287.03/220.56 c (5,0) c Decisions_0 : 3240 287.03/220.56 c (5,0) c Decisions_1 : 3417 287.03/220.56 c (5,0) c Decisions_2 : 3302 287.03/220.56 c (5,0) c Decisions_3 : 3360 287.03/220.56 c (5,0) c Decisions_4 : 3386 287.03/220.56 c (5,0) c Decisions_5 : 3361 287.03/220.56 c (5,0) c Decisions_6 : 38 287.03/220.56 c (5,0) c Decisions_7 : 89 287.03/220.56 c (5,0) c Decisions_total : 20193 287.03/220.56 c (5,0) c Decisions_winner : 3240 287.03/220.56 c (5,0) c Propagations_0 : 16442 287.03/220.56 c (5,0) c Propagations_1 : 8784 287.03/220.56 c (5,0) c Propagations_2 : 6161 287.03/220.57 c (5,0) c Propagations_3 : 18129 287.03/220.57 c (5,0) c Propagations_4 : 10900 287.03/220.57 c (5,0) c Propagations_5 : 8491 287.03/220.57 c (5,0) c Propagations_6 : 9142 287.03/220.57 c (5,0) c Propagations_7 : 14386 287.03/220.57 c (5,0) c Propagations_total : 92435 287.03/220.57 c (5,0) c Propagations_winner : 16442 287.03/220.57 c (5,0) c ReduceDBs_0 : 0 287.03/220.57 c (5,0) c ReduceDBs_1 : 0 287.03/220.57 c (5,0) c ReduceDBs_2 : 0 287.03/220.57 c (5,0) c ReduceDBs_3 : 0 287.03/220.57 c (5,0) c ReduceDBs_4 : 0 287.03/220.57 c (5,0) c ReduceDBs_5 : 0 287.03/220.57 c (5,0) c ReduceDBs_6 : 0 287.03/220.57 c (5,0) c ReduceDBs_7 : 0 287.03/220.57 c (5,0) c ReduceDBs_total : 0 287.03/220.57 c (5,0) c ReduceDBs_winner : 0 287.03/220.57 c (5,0) c SimpDBs_0 : 1 287.03/220.57 c (5,0) c SimpDBs_1 : 1 287.03/220.57 c (5,0) c SimpDBs_2 : 1 287.03/220.57 c (5,0) c SimpDBs_3 : 1 287.03/220.57 c (5,0) c SimpDBs_4 : 1 287.03/220.57 c (5,0) c SimpDBs_5 : 1 287.03/220.57 c (5,0) c SimpDBs_6 : 1 287.03/220.57 c (5,0) c SimpDBs_7 : 1 287.03/220.57 c (5,0) c SimpDBs_total : 8 287.03/220.57 c (5,0) c SimpDBs_winner : 1 287.03/220.57 c (5,0) c Restarts_0 : 1 287.03/220.57 c (5,0) c Restarts_1 : 1 287.03/220.57 c (5,0) c Restarts_2 : 1 287.03/220.57 c (5,0) c Restarts_3 : 1 287.03/220.57 c (5,0) c Restarts_4 : 1 287.03/220.57 c (5,0) c Restarts_5 : 1 287.03/220.57 c (5,0) c Restarts_6 : 1 287.03/220.57 c (5,0) c Restarts_7 : 1 287.03/220.57 c (5,0) c Restarts_total : 8 287.03/220.57 c (5,0) c Restarts_winner : 1 287.03/220.57 c (5,0) c ForcedImports_0 : 0 287.03/220.57 c (5,0) c ForcedImports_1 : 0 287.03/220.57 c (5,0) c ForcedImports_2 : 0 287.03/220.57 c (5,0) c ForcedImports_3 : 0 287.03/220.57 c (5,0) c ForcedImports_4 : 0 287.03/220.57 c (5,0) c ForcedImports_5 : 0 287.03/220.57 c (5,0) c ForcedImports_6 : 0 287.03/220.57 c (5,0) c ForcedImports_7 : 0 287.03/220.57 c (5,0) c ForcedImports_total : 0 287.03/220.57 c (5,0) c ForcedImports_winner : 0 287.03/220.57 c (5,0) c PropsBinClauses_0 : 15667 287.03/220.57 c (5,0) c PropsBinClauses_1 : 18786 287.03/220.57 c (5,0) c PropsBinClauses_2 : 16142 287.03/220.57 c (5,0) c PropsBinClauses_3 : 26244 287.03/220.57 c (5,0) c PropsBinClauses_4 : 19678 287.03/220.57 c (5,0) c PropsBinClauses_5 : 18238 287.03/220.57 c (5,0) c PropsBinClauses_6 : 20499 287.03/220.57 c (5,0) c PropsBinClauses_7 : 24922 287.03/220.57 c (5,0) c PropsBinClauses_total : 160176 287.03/220.57 c (5,0) c PropsBinClauses_winner : 15667 287.03/220.57 c (5,0) c PropsPreBlocker_0 : 21633 287.03/220.57 c (5,0) c PropsPreBlocker_1 : 32371 287.03/220.57 c (5,0) c PropsPreBlocker_2 : 23811 287.03/220.57 c (5,0) c PropsPreBlocker_3 : 51056 287.03/220.57 c (5,0) c PropsPreBlocker_4 : 40743 287.03/220.57 c (5,0) c PropsPreBlocker_5 : 29768 287.03/220.57 c (5,0) c PropsPreBlocker_6 : 40366 287.03/220.57 c (5,0) c PropsPreBlocker_7 : 51876 287.03/220.57 c (5,0) c PropsPreBlocker_total : 291624 287.03/220.57 c (5,0) c PropsPreBlocker_winner : 21633 287.03/220.57 c (5,0) c PropsNotBlocker_0 : 17320 287.03/220.57 c (5,0) c PropsNotBlocker_1 : 23944 287.03/220.57 c (5,0) c PropsNotBlocker_2 : 19042 287.03/220.57 c (5,0) c PropsNotBlocker_3 : 44179 287.03/220.57 c (5,0) c PropsNotBlocker_4 : 30454 287.03/220.57 c (5,0) c PropsNotBlocker_5 : 24163 287.03/220.57 c (5,0) c PropsNotBlocker_6 : 31575 287.03/220.57 c (5,0) c PropsNotBlocker_7 : 37504 287.03/220.57 c (5,0) c PropsNotBlocker_total : 228181 287.03/220.57 c (5,0) c PropsNotBlocker_winner : 17320 287.03/220.57 c (5,0) c PropsLitFullScans_0 : 59294 287.03/220.57 c (5,0) c PropsLitFullScans_1 : 82474 287.03/220.57 c (5,0) c PropsLitFullScans_2 : 63879 287.03/220.57 c (5,0) c PropsLitFullScans_3 : 132126 287.03/220.57 c (5,0) c PropsLitFullScans_4 : 100933 287.03/220.57 c (5,0) c PropsLitFullScans_5 : 77429 287.03/220.57 c (5,0) c PropsLitFullScans_6 : 102180 287.03/220.57 c (5,0) c PropsLitFullScans_7 : 129520 287.03/220.57 c (5,0) c PropsLitFullScans_total : 747835 287.03/220.57 c (5,0) c PropsLitFullScans_winner : 59294 287.03/220.57 c (5,0) c LitScanFractions_0 : 0 287.03/220.57 c (5,0) c LitScanFractions_1 : 0 287.03/220.57 c (5,0) c LitScanFractions_2 : 0 287.03/220.57 c (5,0) c LitScanFractions_3 : 0 287.03/220.57 c (5,0) c LitScanFractions_4 : 0 287.03/220.57 c (5,0) c LitScanFractions_5 : 0 287.03/220.57 c (5,0) c LitScanFractions_6 : 0 287.03/220.57 c (5,0) c LitScanFractions_7 : 0 287.03/220.57 c (5,0) c LitScanFractions_total : 0 287.03/220.57 c (5,0) c LitScanFractions_winner : 0 287.03/220.57 c (5,0) c DecisionLevel0_0 : 5 287.03/220.57 c (5,0) c DecisionLevel0_1 : 3 287.03/220.57 c (5,0) c DecisionLevel0_2 : 5 287.03/220.57 c (5,0) c DecisionLevel0_3 : 5 287.03/220.57 c (5,0) c DecisionLevel0_4 : 5 287.03/220.57 c (5,0) c DecisionLevel0_5 : 5 287.03/220.57 c (5,0) c DecisionLevel0_6 : 6 287.03/220.57 c (5,0) c DecisionLevel0_7 : 8 287.03/220.57 c (5,0) c DecisionLevel0_total : 42 287.03/220.57 c (5,0) c DecisionLevel0_winner : 5 287.03/220.57 c (5,0) c Periods_0 : 0 287.03/220.57 c (5,0) c Periods_1 : 0 287.03/220.57 c (5,0) c Periods_2 : 0 287.03/220.57 c (5,0) c Periods_3 : 0 287.03/220.57 c (5,0) c Periods_4 : 0 287.03/220.57 c (5,0) c Periods_5 : 0 287.03/220.57 c (5,0) c Periods_6 : 0 287.03/220.57 c (5,0) c Periods_7 : 0 287.03/220.57 c (5,0) c Periods_total : 0 287.03/220.57 c (5,0) c Periods_winner : 0 287.03/220.57 c (5,0) c Margin_0 : 20 287.03/220.57 c (5,0) c Margin_1 : 20 287.03/220.57 c (5,0) c Margin_2 : 20 287.03/220.57 c (5,0) c Margin_3 : 20 287.03/220.57 c (5,0) c Margin_4 : 20 287.03/220.57 c (5,0) c Margin_5 : 20 287.03/220.57 c (5,0) c Margin_6 : 20 287.03/220.57 c (5,0) c Margin_7 : 20 287.03/220.57 c (5,0) c Margin_total : 160 287.03/220.57 c (5,0) c Margin_winner : 20 287.03/220.57 c (5,0) c Exported_0 : 2 287.03/220.57 c (5,0) c Exported_1 : 4 287.03/220.57 c (5,0) c Exported_2 : 2 287.03/220.57 c (5,0) c Exported_3 : 2 287.03/220.57 c (5,0) c Exported_4 : 2 287.03/220.57 c (5,0) c Exported_5 : 2 287.03/220.57 c (5,0) c Exported_6 : 4 287.03/220.57 c (5,0) c Exported_7 : 6 287.03/220.57 c (5,0) c Exported_total : 24 287.03/220.57 c (5,0) c Exported_winner : 2 287.03/220.57 c (5,0) c Imported_0 : 0 287.03/220.57 c (5,0) c Imported_1 : 0 287.03/220.57 c (5,0) c Imported_2 : 0 287.03/220.57 c (5,0) c Imported_3 : 0 287.03/220.57 c (5,0) c Imported_4 : 0 287.03/220.57 c (5,0) c Imported_5 : 0 287.03/220.57 c (5,0) c Imported_6 : 0 287.03/220.57 c (5,0) c Imported_7 : 0 287.03/220.57 c (5,0) c Imported_total : 0 287.03/220.57 c (5,0) c Imported_winner : 0 287.03/220.57 c (5,0) c Good_0 : 0 287.03/220.57 c (5,0) c Good_1 : 0 287.03/220.57 c (5,0) c Good_2 : 0 287.03/220.57 c (5,0) c Good_3 : 0 287.03/220.57 c (5,0) c Good_4 : 0 287.03/220.57 c (5,0) c Good_5 : 0 287.03/220.57 c (5,0) c Good_6 : 0 287.03/220.57 c (5,0) c Good_7 : 0 287.03/220.57 c (5,0) c Good_total : 0 287.03/220.57 c (5,0) c Good_winner : 0 287.03/220.57 c (5,0) c Purge_0 : 0 287.03/220.57 c (5,0) c Purge_1 : 0 287.03/220.57 c (5,0) c Purge_2 : 0 287.03/220.57 c (5,0) c Purge_3 : 0 287.03/220.57 c (5,0) c Purge_4 : 0 287.03/220.57 c (5,0) c Purge_5 : 0 287.03/220.57 c (5,0) c Purge_6 : 0 287.03/220.57 c (5,0) c Purge_7 : 0 287.03/220.57 c (5,0) c Purge_total : 0 287.03/220.57 c (5,0) c Purge_winner : 0 287.03/220.57 c (5,0) c Promoted_0 : 0 287.03/220.57 c (5,0) c Promoted_1 : 0 287.03/220.57 c (5,0) c Promoted_2 : 0 287.03/220.57 c (5,0) c Promoted_3 : 0 287.03/220.57 c (5,0) c Promoted_4 : 0 287.03/220.57 c (5,0) c Promoted_5 : 0 287.03/220.57 c (5,0) c Promoted_6 : 0 287.03/220.57 c (5,0) c Promoted_7 : 0 287.03/220.57 c (5,0) c Promoted_total : 0 287.03/220.57 c (5,0) c Promoted_winner : 0 287.03/220.57 c (5,0) c Remove_Imp_0 : 0 287.03/220.57 c (5,0) c Remove_Imp_1 : 0 287.03/220.57 c (5,0) c Remove_Imp_2 : 0 287.03/220.57 c (5,0) c Remove_Imp_3 : 0 287.03/220.57 c (5,0) c Remove_Imp_4 : 0 287.03/220.57 c (5,0) c Remove_Imp_5 : 0 287.03/220.57 c (5,0) c Remove_Imp_6 : 0 287.03/220.57 c (5,0) c Remove_Imp_7 : 0 287.03/220.57 c (5,0) c Remove_Imp_total : 0 287.03/220.57 c (5,0) c Remove_Imp_winner : 0 287.03/220.57 c (5,0) c Blocked_Reuse_0 : 0 287.03/220.57 c (5,0) c Blocked_Reuse_1 : 0 287.03/220.57 c (5,0) c Blocked_Reuse_2 : 0 287.03/220.57 c (5,0) c Blocked_Reuse_3 : 0 287.03/220.57 c (5,0) c Blocked_Reuse_4 : 0 287.03/220.57 c (5,0) c Blocked_Reuse_5 : 0 287.03/220.57 c (5,0) c Blocked_Reuse_6 : 0 287.03/220.57 c (5,0) c Blocked_Reuse_7 : 0 287.03/220.57 c (5,0) c Blocked_Reuse_total : 0 287.03/220.57 c (5,0) c Blocked_Reuse_winner : 0 287.03/220.57 c (5,0) c Unaries_0 : 4 287.03/220.57 c (5,0) c Unaries_1 : 2 287.03/220.57 c (5,0) c Unaries_2 : 4 287.03/220.57 c (5,0) c Unaries_3 : 4 287.03/220.57 c (5,0) c Unaries_4 : 4 287.03/220.57 c (5,0) c Unaries_5 : 4 287.03/220.57 c (5,0) c Unaries_6 : 5 287.03/220.57 c (5,0) c Unaries_7 : 7 287.03/220.57 c (5,0) c Unaries_total : 34 287.03/220.57 c (5,0) c Unaries_winner : 4 287.03/220.57 c (5,0) c Binaries_0 : 1 287.03/220.57 c (5,0) c Binaries_1 : 3 287.03/220.57 c (5,0) c Binaries_2 : 1 287.03/220.57 c (5,0) c Binaries_3 : 1 287.03/220.57 c (5,0) c Binaries_4 : 1 287.03/220.57 c (5,0) c Binaries_5 : 1 287.03/220.57 c (5,0) c Binaries_6 : 3 287.03/220.57 c (5,0) c Binaries_7 : 3 287.03/220.57 c (5,0) c Binaries_total : 14 287.03/220.57 c (5,0) c Binaries_winner : 1 287.03/220.57 c (5,0) c Glues_0 : 2 287.03/220.57 c (5,0) c Glues_1 : 4 287.03/220.57 c (5,0) c Glues_2 : 2 287.03/220.57 c (5,0) c Glues_3 : 2 287.03/220.57 c (5,0) c Glues_4 : 2 287.03/220.57 c (5,0) c Glues_5 : 2 287.03/220.57 c (5,0) c Glues_6 : 4 287.03/220.57 c (5,0) c Glues_7 : 6 287.03/220.57 c (5,0) c Glues_total : 24 287.03/220.57 c (5,0) c Glues_winner : 2 287.03/220.57 c (5,0) c RunningTime_0 : 0.009344 287.03/220.57 c (5,0) c RunningTime_1 : 0.026603 287.03/220.57 c (5,0) c RunningTime_2 : 0.011100 287.03/220.57 c (5,0) c RunningTime_3 : 0.019831 287.03/220.57 c (5,0) c RunningTime_4 : 0.012652 287.03/220.57 c (5,0) c RunningTime_5 : 0.012173 287.03/220.57 c (5,0) c RunningTime_6 : 0.009791 287.03/220.57 c (5,0) c RunningTime_7 : 0.011853 287.03/220.57 c (5,0) c RunningTime_total : 0.113348 287.03/220.57 c (5,0) c RunningTime_winner : 0.009344 287.03/220.57 c (5,0) c WaitingTime_0 : 0.000000 287.03/220.57 c (5,0) c WaitingTime_1 : 0.000000 287.03/220.57 c (5,0) c WaitingTime_2 : 0.000000 287.03/220.57 c (5,0) c WaitingTime_3 : 0.000000 287.03/220.57 c (5,0) c WaitingTime_4 : 0.000000 287.03/220.57 c (5,0) c WaitingTime_5 : 0.000000 287.03/220.57 c (5,0) c WaitingTime_6 : 0.000000 287.03/220.57 c (5,0) c WaitingTime_7 : 0.000000 287.03/220.57 c (5,0) c WaitingTime_total : 0.000000 287.03/220.57 c (5,0) c WaitingTime_winner : 0.000000 287.03/220.57 c (5,0) c ExchangingTime_0 : 0.000012 287.03/220.57 c (5,0) c ExchangingTime_1 : 0.000005 287.03/220.57 c (5,0) c ExchangingTime_2 : 0.000008 287.03/220.57 c (5,0) c ExchangingTime_3 : 0.000006 287.03/220.57 c (5,0) c ExchangingTime_4 : 0.000005 287.03/220.57 c (5,0) c ExchangingTime_5 : 0.000013 287.03/220.57 c (5,0) c ExchangingTime_6 : 0.000007 287.03/220.57 c (5,0) c ExchangingTime_7 : 0.000009 287.03/220.57 c (5,0) c ExchangingTime_total : 0.000064 287.03/220.57 c (5,0) c ExchangingTime_winner : 0.000012 287.03/220.57 c (5,0) c PeriodProcTime_0 : 0.000000 287.03/220.57 c (5,0) c PeriodProcTime_1 : 0.000000 287.03/220.57 c (5,0) c PeriodProcTime_2 : 0.000000 287.03/220.57 c (5,0) c PeriodProcTime_3 : 0.000000 287.03/220.57 c (5,0) c PeriodProcTime_4 : 0.000000 287.03/220.57 c (5,0) c PeriodProcTime_5 : 0.000000 287.03/220.57 c (5,0) c PeriodProcTime_6 : 0.000000 287.03/220.57 c (5,0) c PeriodProcTime_7 : 0.000000 287.03/220.57 c (5,0) c PeriodProcTime_total : 0.000000 287.03/220.57 c (5,0) c PeriodProcTime_winner : 0.000000 287.03/220.57 c (5,0) c SolvingTime_0 : 0.009356 287.03/220.57 c (5,0) c SolvingTime_1 : 0.026608 287.03/220.57 c (5,0) c SolvingTime_2 : 0.011108 287.03/220.57 c (5,0) c SolvingTime_3 : 0.019837 287.03/220.57 c (5,0) c SolvingTime_4 : 0.012657 287.03/220.57 c (5,0) c SolvingTime_5 : 0.012186 287.03/220.57 c (5,0) c SolvingTime_6 : 0.009798 287.03/220.57 c (5,0) c SolvingTime_7 : 0.011862 287.03/220.57 c (5,0) c SolvingTime_total : 0.113412 287.03/220.57 c (5,0) c SolvingTime_winner : 0.009356 287.03/220.57 c (5,0) c PropagationTime_0 : 0.008269 287.03/220.57 c (5,0) c PropagationTime_1 : 0.020934 287.03/220.57 c (5,0) c PropagationTime_2 : 0.010517 287.03/220.57 c (5,0) c PropagationTime_3 : 0.018301 287.03/220.57 c (5,0) c PropagationTime_4 : 0.011912 287.03/220.57 c (5,0) c PropagationTime_5 : 0.011333 287.03/220.58 c (5,0) c PropagationTime_6 : 0.009531 287.03/220.58 c (5,0) c PropagationTime_7 : 0.011501 287.03/220.58 c (5,0) c PropagationTime_total : 0.102297 287.03/220.58 c (5,0) c PropagationTime_winner : 0.008269 287.03/220.58 c (5,0) c AnalysisTime_0 : 0.000073 287.03/220.58 c (5,0) c AnalysisTime_1 : 0.000542 287.03/220.58 c (5,0) c AnalysisTime_2 : 0.000057 287.03/220.58 c (5,0) c AnalysisTime_3 : 0.000061 287.03/220.58 c (5,0) c AnalysisTime_4 : 0.000044 287.03/220.58 c (5,0) c AnalysisTime_5 : 0.000064 287.03/220.58 c (5,0) c AnalysisTime_6 : 0.000075 287.03/220.58 c (5,0) c AnalysisTime_7 : 0.000086 287.03/220.58 c (5,0) c AnalysisTime_total : 0.001002 287.03/220.58 c (5,0) c AnalysisTime_winner : 0.000073 287.03/220.58 c (5,0) c ReductionTime_0 : 0.000000 287.03/220.58 c (5,0) c ReductionTime_1 : 0.000000 287.03/220.58 c (5,0) c ReductionTime_2 : 0.000000 287.03/220.58 c (5,0) c ReductionTime_3 : 0.000000 287.03/220.58 c (5,0) c ReductionTime_4 : 0.000000 287.03/220.58 c (5,0) c ReductionTime_5 : 0.000000 287.03/220.58 c (5,0) c ReductionTime_6 : 0.000000 287.03/220.58 c (5,0) c ReductionTime_7 : 0.000000 287.03/220.58 c (5,0) c ReductionTime_total : 0.000000 287.03/220.58 c (5,0) c ReductionTime_winner : 0.000000 287.03/220.58 c (5,0) c SimplifyTime_0 : 0.000001 287.03/220.58 c (5,0) c SimplifyTime_1 : 0.000000 287.03/220.58 c (5,0) c SimplifyTime_2 : 0.000000 287.03/220.58 c (5,0) c SimplifyTime_3 : 0.000001 287.03/220.58 c (5,0) c SimplifyTime_4 : 0.000000 287.03/220.58 c (5,0) c SimplifyTime_5 : 0.000001 287.03/220.58 c (5,0) c SimplifyTime_6 : 0.000001 287.03/220.58 c (5,0) c SimplifyTime_7 : 0.000000 287.03/220.58 c (5,0) c SimplifyTime_total : 0.000004 287.03/220.58 c (5,0) c SimplifyTime_winner : 0.000001 287.03/220.58 c (5,0) c UsedRateTime_0 : 0.000000 287.03/220.58 c (5,0) c UsedRateTime_1 : 0.000000 287.03/220.58 c (5,0) c UsedRateTime_2 : 0.000000 287.03/220.58 c (5,0) c UsedRateTime_3 : 0.000000 287.03/220.58 c (5,0) c UsedRateTime_4 : 0.000000 287.03/220.58 c (5,0) c UsedRateTime_5 : 0.000000 287.03/220.58 c (5,0) c UsedRateTime_6 : 0.000000 287.03/220.58 c (5,0) c UsedRateTime_7 : 0.000000 287.03/220.58 c (5,0) c UsedRateTime_total : 0.000000 287.03/220.58 c (5,0) c UsedRateTime_winner : 0.000000 287.03/220.58 c (5,0) c OverlapRateTime_0 : 0.000000 287.03/220.58 c (5,0) c OverlapRateTime_1 : 0.000000 287.03/220.58 c (5,0) c OverlapRateTime_2 : 0.000000 287.03/220.58 c (5,0) c OverlapRateTime_3 : 0.000000 287.03/220.58 c (5,0) c OverlapRateTime_4 : 0.000000 287.03/220.58 c (5,0) c OverlapRateTime_5 : 0.000000 287.03/220.58 c (5,0) c OverlapRateTime_6 : 0.000000 287.03/220.58 c (5,0) c OverlapRateTime_7 : 0.000000 287.03/220.58 c (5,0) c OverlapRateTime_total : 0.000000 287.03/220.58 c (5,0) c OverlapRateTime_winner : 0.000000 287.03/220.58 c (5,0) c 287.03/220.58 c (5,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 287.03/220.58 c (5,0) c 287.03/220.58 c (5,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 287.03/220.58 c (5,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 287.03/220.58 c (5,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 287.03/220.58 c (5,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 287.03/220.58 c (5,0) c | adaptStrategeis | True | False | True | False | True | False | True | False | 287.03/220.58 c (5,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 287.03/220.58 c (5,0) c | Initial random_seed | 1167720804 | 2034656122 | 763684797 | 888926382 | 1329059524 | 1696983573 | 437531610 | 752291688 | 287.03/220.58 c (5,0) c | chanseokStrategy | False | False | False | False | False | False | False | False | 287.03/220.58 c (5,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 287.03/220.58 c (5,0) c | glureduce | True | True | True | True | True | True | True | True | 287.03/220.58 c (5,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 287.03/220.58 c (5,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 287.03/220.58 c (5,0) c | luby_restart | False | False | False | False | False | False | False | False | 287.03/220.58 c (5,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 287.03/220.58 c (5,0) c | var_decay | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 287.03/220.58 c (5,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 287.03/220.58 c (5,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 287.03/220.58 c (5,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 287.03/220.58 c (5,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 287.03/220.58 c (5,0) 287.03/220.58 c (5,0) s UNSATISFIABLE 282.45/220.61 c (5,0) SatSolver.solve End 282.45/220.61 c (5,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB) 282.45/220.61 c (5,0) Show results Begin 282.45/220.61 s UNSATISFIABLE 282.45/220.61 c (5,0) Show results End 282.45/220.61 c (5,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB) 282.45/220.61 c (5,0) 5,5,STOP-AFTER(ALL) 282.45/220.61 c END-Prog: Sat Sep 14 09:38:55 CEST 2019
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 (15415 MiB free) memory of node 1: 16384 MiB (13456 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392275-1568446556/watcher-4392275-1568446556 -o /tmp/evaluation-result-4392275-1568446556/solver-4392275-1568446556 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node145-1568439892-3694 --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-4392275-1568446556.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 solver pid=4671, runsolver pid=4668 solver pid=4671, runsolver pid=4668 Starting watchdog thread Current StackSize limit: 8192 KiB [startup+0.104695 s]* /proc/loadavg: 1.09 3.83 6.33 2/211 4693 /proc/meminfo: memFree=29469640/32770624 swapFree=66958260/67108860 [pid=4671] ppid=4668 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/4671/stat : 4671 (scop.sh) S 4668 4671 3667 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 420592093 115843072 349 33554432000 4194304 5098028 140734152432720 140734152429976 139675350954620 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 25055232 140734152438565 140734152438892 140734152438892 140734152441805 0 /proc/4671/statm: 28282 349 296 221 0 87 0 [pid=4674] ppid=4671 vsize=27314120 memory=108472 CPUtime=0.11 cores=0-7 /proc/4674/stat : 4674 (java) S 4671 4671 3667 0 -1 1077944320 6694 0 0 0 8 3 0 0 20 0 20 0 420592093 27969658880 27118 33554432000 4194304 4196468 140726195884976 140726195867520 139780118937335 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9117696 140726195892972 140726195893398 140726195893398 140726195896271 0 /proc/4674/statm: 6828530 27118 2818 1 0 6790935 0 [pid=4674/tid=4675] ppid=4671 vsize=27314120 memory=1398722017469774279 CPUtime=0.09 cores=0-7 /proc/4674/task/4675/stat : 4675 (java) R 4671 4671 3667 0 -1 4202560 4781 0 0 0 7 2 0 0 20 0 20 0 420592093 27969658880 27183 33554432000 4194304 4196468 140726195884976 139780090749320 139780099214160 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9117696 140726195892972 140726195893398 140726195893398 140726195896271 0 [pid=4674/tid=4676] ppid=4671 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/4674/task/4676/stat : 4676 (java) S 4671 4671 3667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420592096 27969658880 27183 33554432000 4194304 4196468 140726195884976 139780123179920 139780118947541 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9117696 140726195892972 140726195893398 140726195893398 140726195896271 0 [pid=4674/tid=4677] ppid=4671 vsize=27314120 memory=140402836571776 CPUtime=0 cores=0-7 /proc/4674/task/4677/stat : 4677 (java) S 4671 4671 3667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420592096 27969658880 27183 33554432000 4194304 4196468 140726195884976 139779937336080 139780118947541 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9117696 140726195892972 140726195893398 140726195893398 140726195896271 0 [pid=4674/tid=4678] ppid=4671 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/4674/task/4678/stat : 4678 (java) S 4671 4671 3667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420592096 27969658880 27183 33554432000 4194304 4196468 140726195884976 139779936283792 139780118947541 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9117696 140726195892972 140726195893398 140726195893398 140726195896271 0 [pid=4674/tid=4679] ppid=4671 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/4674/task/4679/stat : 4679 (java) S 4671 4671 3667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420592096 27969658880 27183 33554432000 4194304 4196468 140726195884976 139779935230992 139780118947541 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9117696 140726195892972 140726195893398 140726195893398 140726195896271 0 [pid=4674/tid=4680] ppid=4671 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/4674/task/4680/stat : 4680 (java) S 4671 4671 3667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420592096 27969658880 27183 33554432000 4194304 4196468 140726195884976 139779934177680 139780118947541 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9117696 140726195892972 140726195893398 140726195893398 140726195896271 0 [pid=4674/tid=4681] ppid=4671 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/4674/task/4681/stat : 4681 (java) S 4671 4671 3667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420592096 27969658880 27183 33554432000 4194304 4196468 140726195884976 139779933124880 139780118947541 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9117696 140726195892972 140726195893398 140726195893398 140726195896271 0 [pid=4674/tid=4682] ppid=4671 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/4674/task/4682/stat : 4682 (java) S 4671 4671 3667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420592096 27969658880 27183 33554432000 4194304 4196468 140726195884976 139779932072592 139780118947541 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9117696 140726195892972 140726195893398 140726195893398 140726195896271 0 [pid=4674/tid=4683] ppid=4671 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/4674/task/4683/stat : 4683 (java) S 4671 4671 3667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420592096 27969658880 27183 33554432000 4194304 4196468 140726195884976 139779931019792 139780118947541 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9117696 140726195892972 140726195893398 140726195893398 140726195896271 0 [pid=4674/tid=4684] ppid=4671 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/4674/task/4684/stat : 4684 (java) S 4671 4671 3667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420592097 27969658880 27183 33554432000 4194304 4196468 140726195884976 139779110115952 139780118948482 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9117696 140726195892972 140726195893398 140726195893398 140726195896271 0 [pid=4674/tid=4685] ppid=4671 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/4674/task/4685/stat : 4685 (java) S 4671 4671 3667 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420592098 27969658880 27183 33554432000 4194304 4196468 140726195884976 139778100028704 139780118947541 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9117696 140726195892972 140726195893398 140726195893398 140726195896271 0 [pid=4674/tid=4686] ppid=4671 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/4674/task/4686/stat : 4686 (java) S 4671 4671 3667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420592098 27969658880 27183 33554432000 4194304 4196468 140726195884976 139777831593584 139780118947541 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9117696 140726195892972 140726195893398 140726195893398 140726195896271 0 [pid=4674/tid=4687] ppid=4671 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/4674/task/4687/stat : 4687 (java) S 4671 4671 3667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420592100 27969658880 27183 33554432000 4194304 4196468 140726195884976 139777457085008 139780118955931 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9117696 140726195892972 140726195893398 140726195893398 140726195896271 0 [pid=4674/tid=4688] ppid=4671 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/4674/task/4688/stat : 4688 (java) S 4671 4671 3667 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 20 0 420592100 27969658880 27183 33554432000 4194304 4196468 140726195884976 139779109062768 139780118948482 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9117696 140726195892972 140726195893398 140726195893398 140726195896271 0 [pid=4674/tid=4689] ppid=4671 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/4674/task/4689/stat : 4689 (java) R 4671 4671 3667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420592100 27969658880 27183 33554432000 4194304 4196468 140726195884976 139779108009968 139780118948482 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9117696 140726195892972 140726195893398 140726195893398 140726195896271 0 [pid=4674/tid=4690] ppid=4671 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/4674/task/4690/stat : 4690 (java) S 4671 4671 3667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420592100 27969658880 27183 33554432000 4194304 4196468 140726195884976 139777965807984 139780118948482 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9117696 140726195892972 140726195893398 140726195893398 140726195896271 0 [pid=4674/tid=4691] ppid=4671 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/4674/task/4691/stat : 4691 (java) R 4671 4671 3667 0 -1 1077944384 320 0 0 0 0 0 0 0 20 0 20 0 420592100 27969658880 27183 33554432000 4194304 4196468 140726195884976 139777964755184 139780118948482 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9117696 140726195892972 140726195893398 140726195893398 140726195896271 0 [pid=4674/tid=4692] ppid=4671 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/4674/task/4692/stat : 4692 (java) S 4671 4671 3667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420592101 27969658880 27183 33554432000 4194304 4196468 140726195884976 139776959179616 139780118947541 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9117696 140726195892972 140726195893398 140726195893398 140726195896271 0 [pid=4674/tid=4693] ppid=4671 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/4674/task/4693/stat : 4693 (java) S 4671 4671 3667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420592101 27969658880 27183 33554432000 4194304 4196468 140726195884976 139777963703088 139780118948482 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9117696 140726195892972 140726195893398 140726195893398 140726195896271 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 109868 KiB [startup+0.210512 s]* /proc/loadavg: 1.09 3.83 6.33 2/211 4693 /proc/meminfo: memFree=29448872/32770624 swapFree=66958260/67108860 [pid=4671] ppid=4668 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/4671/stat : 4671 (scop.sh) S 4668 4671 3667 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 420592093 115843072 349 33554432000 4194304 5098028 140734152432720 140734152429976 139675350954620 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 25055232 140734152438565 140734152438892 140734152438892 140734152441805 0 /proc/4671/statm: 28282 349 296 221 0 87 0 [pid=4674] ppid=4671 vsize=27314120 memory=125348 CPUtime=0.24 cores=0-7 /proc/4674/stat : 4674 (java) S 4671 4671 3667 0 -1 1077944320 12233 0 0 0 19 5 0 0 20 0 20 0 420592093 27969658880 31337 33554432000 4194304 4196468 140726195884976 140726195867520 139780118937335 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9117696 140726195892972 140726195893398 140726195893398 140726195896271 0 /proc/4674/statm: 6828530 31337 2924 1 0 6790935 0 [pid=4674/tid=4675] ppid=4671 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/4674/task/4675/stat : 4675 (java) R 4671 4671 3667 0 -1 4202560 9967 0 0 0 15 4 0 0 20 0 20 0 420592093 27969658880 31337 33554432000 4194304 4196468 140726195884976 139780090744896 139780100500904 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9117696 140726195892972 140726195893398 140726195893398 140726195896271 0 [pid=4674/tid=4676] ppid=4671 vsize=27314120 memory=329 CPUtime=0 cores=0-7 /proc/4674/task/4676/stat : 4676 (java) S 4671 4671 3667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420592096 27969658880 31337 33554432000 4194304 4196468 140726195884976 139780123179920 139780118947541 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9117696 140726195892972 140726195893398 140726195893398 140726195896271 0 [pid=4674/tid=4677] ppid=4671 vsize=27314120 memory=140402836591776 CPUtime=0 cores=0-7 /proc/4674/task/4677/stat : 4677 (java) S 4671 4671 3667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420592096 27969658880 31337 33554432000 4194304 4196468 140726195884976 139779937336080 139780118947541 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9117696 140726195892972 140726195893398 140726195893398 140726195896271 0 [pid=4674/tid=4678] ppid=4671 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/4674/task/4678/stat : 4678 (java) S 4671 4671 3667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420592096 27969658880 31337 33554432000 4194304 4196468 140726195884976 139779936283792 139780118947541 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9117696 140726195892972 140726195893398 140726195893398 140726195896271 0 [pid=4674/tid=4679] ppid=4671 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/4674/task/4679/stat : 4679 (java) S 4671 4671 3667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420592096 27969658880 31337 33554432000 4194304 4196468 140726195884976 139779935230992 139780118947541 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9117696 140726195892972 140726195893398 140726195893398 140726195896271 0 [pid=4674/tid=4680] ppid=4671 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/4674/task/4680/stat : 4680 (java) S 4671 4671 3667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420592096 27969658880 31337 33554432000 4194304 4196468 140726195884976 139779934177680 139780118947541 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9117696 140726195892972 140726195893398 140726195893398 140726195896271 0 [pid=4674/tid=4681] ppid=4671 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/4674/task/4681/stat : 4681 (java) S 4671 4671 3667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420592096 27969658880 31337 33554432000 4194304 4196468 140726195884976 139779933124880 139780118947541 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9117696 140726195892972 140726195893398 140726195893398 140726195896271 0 [pid=4674/tid=4682] ppid=4671 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/4674/task/4682/stat : 4682 (java) S 4671 4671 3667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420592096 27969658880 31337 33554432000 4194304 4196468 140726195884976 139779932072592 139780118947541 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9117696 140726195892972 140726195893398 140726195893398 140726195896271 0 [pid=4674/tid=4683] ppid=4671 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/4674/task/4683/stat : 4683 (java) S 4671 4671 3667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420592096 27969658880 31337 33554432000 4194304 4196468 140726195884976 139779931019792 139780118947541 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9117696 140726195892972 140726195893398 140726195893398 140726195896271 0 [pid=4674/tid=4684] ppid=4671 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/4674/task/4684/stat : 4684 (java) S 4671 4671 3667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420592097 27969658880 31337 33554432000 4194304 4196468 140726195884976 139779110115952 139780118948482 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9117696 140726195892972 140726195893398 140726195893398 140726195896271 0 [pid=4674/tid=4685] ppid=4671 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/4674/task/4685/stat : 4685 (java) S 4671 4671 3667 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420592098 27969658880 31337 33554432000 4194304 4196468 140726195884976 139778100028704 139780118947541 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9117696 140726195892972 140726195893398 140726195893398 140726195896271 0 [pid=4674/tid=4686] ppid=4671 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/4674/task/4686/stat : 4686 (java) S 4671 4671 3667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420592098 27969658880 31337 33554432000 4194304 4196468 140726195884976 139777831593584 139780118947541 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9117696 140726195892972 140726195893398 140726195893398 140726195896271 0 [pid=4674/tid=4687] ppid=4671 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/4674/task/4687/stat : 4687 (java) S 4671 4671 3667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420592100 27969658880 31337 33554432000 4194304 4196468 140726195884976 139777457085008 139780118955931 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9117696 140726195892972 140726195893398 140726195893398 140726195896271 0 [pid=4674/tid=4688] ppid=4671 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/4674/task/4688/stat : 4688 (java) S 4671 4671 3667 0 -1 1077944384 442 0 0 0 0 0 0 0 20 0 20 0 420592100 27969658880 31337 33554432000 4194304 4196468 140726195884976 139779109062768 139780118948482 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9117696 140726195892972 140726195893398 140726195893398 140726195896271 0 [pid=4674/tid=4689] ppid=4671 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/4674/task/4689/stat : 4689 (java) S 4671 4671 3667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420592100 27969658880 31337 33554432000 4194304 4196468 140726195884976 139779108009968 139780118948482 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9117696 140726195892972 140726195893398 140726195893398 140726195896271 0 [pid=4674/tid=4690] ppid=4671 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/4674/task/4690/stat : 4690 (java) S 4671 4671 3667 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 20 0 420592100 27969658880 31337 33554432000 4194304 4196468 140726195884976 139777965807984 139780118948482 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9117696 140726195892972 140726195893398 140726195893398 140726195896271 0 [pid=4674/tid=4691] ppid=4671 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7 /proc/4674/task/4691/stat : 4691 (java) S 4671 4671 3667 0 -1 1077944384 443 0 0 0 2 0 0 0 20 0 20 0 420592100 27969658880 31337 33554432000 4194304 4196468 140726195884976 139777964755184 139780118948482 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9117696 140726195892972 140726195893398 140726195893398 140726195896271 0 [pid=4674/tid=4692] ppid=4671 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/4674/task/4692/stat : 4692 (java) S 4671 4671 3667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420592101 27969658880 31337 33554432000 4194304 4196468 140726195884976 139776959179616 139780118947541 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9117696 140726195892972 140726195893398 140726195893398 140726195896271 0 [pid=4674/tid=4693] ppid=4671 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/4674/task/4693/stat : 4693 (java) S 4671 4671 3667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420592101 27969658880 31337 33554432000 4194304 4196468 140726195884976 139777963703088 139780118948482 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9117696 140726195892972 140726195893398 140726195893398 140726195896271 0 Current children cumulated CPU time: 0.24 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 126744 KiB [startup+0.310123 s]* /proc/loadavg: 1.09 3.83 6.33 2/211 4693 /proc/meminfo: memFree=29445336/32770624 swapFree=66958260/67108860 [pid=4671] ppid=4668 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/4671/stat : 4671 (scop.sh) S 4668 4671 3667 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 420592093 115843072 349 33554432000 4194304 5098028 140734152432720 140734152429976 139675350954620 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 25055232 140734152438565 140734152438892 140734152438892 140734152441805 0 /proc/4671/statm: 28282 349 296 221 0 87 0 [pid=4674] ppid=4671 vsize=27314120 memory=129652 CPUtime=0.42 cores=0-7 /proc/4674/stat : 4674 (java) S 4671 4671 3667 0 -1 1077944320 12784 0 0 0 37 5 0 0 20 0 20 0 420592093 27969658880 32413 33554432000 4194304 4196468 140726195884976 140726195867520 139780118937335 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9117696 140726195892972 140726195893398 140726195893398 140726195896271 0 /proc/4674/statm: 6828530 32413 3027 1 0 6790935 0 [pid=4674/tid=4675] ppid=4671 vsize=27314120 memory=1398722017469774279 CPUtime=0.29 cores=0-7 /proc/4674/task/4675/stat : 4675 (java) R 4671 4671 3667 0 -1 4202560 10329 0 0 0 25 4 0 0 20 0 20 0 420592093 27969658880 32413 33554432000 4194304 4196468 140726195884976 139780090767408 139780102124144 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9117696 140726195892972 140726195893398 140726195893398 140726195896271 0 [pid=4674/tid=4676] ppid=4671 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/4674/task/4676/stat : 4676 (java) S 4671 4671 3667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420592096 27969658880 32413 33554432000 4194304 4196468 140726195884976 139780123179920 139780118947541 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9117696 140726195892972 140726195893398 140726195893398 140726195896271 0 [pid=4674/tid=4677] ppid=4671 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/4674/task/4677/stat : 4677 (java) S 4671 4671 3667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420592096 27969658880 32413 33554432000 4194304 4196468 140726195884976 139779937336080 139780118947541 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9117696 140726195892972 140726195893398 140726195893398 140726195896271 0 [pid=4674/tid=4678] ppid=4671 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/4674/task/4678/stat : 4678 (java) S 4671 4671 3667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420592096 27969658880 32413 33554432000 4194304 4196468 140726195884976 139779936283792 139780118947541 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9117696 140726195892972 140726195893398 140726195893398 140726195896271 0 [pid=4674/tid=4679] ppid=4671 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/4674/task/4679/stat : 4679 (java) S 4671 4671 3667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420592096 27969658880 32413 33554432000 4194304 4196468 140726195884976 139779935230992 139780118947541 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9117696 140726195892972 140726195893398 140726195893398 140726195896271 0 [pid=4674/tid=4680] ppid=4671 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/4674/task/4680/stat : 4680 (java) S 4671 4671 3667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420592096 27969658880 32413 33554432000 4194304 4196468 140726195884976 139779934177680 139780118947541 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9117696 140726195892972 140726195893398 140726195893398 140726195896271 0 [pid=4674/tid=4681] ppid=4671 vsize=27314120 memory=140402682325679 CPUtime=0 cores=0-7 /proc/4674/task/4681/stat : 4681 (java) S 4671 4671 3667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420592096 27969658880 32413 33554432000 4194304 4196468 140726195884976 139779933124880 139780118947541 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9117696 140726195892972 140726195893398 140726195893398 140726195896271 0 [pid=4674/tid=4682] ppid=4671 vsize=27314120 memory=140402682327984 CPUtime=0 cores=0-7 /proc/4674/task/4682/stat : 4682 (java) S 4671 4671 3667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420592096 27969658880 32413 33554432000 4194304 4196468 140726195884976 139779932072592 139780118947541 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9117696 140726195892972 140726195893398 140726195893398 140726195896271 0 [pid=4674/tid=4683] ppid=4671 vsize=27314120 memory=140402682330288 CPUtime=0 cores=0-7 /proc/4674/task/4683/stat : 4683 (java) S 4671 4671 3667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420592096 27969658880 32413 33554432000 4194304 4196468 140726195884976 139779931019792 139780118947541 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9117696 140726195892972 140726195893398 140726195893398 140726195896271 0 [pid=4674/tid=4684] ppid=4671 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/4674/task/4684/stat : 4684 (java) S 4671 4671 3667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420592097 27969658880 32413 33554432000 4194304 4196468 140726195884976 139779110115952 139780118948482 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9117696 140726195892972 140726195893398 140726195893398 140726195896271 0 [pid=4674/tid=4685] ppid=4671 vsize=27314120 memory=280805364674448 CPUtime=0 cores=0-7 /proc/4674/task/4685/stat : 4685 (java) S 4671 4671 3667 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420592098 27969658880 32413 33554432000 4194304 4196468 140726195884976 139778100028704 139780118947541 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9117696 140726195892972 140726195893398 140726195893398 140726195896271 0 [pid=4674/tid=4686] ppid=4671 vsize=27314120 memory=280805364672144 CPUtime=0 cores=0-7 /proc/4674/task/4686/stat : 4686 (java) S 4671 4671 3667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420592098 27969658880 32413 33554432000 4194304 4196468 140726195884976 139777831593584 139780118947541 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9117696 140726195892972 140726195893398 140726195893398 140726195896271 0 [pid=4674/tid=4687] ppid=4671 vsize=27314120 memory=280805364679056 CPUtime=0 cores=0-7 /proc/4674/task/4687/stat : 4687 (java) S 4671 4671 3667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420592100 27969658880 32413 33554432000 4194304 4196468 140726195884976 139777457085008 139780118955931 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9117696 140726195892972 140726195893398 140726195893398 140726195896271 0 [pid=4674/tid=4688] ppid=4671 vsize=27314120 memory=280805364620304 CPUtime=0.01 cores=0-7 /proc/4674/task/4688/stat : 4688 (java) S 4671 4671 3667 0 -1 1077944384 543 0 0 0 1 0 0 0 20 0 20 0 420592100 27969658880 32413 33554432000 4194304 4196468 140726195884976 139779109062768 139780118948482 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9117696 140726195892972 140726195893398 140726195893398 140726195896271 0 [pid=4674/tid=4689] ppid=4671 vsize=27314120 memory=280805364692880 CPUtime=0.01 cores=0-7 /proc/4674/task/4689/stat : 4689 (java) R 4671 4671 3667 0 -1 4202560 33 0 0 0 1 0 0 0 20 0 20 0 420592100 27969658880 32413 33554432000 4194304 4196468 140726195884976 139779108009968 139780098183202 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9117696 140726195892972 140726195893398 140726195893398 140726195896271 0 [pid=4674/tid=4690] ppid=4671 vsize=27314120 memory=280805364699792 CPUtime=0 cores=0-7 /proc/4674/task/4690/stat : 4690 (java) S 4671 4671 3667 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 20 0 420592100 27969658880 32413 33554432000 4194304 4196468 140726195884976 139777965807984 139780118948482 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9117696 140726195892972 140726195893398 140726195893398 140726195896271 0 [pid=4674/tid=4691] ppid=4671 vsize=27314120 memory=280805364697488 CPUtime=0.07 cores=0-7 /proc/4674/task/4691/stat : 4691 (java) S 4671 4671 3667 0 -1 1077944384 487 0 0 0 7 0 0 0 20 0 20 0 420592100 27969658880 32413 33554432000 4194304 4196468 140726195884976 139777964755184 139780118948482 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9117696 140726195892972 140726195893398 140726195893398 140726195896271 0 [pid=4674/tid=4692] ppid=4671 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/4674/task/4692/stat : 4692 (java) S 4671 4671 3667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420592101 27969658880 32413 33554432000 4194304 4196468 140726195884976 139776959179616 139780118947541 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9117696 140726195892972 140726195893398 140726195893398 140726195896271 0 [pid=4674/tid=4693] ppid=4671 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/4674/task/4693/stat : 4693 (java) S 4671 4671 3667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420592101 27969658880 32413 33554432000 4194304 4196468 140726195884976 139777963703088 139780118948482 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9117696 140726195892972 140726195893398 140726195893398 140726195896271 0 Current children cumulated CPU time: 0.42 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 131048 KiB [startup+0.700964 s] /proc/loadavg: 1.09 3.83 6.33 2/211 4693 /proc/meminfo: memFree=29424116/32770624 swapFree=66958260/67108860 [pid=4671] ppid=4668 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/4671/stat : 4671 (scop.sh) S 4668 4671 3667 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 420592093 115843072 349 33554432000 4194304 5098028 140734152432720 140734152429976 139675350954620 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 25055232 140734152438565 140734152438892 140734152438892 140734152441805 0 /proc/4671/statm: 28282 349 296 221 0 87 0 [pid=4674] ppid=4671 vsize=27320392 memory=167172 CPUtime=0.99 cores=0-7 /proc/4674/stat : 4674 (java) S 4671 4671 3667 0 -1 1077944320 20390 0 0 0 91 8 0 0 20 0 20 0 420592093 27976081408 41793 33554432000 4194304 4196468 140726195884976 140726195867520 139780118937335 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9117696 140726195892972 140726195893398 140726195893398 140726195896271 0 /proc/4674/statm: 6830098 41793 3186 1 0 6791447 0 [pid=4674/tid=4675] ppid=4671 vsize=27320392 memory=0 CPUtime=0.67 cores=0-7 /proc/4674/task/4675/stat : 4675 (java) R 4671 4671 3667 0 -1 4202560 17384 0 0 0 61 6 0 0 20 0 20 0 420592093 27976081408 41793 33554432000 4194304 4196468 140726195884976 139780090774448 139780118959261 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9117696 140726195892972 140726195893398 140726195893398 140726195896271 0 [pid=4674/tid=4676] ppid=4671 vsize=27320392 memory=140402682536816 CPUtime=0 cores=0-7 /proc/4674/task/4676/stat : 4676 (java) S 4671 4671 3667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420592096 27976081408 41793 33554432000 4194304 4196468 140726195884976 139780123179920 139780118947541 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9117696 140726195892972 140726195893398 140726195893398 140726195896271 0 [pid=4674/tid=4677] ppid=4671 vsize=27320392 memory=0 CPUtime=0 cores=0-7 /proc/4674/task/4677/stat : 4677 (java) S 4671 4671 3667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420592096 27976081408 41793 33554432000 4194304 4196468 140726195884976 139779937336080 139780118947541 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9117696 140726195892972 140726195893398 140726195893398 140726195896271 0 [pid=4674/tid=4678] ppid=4671 vsize=27320392 memory=8004 CPUtime=0 cores=0-7 ################ # More data... # ################ /proc/4708/task/4714/stat : 4714 (java) S 4671 4671 3667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420613601 8616062976 30383 33554432000 4194304 4196468 140732771458000 140301693746320 140301892503253 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13099008 140732771464184 140732771464342 140732771464342 140732771467215 0 [pid=4708/tid=4715] ppid=4671 vsize=8414124 memory=1396 CPUtime=0 cores=0-7 /proc/4708/task/4715/stat : 4715 (java) S 4671 4671 3667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420613601 8616062976 30383 33554432000 4194304 4196468 140732771458000 140301692693520 140301892503253 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13099008 140732771464184 140732771464342 140732771464342 140732771467215 0 [pid=4708/tid=4716] ppid=4671 vsize=8414124 memory=10610328 CPUtime=0 cores=0-7 /proc/4708/task/4716/stat : 4716 (java) S 4671 4671 3667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420613601 8616062976 30383 33554432000 4194304 4196468 140732771458000 140301691640720 140301892503253 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13099008 140732771464184 140732771464342 140732771464342 140732771467215 0 [pid=4708/tid=4717] ppid=4671 vsize=8414124 memory=776 CPUtime=0 cores=0-7 /proc/4708/task/4717/stat : 4717 (java) S 4671 4671 3667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420613601 8616062976 30383 33554432000 4194304 4196468 140732771458000 140301690587920 140301892503253 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13099008 140732771464184 140732771464342 140732771464342 140732771467215 0 [pid=4708/tid=4718] ppid=4671 vsize=8414124 memory=1056 CPUtime=0 cores=0-7 /proc/4708/task/4718/stat : 4718 (java) S 4671 4671 3667 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 420613603 8616062976 30383 33554432000 4194304 4196468 140732771458000 140300985952624 140301892504194 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13099008 140732771464184 140732771464342 140732771464342 140732771467215 0 [pid=4708/tid=4719] ppid=4671 vsize=8414124 memory=4000 CPUtime=0 cores=0-7 /proc/4708/task/4719/stat : 4719 (java) S 4671 4671 3667 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 420613603 8616062976 30383 33554432000 4194304 4196468 140732771458000 140300341208096 140301892503253 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13099008 140732771464184 140732771464342 140732771464342 140732771467215 0 [pid=4708/tid=4720] ppid=4671 vsize=8414124 memory=1552 CPUtime=0 cores=0-7 /proc/4708/task/4720/stat : 4720 (java) S 4671 4671 3667 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 420613604 8616062976 30383 33554432000 4194304 4196468 140732771458000 140300206986096 140301892503253 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13099008 140732771464184 140732771464342 140732771464342 140732771467215 0 [pid=4708/tid=4721] ppid=4671 vsize=8414124 memory=1556 CPUtime=0 cores=0-7 /proc/4708/task/4721/stat : 4721 (java) S 4671 4671 3667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420613606 8616062976 30383 33554432000 4194304 4196468 140732771458000 140299832481616 140301892511643 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13099008 140732771464184 140732771464342 140732771464342 140732771467215 0 [pid=4708/tid=4722] ppid=4671 vsize=8414124 memory=-5059952977386882957 CPUtime=0.11 cores=0-7 /proc/4708/task/4722/stat : 4722 (java) S 4671 4671 3667 0 -1 1077944384 735 0 0 0 11 0 0 0 20 0 24 0 420613606 8616062976 30383 33554432000 4194304 4196468 140732771458000 140300984900464 140301892504194 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13099008 140732771464184 140732771464342 140732771464342 140732771467215 0 [pid=4708/tid=4723] ppid=4671 vsize=8414124 memory=1044 CPUtime=0.07 cores=0-7 /proc/4708/task/4723/stat : 4723 (java) S 4671 4671 3667 0 -1 1077944384 218 0 0 0 7 0 0 0 20 0 24 0 420613606 8616062976 30383 33554432000 4194304 4196468 140732771458000 140300983847664 140301892504194 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13099008 140732771464184 140732771464342 140732771464342 140732771467215 0 [pid=4708/tid=4724] ppid=4671 vsize=8414124 memory=712 CPUtime=0.1 cores=0-7 /proc/4708/task/4724/stat : 4724 (java) S 4671 4671 3667 0 -1 1077944384 401 0 0 0 10 0 0 0 20 0 24 0 420613606 8616062976 30383 33554432000 4194304 4196468 140732771458000 140300982794864 140301892504194 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13099008 140732771464184 140732771464342 140732771464342 140732771467215 0 [pid=4708/tid=4725] ppid=4671 vsize=8414124 memory=2832 CPUtime=0.22 cores=0-7 /proc/4708/task/4725/stat : 4725 (java) S 4671 4671 3667 0 -1 1077944384 581 0 0 0 22 0 0 0 20 0 24 0 420613606 8616062976 30383 33554432000 4194304 4196468 140732771458000 140300981742064 140301892504194 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13099008 140732771464184 140732771464342 140732771464342 140732771467215 0 [pid=4708/tid=4726] ppid=4671 vsize=8414124 memory=8004 CPUtime=0 cores=0-7 /proc/4708/task/4726/stat : 4726 (java) S 4671 4671 3667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420613607 8616062976 30383 33554432000 4194304 4196468 140732771458000 140299334576736 140301892503253 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13099008 140732771464184 140732771464342 140732771464342 140732771467215 0 [pid=4708/tid=4727] ppid=4671 vsize=8414124 memory=10428 CPUtime=0 cores=0-7 /proc/4708/task/4727/stat : 4727 (java) S 4671 4671 3667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420613607 8616062976 30383 33554432000 4194304 4196468 140732771458000 140300980689456 140301892504194 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13099008 140732771464184 140732771464342 140732771464342 140732771467215 0 [pid=4708/tid=4729] ppid=4671 vsize=8414124 memory=1196 CPUtime=0 cores=0-7 /proc/4708/task/4729/stat : 4729 (java) S 4671 4671 3667 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 420613679 8616062976 30383 33554432000 4194304 4196468 140732771458000 140300972655680 140301892517657 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 13099008 140732771464184 140732771464342 140732771464342 140732771467215 0 [pid=4708/tid=4731] ppid=4671 vsize=8414124 memory=1044 CPUtime=0 cores=0-7 /proc/4708/task/4731/stat : 4731 (java) S 4671 4671 3667 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 420613679 8616062976 30383 33554432000 4194304 4196468 140732771458000 140298663477424 140301892514973 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 13099008 140732771464184 140732771464342 140732771464342 140732771467215 0 [pid=4708/tid=4732] ppid=4671 vsize=8414124 memory=712 CPUtime=0 cores=0-7 /proc/4708/task/4732/stat : 4732 (java) S 4671 4671 3667 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 420613679 8616062976 30383 33554432000 4194304 4196468 140732771458000 140298931912752 140301892514973 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 13099008 140732771464184 140732771464342 140732771464342 140732771467215 0 [pid=4708/tid=4733] ppid=4671 vsize=8414124 memory=2832 CPUtime=0 cores=0-7 /proc/4708/task/4733/stat : 4733 (java) S 4671 4671 3667 0 -1 1077944384 139 0 0 0 0 0 0 0 20 0 24 0 420613682 8616062976 30383 33554432000 4194304 4196468 140732771458000 140298395049520 140301892503253 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13099008 140732771464184 140732771464342 140732771464342 140732771467215 0 Current children cumulated CPU time: 286.53 s Current children cumulated vsize: 9198552 KiB Current children cumulated memory: 747488 KiB [startup+220.401 s] /proc/loadavg: 1.10 2.46 5.26 2/216 4733 /proc/meminfo: memFree=28802444/32770624 swapFree=66958260/67108860 [pid=4671] ppid=4668 vsize=113128 memory=1476 CPUtime=281.03 cores=0-7 /proc/4671/stat : 4671 (scop.sh) S 4668 4671 3667 0 -1 4202496 583 118999 0 0 0 0 26809 1294 20 0 1 0 420592093 115843072 369 33554432000 4194304 5098028 140734152432720 140734152429464 139675350954620 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 25055232 140734152438565 140734152438892 140734152438892 140734152441805 0 /proc/4671/statm: 28282 369 311 221 0 87 0 [pid=4708] ppid=4671 vsize=8414124 memory=121532 CPUtime=1.37 cores=0-7 /proc/4708/stat : 4708 (java) S 4671 4671 3667 0 -1 1077944320 20356 0 0 0 128 9 0 0 20 0 24 0 420613599 8616062976 30383 33554432000 4194304 4196468 140732771458000 140732771440544 140301892493047 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 13099008 140732771464184 140732771464342 140732771464342 140732771467215 0 /proc/4708/statm: 2103531 30383 3213 1 0 2064875 0 [pid=4728] ppid=4708 vsize=1194156 memory=1145036 CPUtime=4.53 cores=0-7 /proc/4728/stat : 4728 (manyglucose-4.1) R 4708 4671 3667 0 -1 4202496 232141 0 0 0 421 32 0 0 20 0 1 0 420613679 1222815744 286259 33554432000 4194304 4454172 140730117170496 140730117167848 139623588523245 0 4 0 8388610 0 0 0 17 0 0 0 0 0 0 6552832 6554400 13082624 140730117174122 140730117174320 140730117174320 140730117177274 0 /proc/4728/statm: 298539 286259 378 64 0 294207 0 [pid=4708/tid=4709] ppid=4671 vsize=8414124 memory=111636 CPUtime=0.82 cores=0-7 /proc/4708/task/4709/stat : 4709 (java) S 4671 4671 3667 0 -1 1077944384 16868 0 0 0 75 7 0 0 20 0 24 0 420613600 8616062976 30383 33554432000 4194304 4196468 140732771458000 140301864333216 140301892503253 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13099008 140732771464184 140732771464342 140732771464342 140732771467215 0 [pid=4708/tid=4710] ppid=4671 vsize=8414124 memory=140402682772712 CPUtime=0 cores=0-7 /proc/4708/task/4710/stat : 4710 (java) S 4671 4671 3667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420613601 8616062976 30383 33554432000 4194304 4196468 140732771458000 140301896735376 140301892503253 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13099008 140732771464184 140732771464342 140732771464342 140732771467215 0 [pid=4708/tid=4711] ppid=4671 vsize=8414124 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/4708/task/4711/stat : 4711 (java) S 4671 4671 3667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420613601 8616062976 30383 33554432000 4194304 4196468 140732771458000 140301696903696 140301892503253 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13099008 140732771464184 140732771464342 140732771464342 140732771467215 0 [pid=4708/tid=4712] ppid=4671 vsize=8414124 memory=7 CPUtime=0 cores=0-7 /proc/4708/task/4712/stat : 4712 (java) S 4671 4671 3667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420613601 8616062976 30383 33554432000 4194304 4196468 140732771458000 140301695850896 140301892503253 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13099008 140732771464184 140732771464342 140732771464342 140732771467215 0 [pid=4708/tid=4713] ppid=4671 vsize=8414124 memory=10 CPUtime=0 cores=0-7 /proc/4708/task/4713/stat : 4713 (java) S 4671 4671 3667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420613601 8616062976 30383 33554432000 4194304 4196468 140732771458000 140301694798096 140301892503253 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13099008 140732771464184 140732771464342 140732771464342 140732771467215 0 [pid=4708/tid=4714] ppid=4671 vsize=8414124 memory=22 CPUtime=0 cores=0-7 /proc/4708/task/4714/stat : 4714 (java) S 4671 4671 3667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420613601 8616062976 30383 33554432000 4194304 4196468 140732771458000 140301693746320 140301892503253 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13099008 140732771464184 140732771464342 140732771464342 140732771467215 0 [pid=4708/tid=4715] ppid=4671 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/4708/task/4715/stat : 4715 (java) S 4671 4671 3667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420613601 8616062976 30383 33554432000 4194304 4196468 140732771458000 140301692693520 140301892503253 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13099008 140732771464184 140732771464342 140732771464342 140732771467215 0 [pid=4708/tid=4716] ppid=4671 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/4708/task/4716/stat : 4716 (java) S 4671 4671 3667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420613601 8616062976 30383 33554432000 4194304 4196468 140732771458000 140301691640720 140301892503253 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13099008 140732771464184 140732771464342 140732771464342 140732771467215 0 [pid=4708/tid=4717] ppid=4671 vsize=8414124 memory=1476 CPUtime=0 cores=0-7 /proc/4708/task/4717/stat : 4717 (java) S 4671 4671 3667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420613601 8616062976 30383 33554432000 4194304 4196468 140732771458000 140301690587920 140301892503253 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13099008 140732771464184 140732771464342 140732771464342 140732771467215 0 [pid=4708/tid=4718] ppid=4671 vsize=8414124 memory=121532 CPUtime=0 cores=0-7 /proc/4708/task/4718/stat : 4718 (java) S 4671 4671 3667 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 420613603 8616062976 30383 33554432000 4194304 4196468 140732771458000 140300985952624 140301892504194 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13099008 140732771464184 140732771464342 140732771464342 140732771467215 0 [pid=4708/tid=4719] ppid=4671 vsize=8414124 memory=404228 CPUtime=0 cores=0-7 /proc/4708/task/4719/stat : 4719 (java) S 4671 4671 3667 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 420613603 8616062976 30383 33554432000 4194304 4196468 140732771458000 140300341208096 140301892503253 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13099008 140732771464184 140732771464342 140732771464342 140732771467215 0 [pid=4708/tid=4720] ppid=4671 vsize=8414124 memory=288230617509003574 CPUtime=0 cores=0-7 /proc/4708/task/4720/stat : 4720 (java) S 4671 4671 3667 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 420613604 8616062976 30383 33554432000 4194304 4196468 140732771458000 140300206986096 140301892503253 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13099008 140732771464184 140732771464342 140732771464342 140732771467215 0 [pid=4708/tid=4721] ppid=4671 vsize=8414124 memory=1396 CPUtime=0 cores=0-7 /proc/4708/task/4721/stat : 4721 (java) S 4671 4671 3667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420613606 8616062976 30383 33554432000 4194304 4196468 140732771458000 140299832481616 140301892511643 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13099008 140732771464184 140732771464342 140732771464342 140732771467215 0 [pid=4708/tid=4722] ppid=4671 vsize=8414124 memory=10610328 CPUtime=0.11 cores=0-7 /proc/4708/task/4722/stat : 4722 (java) S 4671 4671 3667 0 -1 1077944384 735 0 0 0 11 0 0 0 20 0 24 0 420613606 8616062976 30383 33554432000 4194304 4196468 140732771458000 140300984900464 140301892504194 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13099008 140732771464184 140732771464342 140732771464342 140732771467215 0 [pid=4708/tid=4723] ppid=4671 vsize=8414124 memory=1196 CPUtime=0.07 cores=0-7 /proc/4708/task/4723/stat : 4723 (java) S 4671 4671 3667 0 -1 1077944384 218 0 0 0 7 0 0 0 20 0 24 0 420613606 8616062976 30383 33554432000 4194304 4196468 140732771458000 140300983847664 140301892504194 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13099008 140732771464184 140732771464342 140732771464342 140732771467215 0 [pid=4708/tid=4724] ppid=4671 vsize=8414124 memory=1044 CPUtime=0.1 cores=0-7 /proc/4708/task/4724/stat : 4724 (java) S 4671 4671 3667 0 -1 1077944384 401 0 0 0 10 0 0 0 20 0 24 0 420613606 8616062976 30383 33554432000 4194304 4196468 140732771458000 140300982794864 140301892504194 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13099008 140732771464184 140732771464342 140732771464342 140732771467215 0 [pid=4708/tid=4725] ppid=4671 vsize=8414124 memory=712 CPUtime=0.22 cores=0-7 /proc/4708/task/4725/stat : 4725 (java) S 4671 4671 3667 0 -1 1077944384 581 0 0 0 22 0 0 0 20 0 24 0 420613606 8616062976 30383 33554432000 4194304 4196468 140732771458000 140300981742064 140301892504194 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13099008 140732771464184 140732771464342 140732771464342 140732771467215 0 [pid=4708/tid=4726] ppid=4671 vsize=8414124 memory=2832 CPUtime=0 cores=0-7 /proc/4708/task/4726/stat : 4726 (java) S 4671 4671 3667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420613607 8616062976 30383 33554432000 4194304 4196468 140732771458000 140299334576736 140301892503253 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13099008 140732771464184 140732771464342 140732771464342 140732771467215 0 [pid=4708/tid=4727] ppid=4671 vsize=8414124 memory=8004 CPUtime=0 cores=0-7 /proc/4708/task/4727/stat : 4727 (java) S 4671 4671 3667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420613607 8616062976 30383 33554432000 4194304 4196468 140732771458000 140300980689456 140301892504194 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13099008 140732771464184 140732771464342 140732771464342 140732771467215 0 [pid=4708/tid=4729] ppid=4671 vsize=8414124 memory=10428 CPUtime=0 cores=0-7 /proc/4708/task/4729/stat : 4729 (java) S 4671 4671 3667 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 420613679 8616062976 30383 33554432000 4194304 4196468 140732771458000 140300972655680 140301892517657 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 13099008 140732771464184 140732771464342 140732771464342 140732771467215 0 [pid=4708/tid=4731] ppid=4671 vsize=8414124 memory=14012 CPUtime=0 cores=0-7 /proc/4708/task/4731/stat : 4731 (java) S 4671 4671 3667 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 420613679 8616062976 30383 33554432000 4194304 4196468 140732771458000 140298663477424 140301892514973 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 13099008 140732771464184 140732771464342 140732771464342 140732771467215 0 [pid=4708/tid=4732] ppid=4671 vsize=8414124 memory=14080 CPUtime=0 cores=0-7 /proc/4708/task/4732/stat : 4732 (java) S 4671 4671 3667 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 420613679 8616062976 30383 33554432000 4194304 4196468 140732771458000 140298931912752 140301892514973 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 13099008 140732771464184 140732771464342 140732771464342 140732771467215 0 [pid=4708/tid=4733] ppid=4671 vsize=8414124 memory=22176 CPUtime=0 cores=0-7 /proc/4708/task/4733/stat : 4733 (java) S 4671 4671 3667 0 -1 1077944384 139 0 0 0 0 0 0 0 20 0 24 0 420613682 8616062976 30383 33554432000 4194304 4196468 140732771458000 140298395049520 140301892503253 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13099008 140732771464184 140732771464342 140732771464342 140732771467215 0 Current children cumulated CPU time: 286.93 s Current children cumulated vsize: 9721408 KiB Current children cumulated memory: 1268044 KiB [startup+220.601 s] /proc/loadavg: 1.10 2.46 5.26 2/216 4733 /proc/meminfo: memFree=28802444/32770624 swapFree=66958260/67108860 [pid=4671] ppid=4668 vsize=113128 memory=1476 CPUtime=281.03 cores=0-7 /proc/4671/stat : 4671 (scop.sh) S 4668 4671 3667 0 -1 4202496 583 118999 0 0 0 0 26809 1294 20 0 1 0 420592093 115843072 369 33554432000 4194304 5098028 140734152432720 140734152429464 139675350954620 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 25055232 140734152438565 140734152438892 140734152438892 140734152441805 0 /proc/4671/statm: 28282 369 311 221 0 87 0 [pid=4708] ppid=4671 vsize=8414124 memory=122416 CPUtime=1.42 cores=0-7 /proc/4708/stat : 4708 (java) S 4671 4671 3667 0 -1 1077944320 20604 0 0 0 133 9 0 0 20 0 24 0 420613599 8616062976 30604 33554432000 4194304 4196468 140732771458000 140732771440544 140301892493047 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 13099008 140732771464184 140732771464342 140732771464342 140732771467215 0 /proc/4708/statm: 2103531 30604 3213 1 0 2064875 0 [pid=4708/tid=4709] ppid=4671 vsize=8414124 memory=932 CPUtime=0.82 cores=0-7 /proc/4708/task/4709/stat : 4709 (java) S 4671 4671 3667 0 -1 1077944384 16868 0 0 0 75 7 0 0 20 0 24 0 420613600 8616062976 30604 33554432000 4194304 4196468 140732771458000 140301864333216 140301892503253 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13099008 140732771464184 140732771464342 140732771464342 140732771467215 0 [pid=4708/tid=4710] ppid=4671 vsize=8414124 memory=1568 CPUtime=0 cores=0-7 /proc/4708/task/4710/stat : 4710 (java) S 4671 4671 3667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420613601 8616062976 30604 33554432000 4194304 4196468 140732771458000 140301896735376 140301892503253 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13099008 140732771464184 140732771464342 140732771464342 140732771467215 0 [pid=4708/tid=4711] ppid=4671 vsize=8414124 memory=288230574492221466 CPUtime=0 cores=0-7 /proc/4708/task/4711/stat : 4711 (java) S 4671 4671 3667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420613601 8616062976 30604 33554432000 4194304 4196468 140732771458000 140301696903696 140301892503253 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13099008 140732771464184 140732771464342 140732771464342 140732771467215 0 [pid=4708/tid=4712] ppid=4671 vsize=8414124 memory=288230617509003574 CPUtime=0 cores=0-7 /proc/4708/task/4712/stat : 4712 (java) S 4671 4671 3667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420613601 8616062976 30604 33554432000 4194304 4196468 140732771458000 140301695850896 140301892503253 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13099008 140732771464184 140732771464342 140732771464342 140732771467215 0 [pid=4708/tid=4713] ppid=4671 vsize=8414124 memory=15815620889413925 CPUtime=0 cores=0-7 /proc/4708/task/4713/stat : 4713 (java) S 4671 4671 3667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420613601 8616062976 30604 33554432000 4194304 4196468 140732771458000 140301694798096 140301892503253 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13099008 140732771464184 140732771464342 140732771464342 140732771467215 0 [pid=4708/tid=4714] ppid=4671 vsize=8414124 memory=4104 CPUtime=0 cores=0-7 /proc/4708/task/4714/stat : 4714 (java) S 4671 4671 3667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420613601 8616062976 30604 33554432000 4194304 4196468 140732771458000 140301693746320 140301892503253 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13099008 140732771464184 140732771464342 140732771464342 140732771467215 0 [pid=4708/tid=4715] ppid=4671 vsize=8414124 memory=1412 CPUtime=0 cores=0-7 /proc/4708/task/4715/stat : 4715 (java) S 4671 4671 3667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420613601 8616062976 30604 33554432000 4194304 4196468 140732771458000 140301692693520 140301892503253 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13099008 140732771464184 140732771464342 140732771464342 140732771467215 0 [pid=4708/tid=4716] ppid=4671 vsize=8414124 memory=3248 CPUtime=0 cores=0-7 /proc/4708/task/4716/stat : 4716 (java) S 4671 4671 3667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420613601 8616062976 30604 33554432000 4194304 4196468 140732771458000 140301691640720 140301892503253 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13099008 140732771464184 140732771464342 140732771464342 140732771467215 0 [pid=4708/tid=4717] ppid=4671 vsize=8414124 memory=1476 CPUtime=0 cores=0-7 /proc/4708/task/4717/stat : 4717 (java) S 4671 4671 3667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420613601 8616062976 30604 33554432000 4194304 4196468 140732771458000 140301690587920 140301892503253 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13099008 140732771464184 140732771464342 140732771464342 140732771467215 0 [pid=4708/tid=4718] ppid=4671 vsize=8414124 memory=121532 CPUtime=0 cores=0-7 /proc/4708/task/4718/stat : 4718 (java) S 4671 4671 3667 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 420613603 8616062976 30604 33554432000 4194304 4196468 140732771458000 140300985952624 140301892504194 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13099008 140732771464184 140732771464342 140732771464342 140732771467215 0 [pid=4708/tid=4719] ppid=4671 vsize=8414124 memory=190360 CPUtime=0 cores=0-7 /proc/4708/task/4719/stat : 4719 (java) S 4671 4671 3667 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 420613603 8616062976 30604 33554432000 4194304 4196468 140732771458000 140300341208096 140301892503253 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13099008 140732771464184 140732771464342 140732771464342 140732771467215 0 [pid=4708/tid=4720] ppid=4671 vsize=8414124 memory=1660 CPUtime=0 cores=0-7 /proc/4708/task/4720/stat : 4720 (java) S 4671 4671 3667 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 420613604 8616062976 30604 33554432000 4194304 4196468 140732771458000 140300206986096 140301892503253 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13099008 140732771464184 140732771464342 140732771464342 140732771467215 0 [pid=4708/tid=4721] ppid=4671 vsize=8414124 memory=1398722017469774279 CPUtime=0 cores=0-7 /proc/4708/task/4721/stat : 4721 (java) S 4671 4671 3667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420613606 8616062976 30604 33554432000 4194304 4196468 140732771458000 140299832481616 140301892511643 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13099008 140732771464184 140732771464342 140732771464342 140732771467215 0 [pid=4708/tid=4722] ppid=4671 vsize=8414124 memory=4872558044660077418 CPUtime=0.11 cores=0-7 /proc/4708/task/4722/stat : 4722 (java) S 4671 4671 3667 0 -1 1077944384 739 0 0 0 11 0 0 0 20 0 24 0 420613606 8616062976 30604 33554432000 4194304 4196468 140732771458000 140300984900464 140301892504194 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13099008 140732771464184 140732771464342 140732771464342 140732771467215 0 [pid=4708/tid=4723] ppid=4671 vsize=8414124 memory=1444 CPUtime=0.07 cores=0-7 /proc/4708/task/4723/stat : 4723 (java) S 4671 4671 3667 0 -1 1077944384 218 0 0 0 7 0 0 0 20 0 24 0 420613606 8616062976 30604 33554432000 4194304 4196468 140732771458000 140300983847664 140301892504194 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13099008 140732771464184 140732771464342 140732771464342 140732771467215 0 [pid=4708/tid=4724] ppid=4671 vsize=8414124 memory=880 CPUtime=0.11 cores=0-7 /proc/4708/task/4724/stat : 4724 (java) S 4671 4671 3667 0 -1 1077944384 407 0 0 0 11 0 0 0 20 0 24 0 420613606 8616062976 30604 33554432000 4194304 4196468 140732771458000 140300982794864 140301892504194 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13099008 140732771464184 140732771464342 140732771464342 140732771467215 0 [pid=4708/tid=4725] ppid=4671 vsize=8414124 memory=1976 CPUtime=0.24 cores=0-7 /proc/4708/task/4725/stat : 4725 (java) S 4671 4671 3667 0 -1 1077944384 811 0 0 0 24 0 0 0 20 0 24 0 420613606 8616062976 30604 33554432000 4194304 4196468 140732771458000 140300981742064 140301892504194 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13099008 140732771464184 140732771464342 140732771464342 140732771467215 0 [pid=4708/tid=4726] ppid=4671 vsize=8414124 memory=7824336315716348491 CPUtime=0 cores=0-7 /proc/4708/task/4726/stat : 4726 (java) S 4671 4671 3667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420613607 8616062976 30604 33554432000 4194304 4196468 140732771458000 140299334576736 140301892503253 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13099008 140732771464184 140732771464342 140732771464342 140732771467215 0 [pid=4708/tid=4727] ppid=4671 vsize=8414124 memory=7523380204214313555 CPUtime=0 cores=0-7 /proc/4708/task/4727/stat : 4727 (java) S 4671 4671 3667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420613607 8616062976 30604 33554432000 4194304 4196468 140732771458000 140300980689456 140301892504194 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13099008 140732771464184 140732771464342 140732771464342 140732771467215 0 [pid=4708/tid=4729] ppid=4671 vsize=8414124 memory=7379821265976584815 CPUtime=0 cores=0-7 /proc/4708/task/4729/stat : 4729 (java) S 4671 4671 3667 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 420613679 8616062976 30604 33554432000 4194304 4196468 140732771458000 140300972655680 140301892517657 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 13099008 140732771464184 140732771464342 140732771464342 140732771467215 0 [pid=4708/tid=4731] ppid=4671 vsize=8414124 memory=7309455721482578028 CPUtime=0.01 cores=0-7 /proc/4708/task/4731/stat : 4731 (java) S 4671 4671 3667 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 24 0 420613679 8616062976 30604 33554432000 4194304 4196468 140732771458000 140298663477456 140301892514973 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 13099008 140732771464184 140732771464342 140732771464342 140732771467215 0 [pid=4708/tid=4732] ppid=4671 vsize=8414124 memory=5450909908396308010 CPUtime=0 cores=0-7 /proc/4708/task/4732/stat : 4732 (java) S 4671 4671 3667 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 420613679 8616062976 30604 33554432000 4194304 4196468 140732771458000 140298931912752 140301892514973 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 13099008 140732771464184 140732771464342 140732771464342 140732771467215 0 [pid=4708/tid=4733] ppid=4671 vsize=8414124 memory=7379544262009251427 CPUtime=0 cores=0-7 /proc/4708/task/4733/stat : 4733 (java) S 4671 4671 3667 0 -1 1077944384 139 0 0 0 0 0 0 0 20 0 24 0 420613682 8616062976 30604 33554432000 4194304 4196468 140732771458000 140298395049520 140301892503253 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13099008 140732771464184 140732771464342 140732771464342 140732771467215 0 Current children cumulated CPU time: 282.45 s Current children cumulated vsize: 8527252 KiB Current children cumulated memory: 123892 KiB Child status: 0 Real time (s): 220.632 CPU time (s): 287.308 CPU user time (s): 273.817 CPU system time (s): 13.4916 CPU usage (%): 130.221 Max. virtual memory (cumulated for all children) (KiB): 27443924 Max. memory (cumulated for all children) (KiB): 10612836 getrusage(RUSAGE_CHILDREN,...) data: user time used= 273.817 system time used= 13.4916 maximum resident set size= 10612184 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 401214 page faults= 0 swaps= 0 block input operations= 0 block output operations= 80560 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 18362 involuntary context switches= 781 # summary of solver processes directly reported to runsolver: # pid: 4671 # total CPU time (s): 287.308 # total CPU user time (s): 273.817 # total CPU system time (s): 13.4916 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 1.60514 second user time and 2.24182 second system time The end
Begin job on node145 at 2019-09-14 09:35:14 IDJOB=4392275 IDBENCH=140009 IDSOLVER=2838 FILE ID=node145/4392275-1568446556 RUNJOBID= node145-1568439892-3694 PBS_JOBID= 21702338 Free space on /tmp= 59504 MiB SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-06-15) BENCH NAME= XCSP17/Crossword/Crossword-m1c-ogd-vg/Crossword-m1c-ogd-vg-15-19.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-4392275-1568446556/watcher-4392275-1568446556 -o /tmp/evaluation-result-4392275-1568446556/solver-4392275-1568446556 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node145-1568439892-3694 --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-4392275-1568446556.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 771a2032fa08b3551aec0b6adeb94e67 RANDOM SEED=1725493278 node145.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.59 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.59 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.59 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.59 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 29565856 kB MemAvailable: 31859796 kB Buffers: 140752 kB Cached: 2437072 kB SwapCached: 41120 kB Active: 1239976 kB Inactive: 1381912 kB Active(anon): 6184 kB Inactive(anon): 78528 kB Active(file): 1233792 kB Inactive(file): 1303384 kB Unevictable: 109424 kB Mlocked: 109424 kB SwapTotal: 67108860 kB SwapFree: 66958260 kB Dirty: 21020 kB Writeback: 0 kB AnonPages: 113068 kB Mapped: 44336 kB Shmem: 32372 kB Slab: 173580 kB SReclaimable: 145200 kB SUnreclaim: 28380 kB KernelStack: 3376 kB PageTables: 5268 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 498124 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 67584 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /tmp at the end= 59484 MiB End job on node145 at 2019-09-14 09:38:55