Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
Fun-sCOP hybrid+ManyGlucose (2019-06-15) | UNSAT | 687.573 | 109.818 |
Name | Random/Random-RB-3-20-20/ rand-3-20-20-60-632-45.xml |
MD5SUM | 9875f5c0ec8fbb2d8215ec13f3e1e37d |
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 | 10.4554 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 20 |
Number of constraints | 57 |
Number of domains | 1 |
Minimum domain size | 20 |
Maximum domain size | 20 |
Distribution of domain sizes | [{"size":20,"count":20}] |
Minimum variable degree | 3 |
Maximum variable degree | 16 |
Distribution of variable degrees | [{"degree":3,"count":1},{"degree":6,"count":5},{"degree":7,"count":2},{"degree":8,"count":3},{"degree":9,"count":3},{"degree":10,"count":2},{"degree":12,"count":2},{"degree":13,"count":1},{"degree":16,"count":1}] |
Minimum constraint arity | 3 |
Maximum constraint arity | 3 |
Distribution of constraint arities | [{"arity":3,"count":57}] |
Number of extensional constraints | 57 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":57}] |
Optimization problem | NO |
Type of objective |
0.00/0.00 c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -hybrid -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-8412-serial-file.bin HOME/instance-4392593-1568417282.xml 0.65/0.54 0.65/0.54 Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15) 0.65/0.54 0.65/0.56 c BEGIN-Prog: Sat Sep 14 01:27:25 CEST 2019 0.65/0.56 c PID: 8415 0.65/0.56 c IP: 172.20.3.149 0.65/0.56 c HOST: node149.alineos.net 0.65/0.57 c (0,0) Parsing Begin 2.51/1.26 c (0,0) Parsing End 2.51/1.27 c (0,0) CSP: 20 int (0 aux), 0 bool (0 aux), 57 ctr, max domain size 20 2.51/1.27 c (0,0) Heap : 450 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB) 2.51/1.27 c (0,0) Constraint Name Generate Begin 2.51/1.27 c (0,0) Ctr:HOME/instance-4392593-1568417282.xml,ExtensionSupport:Var 2.51/1.27 c (0,0) Constraint Name Generate End 2.51/1.27 c (0,0) Heap : 450 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB) 2.51/1.27 c (0,0) CSP to CSPinCNF Begin 9.51/3.43 c (2,2) translated 6 (10%) constraints 11.93/5.00 c (4,4) translated 12 (20%) constraints 13.77/6.53 c (5,5) translated 18 (30%) constraints 15.12/7.70 c (7,7) translated 23 (40%) constraints 16.69/9.21 c (8,8) translated 29 (50%) constraints 18.28/10.73 c (10,10) translated 35 (60%) constraints 19.49/11.97 c (11,11) translated 40 (70%) constraints 21.01/13.48 c (12,12) translated 46 (80%) constraints 22.42/14.88 c (14,14) translated 52 (90%) constraints 23.63/16.01 c (15,15) translated 57 (100%) constraints 23.82/16.26 c (15,15) =========================================== 24.05/16.41 c (15,15) Hybrid: #OE=23669, #LE=0 24.05/16.41 c (15,15) Hybrid 24.05/16.41 c (15,15) =========================================== 27.26/17.26 c (16,16) translated 26715 (10%) constraints 27.91/17.77 c (17,16) translated 53430 (20%) constraints 28.42/18.27 c (17,17) translated 80145 (30%) constraints 28.91/18.79 c (18,17) translated 106859 (40%) constraints 29.42/19.29 c (18,18) translated 133574 (50%) constraints 29.95/19.79 c (19,18) translated 160289 (60%) constraints 30.46/20.29 c (19,19) translated 187003 (70%) constraints 30.96/20.79 c (20,19) translated 213718 (80%) constraints 31.46/21.29 c (20,20) translated 240433 (90%) constraints 31.96/21.80 c (21,20) translated 267147 (100%) constraints 31.96/21.80 c (21,20) CSP to CSPinCNF End 32.06/21.81 c (21,20) CSP: 20 int (0 aux), 23649 bool (23649 aux), 267147 ctr, max domain size 20 32.06/21.81 c (21,20) Heap : 1712 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB) 32.06/21.81 c (21,20) CSPinCNF Propagation Begin 33.94/23.09 c (22,22) 0 values, 57 unsatisfiable literals, and 0 valid clauses are removed 33.94/23.09 c (22,22) CSPinCNF Propagation End 33.94/23.10 c (22,22) CSP: 20 int (0 aux), 23649 bool (23649 aux), 267147 ctr, max domain size 20 33.94/23.10 c (22,22) Heap : 2926 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB) 34.15/23.25 c (22,22) Hybrid: #OE=23669, #LE=0 34.15/23.25 c (22,22) Simplify CSPinCNF Begin 34.76/23.74 c (23,22) Simplify CSPinCNF End 34.76/23.74 c (23,22) CSP: 20 int (0 aux), 23649 bool (23649 aux), 267147 ctr, max domain size 20 34.76/23.74 c (23,22) Heap : 3147 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB) 34.76/23.74 c (23,22) Calculate Precise Domain Begin 34.76/23.74 c (23,22) 0 values are removed by re-calculation 34.76/23.74 c (23,22) Calculate Precise Domain End 34.76/23.75 c (23,22) CSP: 20 int (0 aux), 23649 bool (23649 aux), 267147 ctr, max domain size 20 34.76/23.75 c (23,22) Heap : 3147 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB) 34.76/23.75 c (23,22) CSPinCNF to SatSolver Begin 36.86/24.33 c (23,23) 26715 (10 %) CSP clauses are encoded (0 SAT variables, 27074 SAT clauses) 37.11/24.55 c (24,23) 53430 (20 %) CSP clauses are encoded (0 SAT variables, 53789 SAT clauses) 37.31/24.76 c (24,23) 80145 (30 %) CSP clauses are encoded (0 SAT variables, 80504 SAT clauses) 37.51/24.97 c (24,24) 106859 (40 %) CSP clauses are encoded (0 SAT variables, 107218 SAT clauses) 37.72/25.18 c (24,24) 133574 (50 %) CSP clauses are encoded (0 SAT variables, 133933 SAT clauses) 37.91/25.39 c (24,24) 160289 (60 %) CSP clauses are encoded (0 SAT variables, 160648 SAT clauses) 38.21/25.60 c (25,24) 187003 (70 %) CSP clauses are encoded (0 SAT variables, 187362 SAT clauses) 38.41/25.81 c (25,24) 213718 (80 %) CSP clauses are encoded (0 SAT variables, 214077 SAT clauses) 38.62/26.02 c (25,25) 240433 (90 %) CSP clauses are encoded (0 SAT variables, 240792 SAT clauses) 38.81/26.23 c (25,25) 267147 (100 %) CSP clauses are encoded (0 SAT variables, 267506 SAT clauses) 38.81/26.23 c (25,25) CSPinCNF to SatSolver End 38.81/26.23 c (25,25) Heap : 5245 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB) 38.81/26.23 c (25,25) 24029 bool, 267507 clause 38.81/26.23 c (25,25) Export Begin 38.96/26.31 c (25,25) Export to HOME/scop-8412-serial-file.bin 38.96/26.31 c (25,25) Export End 38.96/26.31 c (25,25) Export File Size: 0.01 MB 38.96/26.31 c (25,25) 0,0,21,22,23,23,25,STOP-AFTER(DIMACS) 38.96/26.31 c END-Prog: Sat Sep 14 01:27:51 CEST 2019 38.96/26.34 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-8412-serial-file.bin 39.04/26.80 c (0,0) Read Serial File Begin 39.04/26.80 c (0,0) HOME/scop-8412-serial-file.bin 39.80/27.09 c (0,0) Read Serial File End 39.80/27.10 39.80/27.10 Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15) 39.80/27.10 (Solving Process) 39.80/27.10 39.95/27.13 c BEGIN-Prog: Sat Sep 14 01:27:52 CEST 2019 39.95/27.13 c PID: 8437 39.95/27.13 c IP: 172.20.3.149 39.95/27.13 c HOST: node149.alineos.net 39.95/27.13 c (0,0) SatSolver.solve Begin 39.95/27.13 c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392593-1568417282.xml-scop-8415.cnf 39.95/27.16 c (0,0) c 39.95/27.16 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) 39.95/27.16 c (0,0) c 39.95/27.16 c (0,0) c WARNING: for repeatability, setting FPU to use double precision 39.95/27.16 c (0,0) c 8 solvers engines and 1 companion as a blackboard created. 39.95/27.16 c (0,0) c ========================================[ Problem Statistics ]=========================================== 39.95/27.16 c (0,0) c | | 40.17/27.24 c (0,0) c | Number of variables: 24029 | 40.17/27.24 c (0,0) c | Number of clauses: 267507 | 40.17/27.24 c (0,0) c | Parse time: 0.08 s | 40.17/27.24 c (0,0) c | | 40.19/27.36 c (0,0) c | Simplification time: 0.12 s | 40.19/27.36 c (0,0) c | | 40.19/27.36 c (0,0) c | Generating clones | 40.19/27.44 c (0,0) c | all clones generated. Memory = 189.93Mb. | 40.19/27.44 c (0,0) c ========================================================================================================| 40.19/27.44 c (0,0) c 40.19/27.44 c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 40.19/27.44 c (0,0) c 40.19/27.44 c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 40.19/27.44 c (0,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 40.19/27.44 c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 40.19/27.44 c (0,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 40.19/27.44 c (0,0) c | adaptStrategeis | True | False | True | False | True | False | True | False | 40.19/27.44 c (0,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 40.19/27.44 c (0,0) c | Initial random_seed | 91648253 | 91648254 | 91648255 | 91648256 | 91648257 | 91648258 | 91648259 | 91648260 | 40.19/27.44 c (0,0) c | chanseokStrategy | False | False | False | False | False | False | False | False | 40.19/27.44 c (0,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 40.19/27.44 c (0,0) c | glureduce | True | True | True | True | True | True | True | True | 40.19/27.44 c (0,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 40.19/27.44 c (0,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 40.19/27.44 c (0,0) c | luby_restart | False | False | False | False | False | False | False | False | 40.19/27.44 c (0,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 40.19/27.44 c (0,0) c | var_decay | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 40.19/27.44 c (0,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 40.19/27.44 c (0,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 40.19/27.44 c (0,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 40.19/27.44 c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 275.25/56.99 c (30,0) c 275.25/56.99 c (30,0) c |------------------------------------------------------------------------------------------------------------------------| 275.25/56.99 c (30,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 275.25/56.99 c (30,0) c |------------------------------------------------------------------------------------------------------------------------| 275.25/56.99 c (30,0) c | 0 | 26 | 45748 | 34920 | 85463 | 18726 | 5926 | 39440 | 2567 | 214 | 20 | 0.000 | 275.25/56.99 c (30,0) c | 1 | 14 | 45270 | 35294 | 76414 | 19105 | 6501 | 36870 | 1545 | 213 | 20 | 0.000 | 275.25/56.99 c (30,0) c | 2 | 16 | 54139 | 41839 | 81797 | 15748 | 7324 | 15031 | 1859 | 222 | 20 | 0.000 | 275.25/56.99 c (30,0) c | 3 | 29 | 45152 | 34332 | 82776 | 18142 | 6379 | 41559 | 2081 | 217 | 20 | 0.000 | 275.25/56.99 c (30,0) c | 4 | 15 | 42441 | 32859 | 80422 | 16669 | 6533 | 33275 | 1859 | 213 | 20 | 0.000 | 275.25/56.99 c (30,0) c | 5 | 29 | 48038 | 36165 | 86013 | 10077 | 6495 | 39035 | 2550 | 223 | 20 | 0.000 | 275.25/56.99 c (30,0) c | 6 | 11 | 43926 | 33760 | 81122 | 17569 | 6290 | 41399 | 1795 | 218 | 20 | 0.000 | 275.25/56.99 c (30,0) c | 7 | 18 | 49467 | 37717 | 84590 | 11630 | 6803 | 39199 | 2568 | 223 | 20 | 0.000 | 275.25/56.99 c (30,0) c 275.25/56.99 c (30,0) c synthesis 286888 conflicts 701570090 propagations 1220 conflicts/sec 2983337 propagations/sec 275.25/56.99 c (30,0) c real: 29.8383 s, cpu: 235.163 s, memory: 761.86 Mb 514.36/86.99 c (60,0) c 514.36/86.99 c (60,0) c |------------------------------------------------------------------------------------------------------------------------| 514.36/86.99 c (60,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 514.36/86.99 c (60,0) c |------------------------------------------------------------------------------------------------------------------------| 514.36/86.99 c (60,0) c | 0 | 42 | 83015 | 65471 | 107392 | 21906 | 10248 | 73937 | 5258 | 425 | 20 | 0.033 | 514.36/86.99 c (60,0) c | 1 | 22 | 86019 | 69361 | 102733 | 14109 | 10522 | 72167 | 4535 | 429 | 20 | 0.029 | 514.36/86.99 c (60,0) c | 2 | 19 | 94257 | 75644 | 107307 | 20870 | 11492 | 52810 | 3566 | 440 | 20 | 0.017 | 514.36/86.99 c (60,0) c | 3 | 51 | 84468 | 66407 | 107269 | 26752 | 11582 | 71588 | 4952 | 429 | 20 | 0.029 | 514.36/86.99 c (60,0) c | 4 | 24 | 77052 | 61275 | 103832 | 19042 | 10943 | 71844 | 5084 | 422 | 20 | 0.029 | 514.36/86.99 c (60,0) c | 5 | 61 | 87817 | 68316 | 110254 | 28420 | 11459 | 74778 | 5740 | 440 | 20 | 0.033 | 514.36/86.99 c (60,0) c | 6 | 34 | 80672 | 63468 | 106492 | 24006 | 10037 | 73978 | 4531 | 429 | 20 | 0.029 | 514.36/86.99 c (60,0) c | 7 | 24 | 88586 | 70456 | 106395 | 16499 | 11730 | 73779 | 4988 | 442 | 20 | 0.029 | 514.36/86.99 c (60,0) c 514.36/86.99 c (60,0) c synthesis 540398 conflicts 1339298278 propagations 1140 conflicts/sec 2824679 propagations/sec 514.36/86.99 c (60,0) c real: 59.8383 s, cpu: 474.142 s, memory: 761.86 Mb 687.38/109.78 c (83,0) c 687.38/109.78 c (83,0) c real time : 82.6314 s 687.38/109.78 c (83,0) c cpu time : 646.138 s 687.38/109.79 c (83,0) c 687.38/109.79 c (83,0) c 687.38/109.79 c (83,0) c 687.38/109.79 c (83,0) c |---------------------------------------- FINAL STATS --------------------------------------------------| 687.38/109.79 c (83,0) c 687.38/109.79 c (83,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 687.38/109.79 c (83,0) c | Threads | Total | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 687.38/109.79 c (83,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 687.38/109.79 c (83,0) c | Conflicts | 707561 | 87008 | 90514 | 95057 | 87966 | 83290 | 88260 | 84731 | 90735 | 687.38/109.79 c (83,0) c | Decisions | 878057 | 108462 | 110653 | 117145 | 109576 | 103040 | 111159 | 105842 | 112180 | 687.38/109.79 c (83,0) c | Propagations | 1773521225 | 220986073 | 225111240 | 220477380 | 217564354 | 223594045 | 219575332 | 221505726 | 224707075 | 687.38/109.79 c (83,0) c | ReduceDBs | 59 | 7 | 8 | 8 | 7 | 7 | 7 | 7 | 8 | 687.38/109.79 c (83,0) c | SimpDBs | 52 | 6 | 7 | 6 | 7 | 5 | 8 | 8 | 5 | 687.38/109.79 c (83,0) c | Restarts | 329 | 52 | 23 | 21 | 61 | 35 | 69 | 43 | 25 | 687.38/109.79 c (83,0) c | ForcedImports | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 687.38/109.79 c (83,0) c | PropBinClauses| 2058023884 | 258537581 | 262233493 | 251278629 | 253470509 | 262526180 | 253994098 | 258232967 | 257750427 | 687.38/109.79 c (83,0) c | PropPreBlocker| 15634941198 | 1952848922 | 1961859910 | 1965998883 | 1949576458 | 1945044153 | 1950304368 | 1947081373 | 1962227131 | 687.38/109.79 c (83,0) c | PropNotBlocker| 7304803657 | 918166045 | 904225834 | 902554522 | 926864203 | 911879025 | 921509046 | 923337689 | 896267293 | 687.38/109.79 c (83,0) c | LitFullScans | 27879017495 | 3484626162 | 3486543402 | 3486627426 | 3486606511 | 3480522689 | 3487016088 | 3480502755 | 3486572462 | 687.38/109.79 c (83,0) c | LitScanFracts | 4198709 | 508713 | 541948 | 624648 | 532096 | 506237 | 534242 | 486644 | 464181 | 687.38/109.79 c (83,0) c | DecisionLevel0| 362 | 62 | 28 | 23 | 64 | 36 | 78 | 45 | 26 | 687.38/109.79 c (83,0) c | Periods | 4645 | 580 | 581 | 581 | 581 | 580 | 581 | 580 | 581 | 687.38/109.79 c (83,0) c | Margin | 160 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 687.38/109.79 c (83,0) c | Avg_Trail | | 6636 | 6508 | 6908 | 6556 | 6714 | 6490 | 6627 | 6832 | 687.38/109.79 c (83,0) c | Avg_DL | | 11 | 12 | 12 | 12 | 11 | 11 | 12 | 12 | 687.38/109.79 c (83,0) c | Avg_Res | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 687.38/109.79 c (83,0) c | Avg_Res_Seen | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 687.38/109.79 c (83,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 687.38/109.79 c (83,0) c | Exported | 109351 | 12651 | 13575 | 14022 | 13998 | 13552 | 14623 | 12429 | 14501 | 687.38/109.79 c (83,0) c | Imported | 732551 | 94191 | 93164 | 92534 | 92698 | 90873 | 92532 | 94229 | 82330 | 687.38/109.79 c (83,0) c | Good | 29336 | 3665 | 3748 | 3725 | 3665 | 3658 | 3702 | 3702 | 3471 | 687.38/109.79 c (83,0) c | Purge | 703215 | 90526 | 89416 | 88809 | 89033 | 87215 | 88830 | 90527 | 78859 | 687.38/109.79 c (83,0) c | Promoted | 54250 | 7208 | 6128 | 5488 | 6844 | 7335 | 7587 | 6707 | 6953 | 687.38/109.79 c (83,0) c | Remove_Imp | 385996 | 47721 | 54460 | 52037 | 43472 | 49321 | 42582 | 47769 | 48634 | 687.38/109.79 c (83,0) c | Blocked_Reuse | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 687.38/109.79 c (83,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 687.38/109.79 c (83,0) c | Unaries | | 10 | 5 | 2 | 3 | 1 | 9 | 2 | 1 | 687.38/109.79 c (83,0) c | Binaries | | 619 | 522 | 537 | 605 | 512 | 596 | 563 | 441 | 687.38/109.79 c (83,0) c | Glues | | 2829 | 2463 | 2737 | 2891 | 2583 | 2797 | 2966 | 2619 | 687.38/109.79 c (83,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 687.38/109.79 c (83,0) c | Orig_Seen | 46 % | 117206 | 113432 | 117940 | 116757 | 115101 | 118333 | 116176 | 116320 | 687.38/109.79 c (83,0) c | Diff Orig seen| | X | - 3774 | 734 | - 449 | - 2105 | 1127 | - 1030 | - 886 | 687.38/109.79 c (83,0) c | Hamming | 38 % | X | 10144 | 9176 | 8766 | 8003 | 8943 | 10136 | 9970 | 687.38/109.79 c (83,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 687.38/109.79 c (83,0) c | RunningTime | | 81.7 100%| 80.6 100%| 79.9 99%| 80.9 100%| 82.0 100%| 79.8 99%| 82.3 100%| 81.5 100%| 687.38/109.79 c (83,0) c | WaitingTime | | 0.0 0%| 0.0 0%| 0.7 1%| 0.0 0%| 0.0 0%| 0.8 1%| 0.0 0%| 0.2 0%| 687.38/109.79 c (83,0) c | ExchangingTime| | 0.0 0%| 0.0 0%| 0.1 0%| 0.1 0%| 0.0 0%| 0.1 0%| 0.1 0%| 0.0 0%| 687.38/109.79 c (83,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%| 687.38/109.79 c (83,0) c | SolvingTime | | 81.7 | 80.6 | 80.6 | 81.0 | 82.1 | 80.6 | 82.3 | 81.7 | 687.38/109.79 c (83,0) c | PropagationTim| | 77.7 95%| 76.5 95%| 76.4 95%| 76.7 95%| 78.1 95%| 76.6 95%| 78.2 95%| 77.6 95%| 687.38/109.79 c (83,0) c | AnalysisTime | | 1.8 2%| 1.9 2%| 1.9 2%| 2.0 2%| 1.8 2%| 1.7 2%| 1.8 2%| 1.9 2%| 687.38/109.79 c (83,0) c | ReductionTime | | 0.1 0%| 0.2 0%| 0.2 0%| 0.1 0%| 0.2 0%| 0.1 0%| 0.1 0%| 0.1 0%| 687.38/109.79 c (83,0) c | SimplifyTime | | 0.1 0%| 0.1 0%| 0.1 0%| 0.1 0%| 0.1 0%| 0.1 0%| 0.1 0%| 0.1 0%| 687.38/109.79 c (83,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%| 687.38/109.79 c (83,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%| 687.38/109.79 c (83,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 687.38/109.79 c (83,0) c 687.38/109.79 c (83,0) c 687.38/109.79 c (83,0) c Threads : 8 687.38/109.79 c (83,0) c Winner : 0 687.38/109.79 c (83,0) c Conflicts_0 : 87008 687.38/109.79 c (83,0) c Conflicts_1 : 90514 687.38/109.79 c (83,0) c Conflicts_2 : 95057 687.38/109.79 c (83,0) c Conflicts_3 : 87966 687.38/109.79 c (83,0) c Conflicts_4 : 83290 687.38/109.79 c (83,0) c Conflicts_5 : 88260 687.38/109.79 c (83,0) c Conflicts_6 : 84731 687.38/109.79 c (83,0) c Conflicts_7 : 90735 687.38/109.79 c (83,0) c Conflicts_total : 707561 687.38/109.79 c (83,0) c Conflicts_winner : 87008 687.38/109.79 c (83,0) c Decisions_0 : 108462 687.38/109.79 c (83,0) c Decisions_1 : 110653 687.38/109.79 c (83,0) c Decisions_2 : 117145 687.38/109.79 c (83,0) c Decisions_3 : 109576 687.38/109.79 c (83,0) c Decisions_4 : 103040 687.38/109.79 c (83,0) c Decisions_5 : 111159 687.38/109.79 c (83,0) c Decisions_6 : 105842 687.38/109.79 c (83,0) c Decisions_7 : 112180 687.38/109.79 c (83,0) c Decisions_total : 878057 687.38/109.79 c (83,0) c Decisions_winner : 108462 687.38/109.79 c (83,0) c Propagations_0 : 220986073 687.38/109.79 c (83,0) c Propagations_1 : 225111240 687.38/109.79 c (83,0) c Propagations_2 : 220477380 687.38/109.79 c (83,0) c Propagations_3 : 217564354 687.38/109.79 c (83,0) c Propagations_4 : 223594045 687.38/109.79 c (83,0) c Propagations_5 : 219575332 687.38/109.79 c (83,0) c Propagations_6 : 221505726 687.38/109.79 c (83,0) c Propagations_7 : 224707075 687.38/109.79 c (83,0) c Propagations_total : 1773521225 687.38/109.79 c (83,0) c Propagations_winner : 220986073 687.38/109.79 c (83,0) c ReduceDBs_0 : 7 687.38/109.79 c (83,0) c ReduceDBs_1 : 8 687.38/109.79 c (83,0) c ReduceDBs_2 : 8 687.38/109.79 c (83,0) c ReduceDBs_3 : 7 687.38/109.79 c (83,0) c ReduceDBs_4 : 7 687.38/109.79 c (83,0) c ReduceDBs_5 : 7 687.38/109.79 c (83,0) c ReduceDBs_6 : 7 687.38/109.79 c (83,0) c ReduceDBs_7 : 8 687.38/109.79 c (83,0) c ReduceDBs_total : 59 687.38/109.79 c (83,0) c ReduceDBs_winner : 7 687.38/109.79 c (83,0) c SimpDBs_0 : 6 687.38/109.79 c (83,0) c SimpDBs_1 : 7 687.38/109.79 c (83,0) c SimpDBs_2 : 6 687.38/109.79 c (83,0) c SimpDBs_3 : 7 687.38/109.79 c (83,0) c SimpDBs_4 : 5 687.38/109.79 c (83,0) c SimpDBs_5 : 8 687.38/109.79 c (83,0) c SimpDBs_6 : 8 687.38/109.79 c (83,0) c SimpDBs_7 : 5 687.38/109.79 c (83,0) c SimpDBs_total : 52 687.38/109.79 c (83,0) c SimpDBs_winner : 6 687.38/109.79 c (83,0) c Restarts_0 : 52 687.38/109.79 c (83,0) c Restarts_1 : 23 687.38/109.79 c (83,0) c Restarts_2 : 21 687.38/109.79 c (83,0) c Restarts_3 : 61 687.38/109.79 c (83,0) c Restarts_4 : 35 687.38/109.79 c (83,0) c Restarts_5 : 69 687.38/109.79 c (83,0) c Restarts_6 : 43 687.38/109.79 c (83,0) c Restarts_7 : 25 687.38/109.79 c (83,0) c Restarts_total : 329 687.38/109.79 c (83,0) c Restarts_winner : 52 687.38/109.79 c (83,0) c ForcedImports_0 : 0 687.38/109.79 c (83,0) c ForcedImports_1 : 0 687.38/109.79 c (83,0) c ForcedImports_2 : 0 687.38/109.79 c (83,0) c ForcedImports_3 : 0 687.38/109.79 c (83,0) c ForcedImports_4 : 0 687.38/109.79 c (83,0) c ForcedImports_5 : 0 687.38/109.79 c (83,0) c ForcedImports_6 : 0 687.38/109.79 c (83,0) c ForcedImports_7 : 0 687.38/109.79 c (83,0) c ForcedImports_total : 0 687.38/109.79 c (83,0) c ForcedImports_winner : 0 687.38/109.79 c (83,0) c PropsBinClauses_0 : 258537581 687.38/109.79 c (83,0) c PropsBinClauses_1 : 262233493 687.38/109.79 c (83,0) c PropsBinClauses_2 : 251278629 687.38/109.79 c (83,0) c PropsBinClauses_3 : 253470509 687.38/109.79 c (83,0) c PropsBinClauses_4 : 262526180 687.38/109.79 c (83,0) c PropsBinClauses_5 : 253994098 687.38/109.79 c (83,0) c PropsBinClauses_6 : 258232967 687.38/109.79 c (83,0) c PropsBinClauses_7 : 257750427 687.38/109.79 c (83,0) c PropsBinClauses_total : 2058023884 687.38/109.79 c (83,0) c PropsBinClauses_winner : 258537581 687.38/109.79 c (83,0) c PropsPreBlocker_0 : 1952848922 687.38/109.79 c (83,0) c PropsPreBlocker_1 : 1961859910 687.38/109.79 c (83,0) c PropsPreBlocker_2 : 1965998883 687.38/109.79 c (83,0) c PropsPreBlocker_3 : 1949576458 687.38/109.79 c (83,0) c PropsPreBlocker_4 : 1945044153 687.38/109.79 c (83,0) c PropsPreBlocker_5 : 1950304368 687.38/109.79 c (83,0) c PropsPreBlocker_6 : 1947081373 687.38/109.79 c (83,0) c PropsPreBlocker_7 : 1962227131 687.38/109.79 c (83,0) c PropsPreBlocker_total : 15634941198 687.38/109.79 c (83,0) c PropsPreBlocker_winner : 1952848922 687.38/109.79 c (83,0) c PropsNotBlocker_0 : 918166045 687.38/109.79 c (83,0) c PropsNotBlocker_1 : 904225834 687.38/109.79 c (83,0) c PropsNotBlocker_2 : 902554522 687.38/109.79 c (83,0) c PropsNotBlocker_3 : 926864203 687.38/109.79 c (83,0) c PropsNotBlocker_4 : 911879025 687.38/109.79 c (83,0) c PropsNotBlocker_5 : 921509046 687.38/109.79 c (83,0) c PropsNotBlocker_6 : 923337689 687.38/109.79 c (83,0) c PropsNotBlocker_7 : 896267293 687.38/109.79 c (83,0) c PropsNotBlocker_total : 7304803657 687.38/109.79 c (83,0) c PropsNotBlocker_winner : 918166045 687.38/109.79 c (83,0) c PropsLitFullScans_0 : 3484626162 687.38/109.79 c (83,0) c PropsLitFullScans_1 : 3486543402 687.38/109.79 c (83,0) c PropsLitFullScans_2 : 3486627426 687.38/109.79 c (83,0) c PropsLitFullScans_3 : 3486606511 687.38/109.79 c (83,0) c PropsLitFullScans_4 : 3480522689 687.38/109.79 c (83,0) c PropsLitFullScans_5 : 3487016088 687.38/109.79 c (83,0) c PropsLitFullScans_6 : 3480502755 687.38/109.79 c (83,0) c PropsLitFullScans_7 : 3486572462 687.38/109.79 c (83,0) c PropsLitFullScans_total : 27879017495 687.38/109.79 c (83,0) c PropsLitFullScans_winner : 3484626162 687.38/109.79 c (83,0) c LitScanFractions_0 : 508713 687.38/109.79 c (83,0) c LitScanFractions_1 : 541948 687.38/109.79 c (83,0) c LitScanFractions_2 : 624648 687.38/109.79 c (83,0) c LitScanFractions_3 : 532096 687.38/109.79 c (83,0) c LitScanFractions_4 : 506237 687.38/109.79 c (83,0) c LitScanFractions_5 : 534242 687.38/109.79 c (83,0) c LitScanFractions_6 : 486644 687.38/109.79 c (83,0) c LitScanFractions_7 : 464181 687.38/109.79 c (83,0) c LitScanFractions_total : 4198709 687.38/109.79 c (83,0) c LitScanFractions_winner : 508713 687.38/109.79 c (83,0) c DecisionLevel0_0 : 62 687.38/109.79 c (83,0) c DecisionLevel0_1 : 28 687.38/109.79 c (83,0) c DecisionLevel0_2 : 23 687.38/109.79 c (83,0) c DecisionLevel0_3 : 64 687.38/109.79 c (83,0) c DecisionLevel0_4 : 36 687.38/109.79 c (83,0) c DecisionLevel0_5 : 78 687.38/109.79 c (83,0) c DecisionLevel0_6 : 45 687.38/109.79 c (83,0) c DecisionLevel0_7 : 26 687.38/109.79 c (83,0) c DecisionLevel0_total : 362 687.38/109.79 c (83,0) c DecisionLevel0_winner : 62 687.38/109.79 c (83,0) c Periods_0 : 580 687.38/109.79 c (83,0) c Periods_1 : 581 687.38/109.79 c (83,0) c Periods_2 : 581 687.38/109.79 c (83,0) c Periods_3 : 581 687.38/109.79 c (83,0) c Periods_4 : 580 687.38/109.79 c (83,0) c Periods_5 : 581 687.38/109.79 c (83,0) c Periods_6 : 580 687.38/109.79 c (83,0) c Periods_7 : 581 687.38/109.79 c (83,0) c Periods_total : 4645 687.38/109.79 c (83,0) c Periods_winner : 580 687.38/109.79 c (83,0) c Margin_0 : 20 687.38/109.79 c (83,0) c Margin_1 : 20 687.38/109.79 c (83,0) c Margin_2 : 20 687.38/109.79 c (83,0) c Margin_3 : 20 687.38/109.79 c (83,0) c Margin_4 : 20 687.38/109.79 c (83,0) c Margin_5 : 20 687.38/109.79 c (83,0) c Margin_6 : 20 687.38/109.79 c (83,0) c Margin_7 : 20 687.38/109.79 c (83,0) c Margin_total : 160 687.38/109.79 c (83,0) c Margin_winner : 20 687.38/109.79 c (83,0) c Exported_0 : 12651 687.38/109.79 c (83,0) c Exported_1 : 13575 687.38/109.79 c (83,0) c Exported_2 : 14022 687.38/109.79 c (83,0) c Exported_3 : 13998 687.38/109.79 c (83,0) c Exported_4 : 13552 687.38/109.79 c (83,0) c Exported_5 : 14623 687.38/109.79 c (83,0) c Exported_6 : 12429 687.38/109.79 c (83,0) c Exported_7 : 14501 687.38/109.79 c (83,0) c Exported_total : 109351 687.38/109.79 c (83,0) c Exported_winner : 12651 40.28/109.80 c (83,0) c Imported_0 : 94191 40.28/109.80 c (83,0) c Imported_1 : 93164 40.28/109.80 c (83,0) c Imported_2 : 92534 40.28/109.80 c (83,0) c Imported_3 : 92698 40.28/109.80 c (83,0) c Imported_4 : 90873 40.28/109.80 c (83,0) c Imported_5 : 92532 40.28/109.80 c (83,0) c Imported_6 : 94229 40.28/109.80 c (83,0) c Imported_7 : 82330 40.28/109.80 c (83,0) c Imported_total : 732551 40.28/109.80 c (83,0) c Imported_winner : 94191 40.28/109.80 c (83,0) c Good_0 : 3665 40.28/109.80 c (83,0) c Good_1 : 3748 40.28/109.80 c (83,0) c Good_2 : 3725 40.28/109.80 c (83,0) c Good_3 : 3665 40.28/109.80 c (83,0) c Good_4 : 3658 40.28/109.80 c (83,0) c Good_5 : 3702 40.28/109.80 c (83,0) c Good_6 : 3702 40.28/109.80 c (83,0) c Good_7 : 3471 40.28/109.80 c (83,0) c Good_total : 29336 40.28/109.80 c (83,0) c Good_winner : 3665 40.28/109.80 c (83,0) c Purge_0 : 90526 40.28/109.80 c (83,0) c Purge_1 : 89416 40.28/109.80 c (83,0) c Purge_2 : 88809 40.28/109.80 c (83,0) c Purge_3 : 89033 40.28/109.80 c (83,0) c Purge_4 : 87215 40.28/109.80 c (83,0) c Purge_5 : 88830 40.28/109.80 c (83,0) c Purge_6 : 90527 40.28/109.80 c (83,0) c Purge_7 : 78859 40.28/109.80 c (83,0) c Purge_total : 703215 40.28/109.80 c (83,0) c Purge_winner : 90526 40.28/109.80 c (83,0) c Promoted_0 : 7208 40.28/109.80 c (83,0) c Promoted_1 : 6128 40.28/109.80 c (83,0) c Promoted_2 : 5488 40.28/109.80 c (83,0) c Promoted_3 : 6844 40.28/109.80 c (83,0) c Promoted_4 : 7335 40.28/109.80 c (83,0) c Promoted_5 : 7587 40.28/109.80 c (83,0) c Promoted_6 : 6707 40.28/109.80 c (83,0) c Promoted_7 : 6953 40.28/109.80 c (83,0) c Promoted_total : 54250 40.28/109.80 c (83,0) c Promoted_winner : 7208 40.28/109.80 c (83,0) c Remove_Imp_0 : 47721 40.28/109.80 c (83,0) c Remove_Imp_1 : 54460 40.28/109.80 c (83,0) c Remove_Imp_2 : 52037 40.28/109.80 c (83,0) c Remove_Imp_3 : 43472 40.28/109.80 c (83,0) c Remove_Imp_4 : 49321 40.28/109.80 c (83,0) c Remove_Imp_5 : 42582 40.28/109.80 c (83,0) c Remove_Imp_6 : 47769 40.28/109.80 c (83,0) c Remove_Imp_7 : 48634 40.28/109.80 c (83,0) c Remove_Imp_total : 385996 40.28/109.80 c (83,0) c Remove_Imp_winner : 47721 40.28/109.80 c (83,0) c Blocked_Reuse_0 : 0 40.28/109.80 c (83,0) c Blocked_Reuse_1 : 0 40.28/109.80 c (83,0) c Blocked_Reuse_2 : 0 40.28/109.80 c (83,0) c Blocked_Reuse_3 : 0 40.28/109.80 c (83,0) c Blocked_Reuse_4 : 0 40.28/109.80 c (83,0) c Blocked_Reuse_5 : 0 40.28/109.80 c (83,0) c Blocked_Reuse_6 : 0 40.28/109.80 c (83,0) c Blocked_Reuse_7 : 0 40.28/109.80 c (83,0) c Blocked_Reuse_total : 0 40.28/109.80 c (83,0) c Blocked_Reuse_winner : 0 40.28/109.80 c (83,0) c Unaries_0 : 10 40.28/109.80 c (83,0) c Unaries_1 : 5 40.28/109.80 c (83,0) c Unaries_2 : 2 40.28/109.80 c (83,0) c Unaries_3 : 3 40.28/109.80 c (83,0) c Unaries_4 : 1 40.28/109.80 c (83,0) c Unaries_5 : 9 40.28/109.80 c (83,0) c Unaries_6 : 2 40.28/109.80 c (83,0) c Unaries_7 : 1 40.28/109.80 c (83,0) c Unaries_total : 33 40.28/109.80 c (83,0) c Unaries_winner : 10 40.28/109.80 c (83,0) c Binaries_0 : 619 40.28/109.80 c (83,0) c Binaries_1 : 522 40.28/109.80 c (83,0) c Binaries_2 : 537 40.28/109.80 c (83,0) c Binaries_3 : 605 40.28/109.80 c (83,0) c Binaries_4 : 512 40.28/109.80 c (83,0) c Binaries_5 : 596 40.28/109.80 c (83,0) c Binaries_6 : 563 40.28/109.80 c (83,0) c Binaries_7 : 441 40.28/109.80 c (83,0) c Binaries_total : 4395 40.28/109.80 c (83,0) c Binaries_winner : 619 40.28/109.80 c (83,0) c Glues_0 : 2829 40.28/109.80 c (83,0) c Glues_1 : 2463 40.28/109.80 c (83,0) c Glues_2 : 2737 40.28/109.80 c (83,0) c Glues_3 : 2891 40.28/109.80 c (83,0) c Glues_4 : 2583 40.28/109.80 c (83,0) c Glues_5 : 2797 40.28/109.80 c (83,0) c Glues_6 : 2966 40.28/109.80 c (83,0) c Glues_7 : 2619 40.28/109.80 c (83,0) c Glues_total : 21885 40.28/109.80 c (83,0) c Glues_winner : 2829 40.28/109.80 c (83,0) c RunningTime_0 : 81.687871 40.28/109.80 c (83,0) c RunningTime_1 : 80.566509 40.28/109.80 c (83,0) c RunningTime_2 : 79.862723 40.28/109.80 c (83,0) c RunningTime_3 : 80.930696 40.28/109.80 c (83,0) c RunningTime_4 : 82.002120 40.28/109.80 c (83,0) c RunningTime_5 : 79.753235 40.28/109.80 c (83,0) c RunningTime_6 : 82.271459 40.28/109.80 c (83,0) c RunningTime_7 : 81.542856 40.28/109.80 c (83,0) c RunningTime_total : 648.617469 40.28/109.80 c (83,0) c RunningTime_winner : 81.687871 40.28/109.80 c (83,0) c WaitingTime_0 : 0.000926 40.28/109.80 c (83,0) c WaitingTime_1 : 0.000836 40.28/109.80 c (83,0) c WaitingTime_2 : 0.717937 40.28/109.80 c (83,0) c WaitingTime_3 : 0.000901 40.28/109.80 c (83,0) c WaitingTime_4 : 0.000785 40.28/109.80 c (83,0) c WaitingTime_5 : 0.797801 40.28/109.80 c (83,0) c WaitingTime_6 : 0.000899 40.28/109.80 c (83,0) c WaitingTime_7 : 0.157659 40.28/109.80 c (83,0) c WaitingTime_total : 1.677746 40.28/109.80 c (83,0) c WaitingTime_winner : 0.000926 40.28/109.80 c (83,0) c ExchangingTime_0 : 0.042707 40.28/109.80 c (83,0) c ExchangingTime_1 : 0.045042 40.28/109.80 c (83,0) c ExchangingTime_2 : 0.055505 40.28/109.80 c (83,0) c ExchangingTime_3 : 0.052893 40.28/109.80 c (83,0) c ExchangingTime_4 : 0.043222 40.28/109.80 c (83,0) c ExchangingTime_5 : 0.050864 40.28/109.80 c (83,0) c ExchangingTime_6 : 0.051697 40.28/109.80 c (83,0) c ExchangingTime_7 : 0.043110 40.28/109.80 c (83,0) c ExchangingTime_total : 0.385040 40.28/109.80 c (83,0) c ExchangingTime_winner : 0.042707 40.28/109.80 c (83,0) c PeriodProcTime_0 : 0.005153 40.28/109.80 c (83,0) c PeriodProcTime_1 : 0.006641 40.28/109.80 c (83,0) c PeriodProcTime_2 : 0.004876 40.28/109.80 c (83,0) c PeriodProcTime_3 : 0.004627 40.28/109.80 c (83,0) c PeriodProcTime_4 : 0.006280 40.28/109.80 c (83,0) c PeriodProcTime_5 : 0.005767 40.28/109.80 c (83,0) c PeriodProcTime_6 : 0.007060 40.28/109.80 c (83,0) c PeriodProcTime_7 : 0.004948 40.28/109.80 c (83,0) c PeriodProcTime_total : 0.045351 40.28/109.80 c (83,0) c PeriodProcTime_winner : 0.005153 40.28/109.80 c (83,0) c SolvingTime_0 : 81.736657 40.28/109.80 c (83,0) c SolvingTime_1 : 80.619028 40.28/109.80 c (83,0) c SolvingTime_2 : 80.641042 40.28/109.80 c (83,0) c SolvingTime_3 : 80.989117 40.28/109.80 c (83,0) c SolvingTime_4 : 82.052408 40.28/109.80 c (83,0) c SolvingTime_5 : 80.607667 40.28/109.80 c (83,0) c SolvingTime_6 : 82.331115 40.28/109.80 c (83,0) c SolvingTime_7 : 81.748573 40.28/109.80 c (83,0) c SolvingTime_total : 650.725606 40.28/109.80 c (83,0) c SolvingTime_winner : 81.736657 40.28/109.80 c (83,0) c PropagationTime_0 : 77.725070 40.28/109.80 c (83,0) c PropagationTime_1 : 76.515035 40.28/109.80 c (83,0) c PropagationTime_2 : 76.433900 40.28/109.80 c (83,0) c PropagationTime_3 : 76.663851 40.28/109.80 c (83,0) c PropagationTime_4 : 78.082186 40.28/109.80 c (83,0) c PropagationTime_5 : 76.614982 40.28/109.80 c (83,0) c PropagationTime_6 : 78.244102 40.28/109.80 c (83,0) c PropagationTime_7 : 77.591225 40.28/109.80 c (83,0) c PropagationTime_total : 617.870352 40.28/109.80 c (83,0) c PropagationTime_winner : 77.725070 40.28/109.80 c (83,0) c AnalysisTime_0 : 1.785411 40.28/109.80 c (83,0) c AnalysisTime_1 : 1.877435 40.28/109.80 c (83,0) c AnalysisTime_2 : 1.940462 40.28/109.80 c (83,0) c AnalysisTime_3 : 1.975359 40.28/109.80 c (83,0) c AnalysisTime_4 : 1.753696 40.28/109.80 c (83,0) c AnalysisTime_5 : 1.712517 40.28/109.80 c (83,0) c AnalysisTime_6 : 1.796563 40.28/109.80 c (83,0) c AnalysisTime_7 : 1.905635 40.28/109.80 c (83,0) c AnalysisTime_total : 14.747078 40.28/109.80 c (83,0) c AnalysisTime_winner : 1.785411 40.28/109.80 c (83,0) c ReductionTime_0 : 0.120324 40.28/109.80 c (83,0) c ReductionTime_1 : 0.168933 40.28/109.80 c (83,0) c ReductionTime_2 : 0.167561 40.28/109.80 c (83,0) c ReductionTime_3 : 0.121357 40.28/109.80 c (83,0) c ReductionTime_4 : 0.163911 40.28/109.80 c (83,0) c ReductionTime_5 : 0.123966 40.28/109.80 c (83,0) c ReductionTime_6 : 0.125501 40.28/109.80 c (83,0) c ReductionTime_7 : 0.134453 40.28/109.80 c (83,0) c ReductionTime_total : 1.126007 40.28/109.80 c (83,0) c ReductionTime_winner : 0.120324 40.28/109.80 c (83,0) c SimplifyTime_0 : 0.102124 40.28/109.80 c (83,0) c SimplifyTime_1 : 0.079180 40.28/109.80 c (83,0) c SimplifyTime_2 : 0.067311 40.28/109.80 c (83,0) c SimplifyTime_3 : 0.123373 40.28/109.80 c (83,0) c SimplifyTime_4 : 0.053020 40.28/109.80 c (83,0) c SimplifyTime_5 : 0.137264 40.28/109.80 c (83,0) c SimplifyTime_6 : 0.132765 40.28/109.80 c (83,0) c SimplifyTime_7 : 0.109423 40.28/109.80 c (83,0) c SimplifyTime_total : 0.804461 40.28/109.80 c (83,0) c SimplifyTime_winner : 0.102124 40.28/109.80 c (83,0) c UsedRateTime_0 : 0.000000 40.28/109.80 c (83,0) c UsedRateTime_1 : 0.000000 40.28/109.80 c (83,0) c UsedRateTime_2 : 0.000000 40.28/109.80 c (83,0) c UsedRateTime_3 : 0.000000 40.28/109.80 c (83,0) c UsedRateTime_4 : 0.000000 40.28/109.80 c (83,0) c UsedRateTime_5 : 0.000000 40.28/109.80 c (83,0) c UsedRateTime_6 : 0.000000 40.28/109.80 c (83,0) c UsedRateTime_7 : 0.000000 40.28/109.80 c (83,0) c UsedRateTime_total : 0.000000 40.28/109.80 c (83,0) c UsedRateTime_winner : 0.000000 40.28/109.80 c (83,0) c OverlapRateTime_0 : 0.000000 40.28/109.80 c (83,0) c OverlapRateTime_1 : 0.000000 40.28/109.80 c (83,0) c OverlapRateTime_2 : 0.000000 40.28/109.80 c (83,0) c OverlapRateTime_3 : 0.000000 40.28/109.80 c (83,0) c OverlapRateTime_4 : 0.000000 40.28/109.80 c (83,0) c OverlapRateTime_5 : 0.000000 40.28/109.80 c (83,0) c OverlapRateTime_6 : 0.000000 40.28/109.80 c (83,0) c OverlapRateTime_7 : 0.000000 40.28/109.80 c (83,0) c OverlapRateTime_total : 0.000000 40.28/109.80 c (83,0) c OverlapRateTime_winner : 0.000000 40.28/109.80 c (83,0) c 40.28/109.80 c (83,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 40.28/109.80 c (83,0) c 40.28/109.80 c (83,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 40.28/109.80 c (83,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 40.28/109.80 c (83,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 40.28/109.80 c (83,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 40.28/109.80 c (83,0) c | adaptStrategeis | True | False | True | False | True | False | True | False | 40.28/109.80 c (83,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 40.28/109.80 c (83,0) c | Initial random_seed | 168646797 | 1567778968 | 1041340377 | 1316965364 | 1387239290 | 1977267067 | 1087424205 | 97630128 | 40.28/109.80 c (83,0) c | chanseokStrategy | False | False | False | False | False | False | False | False | 40.28/109.80 c (83,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 40.28/109.80 c (83,0) c | glureduce | True | True | True | True | True | True | True | True | 40.28/109.80 c (83,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 40.28/109.80 c (83,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 40.28/109.80 c (83,0) c | luby_restart | False | False | False | False | False | False | False | False | 40.28/109.80 c (83,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 40.28/109.80 c (83,0) c | var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 40.28/109.80 c (83,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 40.28/109.80 c (83,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 40.28/109.80 c (83,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 40.28/109.80 c (83,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 40.28/109.80 c (83,0) 40.28/109.80 c (83,0) s UNSATISFIABLE 40.28/109.80 c (83,0) SatSolver.solve End 40.28/109.80 c (83,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB) 40.28/109.80 c (83,0) Show results Begin 40.28/109.80 s UNSATISFIABLE 40.28/109.80 c (83,0) Show results End 40.28/109.80 c (83,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB) 40.28/109.81 c (83,0) 83,83,STOP-AFTER(ALL) 40.28/109.81 c END-Prog: Sat Sep 14 01:29:14 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 (14856 MiB free) memory of node 1: 16384 MiB (15323 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392593-1568417282/watcher-4392593-1568417282 -o /tmp/evaluation-result-4392593-1568417282/solver-4392593-1568417282 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node149-1568416730-6442 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392593-1568417282.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=8412, runsolver pid=8409 Current StackSize limit: 8192 KiB [startup+0.100107 s]* /proc/loadavg: 6.66 4.09 2.54 3/211 8434 /proc/meminfo: memFree=30808828/32770624 swapFree=66940928/67108860 [pid=8412] ppid=8409 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/8412/stat : 8412 (scop.sh) S 8409 8412 6415 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 417966915 115843072 349 33554432000 4194304 5098028 140732914558912 140732914556168 140477392679548 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 37646336 140732914561828 140732914562156 140732914562156 140732914565069 0 /proc/8412/statm: 28282 349 296 221 0 87 0 [pid=8415] ppid=8412 vsize=27314120 memory=107388 CPUtime=0.1 cores=0-7 /proc/8415/stat : 8415 (java) S 8412 8412 6415 0 -1 1077944320 6386 0 0 0 8 2 0 0 20 0 20 0 417966916 27969658880 26847 33554432000 4194304 4196468 140728888775680 140728888758224 139954747264759 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16482304 140728888783595 140728888784022 140728888784022 140728888786895 0 /proc/8415/statm: 6828530 26847 2803 1 0 6790935 0 [pid=8415/tid=8416] ppid=8412 vsize=27314120 memory=4134692831991783777 CPUtime=0.09 cores=0-7 /proc/8415/task/8416/stat : 8416 (java) R 8412 8412 6415 0 -1 4202560 4509 0 0 0 7 2 0 0 20 0 20 0 417966916 27969658880 26847 33554432000 4194304 4196468 140728888775680 139954719087040 139954731345246 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16482304 140728888783595 140728888784022 140728888784022 140728888786895 0 [pid=8415/tid=8417] ppid=8412 vsize=27314120 memory=4126316290023845779 CPUtime=0 cores=0-7 /proc/8415/task/8417/stat : 8417 (java) S 8412 8412 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417966918 27969658880 26847 33554432000 4194304 4196468 140728888775680 139954751506704 139954747274965 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16482304 140728888783595 140728888784022 140728888784022 140728888786895 0 [pid=8415/tid=8418] ppid=8412 vsize=27314120 memory=139851068278400 CPUtime=0 cores=0-7 /proc/8415/task/8418/stat : 8418 (java) S 8412 8412 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417966918 27969658880 26847 33554432000 4194304 4196468 140728888775680 139954534902160 139954747274965 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16482304 140728888783595 140728888784022 140728888784022 140728888786895 0 [pid=8415/tid=8419] ppid=8412 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/8415/task/8419/stat : 8419 (java) S 8412 8412 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417966918 27969658880 26847 33554432000 4194304 4196468 140728888775680 139954533849616 139954747274965 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16482304 140728888783595 140728888784022 140728888784022 140728888786895 0 [pid=8415/tid=8420] ppid=8412 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/8415/task/8420/stat : 8420 (java) S 8412 8412 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417966918 27969658880 26847 33554432000 4194304 4196468 140728888775680 139954532797072 139954747274965 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16482304 140728888783595 140728888784022 140728888784022 140728888786895 0 [pid=8415/tid=8421] ppid=8412 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/8415/task/8421/stat : 8421 (java) S 8412 8412 6415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417966918 27969658880 26847 33554432000 4194304 4196468 140728888775680 139954531744528 139954747274965 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16482304 140728888783595 140728888784022 140728888784022 140728888786895 0 [pid=8415/tid=8422] ppid=8412 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/8415/task/8422/stat : 8422 (java) S 8412 8412 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417966918 27969658880 26847 33554432000 4194304 4196468 140728888775680 139954530691984 139954747274965 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16482304 140728888783595 140728888784022 140728888784022 140728888786895 0 [pid=8415/tid=8423] ppid=8412 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/8415/task/8423/stat : 8423 (java) S 8412 8412 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417966918 27969658880 26847 33554432000 4194304 4196468 140728888775680 139954164325392 139954747274965 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16482304 140728888783595 140728888784022 140728888784022 140728888786895 0 [pid=8415/tid=8424] ppid=8412 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/8415/task/8424/stat : 8424 (java) S 8412 8412 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417966918 27969658880 26847 33554432000 4194304 4196468 140728888775680 139954163272848 139954747274965 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16482304 140728888783595 140728888784022 140728888784022 140728888786895 0 [pid=8415/tid=8425] ppid=8412 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/8415/task/8425/stat : 8425 (java) S 8412 8412 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417966920 27969658880 26847 33554432000 4194304 4196468 140728888775680 139954007017456 139954747275906 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16482304 140728888783595 140728888784022 140728888784022 140728888786895 0 [pid=8415/tid=8426] ppid=8412 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/8415/task/8426/stat : 8426 (java) S 8412 8412 6415 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 417966920 27969658880 26847 33554432000 4194304 4196468 140728888775680 139952515965856 139954747274965 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16482304 140728888783595 140728888784022 140728888784022 140728888786895 0 [pid=8415/tid=8427] ppid=8412 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/8415/task/8427/stat : 8427 (java) S 8412 8412 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417966921 27969658880 26847 33554432000 4194304 4196468 140728888775680 139952247530480 139954747274965 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16482304 140728888783595 140728888784022 140728888784022 140728888786895 0 [pid=8415/tid=8428] ppid=8412 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/8415/task/8428/stat : 8428 (java) S 8412 8412 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417966923 27969658880 26847 33554432000 4194304 4196468 140728888775680 139951873022160 139954747283355 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16482304 140728888783595 140728888784022 140728888784022 140728888786895 0 [pid=8415/tid=8429] ppid=8412 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/8415/task/8429/stat : 8429 (java) S 8412 8412 6415 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 20 0 417966923 27969658880 26847 33554432000 4194304 4196468 140728888775680 139954005965296 139954747275906 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16482304 140728888783595 140728888784022 140728888784022 140728888786895 0 [pid=8415/tid=8430] ppid=8412 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/8415/task/8430/stat : 8430 (java) S 8412 8412 6415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417966923 27969658880 26847 33554432000 4194304 4196468 140728888775680 139954004912752 139954747275906 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16482304 140728888783595 140728888784022 140728888784022 140728888786895 0 [pid=8415/tid=8431] ppid=8412 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/8415/task/8431/stat : 8431 (java) S 8412 8412 6415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417966923 27969658880 26847 33554432000 4194304 4196468 140728888775680 139954003860208 139954747275906 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16482304 140728888783595 140728888784022 140728888784022 140728888786895 0 [pid=8415/tid=8432] ppid=8412 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/8415/task/8432/stat : 8432 (java) S 8412 8412 6415 0 -1 1077944384 245 0 0 0 0 0 0 0 20 0 20 0 417966923 27969658880 26847 33554432000 4194304 4196468 140728888775680 139954002807664 139954747275906 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16482304 140728888783595 140728888784022 140728888784022 140728888786895 0 [pid=8415/tid=8433] ppid=8412 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/8415/task/8433/stat : 8433 (java) S 8412 8412 6415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417966923 27969658880 26847 33554432000 4194304 4196468 140728888775680 139951375116512 139954747274965 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16482304 140728888783595 140728888784022 140728888784022 140728888786895 0 [pid=8415/tid=8434] ppid=8412 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/8415/task/8434/stat : 8434 (java) S 8412 8412 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417966924 27969658880 26847 33554432000 4194304 4196468 140728888775680 139954001754544 139954747275906 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16482304 140728888783595 140728888784022 140728888784022 140728888786895 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 108784 KiB [startup+0.209718 s]* /proc/loadavg: 6.66 4.09 2.54 2/211 8434 /proc/meminfo: memFree=30786736/32770624 swapFree=66940928/67108860 [pid=8412] ppid=8409 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/8412/stat : 8412 (scop.sh) S 8409 8412 6415 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 417966915 115843072 349 33554432000 4194304 5098028 140732914558912 140732914556168 140477392679548 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 37646336 140732914561828 140732914562156 140732914562156 140732914565069 0 /proc/8412/statm: 28282 349 296 221 0 87 0 [pid=8415] ppid=8412 vsize=27314120 memory=126568 CPUtime=0.24 cores=0-7 /proc/8415/stat : 8415 (java) S 8412 8412 6415 0 -1 1077944320 12008 0 0 0 20 4 0 0 20 0 20 0 417966916 27969658880 31642 33554432000 4194304 4196468 140728888775680 140728888758224 139954747264759 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16482304 140728888783595 140728888784022 140728888784022 140728888786895 0 /proc/8415/statm: 6828530 31642 2954 1 0 6790935 0 [pid=8415/tid=8416] ppid=8412 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/8415/task/8416/stat : 8416 (java) R 8412 8412 6415 0 -1 4202560 9763 0 0 0 16 3 0 0 20 0 20 0 417966916 27969658880 31642 33554432000 4194304 4196468 140728888775680 139954719085664 139954728828315 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16482304 140728888783595 140728888784022 140728888784022 140728888786895 0 [pid=8415/tid=8417] ppid=8412 vsize=27314120 memory=329 CPUtime=0 cores=0-7 /proc/8415/task/8417/stat : 8417 (java) S 8412 8412 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417966918 27969658880 31642 33554432000 4194304 4196468 140728888775680 139954751506704 139954747274965 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16482304 140728888783595 140728888784022 140728888784022 140728888786895 0 [pid=8415/tid=8418] ppid=8412 vsize=27314120 memory=139851068287066 CPUtime=0 cores=0-7 /proc/8415/task/8418/stat : 8418 (java) S 8412 8412 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417966918 27969658880 31642 33554432000 4194304 4196468 140728888775680 139954534902160 139954747274965 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16482304 140728888783595 140728888784022 140728888784022 140728888786895 0 [pid=8415/tid=8419] ppid=8412 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/8415/task/8419/stat : 8419 (java) S 8412 8412 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417966918 27969658880 31642 33554432000 4194304 4196468 140728888775680 139954533849616 139954747274965 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16482304 140728888783595 140728888784022 140728888784022 140728888786895 0 [pid=8415/tid=8420] ppid=8412 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/8415/task/8420/stat : 8420 (java) S 8412 8412 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417966918 27969658880 31642 33554432000 4194304 4196468 140728888775680 139954532797072 139954747274965 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16482304 140728888783595 140728888784022 140728888784022 140728888786895 0 [pid=8415/tid=8421] ppid=8412 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/8415/task/8421/stat : 8421 (java) S 8412 8412 6415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417966918 27969658880 31642 33554432000 4194304 4196468 140728888775680 139954531744528 139954747274965 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16482304 140728888783595 140728888784022 140728888784022 140728888786895 0 [pid=8415/tid=8422] ppid=8412 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/8415/task/8422/stat : 8422 (java) S 8412 8412 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417966918 27969658880 31642 33554432000 4194304 4196468 140728888775680 139954530691984 139954747274965 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16482304 140728888783595 140728888784022 140728888784022 140728888786895 0 [pid=8415/tid=8423] ppid=8412 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/8415/task/8423/stat : 8423 (java) S 8412 8412 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417966918 27969658880 31642 33554432000 4194304 4196468 140728888775680 139954164325392 139954747274965 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16482304 140728888783595 140728888784022 140728888784022 140728888786895 0 [pid=8415/tid=8424] ppid=8412 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/8415/task/8424/stat : 8424 (java) S 8412 8412 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417966918 27969658880 31642 33554432000 4194304 4196468 140728888775680 139954163272848 139954747274965 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16482304 140728888783595 140728888784022 140728888784022 140728888786895 0 [pid=8415/tid=8425] ppid=8412 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/8415/task/8425/stat : 8425 (java) S 8412 8412 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417966920 27969658880 31642 33554432000 4194304 4196468 140728888775680 139954007017456 139954747275906 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16482304 140728888783595 140728888784022 140728888784022 140728888786895 0 [pid=8415/tid=8426] ppid=8412 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/8415/task/8426/stat : 8426 (java) S 8412 8412 6415 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 417966920 27969658880 31642 33554432000 4194304 4196468 140728888775680 139952515965856 139954747274965 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16482304 140728888783595 140728888784022 140728888784022 140728888786895 0 [pid=8415/tid=8427] ppid=8412 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/8415/task/8427/stat : 8427 (java) S 8412 8412 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417966921 27969658880 31642 33554432000 4194304 4196468 140728888775680 139952247530480 139954747274965 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16482304 140728888783595 140728888784022 140728888784022 140728888786895 0 [pid=8415/tid=8428] ppid=8412 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/8415/task/8428/stat : 8428 (java) S 8412 8412 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417966923 27969658880 31642 33554432000 4194304 4196468 140728888775680 139951873022160 139954747283355 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16482304 140728888783595 140728888784022 140728888784022 140728888786895 0 [pid=8415/tid=8429] ppid=8412 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/8415/task/8429/stat : 8429 (java) S 8412 8412 6415 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 20 0 417966923 27969658880 31642 33554432000 4194304 4196468 140728888775680 139954005965296 139954747275906 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16482304 140728888783595 140728888784022 140728888784022 140728888786895 0 [pid=8415/tid=8430] ppid=8412 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/8415/task/8430/stat : 8430 (java) S 8412 8412 6415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417966923 27969658880 31642 33554432000 4194304 4196468 140728888775680 139954004912752 139954747275906 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16482304 140728888783595 140728888784022 140728888784022 140728888786895 0 [pid=8415/tid=8431] ppid=8412 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/8415/task/8431/stat : 8431 (java) S 8412 8412 6415 0 -1 1077944384 166 0 0 0 0 0 0 0 20 0 20 0 417966923 27969658880 31642 33554432000 4194304 4196468 140728888775680 139954003860208 139954747275906 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16482304 140728888783595 140728888784022 140728888784022 140728888786895 0 [pid=8415/tid=8432] ppid=8412 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7 /proc/8415/task/8432/stat : 8432 (java) S 8412 8412 6415 0 -1 1077944384 437 0 0 0 2 0 0 0 20 0 20 0 417966923 27969658880 31642 33554432000 4194304 4196468 140728888775680 139954002807664 139954747275906 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16482304 140728888783595 140728888784022 140728888784022 140728888786895 0 [pid=8415/tid=8433] ppid=8412 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/8415/task/8433/stat : 8433 (java) S 8412 8412 6415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417966923 27969658880 31642 33554432000 4194304 4196468 140728888775680 139951375116512 139954747274965 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16482304 140728888783595 140728888784022 140728888784022 140728888786895 0 [pid=8415/tid=8434] ppid=8412 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/8415/task/8434/stat : 8434 (java) S 8412 8412 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417966924 27969658880 31642 33554432000 4194304 4196468 140728888775680 139954001754544 139954747275906 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16482304 140728888783595 140728888784022 140728888784022 140728888786895 0 Current children cumulated CPU time: 0.24 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 127964 KiB [startup+0.309392 s]* /proc/loadavg: 6.66 4.09 2.54 2/211 8434 /proc/meminfo: memFree=30784068/32770624 swapFree=66940928/67108860 [pid=8412] ppid=8409 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/8412/stat : 8412 (scop.sh) S 8409 8412 6415 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 417966915 115843072 349 33554432000 4194304 5098028 140732914558912 140732914556168 140477392679548 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 37646336 140732914561828 140732914562156 140732914562156 140732914565069 0 /proc/8412/statm: 28282 349 296 221 0 87 0 [pid=8415] ppid=8412 vsize=27314120 memory=129912 CPUtime=0.41 cores=0-7 /proc/8415/stat : 8415 (java) S 8412 8412 6415 0 -1 1077944320 12854 0 0 0 37 4 0 0 20 0 20 0 417966916 27969658880 32478 33554432000 4194304 4196468 140728888775680 140728888758224 139954747264759 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16482304 140728888783595 140728888784022 140728888784022 140728888786895 0 /proc/8415/statm: 6828530 32478 3027 1 0 6790935 0 [pid=8415/tid=8416] ppid=8412 vsize=27314120 memory=8112282956445269571 CPUtime=0.3 cores=0-7 /proc/8415/task/8416/stat : 8416 (java) R 8412 8412 6415 0 -1 4202560 10439 0 0 0 26 4 0 0 20 0 20 0 417966916 27969658880 32478 33554432000 4194304 4196468 140728888775680 139954719047776 139954731372633 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16482304 140728888783595 140728888784022 140728888784022 140728888786895 0 [pid=8415/tid=8417] ppid=8412 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/8415/task/8417/stat : 8417 (java) S 8412 8412 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417966918 27969658880 32478 33554432000 4194304 4196468 140728888775680 139954751506704 139954747274965 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16482304 140728888783595 140728888784022 140728888784022 140728888786895 0 [pid=8415/tid=8418] ppid=8412 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/8415/task/8418/stat : 8418 (java) S 8412 8412 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417966918 27969658880 32478 33554432000 4194304 4196468 140728888775680 139954534902160 139954747274965 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16482304 140728888783595 140728888784022 140728888784022 140728888786895 0 [pid=8415/tid=8419] ppid=8412 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/8415/task/8419/stat : 8419 (java) S 8412 8412 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417966918 27969658880 32478 33554432000 4194304 4196468 140728888775680 139954533849616 139954747274965 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16482304 140728888783595 140728888784022 140728888784022 140728888786895 0 [pid=8415/tid=8420] ppid=8412 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/8415/task/8420/stat : 8420 (java) S 8412 8412 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417966918 27969658880 32478 33554432000 4194304 4196468 140728888775680 139954532797072 139954747274965 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16482304 140728888783595 140728888784022 140728888784022 140728888786895 0 [pid=8415/tid=8421] ppid=8412 vsize=27314120 memory=2244 CPUtime=0 cores=0-7 /proc/8415/task/8421/stat : 8421 (java) S 8412 8412 6415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417966918 27969658880 32478 33554432000 4194304 4196468 140728888775680 139954531744528 139954747274965 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16482304 140728888783595 140728888784022 140728888784022 140728888786895 0 [pid=8415/tid=8422] ppid=8412 vsize=27314120 memory=139850913248175 CPUtime=0 cores=0-7 /proc/8415/task/8422/stat : 8422 (java) S 8412 8412 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417966918 27969658880 32478 33554432000 4194304 4196468 140728888775680 139954530691984 139954747274965 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16482304 140728888783595 140728888784022 140728888784022 140728888786895 0 [pid=8415/tid=8423] ppid=8412 vsize=27314120 memory=139850913250480 CPUtime=0 cores=0-7 /proc/8415/task/8423/stat : 8423 (java) S 8412 8412 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417966918 27969658880 32478 33554432000 4194304 4196468 140728888775680 139954164325392 139954747274965 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16482304 140728888783595 140728888784022 140728888784022 140728888786895 0 [pid=8415/tid=8424] ppid=8412 vsize=27314120 memory=139850913252784 CPUtime=0 cores=0-7 /proc/8415/task/8424/stat : 8424 (java) S 8412 8412 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417966918 27969658880 32478 33554432000 4194304 4196468 140728888775680 139954163272848 139954747274965 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16482304 140728888783595 140728888784022 140728888784022 140728888786895 0 [pid=8415/tid=8425] ppid=8412 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/8415/task/8425/stat : 8425 (java) S 8412 8412 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417966920 27969658880 32478 33554432000 4194304 4196468 140728888775680 139954007017456 139954747275906 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16482304 140728888783595 140728888784022 140728888784022 140728888786895 0 [pid=8415/tid=8426] ppid=8412 vsize=27314120 memory=279701826512528 CPUtime=0 cores=0-7 /proc/8415/task/8426/stat : 8426 (java) S 8412 8412 6415 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 417966920 27969658880 32478 33554432000 4194304 4196468 140728888775680 139952515965856 139954747274965 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16482304 140728888783595 140728888784022 140728888784022 140728888786895 0 [pid=8415/tid=8427] ppid=8412 vsize=27314120 memory=279701826519440 CPUtime=0 cores=0-7 /proc/8415/task/8427/stat : 8427 (java) S 8412 8412 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417966921 27969658880 32478 33554432000 4194304 4196468 140728888775680 139952247530480 139954747274965 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16482304 140728888783595 140728888784022 140728888784022 140728888786895 0 [pid=8415/tid=8428] ppid=8412 vsize=27314120 memory=279701826460592 CPUtime=0 cores=0-7 /proc/8415/task/8428/stat : 8428 (java) S 8412 8412 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417966923 27969658880 32478 33554432000 4194304 4196468 140728888775680 139951873022160 139954747283355 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16482304 140728888783595 140728888784022 140728888784022 140728888786895 0 [pid=8415/tid=8429] ppid=8412 vsize=27314120 memory=279701826533264 CPUtime=0.01 cores=0-7 /proc/8415/task/8429/stat : 8429 (java) S 8412 8412 6415 0 -1 1077944384 395 0 0 0 1 0 0 0 20 0 20 0 417966923 27969658880 32478 33554432000 4194304 4196468 140728888775680 139954005965296 139954747275906 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16482304 140728888783595 140728888784022 140728888784022 140728888786895 0 [pid=8415/tid=8430] ppid=8412 vsize=27314120 memory=279701826540176 CPUtime=0 cores=0-7 /proc/8415/task/8430/stat : 8430 (java) S 8412 8412 6415 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 20 0 417966923 27969658880 32478 33554432000 4194304 4196468 140728888775680 139954004912752 139954747275906 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16482304 140728888783595 140728888784022 140728888784022 140728888786895 0 [pid=8415/tid=8431] ppid=8412 vsize=27314120 memory=279701826537872 CPUtime=0.01 cores=0-7 /proc/8415/task/8431/stat : 8431 (java) S 8412 8412 6415 0 -1 1077944384 218 0 0 0 1 0 0 0 20 0 20 0 417966923 27969658880 32478 33554432000 4194304 4196468 140728888775680 139954003860208 139954747275906 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16482304 140728888783595 140728888784022 140728888784022 140728888786895 0 [pid=8415/tid=8432] ppid=8412 vsize=27314120 memory=279701826554032 CPUtime=0.07 cores=0-7 /proc/8415/task/8432/stat : 8432 (java) S 8412 8412 6415 0 -1 1077944384 459 0 0 0 7 0 0 0 20 0 20 0 417966923 27969658880 32478 33554432000 4194304 4196468 140728888775680 139954002807664 139954747275906 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16482304 140728888783595 140728888784022 140728888784022 140728888786895 0 [pid=8415/tid=8433] ppid=8412 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/8415/task/8433/stat : 8433 (java) S 8412 8412 6415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417966923 27969658880 32478 33554432000 4194304 4196468 140728888775680 139951375116512 139954747274965 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16482304 140728888783595 140728888784022 140728888784022 140728888786895 0 [pid=8415/tid=8434] ppid=8412 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/8415/task/8434/stat : 8434 (java) S 8412 8412 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417966924 27969658880 32478 33554432000 4194304 4196468 140728888775680 139954001754544 139954747275906 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16482304 140728888783595 140728888784022 140728888784022 140728888786895 0 Current children cumulated CPU time: 0.41 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 131308 KiB [startup+0.70093 s] /proc/loadavg: 6.66 4.09 2.54 2/211 8434 /proc/meminfo: memFree=30764604/32770624 swapFree=66940928/67108860 [pid=8412] ppid=8409 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/8412/stat : 8412 (scop.sh) S 8409 8412 6415 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 417966915 115843072 349 33554432000 4194304 5098028 140732914558912 140732914556168 140477392679548 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 37646336 140732914561828 140732914562156 140732914562156 140732914565069 0 /proc/8412/statm: 28282 349 296 221 0 87 0 [pid=8415] ppid=8412 vsize=27320392 memory=167128 CPUtime=0.99 cores=0-7 /proc/8415/stat : 8415 (java) S 8412 8412 6415 0 -1 1077944320 19819 0 0 0 93 6 0 0 20 0 20 0 417966916 27976081408 41782 33554432000 4194304 4196468 140728888775680 140728888758224 139954747264759 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16482304 140728888783595 140728888784022 140728888784022 140728888786895 0 /proc/8415/statm: 6830098 41782 3164 1 0 6791447 0 [pid=8415/tid=8416] ppid=8412 vsize=27320392 memory=279701826911920 CPUtime=0.68 cores=0-7 /proc/8415/task/8416/stat : 8416 (java) R 8412 8412 6415 0 -1 4202560 16929 0 0 0 63 5 0 0 20 0 20 0 417966916 27976081408 41782 33554432000 4194304 4196468 140728888775680 139954719102736 139954747286685 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16482304 140728888783595 140728888784022 140728888784022 140728888786895 0 [pid=8415/tid=8417] ppid=8412 vsize=27320392 memory=139850913457008 CPUtime=0 cores=0-7 /proc/8415/task/8417/stat : 8417 (java) S 8412 8412 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417966918 27976081408 41782 33554432000 4194304 4196468 140728888775680 139954751506704 139954747274965 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16482304 140728888783595 140728888784022 140728888784022 140728888786895 0 [pid=8415/tid=8418] ppid=8412 vsize=27320392 memory=0 CPUtime=0 cores=0-7 /proc/8415/task/8418/stat : 8418 (java) S 8412 8412 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417966918 27976081408 41782 33554432000 4194304 4196468 140728888775680 139954534902160 139954747274965 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16482304 140728888783595 140728888784022 140728888784022 140728888786895 0 [pid=8415/tid=8419] ppid=8412 vsize=27320392 memory=5980 CPUtime=0 cores=0-7 /proc/8415/task/8419/stat : 8419 (java) S 8412 8412 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417966918 27976081408 41782 33554432000 4194304 4196468 140728888775680 139954533849616 139954747274965 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16482304 140728888783595 140728888784022 140728888784022 140728888786895 0 ################ # More data... # ################ /proc/8437/task/8444/stat : 8444 (java) S 8412 8412 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417969552 8616062976 29691 33554432000 4194304 4196468 140737040068448 140666483924112 140667003217621 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12795904 140737040073720 140737040073878 140737040073878 140737040076751 0 [pid=8437/tid=8445] ppid=8412 vsize=8414124 memory=780 CPUtime=0 cores=0-7 /proc/8437/task/8445/stat : 8445 (java) S 8412 8412 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417969552 8616062976 29691 33554432000 4194304 4196468 140737040068448 140666482871056 140667003217621 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12795904 140737040073720 140737040073878 140737040073878 140737040076751 0 [pid=8437/tid=8446] ppid=8412 vsize=8414124 memory=5980 CPUtime=0 cores=0-7 /proc/8437/task/8446/stat : 8446 (java) S 8412 8412 6415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 417969552 8616062976 29691 33554432000 4194304 4196468 140737040068448 140666481818512 140667003217621 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12795904 140737040073720 140737040073878 140737040073878 140737040076751 0 [pid=8437/tid=8447] ppid=8412 vsize=8414124 memory=624 CPUtime=0 cores=0-7 /proc/8437/task/8447/stat : 8447 (java) S 8412 8412 6415 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 24 0 417969553 8616062976 29691 33554432000 4194304 4196468 140737040068448 140666432223472 140667003218562 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12795904 140737040073720 140737040073878 140737040073878 140737040076751 0 [pid=8437/tid=8448] ppid=8412 vsize=8414124 memory=3996 CPUtime=0 cores=0-7 /proc/8437/task/8448/stat : 8448 (java) S 8412 8412 6415 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 417969554 8616062976 29691 33554432000 4194304 4196468 140737040068448 140665614754976 140667003217621 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12795904 140737040073720 140737040073878 140737040073878 140737040076751 0 [pid=8437/tid=8449] ppid=8412 vsize=8414124 memory=495056 CPUtime=0 cores=0-7 /proc/8437/task/8449/stat : 8449 (java) S 8412 8412 6415 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 417969554 8616062976 29691 33554432000 4194304 4196468 140737040068448 140665480532720 140667003217621 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12795904 140737040073720 140737040073878 140737040073878 140737040076751 0 [pid=8437/tid=8450] ppid=8412 vsize=8414124 memory=1088 CPUtime=0 cores=0-7 /proc/8437/task/8450/stat : 8450 (java) S 8412 8412 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417969556 8616062976 29691 33554432000 4194304 4196468 140737040068448 140665106028496 140667003226011 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12795904 140737040073720 140737040073878 140737040073878 140737040076751 0 [pid=8437/tid=8451] ppid=8412 vsize=8414124 memory=988 CPUtime=0.07 cores=0-7 /proc/8437/task/8451/stat : 8451 (java) S 8412 8412 6415 0 -1 1077944384 538 0 0 0 7 0 0 0 20 0 24 0 417969556 8616062976 29691 33554432000 4194304 4196468 140737040068448 140666431171312 140667003218562 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12795904 140737040073720 140737040073878 140737040073878 140737040076751 0 [pid=8437/tid=8452] ppid=8412 vsize=8414124 memory=780 CPUtime=0.04 cores=0-7 /proc/8437/task/8452/stat : 8452 (java) S 8412 8412 6415 0 -1 1077944384 181 0 0 0 4 0 0 0 20 0 24 0 417969556 8616062976 29691 33554432000 4194304 4196468 140737040068448 140666430118768 140667003218562 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12795904 140737040073720 140737040073878 140737040073878 140737040076751 0 [pid=8437/tid=8453] ppid=8412 vsize=8414124 memory=5980 CPUtime=0.05 cores=0-7 /proc/8437/task/8453/stat : 8453 (java) S 8412 8412 6415 0 -1 1077944384 434 0 0 0 5 0 0 0 20 0 24 0 417969556 8616062976 29691 33554432000 4194304 4196468 140737040068448 140666429065712 140667003218562 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12795904 140737040073720 140737040073878 140737040073878 140737040076751 0 [pid=8437/tid=8454] ppid=8412 vsize=8414124 memory=624 CPUtime=0.19 cores=0-7 /proc/8437/task/8454/stat : 8454 (java) S 8412 8412 6415 0 -1 1077944384 779 0 0 0 19 0 0 0 20 0 24 0 417969556 8616062976 29691 33554432000 4194304 4196468 140737040068448 140666428013168 140667003218562 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12795904 140737040073720 140737040073878 140737040073878 140737040076751 0 [pid=8437/tid=8455] ppid=8412 vsize=8414124 memory=3996 CPUtime=0 cores=0-7 /proc/8437/task/8455/stat : 8455 (java) S 8412 8412 6415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 417969557 8616062976 29691 33554432000 4194304 4196468 140737040068448 140664608123360 140667003217621 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12795904 140737040073720 140737040073878 140737040073878 140737040076751 0 [pid=8437/tid=8456] ppid=8412 vsize=8414124 memory=460192 CPUtime=0.06 cores=0-7 /proc/8437/task/8456/stat : 8456 (java) S 8412 8412 6415 0 -1 1077944384 6 0 0 0 2 4 0 0 20 0 24 0 417969557 8616062976 29691 33554432000 4194304 4196468 140737040068448 140666426960560 140667003218562 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12795904 140737040073720 140737040073878 140737040073878 140737040076751 0 [pid=8437/tid=8458] ppid=8412 vsize=8414124 memory=118764 CPUtime=0 cores=0-7 /proc/8437/task/8458/stat : 8458 (java) S 8412 8412 6415 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 417969631 8616062976 29691 33554432000 4194304 4196468 140737040068448 140666421117888 140667003232025 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 12795904 140737040073720 140737040073878 140737040073878 140737040076751 0 [pid=8437/tid=8460] ppid=8412 vsize=8414124 memory=460120 CPUtime=0 cores=0-7 /proc/8437/task/8460/stat : 8460 (java) S 8412 8412 6415 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 417969631 8616062976 29691 33554432000 4194304 4196468 140737040068448 140664205459472 140667003229341 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 12795904 140737040073720 140737040073878 140737040073878 140737040076751 0 [pid=8437/tid=8461] ppid=8412 vsize=8414124 memory=1772 CPUtime=0 cores=0-7 /proc/8437/task/8461/stat : 8461 (java) S 8412 8412 6415 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 24 0 417969631 8616062976 29691 33554432000 4194304 4196468 140737040068448 140663937024144 140667003229341 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 12795904 140737040073720 140737040073878 140737040073878 140737040076751 0 [pid=8437/tid=8462] ppid=8412 vsize=8414124 memory=1056 CPUtime=0 cores=0-7 /proc/8437/task/8462/stat : 8462 (java) S 8412 8412 6415 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 417969633 8616062976 29691 33554432000 4194304 4196468 140737040068448 140663668596144 140667003217621 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12795904 140737040073720 140737040073878 140737040073878 140737040076751 0 Current children cumulated CPU time: 684.97 s Current children cumulated vsize: 9307388 KiB Current children cumulated memory: 615364 KiB [startup+109.601 s] /proc/loadavg: 7.55 4.98 3.02 5/220 8477 /proc/meminfo: memFree=30296824/32770624 swapFree=66940928/67108860 [pid=8412] ppid=8409 vsize=113128 memory=1476 CPUtime=39.04 cores=0-7 /proc/8412/stat : 8412 (scop.sh) S 8409 8412 6415 0 -1 4202496 583 52828 0 0 0 0 3732 172 20 0 1 0 417966915 115843072 369 33554432000 4194304 5098028 140732914558912 140732914555656 140477392679548 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 37646336 140732914561828 140732914562156 140732914562156 140732914565069 0 /proc/8412/statm: 28282 369 311 221 0 87 0 [pid=8437] ppid=8412 vsize=8414124 memory=118764 CPUtime=1.21 cores=0-7 /proc/8437/stat : 8437 (java) S 8412 8412 6415 0 -1 1077944320 20732 0 0 0 112 9 0 0 20 0 24 0 417969550 8616062976 29691 33554432000 4194304 4196468 140737040068448 140737040050992 140667003207415 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12795904 140737040073720 140737040073878 140737040073878 140737040076751 0 /proc/8437/statm: 2103531 29691 3206 1 0 2064875 0 [pid=8457] ppid=8437 vsize=763744 memory=495108 CPUtime=647.03 cores=0-7 /proc/8457/stat : 8457 (manyglucose-4.1) S 8437 8412 6415 0 -1 1077944320 442941 0 0 0 64595 108 0 0 20 0 2 0 417969631 782073856 123777 33554432000 4194304 4454172 140731918955792 140731918954176 140661660774135 0 4 0 8388610 18446744073709551615 0 0 17 4 0 0 0 0 0 6552832 6554400 22880256 140731918959466 140731918959664 140731918959664 140731918962618 0 /proc/8457/statm: 190936 123777 417 64 0 186604 0 [pid=8457/tid=8469] ppid=8437 vsize=763744 memory=780 CPUtime=80.7 cores=0-7 /proc/8457/task/8469/stat : 8469 (manyglucose-4.1) R 8437 8412 6415 0 -1 4202560 55140 0 0 0 8051 19 0 0 20 0 2 0 417969660 782073856 123777 33554432000 4194304 4454172 140731918955792 140661574089592 4350983 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6552832 6554400 22880256 140731918959466 140731918959664 140731918959664 140731918962618 0 [pid=8437/tid=8438] ppid=8412 vsize=8414124 memory=5980 CPUtime=0.75 cores=0-7 /proc/8437/task/8438/stat : 8438 (java) S 8412 8412 6415 0 -1 1077944384 17384 0 0 0 69 6 0 0 20 0 24 0 417969551 8616062976 29691 33554432000 4194304 4196468 140737040068448 140666975047584 140667003217621 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 8 0 0 6293624 6294260 12795904 140737040073720 140737040073878 140737040073878 140737040076751 0 [pid=8437/tid=8439] ppid=8412 vsize=8414124 memory=624 CPUtime=0 cores=0-7 /proc/8437/task/8439/stat : 8439 (java) S 8412 8412 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 417969552 8616062976 29691 33554432000 4194304 4196468 140737040068448 140667007449616 140667003217621 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12795904 140737040073720 140737040073878 140737040073878 140737040076751 0 [pid=8437/tid=8440] ppid=8412 vsize=8414124 memory=3996 CPUtime=0 cores=0-7 /proc/8437/task/8440/stat : 8440 (java) S 8412 8412 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417969552 8616062976 29691 33554432000 4194304 4196468 140737040068448 140666825538192 140667003217621 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12795904 140737040073720 140737040073878 140737040073878 140737040076751 0 [pid=8437/tid=8441] ppid=8412 vsize=8414124 memory=1720 CPUtime=0 cores=0-7 /proc/8437/task/8441/stat : 8441 (java) S 8412 8412 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417969552 8616062976 29691 33554432000 4194304 4196468 140737040068448 140666824485136 140667003217621 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12795904 140737040073720 140737040073878 140737040073878 140737040076751 0 [pid=8437/tid=8442] ppid=8412 vsize=8414124 memory=1976 CPUtime=0 cores=0-7 /proc/8437/task/8442/stat : 8442 (java) S 8412 8412 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417969552 8616062976 29691 33554432000 4194304 4196468 140737040068448 140666486028688 140667003217621 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12795904 140737040073720 140737040073878 140737040073878 140737040076751 0 [pid=8437/tid=8443] ppid=8412 vsize=8414124 memory=2432 CPUtime=0 cores=0-7 /proc/8437/task/8443/stat : 8443 (java) S 8412 8412 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417969552 8616062976 29691 33554432000 4194304 4196468 140737040068448 140666484976656 140667003217621 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12795904 140737040073720 140737040073878 140737040073878 140737040076751 0 [pid=8437/tid=8444] ppid=8412 vsize=8414124 memory=1436 CPUtime=0 cores=0-7 /proc/8437/task/8444/stat : 8444 (java) S 8412 8412 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417969552 8616062976 29691 33554432000 4194304 4196468 140737040068448 140666483924112 140667003217621 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12795904 140737040073720 140737040073878 140737040073878 140737040076751 0 [pid=8437/tid=8445] ppid=8412 vsize=8414124 memory=800 CPUtime=0 cores=0-7 /proc/8437/task/8445/stat : 8445 (java) S 8412 8412 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417969552 8616062976 29691 33554432000 4194304 4196468 140737040068448 140666482871056 140667003217621 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12795904 140737040073720 140737040073878 140737040073878 140737040076751 0 [pid=8437/tid=8446] ppid=8412 vsize=8414124 memory=1764 CPUtime=0 cores=0-7 /proc/8437/task/8446/stat : 8446 (java) S 8412 8412 6415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 417969552 8616062976 29691 33554432000 4194304 4196468 140737040068448 140666481818512 140667003217621 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12795904 140737040073720 140737040073878 140737040073878 140737040076751 0 [pid=8437/tid=8447] ppid=8412 vsize=8414124 memory=111628 CPUtime=0 cores=0-7 /proc/8437/task/8447/stat : 8447 (java) S 8412 8412 6415 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 24 0 417969553 8616062976 29691 33554432000 4194304 4196468 140737040068448 140666432223472 140667003218562 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12795904 140737040073720 140737040073878 140737040073878 140737040076751 0 [pid=8437/tid=8448] ppid=8412 vsize=8414124 memory=800 CPUtime=0 cores=0-7 /proc/8437/task/8448/stat : 8448 (java) S 8412 8412 6415 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 417969554 8616062976 29691 33554432000 4194304 4196468 140737040068448 140665614754976 140667003217621 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12795904 140737040073720 140737040073878 140737040073878 140737040076751 0 [pid=8437/tid=8449] ppid=8412 vsize=8414124 memory=495124 CPUtime=0 cores=0-7 /proc/8437/task/8449/stat : 8449 (java) S 8412 8412 6415 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 417969554 8616062976 29691 33554432000 4194304 4196468 140737040068448 140665480532720 140667003217621 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12795904 140737040073720 140737040073878 140737040073878 140737040076751 0 [pid=8437/tid=8450] ppid=8412 vsize=8414124 memory=7686721470351120795 CPUtime=0 cores=0-7 /proc/8437/task/8450/stat : 8450 (java) S 8412 8412 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417969556 8616062976 29691 33554432000 4194304 4196468 140737040068448 140665106028496 140667003226011 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12795904 140737040073720 140737040073878 140737040073878 140737040076751 0 [pid=8437/tid=8451] ppid=8412 vsize=8414124 memory=4126316290023845779 CPUtime=0.07 cores=0-7 /proc/8437/task/8451/stat : 8451 (java) S 8412 8412 6415 0 -1 1077944384 538 0 0 0 7 0 0 0 20 0 24 0 417969556 8616062976 29691 33554432000 4194304 4196468 140737040068448 140666431171312 140667003218562 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12795904 140737040073720 140737040073878 140737040073878 140737040076751 0 [pid=8437/tid=8452] ppid=8412 vsize=8414124 memory=6933690317890819993 CPUtime=0.04 cores=0-7 /proc/8437/task/8452/stat : 8452 (java) S 8412 8412 6415 0 -1 1077944384 181 0 0 0 4 0 0 0 20 0 24 0 417969556 8616062976 29691 33554432000 4194304 4196468 140737040068448 140666430118768 140667003218562 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12795904 140737040073720 140737040073878 140737040073878 140737040076751 0 [pid=8437/tid=8453] ppid=8412 vsize=8414124 memory=6082763888460927911 CPUtime=0.05 cores=0-7 /proc/8437/task/8453/stat : 8453 (java) S 8412 8412 6415 0 -1 1077944384 434 0 0 0 5 0 0 0 20 0 24 0 417969556 8616062976 29691 33554432000 4194304 4196468 140737040068448 140666429065712 140667003218562 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12795904 140737040073720 140737040073878 140737040073878 140737040076751 0 [pid=8437/tid=8454] ppid=8412 vsize=8414124 memory=6082763888460927911 CPUtime=0.19 cores=0-7 /proc/8437/task/8454/stat : 8454 (java) S 8412 8412 6415 0 -1 1077944384 779 0 0 0 19 0 0 0 20 0 24 0 417969556 8616062976 29691 33554432000 4194304 4196468 140737040068448 140666428013168 140667003218562 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12795904 140737040073720 140737040073878 140737040073878 140737040076751 0 [pid=8437/tid=8455] ppid=8412 vsize=8414124 memory=6082763888460927911 CPUtime=0 cores=0-7 /proc/8437/task/8455/stat : 8455 (java) S 8412 8412 6415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 417969557 8616062976 29691 33554432000 4194304 4196468 140737040068448 140664608123360 140667003217621 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12795904 140737040073720 140737040073878 140737040073878 140737040076751 0 [pid=8437/tid=8456] ppid=8412 vsize=8414124 memory=0 CPUtime=0.06 cores=0-7 /proc/8437/task/8456/stat : 8456 (java) S 8412 8412 6415 0 -1 1077944384 6 0 0 0 2 4 0 0 20 0 24 0 417969557 8616062976 29691 33554432000 4194304 4196468 140737040068448 140666426960560 140667003218562 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12795904 140737040073720 140737040073878 140737040073878 140737040076751 0 [pid=8437/tid=8458] ppid=8412 vsize=8414124 memory=2832 CPUtime=0 cores=0-7 /proc/8437/task/8458/stat : 8458 (java) S 8412 8412 6415 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 417969631 8616062976 29691 33554432000 4194304 4196468 140737040068448 140666421117888 140667003232025 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 12795904 140737040073720 140737040073878 140737040073878 140737040076751 0 [pid=8437/tid=8460] ppid=8412 vsize=8414124 memory=14012 CPUtime=0 cores=0-7 /proc/8437/task/8460/stat : 8460 (java) S 8412 8412 6415 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 417969631 8616062976 29691 33554432000 4194304 4196468 140737040068448 140664205459472 140667003229341 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 12795904 140737040073720 140737040073878 140737040073878 140737040076751 0 [pid=8437/tid=8461] ppid=8412 vsize=8414124 memory=2112 CPUtime=0 cores=0-7 /proc/8437/task/8461/stat : 8461 (java) S 8412 8412 6415 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 24 0 417969631 8616062976 29691 33554432000 4194304 4196468 140737040068448 140663937024144 140667003229341 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 12795904 140737040073720 140737040073878 140737040073878 140737040076751 0 [pid=8437/tid=8462] ppid=8412 vsize=8414124 memory=12040 CPUtime=0 cores=0-7 /proc/8437/task/8462/stat : 8462 (java) S 8412 8412 6415 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 417969633 8616062976 29691 33554432000 4194304 4196468 140737040068448 140663668596144 140667003217621 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12795904 140737040073720 140737040073878 140737040073878 140737040076751 0 Current children cumulated CPU time: 687.28 s Current children cumulated vsize: 9290996 KiB Current children cumulated memory: 615348 KiB [startup+109.801 s] /proc/loadavg: 7.55 4.98 3.02 5/220 8477 /proc/meminfo: memFree=30296824/32770624 swapFree=66940928/67108860 [pid=8412] ppid=8409 vsize=113128 memory=1476 CPUtime=39.04 cores=0-7 /proc/8412/stat : 8412 (scop.sh) S 8409 8412 6415 0 -1 4202496 583 52828 0 0 0 0 3732 172 20 0 1 0 417966915 115843072 369 33554432000 4194304 5098028 140732914558912 140732914555656 140477392679548 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 37646336 140732914561828 140732914562156 140732914562156 140732914565069 0 /proc/8412/statm: 28282 369 311 221 0 87 0 [pid=8437] ppid=8412 vsize=8414124 memory=119036 CPUtime=1.24 cores=0-7 /proc/8437/stat : 8437 (java) S 8412 8412 6415 0 -1 1077944320 20768 0 0 0 115 9 0 0 20 0 24 0 417969550 8616062976 29759 33554432000 4194304 4196468 140737040068448 140737040050992 140667003207415 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12795904 140737040073720 140737040073878 140737040073878 140737040076751 0 /proc/8437/statm: 2103531 29759 3206 1 0 2064875 0 [pid=8437/tid=8438] ppid=8412 vsize=8414124 memory=928 CPUtime=0.75 cores=0-7 /proc/8437/task/8438/stat : 8438 (java) S 8412 8412 6415 0 -1 1077944384 17384 0 0 0 69 6 0 0 20 0 24 0 417969551 8616062976 29759 33554432000 4194304 4196468 140737040068448 140666975047584 140667003217621 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 8 0 0 6293624 6294260 12795904 140737040073720 140737040073878 140737040073878 140737040076751 0 [pid=8437/tid=8439] ppid=8412 vsize=8414124 memory=1804 CPUtime=0 cores=0-7 /proc/8437/task/8439/stat : 8439 (java) S 8412 8412 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 417969552 8616062976 29759 33554432000 4194304 4196468 140737040068448 140667007449616 140667003217621 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12795904 140737040073720 140737040073878 140737040073878 140737040076751 0 [pid=8437/tid=8440] ppid=8412 vsize=8414124 memory=920 CPUtime=0 cores=0-7 /proc/8437/task/8440/stat : 8440 (java) S 8412 8412 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417969552 8616062976 29759 33554432000 4194304 4196468 140737040068448 140666825538192 140667003217621 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12795904 140737040073720 140737040073878 140737040073878 140737040076751 0 [pid=8437/tid=8441] ppid=8412 vsize=8414124 memory=4136 CPUtime=0 cores=0-7 /proc/8437/task/8441/stat : 8441 (java) S 8412 8412 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417969552 8616062976 29759 33554432000 4194304 4196468 140737040068448 140666824485136 140667003217621 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12795904 140737040073720 140737040073878 140737040073878 140737040076751 0 [pid=8437/tid=8442] ppid=8412 vsize=8414124 memory=4096 CPUtime=0 cores=0-7 /proc/8437/task/8442/stat : 8442 (java) S 8412 8412 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417969552 8616062976 29759 33554432000 4194304 4196468 140737040068448 140666486028688 140667003217621 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12795904 140737040073720 140737040073878 140737040073878 140737040076751 0 [pid=8437/tid=8443] ppid=8412 vsize=8414124 memory=1408 CPUtime=0 cores=0-7 /proc/8437/task/8443/stat : 8443 (java) S 8412 8412 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417969552 8616062976 29759 33554432000 4194304 4196468 140737040068448 140666484976656 140667003217621 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12795904 140737040073720 140737040073878 140737040073878 140737040076751 0 [pid=8437/tid=8444] ppid=8412 vsize=8414124 memory=3516 CPUtime=0 cores=0-7 /proc/8437/task/8444/stat : 8444 (java) S 8412 8412 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417969552 8616062976 29759 33554432000 4194304 4196468 140737040068448 140666483924112 140667003217621 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12795904 140737040073720 140737040073878 140737040073878 140737040076751 0 [pid=8437/tid=8445] ppid=8412 vsize=8414124 memory=1476 CPUtime=0 cores=0-7 /proc/8437/task/8445/stat : 8445 (java) S 8412 8412 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417969552 8616062976 29759 33554432000 4194304 4196468 140737040068448 140666482871056 140667003217621 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12795904 140737040073720 140737040073878 140737040073878 140737040076751 0 [pid=8437/tid=8446] ppid=8412 vsize=8414124 memory=118764 CPUtime=0 cores=0-7 /proc/8437/task/8446/stat : 8446 (java) S 8412 8412 6415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 417969552 8616062976 29759 33554432000 4194304 4196468 140737040068448 140666481818512 140667003217621 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12795904 140737040073720 140737040073878 140737040073878 140737040076751 0 [pid=8437/tid=8447] ppid=8412 vsize=8414124 memory=482564 CPUtime=0 cores=0-7 /proc/8437/task/8447/stat : 8447 (java) S 8412 8412 6415 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 24 0 417969553 8616062976 29759 33554432000 4194304 4196468 140737040068448 140666432223472 140667003218562 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12795904 140737040073720 140737040073878 140737040073878 140737040076751 0 [pid=8437/tid=8448] ppid=8412 vsize=8414124 memory=1428 CPUtime=0 cores=0-7 /proc/8437/task/8448/stat : 8448 (java) S 8412 8412 6415 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 417969554 8616062976 29759 33554432000 4194304 4196468 140737040068448 140665614754976 140667003217621 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12795904 140737040073720 140737040073878 140737040073878 140737040076751 0 [pid=8437/tid=8449] ppid=8412 vsize=8414124 memory=1476 CPUtime=0 cores=0-7 /proc/8437/task/8449/stat : 8449 (java) S 8412 8412 6415 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 417969554 8616062976 29759 33554432000 4194304 4196468 140737040068448 140665480532720 140667003217621 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12795904 140737040073720 140737040073878 140737040073878 140737040076751 0 [pid=8437/tid=8450] ppid=8412 vsize=8414124 memory=2112 CPUtime=0 cores=0-7 /proc/8437/task/8450/stat : 8450 (java) S 8412 8412 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417969556 8616062976 29759 33554432000 4194304 4196468 140737040068448 140665106028496 140667003226011 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12795904 140737040073720 140737040073878 140737040073878 140737040076751 0 [pid=8437/tid=8451] ppid=8412 vsize=8414124 memory=12040 CPUtime=0.07 cores=0-7 /proc/8437/task/8451/stat : 8451 (java) S 8412 8412 6415 0 -1 1077944384 539 0 0 0 7 0 0 0 20 0 24 0 417969556 8616062976 29759 33554432000 4194304 4196468 140737040068448 140666431171312 140667003218562 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12795904 140737040073720 140737040073878 140737040073878 140737040076751 0 [pid=8437/tid=8452] ppid=8412 vsize=8414124 memory=23880 CPUtime=0.04 cores=0-7 /proc/8437/task/8452/stat : 8452 (java) R 8412 8412 6415 0 -1 4202560 181 0 0 0 4 0 0 0 20 0 24 0 417969556 8616062976 29759 33554432000 4194304 4196468 140737040068448 140666430110096 140666981229617 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12795904 140737040073720 140737040073878 140737040073878 140737040076751 0 [pid=8437/tid=8453] ppid=8412 vsize=8414124 memory=1556 CPUtime=0.06 cores=0-7 /proc/8437/task/8453/stat : 8453 (java) R 8412 8412 6415 0 -1 4202560 438 0 0 0 6 0 0 0 20 0 24 0 417969556 8616062976 29759 33554432000 4194304 4196468 140737040068448 140666429057216 140666986707927 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12795904 140737040073720 140737040073878 140737040073878 140737040076751 0 [pid=8437/tid=8454] ppid=8412 vsize=8414124 memory=532 CPUtime=0.21 cores=0-7 /proc/8437/task/8454/stat : 8454 (java) R 8412 8412 6415 0 -1 4202560 807 0 0 0 21 0 0 0 20 0 24 0 417969556 8616062976 29759 33554432000 4194304 4196468 140737040068448 140666428010960 140666982192232 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12795904 140737040073720 140737040073878 140737040073878 140737040076751 0 [pid=8437/tid=8455] ppid=8412 vsize=8414124 memory=928 CPUtime=0 cores=0-7 /proc/8437/task/8455/stat : 8455 (java) S 8412 8412 6415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 417969557 8616062976 29759 33554432000 4194304 4196468 140737040068448 140664608123360 140667003217621 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12795904 140737040073720 140737040073878 140737040073878 140737040076751 0 [pid=8437/tid=8456] ppid=8412 vsize=8414124 memory=1720 CPUtime=0.06 cores=0-7 /proc/8437/task/8456/stat : 8456 (java) S 8412 8412 6415 0 -1 1077944384 6 0 0 0 2 4 0 0 20 0 24 0 417969557 8616062976 29759 33554432000 4194304 4196468 140737040068448 140666426960560 140667003218562 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12795904 140737040073720 140737040073878 140737040073878 140737040076751 0 [pid=8437/tid=8458] ppid=8412 vsize=8414124 memory=118764 CPUtime=0 cores=0-7 /proc/8437/task/8458/stat : 8458 (java) S 8412 8412 6415 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 417969631 8616062976 29759 33554432000 4194304 4196468 140737040068448 140666421117888 140667003232025 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 12795904 140737040073720 140737040073878 140737040073878 140737040076751 0 [pid=8437/tid=8460] ppid=8412 vsize=8414124 memory=460168 CPUtime=0.01 cores=0-7 /proc/8437/task/8460/stat : 8460 (java) R 8412 8412 6415 0 -1 4202560 25 0 0 0 1 0 0 0 20 0 24 0 417969631 8616062976 29759 33554432000 4194304 4196468 140737040068448 140664205465984 140667003229245 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12795904 140737040073720 140737040073878 140737040073878 140737040076751 0 [pid=8437/tid=8461] ppid=8412 vsize=8414124 memory=118764 CPUtime=0 cores=0-7 /proc/8437/task/8461/stat : 8461 (java) S 8412 8412 6415 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 24 0 417969631 8616062976 29759 33554432000 4194304 4196468 140737040068448 140663937024144 140667003229341 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 12795904 140737040073720 140737040073878 140737040073878 140737040076751 0 [pid=8437/tid=8462] ppid=8412 vsize=8414124 memory=460028 CPUtime=0 cores=0-7 /proc/8437/task/8462/stat : 8462 (java) S 8412 8412 6415 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 417969633 8616062976 29759 33554432000 4194304 4196468 140737040068448 140663668596144 140667003217621 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12795904 140737040073720 140737040073878 140737040073878 140737040076751 0 Current children cumulated CPU time: 40.28 s Current children cumulated vsize: 8527252 KiB Current children cumulated memory: 120512 KiB Child status: 0 Real time (s): 109.818 CPU time (s): 687.573 CPU user time (s): 684.648 CPU system time (s): 2.92448 CPU usage (%): 626.1 Max. virtual memory (cumulated for all children) (KiB): 27443924 Max. memory (cumulated for all children) (KiB): 6137684 getrusage(RUSAGE_CHILDREN,...) data: user time used= 684.648 system time used= 2.92448 maximum resident set size= 6136288 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 517779 page faults= 0 swaps= 0 block input operations= 0 block output operations= 10720 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 34833 involuntary context switches= 7389 # summary of solver processes directly reported to runsolver: # pid: 8412 # total CPU time (s): 687.573 # total CPU user time (s): 684.648 # total CPU system time (s): 2.92448 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 1.04209 second user time and 1.36721 second system time The end
Begin job on node149 at 2019-09-14 01:27:24 IDJOB=4392593 IDBENCH=121393 IDSOLVER=2839 FILE ID=node149/4392593-1568417282 RUNJOBID= node149-1568416730-6442 PBS_JOBID= 21702252 Free space on /tmp= 61420 MiB SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-06-15) BENCH NAME= XCSP17/Random/Random-RB-3-20-20/rand-3-20-20-60-632-45.xml COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -hybrid DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4392593-1568417282/watcher-4392593-1568417282 -o /tmp/evaluation-result-4392593-1568417282/solver-4392593-1568417282 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node149-1568416730-6442 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392593-1568417282.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 9875f5c0ec8fbb2d8215ec13f3e1e37d RANDOM SEED=964400374 node149.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.81 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.81 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.81 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.81 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: 30904628 kB MemAvailable: 31859072 kB Buffers: 174620 kB Cached: 1080092 kB SwapCached: 61320 kB Active: 602940 kB Inactive: 713404 kB Active(anon): 28824 kB Inactive(anon): 72460 kB Active(file): 574116 kB Inactive(file): 640944 kB Unevictable: 111252 kB Mlocked: 111252 kB SwapTotal: 67108860 kB SwapFree: 66940928 kB Dirty: 22044 kB Writeback: 0 kB AnonPages: 121012 kB Mapped: 44152 kB Shmem: 31360 kB Slab: 139744 kB SReclaimable: 110440 kB SUnreclaim: 29304 kB KernelStack: 3712 kB PageTables: 5204 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 498096 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 75776 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 144768 kB DirectMap2M: 33400832 kB Free space on /tmp at the end= 61400 MiB End job on node149 at 2019-09-14 01:29:14