Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
Fun-sCOP order+ManyGlucose (2019-09-22) | UNSAT | 1768.12 | 260.244 |
Name | SuperSolutions/SuperSolutions-Taillard-js15/ SuperTaillard-js-15-08.xml |
MD5SUM | 79bafde88fa7f495a04ad4879b5697b3 |
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 | 257.025 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 450 |
Number of constraints | 5580 |
Number of domains | 84 |
Minimum domain size | 1123 |
Maximum domain size | 1221 |
Distribution of domain sizes | [{"size":1123,"count":10},{"size":1124,"count":4},{"size":1125,"count":4},{"size":1126,"count":10},{"size":1127,"count":8},{"size":1130,"count":6},{"size":1131,"count":4},{"size":1132,"count":6},{"size":1133,"count":8},{"size":1134,"count":6},{"size":1135,"count":2},{"size":1136,"count":2},{"size":1137,"count":6},{"size":1138,"count":6},{"size":1139,"count":10},{"size":1140,"count":6},{"size":1141,"count":10},{"size":1142,"count":10},{"size":1143,"count":6},{"size":1145,"count":4},{"size":1146,"count":10},{"size":1147,"count":6},{"size":1148,"count":2},{"size":1149,"count":2},{"size":1150,"count":2},"...",{"size":1192,"count":4}, {"size":1194,"count":6}, {"size":1195,"count":6}, {"size":1196,"count":2}, {"size":1198,"count":8}, {"size":1199,"count":6}, {"size":1200,"count":4}, {"size":1201,"count":6}, {"size":1202,"count":4}, {"size":1203,"count":2}, {"size":1204,"count":2}, {"size":1206,"count":8}, {"size":1207,"count":6}, {"size":1208,"count":10}, {"size":1211,"count":6}, {"size":1212,"count":2}, {"size":1213,"count":6}, {"size":1214,"count":4}, {"size":1215,"count":2}, {"size":1216,"count":10}, {"size":1217,"count":10}, {"size":1218,"count":12}, {"size":1219,"count":6}, {"size":1220,"count":4}, {"size":1221,"count":8}] |
Minimum variable degree | 16 |
Maximum variable degree | 33 |
Distribution of variable degrees | [{"degree":16,"count":30},{"degree":17,"count":195},{"degree":31,"count":30},{"degree":33,"count":195}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 2 |
Distribution of constraint arities | [{"arity":2,"count":5580}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 5580 |
Distribution of constraint types | [{"type":"intension","count":5580}] |
Optimization problem | NO |
Type of objective |
0.00/0.00 c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -order -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-5924-serial-file.bin HOME/instance-4405281-1569357990.xml 0.65/0.54 0.65/0.54 Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15) 0.65/0.54 0.65/0.57 c BEGIN-Prog: Tue Sep 24 22:45:49 CEST 2019 0.65/0.57 c PID: 5927 0.65/0.57 c IP: 172.20.3.119 0.65/0.57 c HOST: node119.alineos.net 0.65/0.57 c (0,0) Parsing Begin 5.27/1.85 c (1,1) Parsing End 5.27/1.86 c (1,1) CSP: 450 int (0 aux), 0 bool (0 aux), 5580 ctr, max domain size 1221 5.27/1.86 c (1,1) Heap : 675 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB) 5.27/1.86 c (1,1) Constraint Name Generate Begin 5.63/1.90 c (1,1) Ctr:HOME/instance-4405281-1569357990.xml,Add:Le:Ne:Num:Or:Var 5.63/1.90 c (1,1) Constraint Name Generate End 5.63/1.90 c (1,1) Heap : 788 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB) 5.63/1.90 c (1,1) CSP to CSPinCNF Begin 6.33/2.16 c (1,1) translated 558 (10%) constraints 6.68/2.22 c (1,1) translated 1116 (20%) constraints 6.68/2.27 c (1,1) translated 1674 (30%) constraints 7.09/2.32 c (1,1) translated 2232 (40%) constraints 7.09/2.36 c (1,1) translated 2790 (50%) constraints 7.09/2.39 c (1,1) translated 3348 (60%) constraints 7.49/2.43 c (1,1) translated 3906 (70%) constraints 7.49/2.46 c (1,1) translated 4464 (80%) constraints 7.49/2.49 c (1,1) translated 5022 (90%) constraints 7.89/2.51 c (1,1) translated 5580 (100%) constraints 9.16/2.82 c (1,1) =========================================== 9.16/2.82 c (1,1) Order 9.16/2.82 c (1,1) =========================================== 9.16/2.82 c (2,2) translated 558 (10%) constraints 9.16/2.82 c (2,2) translated 1116 (20%) constraints 9.16/2.82 c (2,2) translated 1674 (30%) constraints 9.16/2.82 c (2,2) translated 2232 (40%) constraints 9.16/2.82 c (2,2) translated 2790 (50%) constraints 9.16/2.82 c (2,2) translated 3348 (60%) constraints 9.16/2.82 c (2,2) translated 3906 (70%) constraints 9.16/2.82 c (2,2) translated 4464 (80%) constraints 9.16/2.82 c (2,2) translated 5022 (90%) constraints 9.16/2.82 c (2,2) translated 5580 (100%) constraints 9.16/2.82 c (2,2) CSP to CSPinCNF End 9.16/2.82 c (2,2) CSP: 450 int (0 aux), 0 bool (0 aux), 5580 ctr, max domain size 1138 9.16/2.82 c (2,2) Heap : 901 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB) 9.16/2.82 c (2,2) CSPinCNF Propagation Begin 9.16/2.82 c (2,2) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed 9.16/2.82 c (2,2) CSPinCNF Propagation End 9.16/2.82 c (2,2) CSP: 450 int (0 aux), 0 bool (0 aux), 5580 ctr, max domain size 1138 9.16/2.82 c (2,2) Heap : 901 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB) 9.16/2.82 c (2,2) Simplify CSPinCNF Begin 9.85/3.06 c (2,2) Simplify CSPinCNF End 9.85/3.07 c (2,2) CSP: 450 int (0 aux), 9900 bool (9900 aux), 15480 ctr, max domain size 1138 9.85/3.07 c (2,2) Heap : 901 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB) 9.85/3.07 c (2,2) Calculate Precise Domain Begin 9.85/3.07 c (2,2) 0 values are removed by re-calculation 9.85/3.07 c (2,2) Calculate Precise Domain End 9.85/3.07 c (2,2) CSP: 450 int (0 aux), 9900 bool (9900 aux), 15480 ctr, max domain size 1138 9.85/3.07 c (2,2) Heap : 901 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB) 9.85/3.07 c (2,2) CSPinCNF to SatSolver Begin 15.02/6.02 c (5,5) 1548 (10 %) CSP clauses are encoded (0 SAT variables, 849861 SAT clauses) 17.62/8.55 c (8,7) 3096 (20 %) CSP clauses are encoded (0 SAT variables, 1448149 SAT clauses) 20.17/10.73 c (10,10) 4644 (30 %) CSP clauses are encoded (0 SAT variables, 1994752 SAT clauses) 22.19/12.97 c (12,12) 6192 (40 %) CSP clauses are encoded (0 SAT variables, 2558593 SAT clauses) 24.85/15.23 c (14,14) 7740 (50 %) CSP clauses are encoded (0 SAT variables, 3148307 SAT clauses) 27.33/17.64 c (17,16) 9288 (60 %) CSP clauses are encoded (0 SAT variables, 3731837 SAT clauses) 29.36/19.82 c (19,18) 10836 (70 %) CSP clauses are encoded (0 SAT variables, 4256729 SAT clauses) 31.56/21.85 c (21,20) 12384 (80 %) CSP clauses are encoded (0 SAT variables, 4789257 SAT clauses) 34.07/24.39 c (23,23) 13932 (90 %) CSP clauses are encoded (0 SAT variables, 5460521 SAT clauses) 36.88/27.13 c (26,26) 15480 (100 %) CSP clauses are encoded (0 SAT variables, 6332144 SAT clauses) 36.88/27.14 c (26,26) CSPinCNF to SatSolver End 36.88/27.14 c (26,26) Heap : 5130 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB) 36.88/27.14 c (26,26) 338696 bool, 6332716 clause 36.88/27.14 c (26,26) Export Begin 37.03/27.25 c (26,26) Export to HOME/scop-5924-serial-file.bin 37.03/27.25 c (26,26) Export End 37.03/27.25 c (26,26) Export File Size: 0.07 MB 37.03/27.25 c (26,26) 1,1,2,2,2,2,26,STOP-AFTER(DIMACS) 37.03/27.25 c END-Prog: Tue Sep 24 22:46:16 CEST 2019 37.03/27.29 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-5924-serial-file.bin 37.19/27.75 c (0,0) Read Serial File Begin 37.19/27.75 c (0,0) HOME/scop-5924-serial-file.bin 37.19/27.99 c (0,0) Read Serial File End 37.19/28.06 37.19/28.06 Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15) 37.19/28.06 (Solving Process) 37.19/28.06 37.19/28.06 c BEGIN-Prog: Tue Sep 24 22:46:17 CEST 2019 37.19/28.06 c PID: 5947 37.19/28.06 c IP: 172.20.3.119 37.19/28.06 c HOST: node119.alineos.net 37.19/28.06 c (0,0) SatSolver.solve Begin 37.19/28.06 c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405281-1569357990.xml-scop-5927.cnf 37.19/28.06 c (0,0) c 37.19/28.06 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) 37.19/28.06 c (0,0) c 37.19/28.06 c (0,0) c WARNING: for repeatability, setting FPU to use double precision 37.19/28.06 c (0,0) c 8 solvers engines and 1 companion as a blackboard created. 37.19/28.06 c (0,0) c ========================================[ Problem Statistics ]=========================================== 37.19/28.06 c (0,0) c | | 40.91/30.51 c (2,0) c | Number of variables: 338696 | 40.91/30.51 c (2,0) c | Number of clauses: 6210770 | 40.91/30.51 c (2,0) c | Parse time: 2.23 s | 40.91/30.51 c (2,0) c | | 41.31/30.93 c (3,0) c | Too many clauses... No preprocessing | 41.31/30.93 c (3,0) c | Simplification time: 0.37 s | 41.31/30.93 c (3,0) c | | 41.31/30.93 c (3,0) c | Generating clones | 42.91/32.59 c (4,0) c | all clones generated. Memory = 3520.77Mb. | 42.91/32.59 c (4,0) c ========================================================================================================| 42.91/32.59 c (4,0) c 42.91/32.59 c (4,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 42.91/32.59 c (4,0) c 42.91/32.59 c (4,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 42.91/32.59 c (4,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 42.91/32.59 c (4,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 42.91/32.59 c (4,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 42.91/32.59 c (4,0) c | adaptStrategeis | True | False | True | False | True | False | True | False | 42.91/32.59 c (4,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 42.91/32.59 c (4,0) c | Initial random_seed | 91648253 | 91648254 | 91648255 | 91648256 | 91648257 | 91648258 | 91648259 | 91648260 | 42.91/32.59 c (4,0) c | chanseokStrategy | False | False | False | False | False | False | False | False | 42.91/32.59 c (4,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 42.91/32.59 c (4,0) c | glureduce | True | True | True | True | True | True | True | True | 42.91/32.59 c (4,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 42.91/32.59 c (4,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 42.91/32.59 c (4,0) c | luby_restart | False | False | False | False | False | False | False | False | 42.91/32.59 c (4,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 42.91/32.59 c (4,0) c | var_decay | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 42.91/32.59 c (4,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 42.91/32.59 c (4,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 42.91/32.59 c (4,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 42.91/32.59 c (4,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 269.10/61.72 c (34,0) c 269.10/61.72 c (34,0) c |------------------------------------------------------------------------------------------------------------------------| 269.10/61.72 c (34,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 269.10/61.72 c (34,0) c |------------------------------------------------------------------------------------------------------------------------| 269.10/61.72 c (34,0) c | 0 | 3 | 4524 | 2660 | 59717 | 1662 | 64 | 247 | 24 | 163 | 20 | 36.681 | 269.10/61.72 c (34,0) c | 1 | 12 | 4692 | 2738 | 68524 | 1736 | 121 | 594 | 43 | 164 | 20 | 36.746 | 269.10/61.72 c (34,0) c | 2 | 3 | 4351 | 2854 | 57936 | 1855 | 77 | 696 | 12 | 175 | 20 | 36.760 | 269.10/61.72 c (34,0) c | 3 | 2 | 5261 | 3114 | 70632 | 2118 | 102 | 181 | 16 | 183 | 20 | 36.665 | 269.10/61.72 c (34,0) c | 4 | 10 | 5008 | 3102 | 74130 | 2097 | 72 | 642 | 42 | 167 | 20 | 36.742 | 269.10/61.72 c (34,0) c | 5 | 14 | 5645 | 3219 | 77414 | 2170 | 164 | 606 | 48 | 174 | 20 | 36.755 | 269.10/61.72 c (34,0) c | 6 | 12 | 5673 | 3246 | 73717 | 2242 | 115 | 642 | 47 | 177 | 20 | 36.755 | 269.10/61.72 c (34,0) c | 7 | 16 | 5457 | 3042 | 74101 | 2042 | 136 | 576 | 37 | 176 | 20 | 36.742 | 269.10/61.72 c (34,0) c 269.10/61.72 c (34,0) c synthesis 23975 conflicts 338240908 propagations 106 conflicts/sec 1494578 propagations/sec 269.10/61.72 c (34,0) c real: 33.6703 s, cpu: 226.312 s, memory: 3714.07 Mb 492.20/90.73 c (63,0) c 492.20/90.73 c (63,0) c |------------------------------------------------------------------------------------------------------------------------| 492.20/90.73 c (63,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 492.20/90.73 c (63,0) c |------------------------------------------------------------------------------------------------------------------------| 492.20/90.73 c (63,0) c | 0 | 4 | 8954 | 5464 | 100994 | 4442 | 349 | 2710 | 105 | 310 | 20 | 37.033 | 492.20/90.73 c (63,0) c | 1 | 16 | 9633 | 5800 | 109012 | 4474 | 486 | 1938 | 152 | 309 | 20 | 37.025 | 492.20/90.73 c (63,0) c | 2 | 13 | 9682 | 6091 | 106878 | 5048 | 609 | 2708 | 155 | 328 | 20 | 37.041 | 492.20/90.73 c (63,0) c | 3 | 4 | 9861 | 6046 | 111817 | 5032 | 542 | 1549 | 117 | 329 | 20 | 37.020 | 492.20/90.73 c (63,0) c | 4 | 16 | 10880 | 6579 | 119595 | 5549 | 694 | 3154 | 174 | 326 | 20 | 37.046 | 492.20/90.73 c (63,0) c | 5 | 26 | 11553 | 6589 | 119819 | 5434 | 805 | 3318 | 179 | 329 | 20 | 37.037 | 492.20/90.73 c (63,0) c | 6 | 24 | 11431 | 6764 | 117091 | 2932 | 841 | 2941 | 188 | 329 | 20 | 37.032 | 492.20/90.73 c (63,0) c | 7 | 27 | 10786 | 6327 | 117379 | 5301 | 666 | 3405 | 173 | 329 | 20 | 37.037 | 492.20/90.73 c (63,0) c 492.20/90.73 c (63,0) c synthesis 49660 conflicts 723055743 propagations 111 conflicts/sec 1613024 propagations/sec 492.20/90.73 c (63,0) c real: 62.6703 s, cpu: 448.261 s, memory: 3506.59 Mb 715.71/119.72 c (92,0) c 715.71/119.72 c (92,0) c |------------------------------------------------------------------------------------------------------------------------| 715.71/119.72 c (92,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 715.71/119.72 c (92,0) c |------------------------------------------------------------------------------------------------------------------------| 715.71/119.72 c (92,0) c | 0 | 6 | 13659 | 8543 | 138685 | 4219 | 1183 | 8901 | 460 | 460 | 20 | 37.079 | 715.71/119.72 c (92,0) c | 1 | 26 | 14889 | 9095 | 140266 | 5134 | 1304 | 8955 | 607 | 453 | 20 | 37.156 | 715.71/119.72 c (92,0) c | 2 | 20 | 14379 | 9078 | 136620 | 5250 | 1348 | 9481 | 595 | 468 | 20 | 37.165 | 715.71/119.72 c (92,0) c | 3 | 6 | 14458 | 8979 | 143792 | 5172 | 1403 | 8034 | 556 | 465 | 20 | 37.151 | 715.71/119.72 c (92,0) c | 4 | 23 | 15983 | 9794 | 146628 | 5985 | 1548 | 8055 | 616 | 467 | 20 | 37.075 | 715.71/119.72 c (92,0) c | 5 | 37 | 16609 | 9653 | 148557 | 5773 | 1632 | 9078 | 637 | 473 | 20 | 37.162 | 715.71/119.72 c (92,0) c | 6 | 40 | 16485 | 9779 | 145466 | 5940 | 1637 | 9172 | 641 | 465 | 20 | 37.165 | 715.71/119.72 c (92,0) c | 7 | 38 | 15818 | 9405 | 144915 | 5594 | 1524 | 9415 | 576 | 470 | 20 | 37.157 | 715.71/119.72 c (92,0) c 715.71/119.72 c (92,0) c synthesis 74326 conflicts 1115488505 propagations 111 conflicts/sec 1663701 propagations/sec 715.71/119.72 c (92,0) c real: 91.6703 s, cpu: 670.486 s, memory: 3506.85 Mb 942.27/148.73 c (121,0) c 942.27/148.73 c (121,0) c |------------------------------------------------------------------------------------------------------------------------| 942.27/148.73 c (121,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 942.27/148.73 c (121,0) c |------------------------------------------------------------------------------------------------------------------------| 942.27/148.73 c (121,0) c | 0 | 23 | 18856 | 11651 | 165664 | 7302 | 1842 | 14734 | 1170 | 607 | 20 | 37.204 | 942.27/148.73 c (121,0) c | 1 | 44 | 19811 | 12076 | 164017 | 8021 | 1940 | 14136 | 1209 | 593 | 20 | 37.204 | 942.27/148.73 c (121,0) c | 2 | 27 | 18962 | 12094 | 158965 | 8146 | 2058 | 14501 | 1196 | 606 | 20 | 37.204 | 942.27/148.73 c (121,0) c | 3 | 9 | 19599 | 12389 | 166247 | 8438 | 2169 | 14553 | 1203 | 613 | 20 | 37.204 | 942.27/148.73 c (121,0) c | 4 | 33 | 20851 | 12880 | 169951 | 8989 | 2248 | 14298 | 1226 | 611 | 20 | 37.209 | 942.27/148.73 c (121,0) c | 5 | 47 | 21288 | 12768 | 170284 | 8831 | 2355 | 13772 | 1259 | 613 | 20 | 37.204 | 942.27/148.73 c (121,0) c | 6 | 50 | 21724 | 13224 | 167075 | 9122 | 2510 | 13524 | 1272 | 613 | 20 | 37.199 | 942.27/148.73 c (121,0) c | 7 | 49 | 20382 | 12376 | 167226 | 8111 | 2274 | 14368 | 1154 | 606 | 20 | 37.204 | 942.27/148.73 c (121,0) c 942.27/148.73 c (121,0) c synthesis 99458 conflicts 1527041699 propagations 111 conflicts/sec 1708104 propagations/sec 942.27/148.73 c (121,0) c real: 120.67 s, cpu: 893.998 s, memory: 3556.02 Mb 1161.79/177.72 c (150,0) c 1161.79/177.72 c (150,0) c |------------------------------------------------------------------------------------------------------------------------| 1161.79/177.72 c (150,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 1161.79/177.72 c (150,0) c |------------------------------------------------------------------------------------------------------------------------| 1161.79/177.72 c (150,0) c | 0 | 35 | 23330 | 14516 | 184166 | 5445 | 2378 | 17191 | 1739 | 746 | 20 | 37.217 | 1161.79/177.72 c (150,0) c | 1 | 53 | 24730 | 15251 | 182509 | 6325 | 2539 | 18168 | 1828 | 731 | 20 | 37.217 | 1161.79/177.72 c (150,0) c | 2 | 40 | 24100 | 15324 | 178610 | 6449 | 2717 | 18135 | 1813 | 751 | 20 | 37.220 | 1161.79/177.72 c (150,0) c | 3 | 16 | 24007 | 15343 | 183078 | 6464 | 2774 | 18563 | 1826 | 750 | 20 | 37.220 | 1161.79/177.72 c (150,0) c | 4 | 51 | 25811 | 16022 | 187988 | 7182 | 2883 | 18661 | 1788 | 750 | 20 | 37.222 | 1161.79/177.72 c (150,0) c | 5 | 61 | 26005 | 15772 | 186060 | 6902 | 2999 | 18528 | 1809 | 751 | 20 | 37.223 | 1161.79/177.72 c (150,0) c | 6 | 61 | 26214 | 16215 | 185055 | 7264 | 2998 | 18020 | 1845 | 751 | 20 | 37.220 | 1161.79/177.72 c (150,0) c | 7 | 66 | 25632 | 15667 | 185827 | 6640 | 2877 | 18262 | 1801 | 751 | 20 | 37.220 | 1161.79/177.72 c (150,0) c 1161.79/177.72 c (150,0) c synthesis 124110 conflicts 1938915350 propagations 112 conflicts/sec 1743864 propagations/sec 1161.79/177.72 c (150,0) c real: 149.67 s, cpu: 1111.85 s, memory: 3556.16 Mb 1377.46/206.72 c (179,0) c 1377.46/206.72 c (179,0) c |------------------------------------------------------------------------------------------------------------------------| 1377.46/206.72 c (179,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 1377.46/206.72 c (179,0) c |------------------------------------------------------------------------------------------------------------------------| 1377.46/206.72 c (179,0) c | 0 | 48 | 28170 | 17556 | 199856 | 8182 | 2967 | 23111 | 2283 | 885 | 20 | 39.207 | 1377.46/206.72 c (179,0) c | 1 | 69 | 29379 | 18205 | 197805 | 8383 | 3184 | 22424 | 2374 | 872 | 20 | 39.244 | 1377.46/206.72 c (179,0) c | 2 | 51 | 28897 | 18464 | 191804 | 9365 | 3387 | 22746 | 2326 | 891 | 20 | 39.296 | 1377.46/206.72 c (179,0) c | 3 | 24 | 28508 | 18359 | 198706 | 8828 | 3256 | 22914 | 2412 | 891 | 20 | 39.388 | 1377.46/206.72 c (179,0) c | 4 | 61 | 30626 | 19191 | 201593 | 9952 | 3534 | 21939 | 2355 | 891 | 20 | 38.658 | 1377.46/206.72 c (179,0) c | 5 | 77 | 30799 | 18936 | 200358 | 9382 | 3555 | 22682 | 2350 | 892 | 20 | 39.257 | 1377.46/206.72 c (179,0) c | 6 | 82 | 31046 | 19217 | 199829 | 9514 | 3459 | 22728 | 2476 | 891 | 20 | 39.389 | 1377.46/206.72 c (179,0) c | 7 | 74 | 30407 | 18806 | 201250 | 9217 | 3451 | 22415 | 2316 | 890 | 20 | 38.931 | 1377.46/206.72 c (179,0) c 1377.46/206.72 c (179,0) c synthesis 148734 conflicts 2345464674 propagations 112 conflicts/sec 1768354 propagations/sec 1377.46/206.72 c (179,0) c real: 178.67 s, cpu: 1326.35 s, memory: 3556.29 Mb 1596.50/235.72 c (208,0) c 1596.50/235.72 c (208,0) c |------------------------------------------------------------------------------------------------------------------------| 1596.50/235.72 c (208,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 1596.50/235.72 c (208,0) c |------------------------------------------------------------------------------------------------------------------------| 1596.50/235.72 c (208,0) c | 0 | 49 | 32479 | 20656 | 213406 | 10766 | 3632 | 23863 | 2755 | 1015 | 20 | 39.798 | 1596.50/235.72 c (208,0) c | 1 | 87 | 34206 | 21376 | 210628 | 10218 | 3869 | 26136 | 3026 | 1011 | 20 | 41.757 | 1596.50/235.72 c (208,0) c | 2 | 61 | 33741 | 21704 | 204833 | 11285 | 3999 | 26989 | 2908 | 1031 | 20 | 41.750 | 1596.50/235.72 c (208,0) c | 3 | 32 | 33534 | 21685 | 212637 | 10829 | 3769 | 26398 | 3076 | 1031 | 20 | 41.755 | 1596.50/235.72 c (208,0) c | 4 | 65 | 35769 | 22667 | 213126 | 12281 | 4237 | 24789 | 2988 | 1031 | 20 | 41.750 | 1596.50/235.72 c (208,0) c | 5 | 85 | 35433 | 22200 | 213315 | 11464 | 4078 | 26876 | 2964 | 1031 | 20 | 41.656 | 1596.50/235.72 c (208,0) c | 6 | 94 | 36085 | 22569 | 213565 | 11745 | 3996 | 26747 | 3178 | 1031 | 20 | 41.780 | 1596.50/235.72 c (208,0) c | 7 | 87 | 35373 | 22150 | 215063 | 11321 | 3967 | 26222 | 3002 | 1031 | 20 | 41.751 | 1596.50/235.72 c (208,0) c 1596.50/235.72 c (208,0) c synthesis 175007 conflicts 2763903229 propagations 113 conflicts/sec 1790148 propagations/sec 1596.50/235.72 c (208,0) c real: 207.67 s, cpu: 1543.95 s, memory: 3556.55 Mb 1767.78/260.01 c (232,0) c 1767.78/260.01 c (232,0) c real time : 231.965 s 1767.78/260.01 c (232,0) c cpu time : 1714.31 s 1767.78/260.01 c (232,0) c 1767.78/260.01 c (232,0) c 1767.78/260.01 c (232,0) c 1767.78/260.01 c (232,0) c |---------------------------------------- FINAL STATS --------------------------------------------------| 1767.78/260.01 c (232,0) c 1767.78/260.01 c (232,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 1767.78/260.01 c (232,0) c | Threads | Total | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 1767.78/260.01 c (232,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 1767.78/260.02 c (232,0) c | Conflicts | 195231 | 23309 | 24271 | 24152 | 24156 | 25206 | 24613 | 25035 | 24489 | 1767.78/260.02 c (232,0) c | Decisions | 304816 | 36228 | 38313 | 37067 | 36980 | 39217 | 38868 | 39511 | 38632 | 1767.78/260.02 c (232,0) c | Propagations | 3085619120 | 375639699 | 390486553 | 383337294 | 375673995 | 389624880 | 392718442 | 390112978 | 388025279 | 1767.78/260.02 c (232,0) c | ReduceDBs | 31 | 3 | 4 | 4 | 4 | 4 | 4 | 4 | 4 | 1767.78/260.02 c (232,0) c | SimpDBs | 205 | 21 | 27 | 27 | 18 | 26 | 29 | 31 | 26 | 1767.78/260.02 c (232,0) c | Restarts | 590 | 52 | 92 | 62 | 34 | 69 | 91 | 98 | 92 | 1767.78/260.02 c (232,0) c | ForcedImports | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1767.78/260.02 c (232,0) c | PropBinClauses| 10079444462 | 1238110315 | 1263709661 | 1248070778 | 1228935990 | 1279371028 | 1279376728 | 1271106961 | 1270763001 | 1767.78/260.02 c (232,0) c | PropPreBlocker| 35048983608 | 4445785473 | 4342176472 | 4403363614 | 4486691052 | 4356610868 | 4339919610 | 4326425019 | 4348011500 | 1767.78/260.02 c (232,0) c | PropNotBlocker| 5662247581 | 694143469 | 713909343 | 705583249 | 687340645 | 721113555 | 713264161 | 716377503 | 710515656 | 1767.78/260.02 c (232,0) c | LitFullScans | 54335149874 | 6773065891 | 6773566307 | 6812580787 | 6773238223 | 6807389356 | 6808358783 | 6809289695 | 6777660832 | 1767.78/260.02 c (232,0) c | LitScanFracts | 7306376 | 701619 | 954853 | 1423805 | 728511 | 758176 | 857826 | 925759 | 955827 | 1767.78/260.02 c (232,0) c | DecisionLevel0| 806 | 66 | 111 | 99 | 55 | 104 | 121 | 135 | 115 | 1767.78/260.02 c (232,0) c | Periods | 9046 | 1128 | 1128 | 1134 | 1128 | 1133 | 1133 | 1134 | 1128 | 1767.78/260.02 c (232,0) c | Margin | 160 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 1767.78/260.02 c (232,0) c | Avg_Trail | | 229609 | 227959 | 227945 | 229658 | 227292 | 228413 | 227393 | 228745 | 1767.78/260.02 c (232,0) c | Avg_DL | | 17 | 15 | 16 | 17 | 15 | 15 | 15 | 16 | 1767.78/260.02 c (232,0) c | Avg_Res | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1767.78/260.02 c (232,0) c | Avg_Res_Seen | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1767.78/260.02 c (232,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 1767.78/260.02 c (232,0) c | Exported | 35390 | 4186 | 4483 | 4501 | 4180 | 4763 | 4467 | 4424 | 4386 | 1767.78/260.02 c (232,0) c | Imported | 239230 | 30088 | 29508 | 30273 | 28424 | 30020 | 30270 | 30391 | 30256 | 1767.78/260.02 c (232,0) c | Good | 3448 | 420 | 433 | 453 | 386 | 440 | 441 | 444 | 431 | 1767.78/260.02 c (232,0) c | Purge | 235782 | 29668 | 29075 | 29820 | 28038 | 29580 | 29829 | 29947 | 29825 | 1767.78/260.02 c (232,0) c | Promoted | 27812 | 3354 | 3576 | 3405 | 3557 | 3419 | 3420 | 3645 | 3436 | 1767.78/260.02 c (232,0) c | Remove_Imp | 97857 | 7527 | 13308 | 13322 | 12953 | 12179 | 13189 | 12392 | 12987 | 1767.78/260.02 c (232,0) c | Blocked_Reuse | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1767.78/260.02 c (232,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 1767.78/260.02 c (232,0) c | Unaries | | 14 | 19 | 37 | 21 | 35 | 30 | 37 | 23 | 1767.78/260.02 c (232,0) c | Binaries | | 69 | 51 | 61 | 64 | 76 | 69 | 77 | 80 | 1767.78/260.02 c (232,0) c | Glues | | 598 | 663 | 564 | 645 | 629 | 717 | 668 | 686 | 1767.78/260.02 c (232,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 1767.78/260.02 c (232,0) c | Orig_Seen | 7 % | 222149 | 219533 | 212660 | 220402 | 220832 | 221310 | 221292 | 222516 | 1767.78/260.02 c (232,0) c | Diff Orig seen| | - 367 | - 2983 | - 9856 | - 2114 | - 1684 | - 1206 | - 1224 | X | 1767.78/260.02 c (232,0) c | Hamming | 6 % | 22022 | 25645 | 22432 | 24096 | 15809 | 21304 | 19608 | X | 1767.78/260.02 c (232,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 1767.78/260.02 c (232,0) c | RunningTime | | 227.0 100%| 227.4 100%| 213.2 95%| 213.1 95%| 215.3 96%| 211.9 94%| 209.9 93%| 214.2 95%| 1767.78/260.02 c (232,0) c | WaitingTime | | 0.0 0%| 0.0 0%| 12.1 5%| 12.3 5%| 9.6 4%| 13.3 6%| 15.1 7%| 11.0 5%| 1767.78/260.02 c (232,0) c | ExchangingTime| | 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 1767.78/260.02 c (232,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%| 1767.78/260.02 c (232,0) c | SolvingTime | | 227.1 | 227.4 | 225.4 | 225.4 | 225.0 | 225.2 | 225.0 | 225.2 | 1767.78/260.02 c (232,0) c | PropagationTim| | 215.9 95%| 215.5 95%| 210.9 94%| 212.8 94%| 211.0 94%| 210.1 93%| 209.2 93%| 210.5 93%| 1767.78/260.02 c (232,0) c | AnalysisTime | | 4.0 2%| 4.0 2%| 4.3 2%| 4.4 2%| 4.2 2%| 4.1 2%| 4.1 2%| 4.2 2%| 1767.78/260.02 c (232,0) c | ReductionTime | | 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 1767.78/260.02 c (232,0) c | SimplifyTime | | 2.5 1%| 3.2 1%| 5.3 2%| 3.2 1%| 4.9 2%| 6.0 3%| 6.7 3%| 5.6 2%| 1767.78/260.02 c (232,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%| 1767.78/260.02 c (232,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%| 1767.78/260.02 c (232,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 1767.78/260.02 c (232,0) c 1767.78/260.02 c (232,0) c 1767.78/260.02 c (232,0) c Threads : 8 1767.78/260.02 c (232,0) c Winner : 7 1767.78/260.02 c (232,0) c Conflicts_0 : 23309 1767.78/260.02 c (232,0) c Conflicts_1 : 24271 1767.78/260.02 c (232,0) c Conflicts_2 : 24152 1767.78/260.02 c (232,0) c Conflicts_3 : 24156 1767.78/260.02 c (232,0) c Conflicts_4 : 25206 1767.78/260.02 c (232,0) c Conflicts_5 : 24613 1767.78/260.02 c (232,0) c Conflicts_6 : 25035 1767.78/260.02 c (232,0) c Conflicts_7 : 24489 1767.78/260.02 c (232,0) c Conflicts_total : 195231 1767.78/260.02 c (232,0) c Conflicts_winner : 24489 1767.78/260.02 c (232,0) c Decisions_0 : 36228 1767.78/260.02 c (232,0) c Decisions_1 : 38313 1767.78/260.02 c (232,0) c Decisions_2 : 37067 1767.78/260.02 c (232,0) c Decisions_3 : 36980 1767.78/260.02 c (232,0) c Decisions_4 : 39217 1767.78/260.02 c (232,0) c Decisions_5 : 38868 1767.78/260.02 c (232,0) c Decisions_6 : 39511 1767.78/260.02 c (232,0) c Decisions_7 : 38632 1767.78/260.02 c (232,0) c Decisions_total : 304816 1767.78/260.02 c (232,0) c Decisions_winner : 38632 1767.78/260.02 c (232,0) c Propagations_0 : 375639699 1767.78/260.02 c (232,0) c Propagations_1 : 390486553 1767.78/260.02 c (232,0) c Propagations_2 : 383337294 1767.78/260.02 c (232,0) c Propagations_3 : 375673995 1767.78/260.02 c (232,0) c Propagations_4 : 389624880 1767.78/260.02 c (232,0) c Propagations_5 : 392718442 1767.78/260.02 c (232,0) c Propagations_6 : 390112978 1767.78/260.02 c (232,0) c Propagations_7 : 388025279 1767.78/260.02 c (232,0) c Propagations_total : 3085619120 1767.78/260.02 c (232,0) c Propagations_winner : 388025279 1767.78/260.02 c (232,0) c ReduceDBs_0 : 3 1767.78/260.02 c (232,0) c ReduceDBs_1 : 4 1767.78/260.02 c (232,0) c ReduceDBs_2 : 4 1767.78/260.02 c (232,0) c ReduceDBs_3 : 4 1767.78/260.02 c (232,0) c ReduceDBs_4 : 4 1767.78/260.02 c (232,0) c ReduceDBs_5 : 4 1767.78/260.02 c (232,0) c ReduceDBs_6 : 4 1767.78/260.02 c (232,0) c ReduceDBs_7 : 4 1767.78/260.02 c (232,0) c ReduceDBs_total : 31 1767.78/260.02 c (232,0) c ReduceDBs_winner : 4 1767.78/260.02 c (232,0) c SimpDBs_0 : 21 1767.78/260.02 c (232,0) c SimpDBs_1 : 27 1767.78/260.02 c (232,0) c SimpDBs_2 : 27 1767.78/260.02 c (232,0) c SimpDBs_3 : 18 1767.78/260.02 c (232,0) c SimpDBs_4 : 26 1767.78/260.02 c (232,0) c SimpDBs_5 : 29 1767.78/260.02 c (232,0) c SimpDBs_6 : 31 1767.78/260.02 c (232,0) c SimpDBs_7 : 26 1767.78/260.02 c (232,0) c SimpDBs_total : 205 1767.78/260.02 c (232,0) c SimpDBs_winner : 26 1767.78/260.02 c (232,0) c Restarts_0 : 52 1767.78/260.02 c (232,0) c Restarts_1 : 92 1767.78/260.02 c (232,0) c Restarts_2 : 62 1767.78/260.02 c (232,0) c Restarts_3 : 34 1767.78/260.02 c (232,0) c Restarts_4 : 69 1767.78/260.02 c (232,0) c Restarts_5 : 91 1767.78/260.02 c (232,0) c Restarts_6 : 98 1767.78/260.02 c (232,0) c Restarts_7 : 92 1767.78/260.02 c (232,0) c Restarts_total : 590 1767.78/260.02 c (232,0) c Restarts_winner : 92 1767.78/260.02 c (232,0) c ForcedImports_0 : 0 1767.78/260.02 c (232,0) c ForcedImports_1 : 0 1767.78/260.02 c (232,0) c ForcedImports_2 : 0 1767.78/260.02 c (232,0) c ForcedImports_3 : 0 1767.78/260.02 c (232,0) c ForcedImports_4 : 0 1767.78/260.02 c (232,0) c ForcedImports_5 : 0 1767.78/260.02 c (232,0) c ForcedImports_6 : 0 1767.78/260.02 c (232,0) c ForcedImports_7 : 0 1767.78/260.02 c (232,0) c ForcedImports_total : 0 1767.78/260.02 c (232,0) c ForcedImports_winner : 0 1767.78/260.02 c (232,0) c PropsBinClauses_0 : 1238110315 1767.78/260.02 c (232,0) c PropsBinClauses_1 : 1263709661 1767.78/260.02 c (232,0) c PropsBinClauses_2 : 1248070778 1767.78/260.02 c (232,0) c PropsBinClauses_3 : 1228935990 1767.78/260.02 c (232,0) c PropsBinClauses_4 : 1279371028 1767.78/260.02 c (232,0) c PropsBinClauses_5 : 1279376728 1767.78/260.02 c (232,0) c PropsBinClauses_6 : 1271106961 1767.78/260.02 c (232,0) c PropsBinClauses_7 : 1270763001 1767.78/260.02 c (232,0) c PropsBinClauses_total : 10079444462 1767.78/260.02 c (232,0) c PropsBinClauses_winner : 1270763001 1767.78/260.02 c (232,0) c PropsPreBlocker_0 : 4445785473 1767.78/260.02 c (232,0) c PropsPreBlocker_1 : 4342176472 1767.78/260.02 c (232,0) c PropsPreBlocker_2 : 4403363614 1767.78/260.02 c (232,0) c PropsPreBlocker_3 : 4486691052 1767.78/260.02 c (232,0) c PropsPreBlocker_4 : 4356610868 1767.78/260.02 c (232,0) c PropsPreBlocker_5 : 4339919610 1767.78/260.02 c (232,0) c PropsPreBlocker_6 : 4326425019 1767.78/260.02 c (232,0) c PropsPreBlocker_7 : 4348011500 1767.78/260.02 c (232,0) c PropsPreBlocker_total : 35048983608 1767.78/260.02 c (232,0) c PropsPreBlocker_winner : 4348011500 1767.78/260.02 c (232,0) c PropsNotBlocker_0 : 694143469 1767.78/260.02 c (232,0) c PropsNotBlocker_1 : 713909343 1767.78/260.02 c (232,0) c PropsNotBlocker_2 : 705583249 1767.78/260.02 c (232,0) c PropsNotBlocker_3 : 687340645 1767.78/260.02 c (232,0) c PropsNotBlocker_4 : 721113555 1767.78/260.02 c (232,0) c PropsNotBlocker_5 : 713264161 1767.78/260.02 c (232,0) c PropsNotBlocker_6 : 716377503 1767.78/260.02 c (232,0) c PropsNotBlocker_7 : 710515656 1767.78/260.02 c (232,0) c PropsNotBlocker_total : 5662247581 1767.78/260.02 c (232,0) c PropsNotBlocker_winner : 710515656 1767.78/260.02 c (232,0) c PropsLitFullScans_0 : 6773065891 1767.78/260.02 c (232,0) c PropsLitFullScans_1 : 6773566307 1767.78/260.02 c (232,0) c PropsLitFullScans_2 : 6812580787 1767.78/260.02 c (232,0) c PropsLitFullScans_3 : 6773238223 1767.78/260.02 c (232,0) c PropsLitFullScans_4 : 6807389356 1767.78/260.02 c (232,0) c PropsLitFullScans_5 : 6808358783 1767.78/260.02 c (232,0) c PropsLitFullScans_6 : 6809289695 1767.78/260.02 c (232,0) c PropsLitFullScans_7 : 6777660832 1767.78/260.02 c (232,0) c PropsLitFullScans_total : 54335149874 1767.78/260.02 c (232,0) c PropsLitFullScans_winner : 6777660832 1767.78/260.02 c (232,0) c LitScanFractions_0 : 701619 1767.78/260.02 c (232,0) c LitScanFractions_1 : 954853 1767.78/260.02 c (232,0) c LitScanFractions_2 : 1423805 1767.78/260.02 c (232,0) c LitScanFractions_3 : 728511 1767.78/260.02 c (232,0) c LitScanFractions_4 : 758176 1767.78/260.02 c (232,0) c LitScanFractions_5 : 857826 1767.78/260.02 c (232,0) c LitScanFractions_6 : 925759 1767.78/260.02 c (232,0) c LitScanFractions_7 : 955827 1767.78/260.02 c (232,0) c LitScanFractions_total : 7306376 1767.78/260.02 c (232,0) c LitScanFractions_winner : 955827 1767.78/260.02 c (232,0) c DecisionLevel0_0 : 66 1767.78/260.02 c (232,0) c DecisionLevel0_1 : 111 1767.78/260.02 c (232,0) c DecisionLevel0_2 : 99 1767.78/260.02 c (232,0) c DecisionLevel0_3 : 55 1767.78/260.02 c (232,0) c DecisionLevel0_4 : 104 1767.78/260.02 c (232,0) c DecisionLevel0_5 : 121 1767.78/260.02 c (232,0) c DecisionLevel0_6 : 135 1767.78/260.02 c (232,0) c DecisionLevel0_7 : 115 1767.78/260.02 c (232,0) c DecisionLevel0_total : 806 1767.78/260.02 c (232,0) c DecisionLevel0_winner : 115 1767.78/260.02 c (232,0) c Periods_0 : 1128 1767.78/260.02 c (232,0) c Periods_1 : 1128 1767.78/260.02 c (232,0) c Periods_2 : 1134 1767.78/260.02 c (232,0) c Periods_3 : 1128 1767.78/260.02 c (232,0) c Periods_4 : 1133 1767.78/260.02 c (232,0) c Periods_5 : 1133 1767.78/260.02 c (232,0) c Periods_6 : 1134 1767.78/260.02 c (232,0) c Periods_7 : 1128 1767.78/260.02 c (232,0) c Periods_total : 9046 1767.78/260.02 c (232,0) c Periods_winner : 1128 1767.78/260.02 c (232,0) c Margin_0 : 20 1767.78/260.02 c (232,0) c Margin_1 : 20 1767.78/260.02 c (232,0) c Margin_2 : 20 1767.78/260.02 c (232,0) c Margin_3 : 20 1767.78/260.02 c (232,0) c Margin_4 : 20 1767.78/260.02 c (232,0) c Margin_5 : 20 1767.78/260.02 c (232,0) c Margin_6 : 20 1767.78/260.02 c (232,0) c Margin_7 : 20 1767.78/260.02 c (232,0) c Margin_total : 160 1767.78/260.02 c (232,0) c Margin_winner : 20 1767.78/260.02 c (232,0) c Exported_0 : 4186 1767.78/260.02 c (232,0) c Exported_1 : 4483 1767.78/260.02 c (232,0) c Exported_2 : 4501 1767.78/260.02 c (232,0) c Exported_3 : 4180 1767.78/260.02 c (232,0) c Exported_4 : 4763 1767.78/260.02 c (232,0) c Exported_5 : 4467 1767.78/260.02 c (232,0) c Exported_6 : 4424 1767.78/260.02 c (232,0) c Exported_7 : 4386 1767.78/260.02 c (232,0) c Exported_total : 35390 1767.78/260.02 c (232,0) c Exported_winner : 4386 1767.78/260.02 c (232,0) c Imported_0 : 30088 1767.78/260.02 c (232,0) c Imported_1 : 29508 1767.78/260.02 c (232,0) c Imported_2 : 30273 1767.78/260.02 c (232,0) c Imported_3 : 28424 1767.78/260.02 c (232,0) c Imported_4 : 30020 1767.78/260.02 c (232,0) c Imported_5 : 30270 1767.78/260.02 c (232,0) c Imported_6 : 30391 1767.78/260.02 c (232,0) c Imported_7 : 30256 1767.78/260.02 c (232,0) c Imported_total : 239230 1767.78/260.02 c (232,0) c Imported_winner : 30256 1767.78/260.02 c (232,0) c Good_0 : 420 1767.78/260.02 c (232,0) c Good_1 : 433 1767.78/260.02 c (232,0) c Good_2 : 453 1767.78/260.02 c (232,0) c Good_3 : 386 1767.78/260.02 c (232,0) c Good_4 : 440 1767.78/260.02 c (232,0) c Good_5 : 441 1767.78/260.02 c (232,0) c Good_6 : 444 1767.78/260.02 c (232,0) c Good_7 : 431 1767.78/260.02 c (232,0) c Good_total : 3448 1767.78/260.02 c (232,0) c Good_winner : 431 1767.78/260.02 c (232,0) c Purge_0 : 29668 1767.78/260.02 c (232,0) c Purge_1 : 29075 1767.78/260.02 c (232,0) c Purge_2 : 29820 1767.78/260.02 c (232,0) c Purge_3 : 28038 1767.78/260.02 c (232,0) c Purge_4 : 29580 1767.78/260.02 c (232,0) c Purge_5 : 29829 1767.78/260.02 c (232,0) c Purge_6 : 29947 1767.78/260.02 c (232,0) c Purge_7 : 29825 1767.78/260.02 c (232,0) c Purge_total : 235782 1767.78/260.02 c (232,0) c Purge_winner : 29825 1767.78/260.02 c (232,0) c Promoted_0 : 3354 1767.78/260.02 c (232,0) c Promoted_1 : 3576 1767.78/260.02 c (232,0) c Promoted_2 : 3405 1767.78/260.02 c (232,0) c Promoted_3 : 3557 1767.78/260.02 c (232,0) c Promoted_4 : 3419 1767.78/260.02 c (232,0) c Promoted_5 : 3420 1767.78/260.02 c (232,0) c Promoted_6 : 3645 1767.78/260.02 c (232,0) c Promoted_7 : 3436 1767.78/260.02 c (232,0) c Promoted_total : 27812 1767.78/260.02 c (232,0) c Promoted_winner : 3436 1767.78/260.02 c (232,0) c Remove_Imp_0 : 7527 1767.78/260.02 c (232,0) c Remove_Imp_1 : 13308 1767.78/260.02 c (232,0) c Remove_Imp_2 : 13322 1767.78/260.02 c (232,0) c Remove_Imp_3 : 12953 1767.78/260.02 c (232,0) c Remove_Imp_4 : 12179 1767.78/260.02 c (232,0) c Remove_Imp_5 : 13189 1767.78/260.02 c (232,0) c Remove_Imp_6 : 12392 1767.78/260.02 c (232,0) c Remove_Imp_7 : 12987 1767.78/260.02 c (232,0) c Remove_Imp_total : 97857 1767.78/260.02 c (232,0) c Remove_Imp_winner : 12987 1767.78/260.02 c (232,0) c Blocked_Reuse_0 : 0 1767.78/260.02 c (232,0) c Blocked_Reuse_1 : 0 1767.78/260.02 c (232,0) c Blocked_Reuse_2 : 0 1767.78/260.02 c (232,0) c Blocked_Reuse_3 : 0 1767.78/260.02 c (232,0) c Blocked_Reuse_4 : 0 1767.78/260.02 c (232,0) c Blocked_Reuse_5 : 0 1767.78/260.02 c (232,0) c Blocked_Reuse_6 : 0 1767.78/260.02 c (232,0) c Blocked_Reuse_7 : 0 1767.78/260.02 c (232,0) c Blocked_Reuse_total : 0 1767.78/260.02 c (232,0) c Blocked_Reuse_winner : 0 1767.78/260.02 c (232,0) c Unaries_0 : 14 1767.78/260.02 c (232,0) c Unaries_1 : 19 1767.78/260.02 c (232,0) c Unaries_2 : 37 1767.78/260.02 c (232,0) c Unaries_3 : 21 1767.78/260.02 c (232,0) c Unaries_4 : 35 1767.78/260.02 c (232,0) c Unaries_5 : 30 1767.78/260.02 c (232,0) c Unaries_6 : 37 1767.78/260.02 c (232,0) c Unaries_7 : 23 1767.78/260.02 c (232,0) c Unaries_total : 216 1767.78/260.02 c (232,0) c Unaries_winner : 23 1767.78/260.02 c (232,0) c Binaries_0 : 69 1767.78/260.02 c (232,0) c Binaries_1 : 51 1767.78/260.02 c (232,0) c Binaries_2 : 61 1767.78/260.02 c (232,0) c Binaries_3 : 64 1767.78/260.02 c (232,0) c Binaries_4 : 76 1767.78/260.02 c (232,0) c Binaries_5 : 69 1767.78/260.02 c (232,0) c Binaries_6 : 77 1767.78/260.02 c (232,0) c Binaries_7 : 80 1767.78/260.02 c (232,0) c Binaries_total : 547 1767.78/260.02 c (232,0) c Binaries_winner : 80 1767.78/260.02 c (232,0) c Glues_0 : 598 1767.78/260.02 c (232,0) c Glues_1 : 663 1767.78/260.02 c (232,0) c Glues_2 : 564 1767.78/260.02 c (232,0) c Glues_3 : 645 1767.78/260.02 c (232,0) c Glues_4 : 629 1767.78/260.02 c (232,0) c Glues_5 : 717 1767.78/260.02 c (232,0) c Glues_6 : 668 1767.78/260.02 c (232,0) c Glues_7 : 686 1767.78/260.02 c (232,0) c Glues_total : 5170 1767.78/260.02 c (232,0) c Glues_winner : 686 1767.78/260.02 c (232,0) c RunningTime_0 : 227.015955 1767.78/260.02 c (232,0) c RunningTime_1 : 227.364757 1767.78/260.02 c (232,0) c RunningTime_2 : 213.191014 1767.78/260.02 c (232,0) c RunningTime_3 : 213.109170 1767.78/260.02 c (232,0) c RunningTime_4 : 215.286299 1767.78/260.02 c (232,0) c RunningTime_5 : 211.869069 1767.78/260.02 c (232,0) c RunningTime_6 : 209.912501 1767.78/260.02 c (232,0) c RunningTime_7 : 214.186787 1767.78/260.03 c (232,0) c RunningTime_total : 1731.935554 1767.78/260.03 c (232,0) c RunningTime_winner : 214.186787 1767.78/260.03 c (232,0) c WaitingTime_0 : 0.001873 1767.78/260.03 c (232,0) c WaitingTime_1 : 0.001521 1767.78/260.03 c (232,0) c WaitingTime_2 : 12.119587 1767.78/260.03 c (232,0) c WaitingTime_3 : 12.255425 1767.78/260.03 c (232,0) c WaitingTime_4 : 9.636532 1767.78/260.03 c (232,0) c WaitingTime_5 : 13.268419 1767.78/260.03 c (232,0) c WaitingTime_6 : 15.078381 1767.78/260.03 c (232,0) c WaitingTime_7 : 10.983984 1767.78/260.03 c (232,0) c WaitingTime_total : 73.345722 1767.78/260.03 c (232,0) c WaitingTime_winner : 10.983984 1767.78/260.03 c (232,0) c ExchangingTime_0 : 0.028614 1767.78/260.03 c (232,0) c ExchangingTime_1 : 0.029869 1767.78/260.03 c (232,0) c ExchangingTime_2 : 0.031840 1767.78/260.03 c (232,0) c ExchangingTime_3 : 0.031235 1767.78/260.03 c (232,0) c ExchangingTime_4 : 0.030764 1767.78/260.03 c (232,0) c ExchangingTime_5 : 0.031515 1767.78/260.03 c (232,0) c ExchangingTime_6 : 0.030778 1767.78/260.03 c (232,0) c ExchangingTime_7 : 0.030592 1767.78/260.03 c (232,0) c ExchangingTime_total : 0.245208 1767.78/260.03 c (232,0) c ExchangingTime_winner : 0.030592 1767.78/260.03 c (232,0) c PeriodProcTime_0 : 0.013697 1767.78/260.03 c (232,0) c PeriodProcTime_1 : 0.019508 1767.78/260.03 c (232,0) c PeriodProcTime_2 : 0.012067 1767.78/260.03 c (232,0) c PeriodProcTime_3 : 0.012179 1767.78/260.03 c (232,0) c PeriodProcTime_4 : 0.012563 1767.78/260.03 c (232,0) c PeriodProcTime_5 : 0.012506 1767.78/260.03 c (232,0) c PeriodProcTime_6 : 0.012806 1767.78/260.03 c (232,0) c PeriodProcTime_7 : 0.012964 1767.78/260.03 c (232,0) c PeriodProcTime_total : 0.108290 1767.78/260.03 c (232,0) c PeriodProcTime_winner : 0.012964 1767.78/260.03 c (232,0) c SolvingTime_0 : 227.060139 1767.78/260.03 c (232,0) c SolvingTime_1 : 227.415656 1767.78/260.03 c (232,0) c SolvingTime_2 : 225.354508 1767.78/260.03 c (232,0) c SolvingTime_3 : 225.408009 1767.78/260.03 c (232,0) c SolvingTime_4 : 224.966159 1767.78/260.03 c (232,0) c SolvingTime_5 : 225.181510 1767.78/260.03 c (232,0) c SolvingTime_6 : 225.034466 1767.78/260.03 c (232,0) c SolvingTime_7 : 225.214327 1767.78/260.03 c (232,0) c SolvingTime_total : 1805.634774 1767.78/260.03 c (232,0) c SolvingTime_winner : 225.214327 1767.78/260.03 c (232,0) c PropagationTime_0 : 215.878351 1767.78/260.03 c (232,0) c PropagationTime_1 : 215.465620 1767.78/260.03 c (232,0) c PropagationTime_2 : 210.903666 1767.78/260.03 c (232,0) c PropagationTime_3 : 212.815897 1767.78/260.03 c (232,0) c PropagationTime_4 : 210.955008 1767.78/260.03 c (232,0) c PropagationTime_5 : 210.148982 1767.78/260.03 c (232,0) c PropagationTime_6 : 209.202497 1767.78/260.03 c (232,0) c PropagationTime_7 : 210.482028 1767.78/260.03 c (232,0) c PropagationTime_total : 1695.852050 1767.78/260.03 c (232,0) c PropagationTime_winner : 210.482028 1767.78/260.03 c (232,0) c AnalysisTime_0 : 3.988507 1767.78/260.03 c (232,0) c AnalysisTime_1 : 3.965197 1767.78/260.03 c (232,0) c AnalysisTime_2 : 4.321327 1767.78/260.03 c (232,0) c AnalysisTime_3 : 4.411190 1767.78/260.03 c (232,0) c AnalysisTime_4 : 4.195232 1767.78/260.03 c (232,0) c AnalysisTime_5 : 4.058382 1767.78/260.03 c (232,0) c AnalysisTime_6 : 4.130747 1767.78/260.03 c (232,0) c AnalysisTime_7 : 4.225638 1767.78/260.03 c (232,0) c AnalysisTime_total : 33.296220 1767.78/260.03 c (232,0) c AnalysisTime_winner : 4.225638 1767.78/260.03 c (232,0) c ReductionTime_0 : 0.008699 1767.78/260.03 c (232,0) c ReductionTime_1 : 0.013761 1767.78/260.03 c (232,0) c ReductionTime_2 : 0.014977 1767.78/260.03 c (232,0) c ReductionTime_3 : 0.016159 1767.78/260.03 c (232,0) c ReductionTime_4 : 0.014612 1767.78/260.03 c (232,0) c ReductionTime_5 : 0.015323 1767.78/260.03 c (232,0) c ReductionTime_6 : 0.015845 1767.78/260.03 c (232,0) c ReductionTime_7 : 0.015063 1767.78/260.03 c (232,0) c ReductionTime_total : 0.114439 1767.78/260.03 c (232,0) c ReductionTime_winner : 0.015063 1767.78/260.03 c (232,0) c SimplifyTime_0 : 2.520086 1767.78/260.03 c (232,0) c SimplifyTime_1 : 3.187520 1767.78/260.03 c (232,0) c SimplifyTime_2 : 5.280685 1767.78/260.03 c (232,0) c SimplifyTime_3 : 3.168599 1767.78/260.03 c (232,0) c SimplifyTime_4 : 4.890381 1767.78/260.03 c (232,0) c SimplifyTime_5 : 5.999548 1767.78/260.03 c (232,0) c SimplifyTime_6 : 6.687392 1767.78/260.03 c (232,0) c SimplifyTime_7 : 5.590918 1767.78/260.03 c (232,0) c SimplifyTime_total : 37.325130 1767.78/260.03 c (232,0) c SimplifyTime_winner : 5.590918 1767.78/260.03 c (232,0) c UsedRateTime_0 : 0.000000 1767.78/260.03 c (232,0) c UsedRateTime_1 : 0.000000 1767.78/260.03 c (232,0) c UsedRateTime_2 : 0.000000 1767.78/260.03 c (232,0) c UsedRateTime_3 : 0.000000 1767.78/260.03 c (232,0) c UsedRateTime_4 : 0.000000 1767.78/260.03 c (232,0) c UsedRateTime_5 : 0.000000 1767.78/260.03 c (232,0) c UsedRateTime_6 : 0.000000 1767.78/260.03 c (232,0) c UsedRateTime_7 : 0.000000 1767.78/260.03 c (232,0) c UsedRateTime_total : 0.000000 1767.78/260.03 c (232,0) c UsedRateTime_winner : 0.000000 1767.78/260.03 c (232,0) c OverlapRateTime_0 : 0.000000 1767.78/260.03 c (232,0) c OverlapRateTime_1 : 0.000000 1767.78/260.03 c (232,0) c OverlapRateTime_2 : 0.000000 1767.78/260.03 c (232,0) c OverlapRateTime_3 : 0.000000 1767.78/260.03 c (232,0) c OverlapRateTime_4 : 0.000000 1767.78/260.03 c (232,0) c OverlapRateTime_5 : 0.000000 1767.78/260.03 c (232,0) c OverlapRateTime_6 : 0.000000 1767.78/260.03 c (232,0) c OverlapRateTime_7 : 0.000000 1767.78/260.03 c (232,0) c OverlapRateTime_total : 0.000000 1767.78/260.03 c (232,0) c OverlapRateTime_winner : 0.000000 1767.78/260.03 c (232,0) c 1767.78/260.03 c (232,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 1767.78/260.03 c (232,0) c 1767.78/260.03 c (232,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 1767.78/260.03 c (232,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 1767.78/260.03 c (232,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 1767.78/260.03 c (232,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 1767.78/260.03 c (232,0) c | adaptStrategeis | True | False | True | False | True | False | True | False | 1767.78/260.03 c (232,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 1767.78/260.03 c (232,0) c | Initial random_seed | 1124695562 | 1111301663 | 1511917111 | 1358132517 | 880933320 | 1706267354 | 1808274812 | 1849108925 | 1767.78/260.04 c (232,0) c | chanseokStrategy | False | False | False | False | False | False | False | False | 1767.78/260.04 c (232,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 1767.78/260.04 c (232,0) c | glureduce | True | True | True | True | True | True | True | True | 1767.78/260.04 c (232,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 1767.78/260.04 c (232,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 1767.78/260.04 c (232,0) c | luby_restart | False | False | False | False | False | False | False | False | 1767.78/260.04 c (232,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 1767.78/260.04 c (232,0) c | var_decay | 0.8400 | 0.8400 | 0.8400 | 0.8400 | 0.8500 | 0.8400 | 0.8500 | 0.8400 | 1767.78/260.04 c (232,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 1767.78/260.04 c (232,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 1767.78/260.04 c (232,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 1767.78/260.04 c (232,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 1767.78/260.04 c (232,0) 1767.78/260.04 c (232,0) s UNSATISFIABLE 38.72/260.20 c (232,0) SatSolver.solve End 38.72/260.20 c (232,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB) 38.72/260.20 c (232,0) Show results Begin 38.72/260.20 s UNSATISFIABLE 38.72/260.20 c (232,0) Show results End 38.72/260.20 c (232,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB) 38.72/260.21 c (232,0) 232,232,STOP-AFTER(ALL) 38.72/260.21 c END-Prog: Tue Sep 24 22:50:09 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 (13352 MiB free) memory of node 1: 16384 MiB (11694 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405281-1569357990/watcher-4405281-1569357990 -o /var/tmp/evaluation-result-4405281-1569357990/solver-4405281-1569357990 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node119-1569357949-5907 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405281-1569357990.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=5924, runsolver pid=5921 Current StackSize limit: 8192 KiB [startup+0.100123 s]* /proc/loadavg: 8.51 8.34 8.32 3/211 5946 /proc/meminfo: memFree=25553308/32770624 swapFree=66953496/67108860 [pid=5924] ppid=5921 vsize=113128 memory=1400 CPUtime=0 cores=0-7 /proc/5924/stat : 5924 (scop.sh) S 5921 5924 5880 0 -1 4202496 558 320 0 0 0 0 0 0 20 0 1 0 511713742 115843072 350 33554432000 4194304 5098028 140723036877632 140723036874888 140010317030012 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 7520256 140723036885757 140723036886104 140723036886104 140723036889033 0 /proc/5924/statm: 28282 350 297 221 0 87 0 [pid=5927] ppid=5924 vsize=27314120 memory=106148 CPUtime=0.1 cores=0-7 /proc/5927/stat : 5927 (java) S 5924 5924 5880 0 -1 1077944320 6593 0 0 0 8 2 0 0 20 0 20 0 511713743 27969658880 26537 33554432000 4194304 4196468 140722604150288 140722604132832 139752805723895 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36040704 140722604155592 140722604156038 140722604156038 140722604158927 0 /proc/5927/statm: 6828530 26537 2775 1 0 6790935 0 [pid=5927/tid=5928] ppid=5924 vsize=27314120 memory=1398722017469774279 CPUtime=0.09 cores=0-7 /proc/5927/task/5928/stat : 5928 (java) R 5924 5924 5880 0 -1 4202560 4717 0 0 0 7 2 0 0 20 0 20 0 511713743 27969658880 26537 33554432000 4194304 4196468 140722604150288 139752777537136 139752789804382 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36040704 140722604155592 140722604156038 140722604156038 140722604158927 0 [pid=5927/tid=5929] ppid=5924 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/5927/task/5929/stat : 5929 (java) S 5924 5924 5880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511713745 27969658880 26537 33554432000 4194304 4196468 140722604150288 139752809965840 139752805734101 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36040704 140722604155592 140722604156038 140722604156038 140722604158927 0 [pid=5927/tid=5930] ppid=5924 vsize=27314120 memory=139654139881088 CPUtime=0 cores=0-7 /proc/5927/task/5930/stat : 5930 (java) S 5924 5924 5880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511713746 27969658880 26537 33554432000 4194304 4196468 140722604150288 139752624122256 139752805734101 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36040704 140722604155592 140722604156038 140722604156038 140722604158927 0 [pid=5927/tid=5931] ppid=5924 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5927/task/5931/stat : 5931 (java) S 5924 5924 5880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511713746 27969658880 26537 33554432000 4194304 4196468 140722604150288 139752623069712 139752805734101 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36040704 140722604155592 140722604156038 140722604156038 140722604158927 0 [pid=5927/tid=5932] ppid=5924 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5927/task/5932/stat : 5932 (java) S 5924 5924 5880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511713746 27969658880 26537 33554432000 4194304 4196468 140722604150288 139752622017168 139752805734101 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36040704 140722604155592 140722604156038 140722604156038 140722604158927 0 [pid=5927/tid=5933] ppid=5924 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5927/task/5933/stat : 5933 (java) S 5924 5924 5880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511713746 27969658880 26537 33554432000 4194304 4196468 140722604150288 139752620964624 139752805734101 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36040704 140722604155592 140722604156038 140722604156038 140722604158927 0 [pid=5927/tid=5934] ppid=5924 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/5927/task/5934/stat : 5934 (java) S 5924 5924 5880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511713746 27969658880 26537 33554432000 4194304 4196468 140722604150288 139752619912080 139752805734101 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36040704 140722604155592 140722604156038 140722604156038 140722604158927 0 [pid=5927/tid=5935] ppid=5924 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5927/task/5935/stat : 5935 (java) S 5924 5924 5880 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511713746 27969658880 26537 33554432000 4194304 4196468 140722604150288 139752618859536 139752805734101 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36040704 140722604155592 140722604156038 140722604156038 140722604158927 0 [pid=5927/tid=5936] ppid=5924 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5927/task/5936/stat : 5936 (java) S 5924 5924 5880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511713746 27969658880 26537 33554432000 4194304 4196468 140722604150288 139752617806992 139752805734101 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36040704 140722604155592 140722604156038 140722604156038 140722604158927 0 [pid=5927/tid=5937] ppid=5924 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5927/task/5937/stat : 5937 (java) S 5924 5924 5880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511713747 27969658880 26537 33554432000 4194304 4196468 140722604150288 139751729833968 139752805735042 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36040704 140722604155592 140722604156038 140722604156038 140722604158927 0 [pid=5927/tid=5938] ppid=5924 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5927/task/5938/stat : 5938 (java) S 5924 5924 5880 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 511713748 27969658880 26537 33554432000 4194304 4196468 140722604150288 139750786720672 139752805734101 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36040704 140722604155592 140722604156038 140722604156038 140722604158927 0 [pid=5927/tid=5939] ppid=5924 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5927/task/5939/stat : 5939 (java) S 5924 5924 5880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511713748 27969658880 26537 33554432000 4194304 4196468 140722604150288 139750518285296 139752805734101 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36040704 140722604155592 140722604156038 140722604156038 140722604158927 0 [pid=5927/tid=5940] ppid=5924 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5927/task/5940/stat : 5940 (java) S 5924 5924 5880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511713750 27969658880 26537 33554432000 4194304 4196468 140722604150288 139750143776976 139752805742491 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36040704 140722604155592 140722604156038 140722604156038 140722604158927 0 [pid=5927/tid=5941] ppid=5924 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5927/task/5941/stat : 5941 (java) S 5924 5924 5880 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 20 0 511713750 27969658880 26537 33554432000 4194304 4196468 140722604150288 139751728781808 139752805735042 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36040704 140722604155592 140722604156038 140722604156038 140722604158927 0 [pid=5927/tid=5942] ppid=5924 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5927/task/5942/stat : 5942 (java) S 5924 5924 5880 0 -1 1077944384 279 0 0 0 0 0 0 0 20 0 20 0 511713750 27969658880 26537 33554432000 4194304 4196468 140722604150288 139751727729264 139752805735042 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36040704 140722604155592 140722604156038 140722604156038 140722604158927 0 [pid=5927/tid=5943] ppid=5924 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5927/task/5943/stat : 5943 (java) S 5924 5924 5880 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511713750 27969658880 26537 33554432000 4194304 4196468 140722604150288 139750652500720 139752805735042 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36040704 140722604155592 140722604156038 140722604156038 140722604158927 0 [pid=5927/tid=5944] ppid=5924 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5927/task/5944/stat : 5944 (java) S 5924 5924 5880 0 -1 1077944384 251 0 0 0 0 0 0 0 20 0 20 0 511713750 27969658880 26537 33554432000 4194304 4196468 140722604150288 139750651448176 139752805735042 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36040704 140722604155592 140722604156038 140722604156038 140722604158927 0 [pid=5927/tid=5945] ppid=5924 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5927/task/5945/stat : 5945 (java) S 5924 5924 5880 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511713750 27969658880 26537 33554432000 4194304 4196468 140722604150288 139749645871328 139752805734101 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36040704 140722604155592 140722604156038 140722604156038 140722604158927 0 [pid=5927/tid=5946] ppid=5924 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/5927/task/5946/stat : 5946 (java) S 5924 5924 5880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511713751 27969658880 26537 33554432000 4194304 4196468 140722604150288 139750650395056 139752805735042 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36040704 140722604155592 140722604156038 140722604156038 140722604158927 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 107548 KiB [startup+0.210604 s]* /proc/loadavg: 8.51 8.34 8.32 3/211 5946 /proc/meminfo: memFree=25535080/32770624 swapFree=66953496/67108860 [pid=5924] ppid=5921 vsize=113128 memory=1400 CPUtime=0 cores=0-7 /proc/5924/stat : 5924 (scop.sh) S 5921 5924 5880 0 -1 4202496 558 320 0 0 0 0 0 0 20 0 1 0 511713742 115843072 350 33554432000 4194304 5098028 140723036877632 140723036874888 140010317030012 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 7520256 140723036885757 140723036886104 140723036886104 140723036889033 0 /proc/5924/statm: 28282 350 297 221 0 87 0 [pid=5927] ppid=5924 vsize=27314120 memory=122980 CPUtime=0.25 cores=0-7 /proc/5927/stat : 5927 (java) S 5924 5924 5880 0 -1 1077944320 11622 0 0 0 21 4 0 0 20 0 20 0 511713743 27969658880 30745 33554432000 4194304 4196468 140722604150288 140722604132832 139752805723895 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36040704 140722604155592 140722604156038 140722604156038 140722604158927 0 /proc/5927/statm: 6828530 30745 2925 1 0 6790935 0 [pid=5927/tid=5928] ppid=5924 vsize=27314120 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/5927/task/5928/stat : 5928 (java) R 5924 5924 5880 0 -1 4202560 9319 0 0 0 17 3 0 0 20 0 20 0 511713743 27969658880 30745 33554432000 4194304 4196468 140722604150288 139752777523280 139752790889463 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36040704 140722604155592 140722604156038 140722604156038 140722604158927 0 [pid=5927/tid=5929] ppid=5924 vsize=27314120 memory=342 CPUtime=0 cores=0-7 /proc/5927/task/5929/stat : 5929 (java) S 5924 5924 5880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511713745 27969658880 30745 33554432000 4194304 4196468 140722604150288 139752809965840 139752805734101 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36040704 140722604155592 140722604156038 140722604156038 140722604158927 0 [pid=5927/tid=5930] ppid=5924 vsize=27314120 memory=3832765837650568864 CPUtime=0 cores=0-7 /proc/5927/task/5930/stat : 5930 (java) S 5924 5924 5880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511713746 27969658880 30745 33554432000 4194304 4196468 140722604150288 139752624122256 139752805734101 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36040704 140722604155592 140722604156038 140722604156038 140722604158927 0 [pid=5927/tid=5931] ppid=5924 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/5927/task/5931/stat : 5931 (java) S 5924 5924 5880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511713746 27969658880 30745 33554432000 4194304 4196468 140722604150288 139752623069712 139752805734101 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36040704 140722604155592 140722604156038 140722604156038 140722604158927 0 [pid=5927/tid=5932] ppid=5924 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5927/task/5932/stat : 5932 (java) S 5924 5924 5880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511713746 27969658880 30745 33554432000 4194304 4196468 140722604150288 139752622017168 139752805734101 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36040704 140722604155592 140722604156038 140722604156038 140722604158927 0 [pid=5927/tid=5933] ppid=5924 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5927/task/5933/stat : 5933 (java) S 5924 5924 5880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511713746 27969658880 30745 33554432000 4194304 4196468 140722604150288 139752620964624 139752805734101 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36040704 140722604155592 140722604156038 140722604156038 140722604158927 0 [pid=5927/tid=5934] ppid=5924 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/5927/task/5934/stat : 5934 (java) S 5924 5924 5880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511713746 27969658880 30745 33554432000 4194304 4196468 140722604150288 139752619912080 139752805734101 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36040704 140722604155592 140722604156038 140722604156038 140722604158927 0 [pid=5927/tid=5935] ppid=5924 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5927/task/5935/stat : 5935 (java) S 5924 5924 5880 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511713746 27969658880 30745 33554432000 4194304 4196468 140722604150288 139752618859536 139752805734101 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36040704 140722604155592 140722604156038 140722604156038 140722604158927 0 [pid=5927/tid=5936] ppid=5924 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5927/task/5936/stat : 5936 (java) S 5924 5924 5880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511713746 27969658880 30745 33554432000 4194304 4196468 140722604150288 139752617806992 139752805734101 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36040704 140722604155592 140722604156038 140722604156038 140722604158927 0 [pid=5927/tid=5937] ppid=5924 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5927/task/5937/stat : 5937 (java) S 5924 5924 5880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511713747 27969658880 30745 33554432000 4194304 4196468 140722604150288 139751729833968 139752805735042 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36040704 140722604155592 140722604156038 140722604156038 140722604158927 0 [pid=5927/tid=5938] ppid=5924 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5927/task/5938/stat : 5938 (java) S 5924 5924 5880 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 511713748 27969658880 30745 33554432000 4194304 4196468 140722604150288 139750786720672 139752805734101 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36040704 140722604155592 140722604156038 140722604156038 140722604158927 0 [pid=5927/tid=5939] ppid=5924 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5927/task/5939/stat : 5939 (java) S 5924 5924 5880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511713748 27969658880 30745 33554432000 4194304 4196468 140722604150288 139750518285296 139752805734101 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36040704 140722604155592 140722604156038 140722604156038 140722604158927 0 [pid=5927/tid=5940] ppid=5924 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5927/task/5940/stat : 5940 (java) S 5924 5924 5880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511713750 27969658880 30745 33554432000 4194304 4196468 140722604150288 139750143776976 139752805742491 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36040704 140722604155592 140722604156038 140722604156038 140722604158927 0 [pid=5927/tid=5941] ppid=5924 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5927/task/5941/stat : 5941 (java) S 5924 5924 5880 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 20 0 511713750 27969658880 30745 33554432000 4194304 4196468 140722604150288 139751728781808 139752805735042 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36040704 140722604155592 140722604156038 140722604156038 140722604158927 0 [pid=5927/tid=5942] ppid=5924 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5927/task/5942/stat : 5942 (java) S 5924 5924 5880 0 -1 1077944384 428 0 0 0 0 0 0 0 20 0 20 0 511713750 27969658880 30745 33554432000 4194304 4196468 140722604150288 139751727729264 139752805735042 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36040704 140722604155592 140722604156038 140722604156038 140722604158927 0 [pid=5927/tid=5943] ppid=5924 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/5927/task/5943/stat : 5943 (java) S 5924 5924 5880 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511713750 27969658880 30745 33554432000 4194304 4196468 140722604150288 139750652500720 139752805735042 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36040704 140722604155592 140722604156038 140722604156038 140722604158927 0 [pid=5927/tid=5944] ppid=5924 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7 /proc/5927/task/5944/stat : 5944 (java) S 5924 5924 5880 0 -1 1077944384 491 0 0 0 2 0 0 0 20 0 20 0 511713750 27969658880 30745 33554432000 4194304 4196468 140722604150288 139750651448176 139752805735042 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36040704 140722604155592 140722604156038 140722604156038 140722604158927 0 [pid=5927/tid=5945] ppid=5924 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5927/task/5945/stat : 5945 (java) S 5924 5924 5880 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511713750 27969658880 30745 33554432000 4194304 4196468 140722604150288 139749645871328 139752805734101 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36040704 140722604155592 140722604156038 140722604156038 140722604158927 0 [pid=5927/tid=5946] ppid=5924 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/5927/task/5946/stat : 5946 (java) S 5924 5924 5880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511713751 27969658880 30745 33554432000 4194304 4196468 140722604150288 139750650395056 139752805735042 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36040704 140722604155592 140722604156038 140722604156038 140722604158927 0 Current children cumulated CPU time: 0.25 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 124380 KiB [startup+0.310324 s]* /proc/loadavg: 8.51 8.34 8.32 2/211 5946 /proc/meminfo: memFree=25531172/32770624 swapFree=66953496/67108860 [pid=5924] ppid=5921 vsize=113128 memory=1400 CPUtime=0 cores=0-7 /proc/5924/stat : 5924 (scop.sh) S 5921 5924 5880 0 -1 4202496 558 320 0 0 0 0 0 0 20 0 1 0 511713742 115843072 350 33554432000 4194304 5098028 140723036877632 140723036874888 140010317030012 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 7520256 140723036885757 140723036886104 140723036886104 140723036889033 0 /proc/5924/statm: 28282 350 297 221 0 87 0 [pid=5927] ppid=5924 vsize=27314120 memory=127616 CPUtime=0.42 cores=0-7 /proc/5927/stat : 5927 (java) S 5924 5924 5880 0 -1 1077944320 12389 0 0 0 38 4 0 0 20 0 20 0 511713743 27969658880 31904 33554432000 4194304 4196468 140722604150288 140722604132832 139752805723895 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36040704 140722604155592 140722604156038 140722604156038 140722604158927 0 /proc/5927/statm: 6828530 31904 3014 1 0 6790935 0 [pid=5927/tid=5928] ppid=5924 vsize=27314120 memory=1398722017469774279 CPUtime=0.29 cores=0-7 /proc/5927/task/5928/stat : 5928 (java) R 5924 5924 5880 0 -1 4202560 9890 0 0 0 26 3 0 0 20 0 20 0 511713743 27969658880 31904 33554432000 4194304 4196468 140722604150288 139752777541392 139752787097432 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36040704 140722604155592 140722604156038 140722604156038 140722604158927 0 [pid=5927/tid=5929] ppid=5924 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5927/task/5929/stat : 5929 (java) S 5924 5924 5880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511713745 27969658880 31904 33554432000 4194304 4196468 140722604150288 139752809965840 139752805734101 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36040704 140722604155592 140722604156038 140722604156038 140722604158927 0 [pid=5927/tid=5930] ppid=5924 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5927/task/5930/stat : 5930 (java) S 5924 5924 5880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511713746 27969658880 31904 33554432000 4194304 4196468 140722604150288 139752624122256 139752805734101 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36040704 140722604155592 140722604156038 140722604156038 140722604158927 0 [pid=5927/tid=5931] ppid=5924 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5927/task/5931/stat : 5931 (java) S 5924 5924 5880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511713746 27969658880 31904 33554432000 4194304 4196468 140722604150288 139752623069712 139752805734101 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36040704 140722604155592 140722604156038 140722604156038 140722604158927 0 [pid=5927/tid=5932] ppid=5924 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5927/task/5932/stat : 5932 (java) S 5924 5924 5880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511713746 27969658880 31904 33554432000 4194304 4196468 140722604150288 139752622017168 139752805734101 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36040704 140722604155592 140722604156038 140722604156038 140722604158927 0 [pid=5927/tid=5933] ppid=5924 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5927/task/5933/stat : 5933 (java) S 5924 5924 5880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511713746 27969658880 31904 33554432000 4194304 4196468 140722604150288 139752620964624 139752805734101 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36040704 140722604155592 140722604156038 140722604156038 140722604158927 0 [pid=5927/tid=5934] ppid=5924 vsize=27314120 memory=139654015838895 CPUtime=0 cores=0-7 /proc/5927/task/5934/stat : 5934 (java) S 5924 5924 5880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511713746 27969658880 31904 33554432000 4194304 4196468 140722604150288 139752619912080 139752805734101 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36040704 140722604155592 140722604156038 140722604156038 140722604158927 0 [pid=5927/tid=5935] ppid=5924 vsize=27314120 memory=139654015841200 CPUtime=0 cores=0-7 /proc/5927/task/5935/stat : 5935 (java) S 5924 5924 5880 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511713746 27969658880 31904 33554432000 4194304 4196468 140722604150288 139752618859536 139752805734101 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36040704 140722604155592 140722604156038 140722604156038 140722604158927 0 [pid=5927/tid=5936] ppid=5924 vsize=27314120 memory=139654015843504 CPUtime=0 cores=0-7 /proc/5927/task/5936/stat : 5936 (java) S 5924 5924 5880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511713746 27969658880 31904 33554432000 4194304 4196468 140722604150288 139752617806992 139752805734101 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36040704 140722604155592 140722604156038 140722604156038 140722604158927 0 [pid=5927/tid=5937] ppid=5924 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5927/task/5937/stat : 5937 (java) S 5924 5924 5880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511713747 27969658880 31904 33554432000 4194304 4196468 140722604150288 139751729833968 139752805735042 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36040704 140722604155592 140722604156038 140722604156038 140722604158927 0 [pid=5927/tid=5938] ppid=5924 vsize=27314120 memory=279308031700880 CPUtime=0 cores=0-7 /proc/5927/task/5938/stat : 5938 (java) S 5924 5924 5880 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 511713748 27969658880 31904 33554432000 4194304 4196468 140722604150288 139750786720672 139752805734101 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36040704 140722604155592 140722604156038 140722604156038 140722604158927 0 [pid=5927/tid=5939] ppid=5924 vsize=27314120 memory=279308031698576 CPUtime=0 cores=0-7 /proc/5927/task/5939/stat : 5939 (java) S 5924 5924 5880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511713748 27969658880 31904 33554432000 4194304 4196468 140722604150288 139750518285296 139752805734101 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36040704 140722604155592 140722604156038 140722604156038 140722604158927 0 [pid=5927/tid=5940] ppid=5924 vsize=27314120 memory=279308031705488 CPUtime=0 cores=0-7 /proc/5927/task/5940/stat : 5940 (java) S 5924 5924 5880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511713750 27969658880 31904 33554432000 4194304 4196468 140722604150288 139750143776976 139752805742491 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36040704 140722604155592 140722604156038 140722604156038 140722604158927 0 [pid=5927/tid=5941] ppid=5924 vsize=27314120 memory=279308031646768 CPUtime=0 cores=0-7 /proc/5927/task/5941/stat : 5941 (java) S 5924 5924 5880 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 20 0 511713750 27969658880 31904 33554432000 4194304 4196468 140722604150288 139751728781808 139752805735042 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36040704 140722604155592 140722604156038 140722604156038 140722604158927 0 [pid=5927/tid=5942] ppid=5924 vsize=27314120 memory=279308031719312 CPUtime=0.01 cores=0-7 /proc/5927/task/5942/stat : 5942 (java) S 5924 5924 5880 0 -1 1077944384 476 0 0 0 1 0 0 0 20 0 20 0 511713750 27969658880 31904 33554432000 4194304 4196468 140722604150288 139751727729264 139752805735042 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36040704 140722604155592 140722604156038 140722604156038 140722604158927 0 [pid=5927/tid=5943] ppid=5924 vsize=27314120 memory=279308031726224 CPUtime=0.01 cores=0-7 /proc/5927/task/5943/stat : 5943 (java) R 5924 5924 5880 0 -1 4202560 106 0 0 0 1 0 0 0 20 0 20 0 511713750 27969658880 31904 33554432000 4194304 4196468 140722604150288 139750652500720 139752789110399 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36040704 140722604155592 140722604156038 140722604156038 140722604158927 0 [pid=5927/tid=5944] ppid=5924 vsize=27314120 memory=279308031723920 CPUtime=0.07 cores=0-7 /proc/5927/task/5944/stat : 5944 (java) S 5924 5924 5880 0 -1 1077944384 537 0 0 0 7 0 0 0 20 0 20 0 511713750 27969658880 31904 33554432000 4194304 4196468 140722604150288 139750651448176 139752805735042 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36040704 140722604155592 140722604156038 140722604156038 140722604158927 0 [pid=5927/tid=5945] ppid=5924 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5927/task/5945/stat : 5945 (java) S 5924 5924 5880 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511713750 27969658880 31904 33554432000 4194304 4196468 140722604150288 139749645871328 139752805734101 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36040704 140722604155592 140722604156038 140722604156038 140722604158927 0 [pid=5927/tid=5946] ppid=5924 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/5927/task/5946/stat : 5946 (java) S 5924 5924 5880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511713751 27969658880 31904 33554432000 4194304 4196468 140722604150288 139750650395056 139752805735042 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36040704 140722604155592 140722604156038 140722604156038 140722604158927 0 Current children cumulated CPU time: 0.42 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 129016 KiB [startup+0.70145 s] /proc/loadavg: 8.51 8.34 8.32 2/211 5946 /proc/meminfo: memFree=25507856/32770624 swapFree=66953496/67108860 [pid=5924] ppid=5921 vsize=113128 memory=1400 CPUtime=0 cores=0-7 /proc/5924/stat : 5924 (scop.sh) S 5921 5924 5880 0 -1 4202496 558 320 0 0 0 0 0 0 20 0 1 0 511713742 115843072 350 33554432000 4194304 5098028 140723036877632 140723036874888 140010317030012 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 7520256 140723036885757 140723036886104 140723036886104 140723036889033 0 /proc/5924/statm: 28282 350 297 221 0 87 0 [pid=5927] ppid=5924 vsize=27320392 memory=164656 CPUtime=0.99 cores=0-7 /proc/5927/stat : 5927 (java) S 5924 5924 5880 0 -1 1077944320 20348 0 0 0 92 7 0 0 20 0 20 0 511713743 27976081408 41164 33554432000 4194304 4196468 140722604150288 140722604132832 139752805723895 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36040704 140722604155592 140722604156038 140722604156038 140722604158927 0 /proc/5927/statm: 6830098 41164 3169 1 0 6791447 0 [pid=5927/tid=5928] ppid=5924 vsize=27320392 memory=0 CPUtime=0.67 cores=0-7 /proc/5927/task/5928/stat : 5928 (java) R 5924 5924 5880 0 -1 4202560 17346 0 0 0 62 5 0 0 20 0 20 0 511713743 27976081408 41164 33554432000 4194304 4196468 140722604150288 139752777559408 139752280008829 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36040704 140722604155592 140722604156038 140722604156038 140722604158927 0 [pid=5927/tid=5929] ppid=5924 vsize=27320392 memory=139654016050032 CPUtime=0 cores=0-7 /proc/5927/task/5929/stat : 5929 (java) S 5924 5924 5880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511713745 27976081408 41164 33554432000 4194304 4196468 140722604150288 139752809965840 139752805734101 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36040704 140722604155592 140722604156038 140722604156038 140722604158927 0 [pid=5927/tid=5930] ppid=5924 vsize=27320392 memory=0 CPUtime=0 cores=0-7 /proc/5927/task/5930/stat : 5930 (java) S 5924 5924 5880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511713746 27976081408 41164 33554432000 4194304 4196468 140722604150288 139752624122256 139752805734101 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36040704 140722604155592 140722604156038 140722604156038 140722604158927 0 [pid=5927/tid=5931] ppid=5924 vsize=27320392 memory=1276 CPUtime=0 cores=0-7 /proc/5927/task/5931/stat : 5931 (java) S 5924 5924 5880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511713746 27976081408 41164 33554432000 4194304 4196468 140722604150288 139752623069712 139752805734101 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36040704 140722604155592 140722604156038 140722604156038 140722604158927 0 ################ # More data... # ################ [pid=5947/tid=5950] ppid=5924 vsize=8414124 memory=988 CPUtime=0 cores=0-7 /proc/5947/task/5950/stat : 5950 (java) S 5924 5924 5880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511716474 8616062976 29862 33554432000 4194304 4196468 140729638191904 140039289838480 140039458789077 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34177024 140729638200288 140729638200454 140729638200454 140729638203343 0 [pid=5947/tid=5951] ppid=5924 vsize=8414124 memory=2008 CPUtime=0 cores=0-7 /proc/5947/task/5951/stat : 5951 (java) S 5924 5924 5880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 511716474 8616062976 29862 33554432000 4194304 4196468 140729638191904 140039288785936 140039458789077 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34177024 140729638200288 140729638200454 140729638200454 140729638203343 0 [pid=5947/tid=5952] ppid=5924 vsize=8414124 memory=668 CPUtime=0 cores=0-7 /proc/5947/task/5952/stat : 5952 (java) S 5924 5924 5880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511716474 8616062976 29862 33554432000 4194304 4196468 140729638191904 140038942313616 140039458789077 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34177024 140729638200288 140729638200454 140729638200454 140729638203343 0 [pid=5947/tid=5953] ppid=5924 vsize=8414124 memory=1276 CPUtime=0 cores=0-7 /proc/5947/task/5953/stat : 5953 (java) S 5924 5924 5880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511716474 8616062976 29862 33554432000 4194304 4196468 140729638191904 140038941260048 140039458789077 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34177024 140729638200288 140729638200454 140729638200454 140729638203343 0 [pid=5947/tid=5954] ppid=5924 vsize=8414124 memory=1096 CPUtime=0 cores=0-7 /proc/5947/task/5954/stat : 5954 (java) S 5924 5924 5880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 511716474 8616062976 29862 33554432000 4194304 4196468 140729638191904 140038940207504 140039458789077 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34177024 140729638200288 140729638200454 140729638200454 140729638203343 0 [pid=5947/tid=5955] ppid=5924 vsize=8414124 memory=14008 CPUtime=0 cores=0-7 /proc/5947/task/5955/stat : 5955 (java) S 5924 5924 5880 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 511716474 8616062976 29862 33554432000 4194304 4196468 140729638191904 140038939154960 140039458789077 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34177024 140729638200288 140729638200454 140729638200454 140729638203343 0 [pid=5947/tid=5956] ppid=5924 vsize=8414124 memory=35724 CPUtime=0 cores=0-7 /proc/5947/task/5956/stat : 5956 (java) S 5924 5924 5880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511716474 8616062976 29862 33554432000 4194304 4196468 140729638191904 140038938102416 140039458789077 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34177024 140729638200288 140729638200454 140729638200454 140729638203343 0 [pid=5947/tid=5957] ppid=5924 vsize=8414124 memory=14056 CPUtime=0 cores=0-7 /proc/5947/task/5957/stat : 5957 (java) S 5924 5924 5880 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 511716475 8616062976 29862 33554432000 4194304 4196468 140729638191904 140038887889392 140039458790018 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34177024 140729638200288 140729638200454 140729638200454 140729638203343 0 [pid=5947/tid=5958] ppid=5924 vsize=8414124 memory=2116 CPUtime=0 cores=0-7 /proc/5947/task/5958/stat : 5958 (java) S 5924 5924 5880 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 511716476 8616062976 29862 33554432000 4194304 4196468 140729638191904 140037878441376 140039458789077 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34177024 140729638200288 140729638200454 140729638200454 140729638203343 0 [pid=5947/tid=5959] ppid=5924 vsize=8414124 memory=14056 CPUtime=0 cores=0-7 /proc/5947/task/5959/stat : 5959 (java) S 5924 5924 5880 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 511716476 8616062976 29862 33554432000 4194304 4196468 140729638191904 140037744219632 140039458789077 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34177024 140729638200288 140729638200454 140729638200454 140729638203343 0 [pid=5947/tid=5960] ppid=5924 vsize=8414124 memory=2116 CPUtime=0 cores=0-7 /proc/5947/task/5960/stat : 5960 (java) S 5924 5924 5880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511716478 8616062976 29862 33554432000 4194304 4196468 140729638191904 140037369715408 140039458797467 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34177024 140729638200288 140729638200454 140729638200454 140729638203343 0 [pid=5947/tid=5961] ppid=5924 vsize=8414124 memory=520 CPUtime=0.13 cores=0-7 /proc/5947/task/5961/stat : 5961 (java) S 5924 5924 5880 0 -1 1077944384 846 0 0 0 13 0 0 0 20 0 24 0 511716478 8616062976 29862 33554432000 4194304 4196468 140729638191904 140038886836208 140039458790018 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34177024 140729638200288 140729638200454 140729638200454 140729638203343 0 [pid=5947/tid=5962] ppid=5924 vsize=8414124 memory=1560 CPUtime=0.05 cores=0-7 /proc/5947/task/5962/stat : 5962 (java) S 5924 5924 5880 0 -1 1077944384 119 0 0 0 5 0 0 0 20 0 24 0 511716478 8616062976 29862 33554432000 4194304 4196468 140729638191904 140038817966192 140039458790018 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34177024 140729638200288 140729638200454 140729638200454 140729638203343 0 [pid=5947/tid=5963] ppid=5924 vsize=8414124 memory=924 CPUtime=0.08 cores=0-7 /proc/5947/task/5963/stat : 5963 (java) S 5924 5924 5880 0 -1 1077944384 402 0 0 0 8 0 0 0 20 0 24 0 511716478 8616062976 29862 33554432000 4194304 4196468 140729638191904 140038816913648 140039458790018 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34177024 140729638200288 140729638200454 140729638200454 140729638203343 0 [pid=5947/tid=5964] ppid=5924 vsize=8414124 memory=3688 CPUtime=0.22 cores=0-7 /proc/5947/task/5964/stat : 5964 (java) S 5924 5924 5880 0 -1 1077944384 749 0 0 0 22 0 0 0 20 0 24 0 511716478 8616062976 29862 33554432000 4194304 4196468 140729638191904 140038815861104 140039458790018 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34177024 140729638200288 140729638200454 140729638200454 140729638203343 0 [pid=5947/tid=5965] ppid=5924 vsize=8414124 memory=1984 CPUtime=0 cores=0-7 /proc/5947/task/5965/stat : 5965 (java) S 5924 5924 5880 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 511716479 8616062976 29862 33554432000 4194304 4196468 140729638191904 140036871809760 140039458789077 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34177024 140729638200288 140729638200454 140729638200454 140729638203343 0 [pid=5947/tid=5966] ppid=5924 vsize=8414124 memory=1440 CPUtime=0.14 cores=0-7 /proc/5947/task/5966/stat : 5966 (java) S 5924 5924 5880 0 -1 1077944384 17 0 0 0 5 9 0 0 20 0 24 0 511716479 8616062976 29862 33554432000 4194304 4196468 140729638191904 140038814809008 140039458790018 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34177024 140729638200288 140729638200454 140729638200454 140729638203343 0 [pid=5947/tid=5968] ppid=5924 vsize=8414124 memory=808 CPUtime=0 cores=0-7 /proc/5947/task/5968/stat : 5968 (java) S 5924 5924 5880 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 511716548 8616062976 29862 33554432000 4194304 4196468 140729638191904 140038807332544 140039458803481 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 34177024 140729638200288 140729638200454 140729638200454 140729638203343 0 [pid=5947/tid=5970] ppid=5924 vsize=8414124 memory=2580 CPUtime=0.01 cores=0-7 /proc/5947/task/5970/stat : 5970 (java) S 5924 5924 5880 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 24 0 511716548 8616062976 29862 33554432000 4194304 4196468 140729638191904 140036200709424 140039458800797 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 34177024 140729638200288 140729638200454 140729638200454 140729638203343 0 [pid=5947/tid=5971] ppid=5924 vsize=8414124 memory=1760 CPUtime=0 cores=0-7 /proc/5947/task/5971/stat : 5971 (java) S 5924 5924 5880 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 511716548 8616062976 29862 33554432000 4194304 4196468 140729638191904 140036469145008 140039458800797 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 34177024 140729638200288 140729638200454 140729638200454 140729638203343 0 [pid=5947/tid=5972] ppid=5924 vsize=8414124 memory=111636 CPUtime=0 cores=0-7 /proc/5947/task/5972/stat : 5972 (java) S 5924 5924 5880 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 511716550 8616062976 29862 33554432000 4194304 4196468 140729638191904 140035932282032 140039458789077 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34177024 140729638200288 140729638200454 140729638200454 140729638203343 0 Current children cumulated CPU time: 1767.48 s Current children cumulated vsize: 12019028 KiB Current children cumulated memory: 2910984 KiB [startup+260.102 s]* /proc/loadavg: 6.98 7.61 8.00 2/216 6001 /proc/meminfo: memFree=23777300/32770624 swapFree=66953496/67108860 [pid=5924] ppid=5921 vsize=113128 memory=1476 CPUtime=37.19 cores=0-7 /proc/5924/stat : 5924 (scop.sh) S 5921 5924 5880 0 -1 4202496 584 36821 0 0 0 0 3504 215 20 0 1 0 511713742 115843072 369 33554432000 4194304 5098028 140723036877632 140723036874376 140010317030012 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 7520256 140723036885757 140723036886104 140723036886104 140723036889033 0 /proc/5924/statm: 28282 369 311 221 0 87 0 [pid=5947] ppid=5924 vsize=8414124 memory=122676 CPUtime=1.53 cores=0-7 /proc/5947/stat : 5947 (java) S 5924 5924 5880 0 -1 1077944320 23101 0 0 0 142 11 0 0 20 0 24 0 511716472 8616062976 30669 33554432000 4194304 4196468 140729638191904 140729638174448 140039458778871 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34177024 140729638200288 140729638200454 140729638200454 140729638203343 0 /proc/5947/statm: 2103531 30669 3217 1 0 2064875 0 [pid=5947/tid=5948] ppid=5924 vsize=8414124 memory=1398722017469774279 CPUtime=0.78 cores=0-7 /proc/5947/task/5948/stat : 5948 (java) S 5924 5924 5880 0 -1 1077944384 17787 0 0 0 72 6 0 0 20 0 24 0 511716473 8616062976 30669 33554432000 4194304 4196468 140729638191904 140039430619040 140039458789077 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34177024 140729638200288 140729638200454 140729638200454 140729638203343 0 [pid=5947/tid=5949] ppid=5924 vsize=8414124 memory=119448 CPUtime=0 cores=0-7 /proc/5947/task/5949/stat : 5949 (java) S 5924 5924 5880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 511716474 8616062976 30669 33554432000 4194304 4196468 140729638191904 140039463021328 140039458789077 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34177024 140729638200288 140729638200454 140729638200454 140729638203343 0 [pid=5947/tid=5950] ppid=5924 vsize=8414124 memory=1476 CPUtime=0 cores=0-7 /proc/5947/task/5950/stat : 5950 (java) S 5924 5924 5880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511716474 8616062976 30669 33554432000 4194304 4196468 140729638191904 140039289838480 140039458789077 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34177024 140729638200288 140729638200454 140729638200454 140729638203343 0 [pid=5947/tid=5951] ppid=5924 vsize=8414124 memory=119448 CPUtime=0 cores=0-7 /proc/5947/task/5951/stat : 5951 (java) S 5924 5924 5880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 511716474 8616062976 30669 33554432000 4194304 4196468 140729638191904 140039288785936 140039458789077 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34177024 140729638200288 140729638200454 140729638200454 140729638203343 0 [pid=5947/tid=5952] ppid=5924 vsize=8414124 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/5947/task/5952/stat : 5952 (java) S 5924 5924 5880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511716474 8616062976 30669 33554432000 4194304 4196468 140729638191904 140038942313616 140039458789077 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34177024 140729638200288 140729638200454 140729638200454 140729638203343 0 [pid=5947/tid=5953] ppid=5924 vsize=8414124 memory=2837432 CPUtime=0 cores=0-7 /proc/5947/task/5953/stat : 5953 (java) S 5924 5924 5880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511716474 8616062976 30669 33554432000 4194304 4196468 140729638191904 140038941260048 140039458789077 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34177024 140729638200288 140729638200454 140729638200454 140729638203343 0 [pid=5947/tid=5954] ppid=5924 vsize=8414124 memory=1984 CPUtime=0 cores=0-7 /proc/5947/task/5954/stat : 5954 (java) S 5924 5924 5880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 511716474 8616062976 30669 33554432000 4194304 4196468 140729638191904 140038940207504 140039458789077 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34177024 140729638200288 140729638200454 140729638200454 140729638203343 0 [pid=5947/tid=5955] ppid=5924 vsize=8414124 memory=1440 CPUtime=0 cores=0-7 /proc/5947/task/5955/stat : 5955 (java) S 5924 5924 5880 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 511716474 8616062976 30669 33554432000 4194304 4196468 140729638191904 140038939154960 140039458789077 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34177024 140729638200288 140729638200454 140729638200454 140729638203343 0 [pid=5947/tid=5956] ppid=5924 vsize=8414124 memory=808 CPUtime=0 cores=0-7 /proc/5947/task/5956/stat : 5956 (java) S 5924 5924 5880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511716474 8616062976 30669 33554432000 4194304 4196468 140729638191904 140038938102416 140039458789077 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34177024 140729638200288 140729638200454 140729638200454 140729638203343 0 [pid=5947/tid=5957] ppid=5924 vsize=8414124 memory=2580 CPUtime=0 cores=0-7 /proc/5947/task/5957/stat : 5957 (java) S 5924 5924 5880 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 511716475 8616062976 30669 33554432000 4194304 4196468 140729638191904 140038887889392 140039458790018 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34177024 140729638200288 140729638200454 140729638200454 140729638203343 0 [pid=5947/tid=5958] ppid=5924 vsize=8414124 memory=1760 CPUtime=0 cores=0-7 /proc/5947/task/5958/stat : 5958 (java) S 5924 5924 5880 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 511716476 8616062976 30669 33554432000 4194304 4196468 140729638191904 140037878441376 140039458789077 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34177024 140729638200288 140729638200454 140729638200454 140729638203343 0 [pid=5947/tid=5959] ppid=5924 vsize=8414124 memory=111636 CPUtime=0 cores=0-7 /proc/5947/task/5959/stat : 5959 (java) S 5924 5924 5880 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 511716476 8616062976 30669 33554432000 4194304 4196468 140729638191904 140037744219632 140039458789077 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34177024 140729638200288 140729638200454 140729638200454 140729638203343 0 [pid=5947/tid=5960] ppid=5924 vsize=8414124 memory=808 CPUtime=0 cores=0-7 /proc/5947/task/5960/stat : 5960 (java) S 5924 5924 5880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511716478 8616062976 30669 33554432000 4194304 4196468 140729638191904 140037369715408 140039458797467 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34177024 140729638200288 140729638200454 140729638200454 140729638203343 0 [pid=5947/tid=5961] ppid=5924 vsize=8414124 memory=2837432 CPUtime=0.14 cores=0-7 /proc/5947/task/5961/stat : 5961 (java) S 5924 5924 5880 0 -1 1077944384 860 0 0 0 14 0 0 0 20 0 24 0 511716478 8616062976 30669 33554432000 4194304 4196468 140729638191904 140038886836208 140039458790018 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34177024 140729638200288 140729638200454 140729638200454 140729638203343 0 [pid=5947/tid=5962] ppid=5924 vsize=8414124 memory=1728 CPUtime=0.05 cores=0-7 /proc/5947/task/5962/stat : 5962 (java) S 5924 5924 5880 0 -1 1077944384 143 0 0 0 5 0 0 0 20 0 24 0 511716478 8616062976 30669 33554432000 4194304 4196468 140729638191904 140038817966192 140039458790018 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34177024 140729638200288 140729638200454 140729638200454 140729638203343 0 [pid=5947/tid=5963] ppid=5924 vsize=8414124 memory=8204 CPUtime=0.09 cores=0-7 /proc/5947/task/5963/stat : 5963 (java) S 5924 5924 5880 0 -1 1077944384 402 0 0 0 9 0 0 0 20 0 24 0 511716478 8616062976 30669 33554432000 4194304 4196468 140729638191904 140038816913648 140039458790018 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34177024 140729638200288 140729638200454 140729638200454 140729638203343 0 [pid=5947/tid=5964] ppid=5924 vsize=8414124 memory=9580 CPUtime=0.23 cores=0-7 /proc/5947/task/5964/stat : 5964 (java) S 5924 5924 5880 0 -1 1077944384 780 0 0 0 23 0 0 0 20 0 24 0 511716478 8616062976 30669 33554432000 4194304 4196468 140729638191904 140038815861104 140039458790018 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34177024 140729638200288 140729638200454 140729638200454 140729638203343 0 [pid=5947/tid=5965] ppid=5924 vsize=8414124 memory=1052 CPUtime=0 cores=0-7 /proc/5947/task/5965/stat : 5965 (java) S 5924 5924 5880 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 511716479 8616062976 30669 33554432000 4194304 4196468 140729638191904 140036871809760 140039458789077 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34177024 140729638200288 140729638200454 140729638200454 140729638203343 0 [pid=5947/tid=5966] ppid=5924 vsize=8414124 memory=776 CPUtime=0.14 cores=0-7 /proc/5947/task/5966/stat : 5966 (java) S 5924 5924 5880 0 -1 1077944384 17 0 0 0 5 9 0 0 20 0 24 0 511716479 8616062976 30669 33554432000 4194304 4196468 140729638191904 140038814809008 140039458790018 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34177024 140729638200288 140729638200454 140729638200454 140729638203343 0 [pid=5947/tid=5968] ppid=5924 vsize=8414124 memory=2832 CPUtime=0 cores=0-7 /proc/5947/task/5968/stat : 5968 (java) S 5924 5924 5880 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 511716548 8616062976 30669 33554432000 4194304 4196468 140729638191904 140038807332544 140039458803481 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 34177024 140729638200288 140729638200454 140729638200454 140729638203343 0 [pid=5947/tid=5970] ppid=5924 vsize=8414124 memory=1560 CPUtime=0.03 cores=0-7 /proc/5947/task/5970/stat : 5970 (java) S 5924 5924 5880 0 -1 4202560 1700 0 0 0 2 1 0 0 20 0 24 0 511716548 8616062976 30669 33554432000 4194304 4196468 140729638191904 140036200709456 140039458800797 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 34177024 140729638200288 140729638200454 140729638200454 140729638203343 0 [pid=5947/tid=5971] ppid=5924 vsize=8414124 memory=924 CPUtime=0 cores=0-7 /proc/5947/task/5971/stat : 5971 (java) S 5924 5924 5880 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 511716548 8616062976 30669 33554432000 4194304 4196468 140729638191904 140036469145008 140039458800797 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 34177024 140729638200288 140729638200454 140729638200454 140729638203343 0 [pid=5947/tid=5972] ppid=5924 vsize=8414124 memory=3688 CPUtime=0 cores=0-7 /proc/5947/task/5972/stat : 5972 (java) S 5924 5924 5880 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 511716550 8616062976 30669 33554432000 4194304 4196468 140729638191904 140035932282032 140039458789077 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34177024 140729638200288 140729638200454 140729638200454 140729638203343 0 Current children cumulated CPU time: 38.72 s Current children cumulated vsize: 8527252 KiB Current children cumulated memory: 124152 KiB [startup+260.21 s] /proc/loadavg: 6.98 7.61 8.00 2/216 6001 /proc/meminfo: memFree=23777300/32770624 swapFree=66953496/67108860 [pid=5924] ppid=5921 vsize=113128 memory=1476 CPUtime=37.19 cores=0-7 /proc/5924/stat : 5924 (scop.sh) S 5921 5924 5880 0 -1 4202496 584 36821 0 0 0 0 3504 215 20 0 1 0 511713742 115843072 369 33554432000 4194304 5098028 140723036877632 140723036874376 140010317030012 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 7520256 140723036885757 140723036886104 140723036886104 140723036889033 0 /proc/5924/statm: 28282 369 311 221 0 87 0 [pid=5947] ppid=5924 vsize=8283048 memory=122904 CPUtime=1730.85 cores=0-7 /proc/5947/stat : 5947 (java) S 5924 5924 5880 0 -1 1077944320 23118 12418400 0 0 142 11 171431 1501 20 0 22 0 511716472 8481841152 30671 33554432000 4194304 4196468 140729638191904 140729638174448 140039458778871 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34177024 140729638200288 140729638200454 140729638200454 140729638203343 0 /proc/5947/statm: 2070762 30671 3217 1 0 2032106 0 [pid=5947/tid=5948] ppid=5924 vsize=8283048 memory=1476 CPUtime=1730.1 cores=0-7 /proc/5947/task/5948/stat : 5948 (java) R 5924 5924 5880 0 -1 4202560 17796 12418400 0 0 72 6 171431 1501 20 0 22 0 511716473 8481841152 30726 33554432000 4194304 4196468 140729638191904 140039430619040 140039442822501 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34177024 140729638200288 140729638200454 140729638200454 140729638203343 0 [pid=5947/tid=5949] ppid=5924 vsize=8283048 memory=119448 CPUtime=1729.32 cores=0-7 /proc/5947/task/5949/stat : 5949 (java) S 5924 5924 5880 0 -1 1077944384 2 12418400 0 0 0 0 171431 1501 20 0 22 0 511716474 8481841152 30726 33554432000 4194304 4196468 140729638191904 140039463021328 140039458789077 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34177024 140729638200288 140729638200454 140729638200454 140729638203343 0 [pid=5947/tid=5950] ppid=5924 vsize=8283048 memory=119448 CPUtime=1729.32 cores=0-7 /proc/5947/task/5950/stat : 5950 (java) S 5924 5924 5880 0 -1 1077944384 1 12418400 0 0 0 0 171431 1501 20 0 22 0 511716474 8481841152 30726 33554432000 4194304 4196468 140729638191904 140039289838480 140039458789077 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34177024 140729638200288 140729638200454 140729638200454 140729638203343 0 [pid=5947/tid=5951] ppid=5924 vsize=8283048 memory=1476 CPUtime=1729.32 cores=0-7 /proc/5947/task/5951/stat : 5951 (java) S 5924 5924 5880 0 -1 1077944384 2 12418400 0 0 0 0 171431 1501 20 0 22 0 511716474 8481841152 30726 33554432000 4194304 4196468 140729638191904 140039288785936 140039458789077 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34177024 140729638200288 140729638200454 140729638200454 140729638203343 0 [pid=5947/tid=5952] ppid=5924 vsize=8283048 memory=1476 CPUtime=1729.32 cores=0-7 /proc/5947/task/5952/stat : 5952 (java) S 5924 5924 5880 0 -1 1077944384 1 12418400 0 0 0 0 171431 1501 20 0 22 0 511716474 8481841152 30726 33554432000 4194304 4196468 140729638191904 140038942313616 140039458789077 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34177024 140729638200288 140729638200454 140729638200454 140729638203343 0 [pid=5947/tid=5953] ppid=5924 vsize=8283048 memory=1476 CPUtime=1729.32 cores=0-7 /proc/5947/task/5953/stat : 5953 (java) S 5924 5924 5880 0 -1 1077944384 1 12418400 0 0 0 0 171431 1501 20 0 22 0 511716474 8481841152 30726 33554432000 4194304 4196468 140729638191904 140038941260048 140039458789077 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34177024 140729638200288 140729638200454 140729638200454 140729638203343 0 [pid=5947/tid=5954] ppid=5924 vsize=8283048 memory=119448 CPUtime=1729.32 cores=0-7 /proc/5947/task/5954/stat : 5954 (java) S 5924 5924 5880 0 -1 1077944384 2 12418400 0 0 0 0 171431 1501 20 0 22 0 511716474 8481841152 30726 33554432000 4194304 4196468 140729638191904 140038940207504 140039458789077 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34177024 140729638200288 140729638200454 140729638200454 140729638203343 0 [pid=5947/tid=5955] ppid=5924 vsize=8283048 memory=1476 CPUtime=1729.32 cores=0-7 /proc/5947/task/5955/stat : 5955 (java) S 5924 5924 5880 0 -1 1077944384 3 12418400 0 0 0 0 171431 1501 20 0 22 0 511716474 8481841152 30726 33554432000 4194304 4196468 140729638191904 140038939154960 140039458789077 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34177024 140729638200288 140729638200454 140729638200454 140729638203343 0 [pid=5947/tid=5956] ppid=5924 vsize=8283048 memory=119448 CPUtime=1729.32 cores=0-7 /proc/5947/task/5956/stat : 5956 (java) S 5924 5924 5880 0 -1 1077944384 1 12418400 0 0 0 0 171431 1501 20 0 22 0 511716474 8481841152 30726 33554432000 4194304 4196468 140729638191904 140038938102416 140039458789077 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34177024 140729638200288 140729638200454 140729638200454 140729638203343 0 [pid=5947/tid=5957] ppid=5924 vsize=8283048 memory=1476 CPUtime=1729.32 cores=0-7 /proc/5947/task/5957/stat : 5957 (java) S 5924 5924 5880 0 -1 1077944384 8 12418400 0 0 0 0 171431 1501 20 0 22 0 511716475 8481841152 30726 33554432000 4194304 4196468 140729638191904 140038887889392 140039458790018 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34177024 140729638200288 140729638200454 140729638200454 140729638203343 0 [pid=5947/tid=5958] ppid=5924 vsize=8283048 memory=119448 CPUtime=1729.32 cores=0-7 /proc/5947/task/5958/stat : 5958 (java) S 5924 5924 5880 0 -1 1077944384 13 12418400 0 0 0 0 171431 1501 20 0 22 0 511716476 8481841152 30726 33554432000 4194304 4196468 140729638191904 140037878441376 140039458789077 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34177024 140729638200288 140729638200454 140729638200454 140729638203343 0 [pid=5947/tid=5959] ppid=5924 vsize=8283048 memory=1440 CPUtime=1729.32 cores=0-7 /proc/5947/task/5959/stat : 5959 (java) S 5924 5924 5880 0 -1 1077944384 21 12418400 0 0 0 0 171431 1501 20 0 22 0 511716476 8481841152 30726 33554432000 4194304 4196468 140729638191904 140037744219632 140039458789077 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34177024 140729638200288 140729638200454 140729638200454 140729638203343 0 [pid=5947/tid=5960] ppid=5924 vsize=8283048 memory=808 CPUtime=1729.32 cores=0-7 /proc/5947/task/5960/stat : 5960 (java) S 5924 5924 5880 0 -1 1077944384 1 12418400 0 0 0 0 171431 1501 20 0 22 0 511716478 8481841152 30726 33554432000 4194304 4196468 140729638191904 140037369715408 140039458797467 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34177024 140729638200288 140729638200454 140729638200454 140729638203343 0 [pid=5947/tid=5961] ppid=5924 vsize=8283048 memory=1476 CPUtime=1729.46 cores=0-7 /proc/5947/task/5961/stat : 5961 (java) S 5924 5924 5880 0 -1 1077944384 860 12418400 0 0 14 0 171431 1501 20 0 22 0 511716478 8481841152 30726 33554432000 4194304 4196468 140729638191904 140038886836208 140039458790018 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34177024 140729638200288 140729638200454 140729638200454 140729638203343 0 [pid=5947/tid=5962] ppid=5924 vsize=8283048 memory=119448 CPUtime=1729.37 cores=0-7 /proc/5947/task/5962/stat : 5962 (java) S 5924 5924 5880 0 -1 1077944384 143 12418400 0 0 5 0 171431 1501 20 0 22 0 511716478 8481841152 30726 33554432000 4194304 4196468 140729638191904 140038817966192 140039458790018 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34177024 140729638200288 140729638200454 140729638200454 140729638203343 0 [pid=5947/tid=5963] ppid=5924 vsize=8283048 memory=119448 CPUtime=1729.41 cores=0-7 /proc/5947/task/5963/stat : 5963 (java) S 5924 5924 5880 0 -1 1077944384 402 12418400 0 0 9 0 171431 1501 20 0 22 0 511716478 8481841152 30726 33554432000 4194304 4196468 140729638191904 140038816913648 140039458790018 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34177024 140729638200288 140729638200454 140729638200454 140729638203343 0 [pid=5947/tid=5964] ppid=5924 vsize=8283048 memory=2837404 CPUtime=1729.55 cores=0-7 /proc/5947/task/5964/stat : 5964 (java) S 5924 5924 5880 0 -1 1077944384 780 12418400 0 0 23 0 171431 1501 20 0 22 0 511716478 8481841152 30726 33554432000 4194304 4196468 140729638191904 140038815861104 140039458790018 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34177024 140729638200288 140729638200454 140729638200454 140729638203343 0 [pid=5947/tid=5965] ppid=5924 vsize=8283048 memory=4465 CPUtime=1729.32 cores=0-7 /proc/5947/task/5965/stat : 5965 (java) S 5924 5924 5880 0 -1 1077944384 3 12418400 0 0 0 0 171431 1501 20 0 22 0 511716479 8481841152 30726 33554432000 4194304 4196468 140729638191904 140036871809760 140039458789077 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34177024 140729638200288 140729638200454 140729638200454 140729638203343 0 [pid=5947/tid=5966] ppid=5924 vsize=8283048 memory=4420 CPUtime=1729.46 cores=0-7 /proc/5947/task/5966/stat : 5966 (java) S 5924 5924 5880 0 -1 1077944384 17 12418400 0 0 5 9 171431 1501 20 0 22 0 511716479 8481841152 30726 33554432000 4194304 4196468 140729638191904 140038814809008 140039458790018 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34177024 140729638200288 140729638200454 140729638200454 140729638203343 0 [pid=5947/tid=5968] ppid=5924 vsize=8283048 memory=1476 CPUtime=1729.32 cores=0-7 /proc/5947/task/5968/stat : 5968 (java) S 5924 5924 5880 0 -1 1077944384 24 12418400 0 0 0 0 171431 1501 20 0 22 0 511716548 8481841152 30726 33554432000 4194304 4196468 140729638191904 140038807331728 140039458790018 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34177024 140729638200288 140729638200454 140729638200454 140729638203343 0 [pid=5947/tid=5972] ppid=5924 vsize=8283048 memory=2857368 CPUtime=1729.32 cores=0-7 /proc/5947/task/5972/stat : 5972 (java) S 5924 5924 5880 0 -1 1077944384 15 12418400 0 0 0 0 171431 1501 20 0 22 0 511716550 8481841152 30726 33554432000 4194304 4196468 140729638191904 140035932283824 140039458790018 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34177024 140729638200288 140729638200454 140729638200454 140729638203343 0 Current children cumulated CPU time: 1768.04 s Current children cumulated vsize: 8396176 KiB Current children cumulated memory: 124380 KiB Child status: 0 Real time (s): 260.244 CPU time (s): 1768.12 CPU user time (s): 1750.79 CPU system time (s): 17.3282 CPU usage (%): 679.406 Max. virtual memory (cumulated for all children) (KiB): 27443924 Max. memory (cumulated for all children) (KiB): 6053552 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1750.79 system time used= 17.3282 maximum resident set size= 6052844 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 12478966 page faults= 0 swaps= 0 block input operations= 8 block output operations= 289328 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 57128 involuntary context switches= 16845 # summary of solver processes directly reported to runsolver: # pid: 5924 # total CPU time (s): 1768.12 # total CPU user time (s): 1750.79 # total CPU system time (s): 17.3282 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 2.39592 second user time and 3.51364 second system time The end
Begin job on node119 at 2019-09-24 22:45:49 IDJOB=4405281 IDBENCH=138477 IDSOLVER=2867 FILE ID=node119/4405281-1569357990 RUNJOBID= node119-1569357949-5907 PBS_JOBID= 21705109 Free space on /var/tmp= 13512 MiB SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-09-22) BENCH NAME= XCSP17/SuperSolutions/SuperSolutions-Taillard-js15/SuperTaillard-js-15-08.xml COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -order DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405281-1569357990/watcher-4405281-1569357990 -o /var/tmp/evaluation-result-4405281-1569357990/solver-4405281-1569357990 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node119-1569357949-5907 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405281-1569357990.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 79bafde88fa7f495a04ad4879b5697b3 RANDOM SEED=1665655225 node119.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.47 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.47 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.47 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.47 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: 25648796 kB MemAvailable: 31799884 kB Buffers: 136920 kB Cached: 6113916 kB SwapCached: 46740 kB Active: 3103728 kB Inactive: 3197636 kB Active(anon): 3804 kB Inactive(anon): 104252 kB Active(file): 3099924 kB Inactive(file): 3093384 kB Unevictable: 107996 kB Mlocked: 107996 kB SwapTotal: 67108860 kB SwapFree: 66953496 kB Dirty: 21092 kB Writeback: 0 kB AnonPages: 112640 kB Mapped: 57008 kB Shmem: 48540 kB Slab: 414588 kB SReclaimable: 386240 kB SUnreclaim: 28348 kB KernelStack: 3280 kB PageTables: 5712 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 513820 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 67584 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 126336 kB DirectMap2M: 33419264 kB Free space on /var/tmp at the end= 13492 MiB End job on node119 at 2019-09-24 22:50:09