Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
Fun-sCOP hybrid+ManyGlucose (2019-06-15) | UNSAT | 672.753 | 93.6618 |
Name | PseudoBoolean/PseudoBoolean-dec-pigeon/ Pb-pigeon-clau-015-010.xml |
MD5SUM | b45d1707d0c27f8ab51c2199585eb6c5 |
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 | 92.8113 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 150 |
Number of constraints | 1065 |
Number of domains | 1 |
Minimum domain size | 2 |
Maximum domain size | 2 |
Distribution of domain sizes | [{"size":2,"count":150}] |
Minimum variable degree | 15 |
Maximum variable degree | 15 |
Distribution of variable degrees | [{"degree":15,"count":150}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 10 |
Distribution of constraint arities | [{"arity":2,"count":1050},{"arity":10,"count":15}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"sum","count":1065}] |
Optimization problem | NO |
Type of objective |
0.00/0.00 c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -hybrid -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-17309-serial-file.bin HOME/instance-4392792-1568438883.xml 0.66/0.54 0.66/0.54 Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15) 0.66/0.54 0.66/0.57 c BEGIN-Prog: Sat Sep 14 07:27:24 CEST 2019 0.66/0.57 c PID: 17312 0.66/0.57 c IP: 172.20.3.140 0.66/0.57 c HOST: node140.alineos.net 0.66/0.57 c (0,0) Parsing Begin 1.93/1.17 c (0,0) Parsing End 1.93/1.17 c (0,0) CSP: 0 int (0 aux), 150 bool (0 aux), 1065 ctr, max domain size 2 1.93/1.17 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB) 1.93/1.17 c (0,0) Constraint Name Generate Begin 1.93/1.19 c (0,0) Ctr:HOME/instance-4392792-1568438883.xml,Num:Var:WeightedSum 1.93/1.19 c (0,0) Constraint Name Generate End 1.93/1.19 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB) 1.93/1.19 c (0,0) CSP to CSPinCNF Begin 2.34/1.36 c (0,0) translated 107 (10%) constraints 2.34/1.40 c (0,0) translated 213 (20%) constraints 2.60/1.43 c (0,0) translated 320 (30%) constraints 2.60/1.45 c (0,0) translated 426 (40%) constraints 2.60/1.47 c (0,0) translated 533 (50%) constraints 2.60/1.49 c (0,0) translated 639 (60%) constraints 2.97/1.50 c (0,0) translated 746 (70%) constraints 2.97/1.52 c (0,0) translated 852 (80%) constraints 2.97/1.53 c (0,0) translated 959 (90%) constraints 2.97/1.54 c (1,0) translated 1065 (100%) constraints 2.97/1.54 c (1,0) =========================================== 2.97/1.56 c (1,1) Hybrid: #OE=0, #LE=150 2.97/1.56 c (1,1) Hybrid 2.97/1.56 c (1,1) =========================================== 2.97/1.57 c (1,1) translated 107 (10%) constraints 2.97/1.58 c (1,1) translated 213 (20%) constraints 2.97/1.59 c (1,1) translated 320 (30%) constraints 2.97/1.59 c (1,1) translated 426 (40%) constraints 3.25/1.60 c (1,1) translated 533 (50%) constraints 3.25/1.61 c (1,1) translated 639 (60%) constraints 3.25/1.61 c (1,1) translated 746 (70%) constraints 3.25/1.62 c (1,1) translated 852 (80%) constraints 3.25/1.62 c (1,1) translated 959 (90%) constraints 3.25/1.63 c (1,1) translated 1065 (100%) constraints 3.25/1.63 c (1,1) CSP to CSPinCNF End 3.25/1.63 c (1,1) CSP: 0 int (0 aux), 150 bool (0 aux), 1065 ctr, max domain size 2 3.25/1.63 c (1,1) Heap : 225 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB) 3.25/1.63 c (1,1) CSPinCNF Propagation Begin 3.25/1.66 c (1,1) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed 3.25/1.66 c (1,1) CSPinCNF Propagation End 3.25/1.66 c (1,1) CSP: 0 int (0 aux), 150 bool (0 aux), 1065 ctr, max domain size 2 3.25/1.66 c (1,1) Heap : 225 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB) 3.25/1.67 c (1,1) Hybrid: #OE=0, #LE=150 3.25/1.67 c (1,1) Simplify CSPinCNF Begin 3.25/1.68 c (1,1) Simplify CSPinCNF End 3.25/1.68 c (1,1) CSP: 0 int (0 aux), 150 bool (0 aux), 1065 ctr, max domain size 2 3.25/1.68 c (1,1) Heap : 225 MiB used (max 21589 MiB), NonHeap : 25 MiB used (max 0 MiB) 3.25/1.68 c (1,1) Calculate Precise Domain Begin 3.25/1.68 c (1,1) 0 values are removed by re-calculation 3.25/1.68 c (1,1) Calculate Precise Domain End 3.25/1.69 c (1,1) CSP: 0 int (0 aux), 150 bool (0 aux), 1065 ctr, max domain size 2 3.25/1.69 c (1,1) Heap : 225 MiB used (max 21589 MiB), NonHeap : 25 MiB used (max 0 MiB) 3.25/1.69 c (1,1) CSPinCNF to SatSolver Begin 3.54/1.75 c (1,1) 107 (10 %) CSP clauses are encoded (0 SAT variables, 106 SAT clauses) 3.54/1.77 c (1,1) 213 (20 %) CSP clauses are encoded (0 SAT variables, 212 SAT clauses) 3.54/1.79 c (1,1) 320 (30 %) CSP clauses are encoded (0 SAT variables, 319 SAT clauses) 3.81/1.80 c (1,1) 426 (40 %) CSP clauses are encoded (0 SAT variables, 425 SAT clauses) 3.81/1.81 c (1,1) 533 (50 %) CSP clauses are encoded (0 SAT variables, 532 SAT clauses) 3.81/1.82 c (1,1) 639 (60 %) CSP clauses are encoded (0 SAT variables, 638 SAT clauses) 3.81/1.83 c (1,1) 746 (70 %) CSP clauses are encoded (0 SAT variables, 745 SAT clauses) 3.81/1.84 c (1,1) 852 (80 %) CSP clauses are encoded (0 SAT variables, 851 SAT clauses) 3.81/1.85 c (1,1) 959 (90 %) CSP clauses are encoded (0 SAT variables, 958 SAT clauses) 3.81/1.85 c (1,1) 1065 (100 %) CSP clauses are encoded (0 SAT variables, 1064 SAT clauses) 3.81/1.85 c (1,1) CSPinCNF to SatSolver End 3.81/1.85 c (1,1) Heap : 337 MiB used (max 21589 MiB), NonHeap : 26 MiB used (max 0 MiB) 3.81/1.85 c (1,1) 150 bool, 1065 clause 3.81/1.85 c (1,1) Export Begin 4.02/1.96 c (1,1) Export to HOME/scop-17309-serial-file.bin 4.02/1.96 c (1,1) Export End 4.02/1.96 c (1,1) Export File Size: 0.06 MB 4.02/1.96 c (1,1) 0,0,1,1,1,1,1,STOP-AFTER(DIMACS) 4.02/1.96 c END-Prog: Sat Sep 14 07:27:25 CEST 2019 4.02/1.98 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-17309-serial-file.bin 4.74/2.45 c (0,0) Read Serial File Begin 4.74/2.45 c (0,0) HOME/scop-17309-serial-file.bin 5.00/2.69 c (0,0) Read Serial File End 5.26/2.70 5.26/2.70 Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15) 5.26/2.70 (Solving Process) 5.26/2.70 5.26/2.72 c BEGIN-Prog: Sat Sep 14 07:27:26 CEST 2019 5.26/2.72 c PID: 17332 5.26/2.72 c IP: 172.20.3.140 5.26/2.72 c HOST: node140.alineos.net 5.26/2.73 c (0,0) SatSolver.solve Begin 5.26/2.73 c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392792-1568438883.xml-scop-17312.cnf 5.26/2.76 c (0,0) c 5.26/2.76 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) 5.26/2.76 c (0,0) c 5.26/2.76 c (0,0) c WARNING: for repeatability, setting FPU to use double precision 5.26/2.76 c (0,0) c 8 solvers engines and 1 companion as a blackboard created. 5.26/2.76 c (0,0) c ========================================[ Problem Statistics ]=========================================== 5.26/2.76 c (0,0) c | | 5.26/2.76 c (0,0) c | Number of variables: 150 | 5.26/2.76 c (0,0) c | Number of clauses: 1065 | 5.26/2.76 c (0,0) c | Parse time: 0.00 s | 5.26/2.76 c (0,0) c | | 5.26/2.76 c (0,0) c | Simplification time: 0.00 s | 5.26/2.76 c (0,0) c | | 5.26/2.76 c (0,0) c | Generating clones | 5.26/2.76 c (0,0) c | all clones generated. Memory = 23.26Mb. | 5.26/2.76 c (0,0) c ========================================================================================================| 5.26/2.76 c (0,0) c 5.26/2.76 c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 5.26/2.76 c (0,0) c 5.26/2.76 c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 5.26/2.76 c (0,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 5.26/2.76 c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 5.26/2.76 c (0,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 5.26/2.76 c (0,0) c | adaptStrategeis | True | False | True | False | True | False | True | False | 5.26/2.76 c (0,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 5.26/2.76 c (0,0) c | Initial random_seed | 91648253 | 91648254 | 91648255 | 91648256 | 91648257 | 91648258 | 91648259 | 91648260 | 5.26/2.76 c (0,0) c | chanseokStrategy | False | False | False | False | False | False | False | False | 5.26/2.76 c (0,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5.26/2.76 c (0,0) c | glureduce | True | True | True | True | True | True | True | True | 5.26/2.76 c (0,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 5.26/2.76 c (0,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 5.26/2.76 c (0,0) c | luby_restart | False | False | False | False | False | False | False | False | 5.26/2.76 c (0,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 5.26/2.76 c (0,0) c | var_decay | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 5.26/2.76 c (0,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 5.26/2.76 c (0,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 5.26/2.76 c (0,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 5.26/2.76 c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 223.23/32.34 c (29,0) c 223.23/32.34 c (29,0) c |------------------------------------------------------------------------------------------------------------------------| 223.23/32.34 c (29,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 223.23/32.34 c (29,0) c |------------------------------------------------------------------------------------------------------------------------| 223.23/32.34 c (29,0) c | 0 | 1101 | 472839 | 366111 | 1050 | 60521 | 30286 | 542258 | 32977 | 594 | 20 | 0.058 | 223.23/32.34 c (29,0) c | 1 | 800 | 480644 | 382317 | 1050 | 76727 | 35061 | 547668 | 34694 | 606 | 20 | 0.058 | 223.23/32.34 c (29,0) c | 2 | 3950 | 1827780 | 1412323 | 6441 | 2330 | 168604 | 422757 | 14558 | 610 | 20 | 0.058 | 223.23/32.34 c (29,0) c | 3 | 671 | 452930 | 362503 | 1050 | 71911 | 36546 | 533906 | 30791 | 598 | 20 | 0.054 | 223.23/32.34 c (29,0) c | 4 | 788 | 465993 | 371343 | 1050 | 65751 | 31227 | 547944 | 31128 | 613 | 20 | 0.004 | 223.23/32.34 c (29,0) c | 5 | 737 | 469594 | 375079 | 1050 | 44492 | 34412 | 539530 | 34147 | 599 | 20 | 0.067 | 223.23/32.34 c (29,0) c | 6 | 3273 | 1818272 | 1426265 | 6792 | 2275 | 205936 | 383348 | 10457 | 607 | 20 | 0.004 | 223.23/32.34 c (29,0) c | 7 | 3 | 426909 | 367788 | 1048 | 62595 | 57798 | 404439 | 8246 | 610 | 20 | 0.004 | 223.23/32.34 c (29,0) c 223.23/32.34 c (29,0) c synthesis 5063731 conflicts 79819710 propagations 23292 conflicts/sec 367148 propagations/sec 223.23/32.34 c (29,0) c real: 29.586 s, cpu: 217.405 s, memory: 687.88 Mb 440.37/61.34 c (58,0) c 440.37/61.34 c (58,0) c |------------------------------------------------------------------------------------------------------------------------| 440.37/61.34 c (58,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 440.37/61.34 c (58,0) c |------------------------------------------------------------------------------------------------------------------------| 440.37/61.34 c (58,0) c | 0 | 1814 | 838155 | 652159 | 1050 | 61567 | 44660 | 899047 | 55406 | 1185 | 20 | 0.005 | 440.37/61.34 c (58,0) c | 1 | 1604 | 860281 | 677842 | 1050 | 87250 | 49826 | 900771 | 58157 | 1205 | 20 | 0.005 | 440.37/61.34 c (58,0) c | 2 | 6766 | 3357522 | 2603370 | 15044 | 3359 | 293580 | 662808 | 18436 | 1205 | 20 | 0.054 | 440.37/61.34 c (58,0) c | 3 | 1385 | 817416 | 647178 | 1050 | 77582 | 53371 | 898895 | 52184 | 1205 | 20 | 0.067 | 440.37/61.34 c (58,0) c | 4 | 1597 | 830160 | 655121 | 1050 | 64527 | 47633 | 905665 | 54122 | 1205 | 20 | 0.063 | 440.37/61.34 c (58,0) c | 5 | 1453 | 847815 | 672440 | 1050 | 102843 | 50079 | 900500 | 57624 | 1205 | 20 | 0.067 | 440.37/61.34 c (58,0) c | 6 | 7360 | 3501551 | 2712931 | 15762 | 2931 | 345280 | 610863 | 14824 | 1205 | 20 | 0.062 | 440.37/61.34 c (58,0) c | 7 | 37 | 769200 | 656465 | 1050 | 65076 | 78436 | 830768 | 26283 | 1205 | 20 | 0.062 | 440.37/61.34 c (58,0) c 440.37/61.34 c (58,0) c synthesis 9277507 conflicts 148812143 propagations 21369 conflicts/sec 342757 propagations/sec 440.37/61.34 c (58,0) c real: 58.5857 s, cpu: 434.162 s, memory: 781.51 Mb 651.88/90.34 c (87,0) c 651.88/90.34 c (87,0) c |------------------------------------------------------------------------------------------------------------------------| 651.88/90.34 c (87,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 651.88/90.34 c (87,0) c |------------------------------------------------------------------------------------------------------------------------| 651.88/90.34 c (87,0) c | 0 | 2539 | 1168500 | 908394 | 1050 | 75347 | 58516 | 1188200 | 75117 | 1764 | 20 | 5.338 | 651.88/90.34 c (87,0) c | 1 | 2242 | 1203409 | 948616 | 1050 | 115420 | 65721 | 1189806 | 79351 | 1784 | 20 | 6.671 | 651.88/90.34 c (87,0) c | 2 | 9690 | 4634893 | 3582247 | 29813 | 1968 | 398011 | 863349 | 22792 | 1784 | 20 | 7.400 | 651.88/90.34 c (87,0) c | 3 | 2058 | 1146702 | 903921 | 1050 | 96070 | 67796 | 1190432 | 72623 | 1784 | 20 | 6.720 | 651.88/90.34 c (87,0) c | 4 | 2274 | 1174836 | 924354 | 1050 | 88233 | 64021 | 1193467 | 75119 | 1784 | 20 | 6.671 | 651.88/90.34 c (87,0) c | 5 | 2134 | 1178861 | 931777 | 1050 | 122824 | 68756 | 1185458 | 78256 | 1780 | 20 | 6.076 | 651.88/90.34 c (87,0) c | 6 | 10378 | 4809655 | 3718113 | 31876 | 2030 | 452353 | 808960 | 19272 | 1784 | 20 | 6.729 | 651.88/90.34 c (87,0) c | 7 | 167 | 1085045 | 918810 | 1050 | 84592 | 93553 | 1163949 | 44925 | 1784 | 20 | 6.671 | 651.88/90.34 c (87,0) c 651.88/90.34 c (87,0) c synthesis 12836234 conflicts 207230754 propagations 19887 conflicts/sec 321057 propagations/sec 651.88/90.34 c (87,0) c real: 87.586 s, cpu: 645.463 s, memory: 736.61 Mb 672.60/93.61 c (91,0) c 672.60/93.61 c (91,0) c real time : 90.8617 s 672.60/93.61 c (91,0) c cpu time : 665.865 s 672.60/93.61 c (91,0) c 672.60/93.61 c (91,0) c 672.60/93.61 c (91,0) c 672.60/93.61 c (91,0) c |---------------------------------------- FINAL STATS --------------------------------------------------| 672.60/93.61 c (91,0) c 672.60/93.61 c (91,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 672.60/93.61 c (91,0) c | Threads | Total | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 672.60/93.61 c (91,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 672.60/93.61 c (91,0) c | Conflicts | 13175302 | 944779 | 971167 | 3672289 | 926927 | 948304 | 962443 | 3806362 | 943031 | 672.60/93.61 c (91,0) c | Decisions | 16839497 | 1215086 | 1232876 | 4752963 | 1176637 | 1205649 | 1217769 | 4924449 | 1114068 | 672.60/93.61 c (91,0) c | Propagations | 212352757 | 14766835 | 15321812 | 60631336 | 14356163 | 14703471 | 15120074 | 63109009 | 14344057 | 672.60/93.61 c (91,0) c | ReduceDBs | 3817 | 26 | 27 | 1794 | 26 | 26 | 27 | 1863 | 28 | 672.60/93.61 c (91,0) c | SimpDBs | 42 | 3 | 2 | 14 | 2 | 3 | 2 | 14 | 2 | 672.60/93.61 c (91,0) c | Restarts | 32392 | 2617 | 2317 | 9986 | 2128 | 2334 | 2177 | 10655 | 178 | 672.60/93.61 c (91,0) c | ForcedImports | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 672.60/93.61 c (91,0) c | PropBinClauses| 366370175 | 24775373 | 25557909 | 105982325 | 24266378 | 24815920 | 25286957 | 110600471 | 25084842 | 672.60/93.61 c (91,0) c | PropPreBlocker| 35753986717 | 4481154422 | 4623358167 | 3990463337 | 4501816273 | 4495300754 | 4599313259 | 4113785412 | 4948795093 | 672.60/93.61 c (91,0) c | PropNotBlocker| 7665625607 | 985069332 | 964830586 | 1001873547 | 972629926 | 971686278 | 974596795 | 988216953 | 806722190 | 672.60/93.61 c (91,0) c | LitFullScans | 88311473424 |11037876376 |11037324776 |11035339921 |11037691238 |11039007349 |11038430229 |11036449956 |11049353579 | 672.60/93.61 c (91,0) c | LitScanFracts | 30653595 | 3856472 | 3307363 | 987706 | 3673014 | 4049480 | 4416796 | 1020122 | 9342642 | 672.60/93.61 c (91,0) c | DecisionLevel0| 32455 | 2622 | 2319 | 10006 | 2134 | 2337 | 2185 | 10669 | 183 | 672.60/93.61 c (91,0) c | Periods | 14713 | 1839 | 1839 | 1839 | 1839 | 1839 | 1839 | 1839 | 1840 | 672.60/93.61 c (91,0) c | Margin | 160 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 672.60/93.61 c (91,0) c | Avg_Trail | | 118 | 117 | 121 | 117 | 117 | 117 | 121 | 114 | 672.60/93.61 c (91,0) c | Avg_DL | | 17 | 17 | 18 | 18 | 17 | 17 | 18 | 23 | 672.60/93.61 c (91,0) c | Avg_Res | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 672.60/93.61 c (91,0) c | Avg_Res_Seen | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 672.60/93.61 c (91,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 672.60/93.61 c (91,0) c | Exported | 1301526 | 60910 | 67452 | 408412 | 69734 | 66001 | 71073 | 462480 | 95464 | 672.60/93.61 c (91,0) c | Imported | 9007422 | 1226664 | 1220767 | 884590 | 1217085 | 1223160 | 1216616 | 828993 | 1189547 | 672.60/93.61 c (91,0) c | Good | 3095 | 398 | 433 | 346 | 394 | 405 | 389 | 332 | 398 | 672.60/93.61 c (91,0) c | Purge | 9004327 | 1226266 | 1220334 | 884244 | 1216691 | 1222755 | 1216227 | 828661 | 1189149 | 672.60/93.61 c (91,0) c | Promoted | 485823 | 78487 | 81690 | 24243 | 75174 | 77619 | 80791 | 20920 | 46899 | 672.60/93.61 c (91,0) c | Remove_Imp | 7791560 | 1033529 | 1062405 | 855448 | 1012478 | 999615 | 1046928 | 802572 | 978585 | 672.60/93.61 c (91,0) c | Blocked_Reuse | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 672.60/93.61 c (91,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 672.60/93.61 c (91,0) c | Unaries | | 5 | 2 | 20 | 6 | 3 | 8 | 14 | 5 | 672.60/93.61 c (91,0) c | Binaries | | 71 | 37 | 152 | 68 | 58 | 87 | 170 | 31 | 672.60/93.61 c (91,0) c | Glues | | 108 | 84 | 207 | 102 | 99 | 136 | 213 | 83 | 672.60/93.61 c (91,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 672.60/93.61 c (91,0) c | Orig_Seen | 1173 % | 1050 | 1050 | 33880 | 1050 | 1050 | 1050 | 36230 | 1050 | 672.60/93.62 c (91,0) c | Diff Orig seen| | - 32830 | - 32830 | X | - 32830 | - 32830 | - 32830 | 2350 | - 32830 | 672.60/93.62 c (91,0) c | Hamming | 21 % | 35 | 31 | X | 34 | 30 | 34 | 36 | 30 | 672.60/93.62 c (91,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 672.60/93.62 c (91,0) c | RunningTime | | 90.2 99%| 82.9 92%| 78.6 88%| 86.4 96%| 81.5 90%| 87.5 97%| 79.4 88%| 79.5 88%| 672.60/93.62 c (91,0) c | WaitingTime | | 0.0 0%| 6.6 7%| 10.7 12%| 3.1 3%| 8.0 9%| 2.1 2%| 9.8 11%| 10.0 11%| 672.60/93.62 c (91,0) c | ExchangingTime| | 0.5 1%| 0.5 1%| 0.5 1%| 0.5 1%| 0.5 1%| 0.5 1%| 0.5 1%| 0.6 1%| 672.60/93.62 c (91,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%| 672.60/93.62 c (91,0) c | SolvingTime | | 90.8 | 90.1 | 89.8 | 90.0 | 90.0 | 90.2 | 89.8 | 90.1 | 672.60/93.62 c (91,0) c | PropagationTim| | 83.9 92%| 83.1 92%| 67.1 75%| 83.0 92%| 83.3 92%| 82.9 92%| 65.7 73%| 83.0 92%| 672.60/93.62 c (91,0) c | AnalysisTime | | 4.2 5%| 4.2 5%| 14.2 16%| 4.2 5%| 4.2 5%| 4.3 5%| 14.8 16%| 4.4 5%| 672.60/93.62 c (91,0) c | ReductionTime | | 1.5 2%| 1.7 2%| 5.5 6%| 1.6 2%| 1.5 2%| 1.7 2%| 5.7 6%| 1.5 2%| 672.60/93.62 c (91,0) c | SimplifyTime | | 0.1 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 672.60/93.62 c (91,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%| 672.60/93.62 c (91,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%| 672.60/93.62 c (91,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 672.60/93.62 c (91,0) c 672.60/93.62 c (91,0) c 672.60/93.62 c (91,0) c Threads : 8 672.60/93.62 c (91,0) c Winner : 2 672.60/93.62 c (91,0) c Conflicts_0 : 944779 672.60/93.62 c (91,0) c Conflicts_1 : 971167 672.60/93.62 c (91,0) c Conflicts_2 : 3672289 672.60/93.62 c (91,0) c Conflicts_3 : 926927 672.60/93.62 c (91,0) c Conflicts_4 : 948304 672.60/93.62 c (91,0) c Conflicts_5 : 962443 672.60/93.62 c (91,0) c Conflicts_6 : 3806362 672.60/93.62 c (91,0) c Conflicts_7 : 943031 672.60/93.62 c (91,0) c Conflicts_total : 13175302 672.60/93.62 c (91,0) c Conflicts_winner : 3672289 672.60/93.62 c (91,0) c Decisions_0 : 1215086 672.60/93.62 c (91,0) c Decisions_1 : 1232876 672.60/93.62 c (91,0) c Decisions_2 : 4752963 672.60/93.62 c (91,0) c Decisions_3 : 1176637 672.60/93.62 c (91,0) c Decisions_4 : 1205649 672.60/93.62 c (91,0) c Decisions_5 : 1217769 672.60/93.62 c (91,0) c Decisions_6 : 4924449 672.60/93.62 c (91,0) c Decisions_7 : 1114068 672.60/93.62 c (91,0) c Decisions_total : 16839497 672.60/93.62 c (91,0) c Decisions_winner : 4752963 672.60/93.62 c (91,0) c Propagations_0 : 14766835 672.60/93.62 c (91,0) c Propagations_1 : 15321812 672.60/93.62 c (91,0) c Propagations_2 : 60631336 672.60/93.62 c (91,0) c Propagations_3 : 14356163 672.60/93.62 c (91,0) c Propagations_4 : 14703471 672.60/93.62 c (91,0) c Propagations_5 : 15120074 672.60/93.62 c (91,0) c Propagations_6 : 63109009 672.60/93.62 c (91,0) c Propagations_7 : 14344057 672.60/93.62 c (91,0) c Propagations_total : 212352757 672.60/93.62 c (91,0) c Propagations_winner : 60631336 672.60/93.62 c (91,0) c ReduceDBs_0 : 26 672.60/93.62 c (91,0) c ReduceDBs_1 : 27 672.60/93.62 c (91,0) c ReduceDBs_2 : 1794 672.60/93.62 c (91,0) c ReduceDBs_3 : 26 672.60/93.62 c (91,0) c ReduceDBs_4 : 26 672.60/93.62 c (91,0) c ReduceDBs_5 : 27 672.60/93.62 c (91,0) c ReduceDBs_6 : 1863 672.60/93.62 c (91,0) c ReduceDBs_7 : 28 672.60/93.62 c (91,0) c ReduceDBs_total : 3817 672.60/93.62 c (91,0) c ReduceDBs_winner : 1794 672.60/93.62 c (91,0) c SimpDBs_0 : 3 672.60/93.62 c (91,0) c SimpDBs_1 : 2 672.60/93.62 c (91,0) c SimpDBs_2 : 14 672.60/93.62 c (91,0) c SimpDBs_3 : 2 672.60/93.62 c (91,0) c SimpDBs_4 : 3 672.60/93.62 c (91,0) c SimpDBs_5 : 2 672.60/93.62 c (91,0) c SimpDBs_6 : 14 672.60/93.62 c (91,0) c SimpDBs_7 : 2 672.60/93.62 c (91,0) c SimpDBs_total : 42 672.60/93.62 c (91,0) c SimpDBs_winner : 14 672.60/93.62 c (91,0) c Restarts_0 : 2617 672.60/93.62 c (91,0) c Restarts_1 : 2317 672.60/93.62 c (91,0) c Restarts_2 : 9986 672.60/93.62 c (91,0) c Restarts_3 : 2128 672.60/93.62 c (91,0) c Restarts_4 : 2334 672.60/93.62 c (91,0) c Restarts_5 : 2177 672.60/93.62 c (91,0) c Restarts_6 : 10655 672.60/93.62 c (91,0) c Restarts_7 : 178 672.60/93.62 c (91,0) c Restarts_total : 32392 672.60/93.62 c (91,0) c Restarts_winner : 9986 672.60/93.62 c (91,0) c ForcedImports_0 : 0 672.60/93.62 c (91,0) c ForcedImports_1 : 0 672.60/93.62 c (91,0) c ForcedImports_2 : 0 672.60/93.62 c (91,0) c ForcedImports_3 : 0 672.60/93.62 c (91,0) c ForcedImports_4 : 0 672.60/93.62 c (91,0) c ForcedImports_5 : 0 672.60/93.62 c (91,0) c ForcedImports_6 : 0 672.60/93.62 c (91,0) c ForcedImports_7 : 0 672.60/93.62 c (91,0) c ForcedImports_total : 0 672.60/93.62 c (91,0) c ForcedImports_winner : 0 672.60/93.62 c (91,0) c PropsBinClauses_0 : 24775373 672.60/93.62 c (91,0) c PropsBinClauses_1 : 25557909 672.60/93.62 c (91,0) c PropsBinClauses_2 : 105982325 672.60/93.62 c (91,0) c PropsBinClauses_3 : 24266378 672.60/93.62 c (91,0) c PropsBinClauses_4 : 24815920 672.60/93.62 c (91,0) c PropsBinClauses_5 : 25286957 672.60/93.62 c (91,0) c PropsBinClauses_6 : 110600471 672.60/93.62 c (91,0) c PropsBinClauses_7 : 25084842 672.60/93.62 c (91,0) c PropsBinClauses_total : 366370175 672.60/93.62 c (91,0) c PropsBinClauses_winner : 105982325 672.60/93.62 c (91,0) c PropsPreBlocker_0 : 4481154422 672.60/93.62 c (91,0) c PropsPreBlocker_1 : 4623358167 672.60/93.62 c (91,0) c PropsPreBlocker_2 : 3990463337 672.60/93.62 c (91,0) c PropsPreBlocker_3 : 4501816273 672.60/93.62 c (91,0) c PropsPreBlocker_4 : 4495300754 672.60/93.62 c (91,0) c PropsPreBlocker_5 : 4599313259 672.60/93.62 c (91,0) c PropsPreBlocker_6 : 4113785412 672.60/93.62 c (91,0) c PropsPreBlocker_7 : 4948795093 672.60/93.62 c (91,0) c PropsPreBlocker_total : 35753986717 672.60/93.62 c (91,0) c PropsPreBlocker_winner : 3990463337 672.60/93.62 c (91,0) c PropsNotBlocker_0 : 985069332 672.60/93.62 c (91,0) c PropsNotBlocker_1 : 964830586 672.60/93.62 c (91,0) c PropsNotBlocker_2 : 1001873547 672.60/93.62 c (91,0) c PropsNotBlocker_3 : 972629926 672.60/93.62 c (91,0) c PropsNotBlocker_4 : 971686278 672.60/93.62 c (91,0) c PropsNotBlocker_5 : 974596795 672.60/93.62 c (91,0) c PropsNotBlocker_6 : 988216953 672.60/93.62 c (91,0) c PropsNotBlocker_7 : 806722190 672.60/93.62 c (91,0) c PropsNotBlocker_total : 7665625607 672.60/93.62 c (91,0) c PropsNotBlocker_winner : 1001873547 672.60/93.62 c (91,0) c PropsLitFullScans_0 : 11037876376 672.60/93.62 c (91,0) c PropsLitFullScans_1 : 11037324776 672.60/93.62 c (91,0) c PropsLitFullScans_2 : 11035339921 672.60/93.62 c (91,0) c PropsLitFullScans_3 : 11037691238 672.60/93.62 c (91,0) c PropsLitFullScans_4 : 11039007349 672.60/93.62 c (91,0) c PropsLitFullScans_5 : 11038430229 672.60/93.62 c (91,0) c PropsLitFullScans_6 : 11036449956 672.60/93.62 c (91,0) c PropsLitFullScans_7 : 11049353579 672.60/93.62 c (91,0) c PropsLitFullScans_total : 88311473424 672.60/93.62 c (91,0) c PropsLitFullScans_winner : 11035339921 672.60/93.62 c (91,0) c LitScanFractions_0 : 3856472 672.60/93.62 c (91,0) c LitScanFractions_1 : 3307363 672.60/93.62 c (91,0) c LitScanFractions_2 : 987706 672.60/93.62 c (91,0) c LitScanFractions_3 : 3673014 672.60/93.62 c (91,0) c LitScanFractions_4 : 4049480 672.60/93.62 c (91,0) c LitScanFractions_5 : 4416796 672.60/93.62 c (91,0) c LitScanFractions_6 : 1020122 672.60/93.62 c (91,0) c LitScanFractions_7 : 9342642 672.60/93.62 c (91,0) c LitScanFractions_total : 30653595 672.60/93.62 c (91,0) c LitScanFractions_winner : 987706 672.60/93.62 c (91,0) c DecisionLevel0_0 : 2622 672.60/93.62 c (91,0) c DecisionLevel0_1 : 2319 672.60/93.62 c (91,0) c DecisionLevel0_2 : 10006 672.60/93.62 c (91,0) c DecisionLevel0_3 : 2134 672.60/93.62 c (91,0) c DecisionLevel0_4 : 2337 672.60/93.62 c (91,0) c DecisionLevel0_5 : 2185 672.60/93.62 c (91,0) c DecisionLevel0_6 : 10669 672.60/93.62 c (91,0) c DecisionLevel0_7 : 183 672.60/93.62 c (91,0) c DecisionLevel0_total : 32455 672.60/93.62 c (91,0) c DecisionLevel0_winner : 10006 672.60/93.62 c (91,0) c Periods_0 : 1839 672.60/93.62 c (91,0) c Periods_1 : 1839 672.60/93.62 c (91,0) c Periods_2 : 1839 672.60/93.62 c (91,0) c Periods_3 : 1839 672.60/93.62 c (91,0) c Periods_4 : 1839 672.60/93.62 c (91,0) c Periods_5 : 1839 672.60/93.62 c (91,0) c Periods_6 : 1839 672.60/93.62 c (91,0) c Periods_7 : 1840 672.60/93.62 c (91,0) c Periods_total : 14713 672.60/93.62 c (91,0) c Periods_winner : 1839 672.60/93.62 c (91,0) c Margin_0 : 20 672.60/93.62 c (91,0) c Margin_1 : 20 672.60/93.62 c (91,0) c Margin_2 : 20 672.60/93.62 c (91,0) c Margin_3 : 20 672.60/93.62 c (91,0) c Margin_4 : 20 672.60/93.62 c (91,0) c Margin_5 : 20 672.60/93.62 c (91,0) c Margin_6 : 20 672.60/93.62 c (91,0) c Margin_7 : 20 672.60/93.62 c (91,0) c Margin_total : 160 672.60/93.62 c (91,0) c Margin_winner : 20 672.60/93.62 c (91,0) c Exported_0 : 60910 672.60/93.62 c (91,0) c Exported_1 : 67452 672.60/93.62 c (91,0) c Exported_2 : 408412 672.60/93.62 c (91,0) c Exported_3 : 69734 672.60/93.62 c (91,0) c Exported_4 : 66001 672.60/93.62 c (91,0) c Exported_5 : 71073 672.60/93.62 c (91,0) c Exported_6 : 462480 672.60/93.62 c (91,0) c Exported_7 : 95464 672.60/93.62 c (91,0) c Exported_total : 1301526 672.60/93.62 c (91,0) c Exported_winner : 408412 672.60/93.62 c (91,0) c Imported_0 : 1226664 672.60/93.62 c (91,0) c Imported_1 : 1220767 672.60/93.62 c (91,0) c Imported_2 : 884590 672.60/93.62 c (91,0) c Imported_3 : 1217085 672.60/93.62 c (91,0) c Imported_4 : 1223160 672.60/93.62 c (91,0) c Imported_5 : 1216616 672.60/93.62 c (91,0) c Imported_6 : 828993 672.60/93.62 c (91,0) c Imported_7 : 1189547 672.60/93.62 c (91,0) c Imported_total : 9007422 672.60/93.62 c (91,0) c Imported_winner : 884590 672.60/93.62 c (91,0) c Good_0 : 398 672.60/93.62 c (91,0) c Good_1 : 433 672.60/93.62 c (91,0) c Good_2 : 346 672.60/93.62 c (91,0) c Good_3 : 394 672.60/93.62 c (91,0) c Good_4 : 405 672.60/93.62 c (91,0) c Good_5 : 389 672.60/93.62 c (91,0) c Good_6 : 332 672.60/93.62 c (91,0) c Good_7 : 398 672.60/93.62 c (91,0) c Good_total : 3095 672.60/93.62 c (91,0) c Good_winner : 346 672.60/93.62 c (91,0) c Purge_0 : 1226266 672.60/93.62 c (91,0) c Purge_1 : 1220334 672.60/93.62 c (91,0) c Purge_2 : 884244 672.60/93.62 c (91,0) c Purge_3 : 1216691 672.60/93.62 c (91,0) c Purge_4 : 1222755 672.60/93.62 c (91,0) c Purge_5 : 1216227 672.60/93.62 c (91,0) c Purge_6 : 828661 672.60/93.62 c (91,0) c Purge_7 : 1189149 672.60/93.62 c (91,0) c Purge_total : 9004327 672.60/93.62 c (91,0) c Purge_winner : 884244 672.60/93.62 c (91,0) c Promoted_0 : 78487 672.60/93.62 c (91,0) c Promoted_1 : 81690 672.60/93.62 c (91,0) c Promoted_2 : 24243 672.60/93.62 c (91,0) c Promoted_3 : 75174 672.60/93.62 c (91,0) c Promoted_4 : 77619 672.60/93.62 c (91,0) c Promoted_5 : 80791 672.60/93.62 c (91,0) c Promoted_6 : 20920 672.60/93.62 c (91,0) c Promoted_7 : 46899 672.60/93.62 c (91,0) c Promoted_total : 485823 672.60/93.62 c (91,0) c Promoted_winner : 24243 672.60/93.62 c (91,0) c Remove_Imp_0 : 1033529 672.60/93.62 c (91,0) c Remove_Imp_1 : 1062405 672.60/93.62 c (91,0) c Remove_Imp_2 : 855448 672.60/93.62 c (91,0) c Remove_Imp_3 : 1012478 672.60/93.62 c (91,0) c Remove_Imp_4 : 999615 672.60/93.62 c (91,0) c Remove_Imp_5 : 1046928 672.60/93.62 c (91,0) c Remove_Imp_6 : 802572 672.60/93.62 c (91,0) c Remove_Imp_7 : 978585 672.60/93.62 c (91,0) c Remove_Imp_total : 7791560 672.60/93.62 c (91,0) c Remove_Imp_winner : 855448 672.60/93.62 c (91,0) c Blocked_Reuse_0 : 0 672.60/93.62 c (91,0) c Blocked_Reuse_1 : 0 672.60/93.62 c (91,0) c Blocked_Reuse_2 : 0 672.60/93.62 c (91,0) c Blocked_Reuse_3 : 0 672.60/93.62 c (91,0) c Blocked_Reuse_4 : 0 672.60/93.62 c (91,0) c Blocked_Reuse_5 : 0 672.60/93.62 c (91,0) c Blocked_Reuse_6 : 0 672.60/93.62 c (91,0) c Blocked_Reuse_7 : 0 672.60/93.62 c (91,0) c Blocked_Reuse_total : 0 672.60/93.62 c (91,0) c Blocked_Reuse_winner : 0 672.60/93.62 c (91,0) c Unaries_0 : 5 672.60/93.62 c (91,0) c Unaries_1 : 2 672.60/93.62 c (91,0) c Unaries_2 : 20 672.60/93.62 c (91,0) c Unaries_3 : 6 672.60/93.62 c (91,0) c Unaries_4 : 3 672.60/93.62 c (91,0) c Unaries_5 : 8 672.60/93.62 c (91,0) c Unaries_6 : 14 672.60/93.62 c (91,0) c Unaries_7 : 5 672.60/93.62 c (91,0) c Unaries_total : 63 672.60/93.62 c (91,0) c Unaries_winner : 20 672.60/93.62 c (91,0) c Binaries_0 : 71 672.60/93.62 c (91,0) c Binaries_1 : 37 672.60/93.62 c (91,0) c Binaries_2 : 152 672.60/93.62 c (91,0) c Binaries_3 : 68 672.60/93.62 c (91,0) c Binaries_4 : 58 672.60/93.62 c (91,0) c Binaries_5 : 87 672.60/93.62 c (91,0) c Binaries_6 : 170 672.60/93.62 c (91,0) c Binaries_7 : 31 672.60/93.62 c (91,0) c Binaries_total : 674 672.60/93.62 c (91,0) c Binaries_winner : 152 672.60/93.62 c (91,0) c Glues_0 : 108 672.60/93.62 c (91,0) c Glues_1 : 84 672.60/93.62 c (91,0) c Glues_2 : 207 672.60/93.62 c (91,0) c Glues_3 : 102 672.60/93.62 c (91,0) c Glues_4 : 99 672.60/93.62 c (91,0) c Glues_5 : 136 672.60/93.62 c (91,0) c Glues_6 : 213 672.60/93.62 c (91,0) c Glues_7 : 83 672.60/93.62 c (91,0) c Glues_total : 1032 672.60/93.62 c (91,0) c Glues_winner : 207 672.60/93.62 c (91,0) c RunningTime_0 : 90.195031 672.60/93.62 c (91,0) c RunningTime_1 : 82.906693 672.60/93.62 c (91,0) c RunningTime_2 : 78.569863 672.60/93.62 c (91,0) c RunningTime_3 : 86.389389 672.60/93.62 c (91,0) c RunningTime_4 : 81.474919 672.60/93.62 c (91,0) c RunningTime_5 : 87.501628 672.60/93.62 c (91,0) c RunningTime_6 : 79.410187 672.60/93.62 c (91,0) c RunningTime_7 : 79.454370 672.60/93.62 c (91,0) c RunningTime_total : 665.902080 672.60/93.62 c (91,0) c RunningTime_winner : 78.569863 672.60/93.62 c (91,0) c WaitingTime_0 : 0.002238 672.60/93.62 c (91,0) c WaitingTime_1 : 6.632943 672.60/93.62 c (91,0) c WaitingTime_2 : 10.708218 672.60/93.62 c (91,0) c WaitingTime_3 : 3.105733 672.60/93.62 c (91,0) c WaitingTime_4 : 8.029415 672.60/93.62 c (91,0) c WaitingTime_5 : 2.096059 672.60/93.62 c (91,0) c WaitingTime_6 : 9.832047 672.60/93.62 c (91,0) c WaitingTime_7 : 9.968491 672.60/93.62 c (91,0) c WaitingTime_total : 50.375144 672.60/93.62 c (91,0) c WaitingTime_winner : 10.708218 672.60/93.62 c (91,0) c ExchangingTime_0 : 0.548726 672.60/93.62 c (91,0) c ExchangingTime_1 : 0.515391 672.60/93.62 c (91,0) c ExchangingTime_2 : 0.496344 672.60/93.62 c (91,0) c ExchangingTime_3 : 0.532471 672.60/93.62 c (91,0) c ExchangingTime_4 : 0.513747 672.60/93.62 c (91,0) c ExchangingTime_5 : 0.543773 672.60/93.62 c (91,0) c ExchangingTime_6 : 0.524794 672.60/93.62 c (91,0) c ExchangingTime_7 : 0.623577 672.60/93.62 c (91,0) c ExchangingTime_total : 4.298822 672.60/93.62 c (91,0) c ExchangingTime_winner : 0.496344 672.60/93.63 c (91,0) c PeriodProcTime_0 : 0.024899 672.60/93.63 c (91,0) c PeriodProcTime_1 : 0.013870 672.60/93.63 c (91,0) c PeriodProcTime_2 : 0.013091 672.60/93.63 c (91,0) c PeriodProcTime_3 : 0.014142 672.60/93.63 c (91,0) c PeriodProcTime_4 : 0.012896 672.60/93.63 c (91,0) c PeriodProcTime_5 : 0.014136 672.60/93.63 c (91,0) c PeriodProcTime_6 : 0.012495 672.60/93.63 c (91,0) c PeriodProcTime_7 : 0.016297 672.60/93.63 c (91,0) c PeriodProcTime_total : 0.121827 672.60/93.63 c (91,0) c PeriodProcTime_winner : 0.013091 672.60/93.63 c (91,0) c SolvingTime_0 : 90.770894 672.60/93.63 c (91,0) c SolvingTime_1 : 90.068897 672.60/93.63 c (91,0) c SolvingTime_2 : 89.787516 672.60/93.63 c (91,0) c SolvingTime_3 : 90.041736 672.60/93.63 c (91,0) c SolvingTime_4 : 90.030977 672.60/93.63 c (91,0) c SolvingTime_5 : 90.155596 672.60/93.63 c (91,0) c SolvingTime_6 : 89.779523 672.60/93.63 c (91,0) c SolvingTime_7 : 90.062734 672.60/93.63 c (91,0) c SolvingTime_total : 720.697873 672.60/93.63 c (91,0) c SolvingTime_winner : 89.787516 672.60/93.63 c (91,0) c PropagationTime_0 : 83.884054 672.60/93.63 c (91,0) c PropagationTime_1 : 83.060364 672.60/93.63 c (91,0) c PropagationTime_2 : 67.079327 672.60/93.64 c (91,0) c PropagationTime_3 : 83.027441 672.60/93.64 c (91,0) c PropagationTime_4 : 83.255318 672.60/93.64 c (91,0) c PropagationTime_5 : 82.919722 672.60/93.64 c (91,0) c PropagationTime_6 : 65.708327 672.60/93.64 c (91,0) c PropagationTime_7 : 83.023948 672.60/93.64 c (91,0) c PropagationTime_total : 631.958501 672.60/93.64 c (91,0) c PropagationTime_winner : 67.079327 672.60/93.64 c (91,0) c AnalysisTime_0 : 4.155904 672.60/93.64 c (91,0) c AnalysisTime_1 : 4.239112 672.60/93.64 c (91,0) c AnalysisTime_2 : 14.225326 672.60/93.64 c (91,0) c AnalysisTime_3 : 4.170666 672.60/93.64 c (91,0) c AnalysisTime_4 : 4.170671 672.60/93.64 c (91,0) c AnalysisTime_5 : 4.269670 672.60/93.64 c (91,0) c AnalysisTime_6 : 14.801472 672.60/93.64 c (91,0) c AnalysisTime_7 : 4.381895 672.60/93.64 c (91,0) c AnalysisTime_total : 54.414715 672.60/93.64 c (91,0) c AnalysisTime_winner : 14.225326 672.60/93.64 c (91,0) c ReductionTime_0 : 1.532677 672.60/93.64 c (91,0) c ReductionTime_1 : 1.661184 672.60/93.64 c (91,0) c ReductionTime_2 : 5.544850 672.60/93.64 c (91,0) c ReductionTime_3 : 1.597633 672.60/93.64 c (91,0) c ReductionTime_4 : 1.465113 672.60/93.64 c (91,0) c ReductionTime_5 : 1.708884 672.60/93.64 c (91,0) c ReductionTime_6 : 5.735523 672.60/93.64 c (91,0) c ReductionTime_7 : 1.507598 672.60/93.64 c (91,0) c ReductionTime_total : 20.753462 672.60/93.64 c (91,0) c ReductionTime_winner : 5.544850 672.60/93.64 c (91,0) c SimplifyTime_0 : 0.050131 672.60/93.64 c (91,0) c SimplifyTime_1 : 0.026528 672.60/93.64 c (91,0) c SimplifyTime_2 : 0.048574 672.60/93.64 c (91,0) c SimplifyTime_3 : 0.024050 672.60/93.64 c (91,0) c SimplifyTime_4 : 0.034759 672.60/93.64 c (91,0) c SimplifyTime_5 : 0.021633 672.60/93.64 c (91,0) c SimplifyTime_6 : 0.044343 672.60/93.64 c (91,0) c SimplifyTime_7 : 0.022729 672.60/93.64 c (91,0) c SimplifyTime_total : 0.272747 672.60/93.64 c (91,0) c SimplifyTime_winner : 0.048574 672.60/93.64 c (91,0) c UsedRateTime_0 : 0.000000 672.60/93.64 c (91,0) c UsedRateTime_1 : 0.000000 672.60/93.64 c (91,0) c UsedRateTime_2 : 0.000000 672.60/93.64 c (91,0) c UsedRateTime_3 : 0.000000 672.60/93.64 c (91,0) c UsedRateTime_4 : 0.000000 672.60/93.64 c (91,0) c UsedRateTime_5 : 0.000000 672.60/93.64 c (91,0) c UsedRateTime_6 : 0.000000 672.60/93.64 c (91,0) c UsedRateTime_7 : 0.000000 672.60/93.64 c (91,0) c UsedRateTime_total : 0.000000 672.60/93.64 c (91,0) c UsedRateTime_winner : 0.000000 672.60/93.64 c (91,0) c OverlapRateTime_0 : 0.000000 672.60/93.64 c (91,0) c OverlapRateTime_1 : 0.000000 672.60/93.64 c (91,0) c OverlapRateTime_2 : 0.000000 672.60/93.64 c (91,0) c OverlapRateTime_3 : 0.000000 672.60/93.64 c (91,0) c OverlapRateTime_4 : 0.000000 672.60/93.64 c (91,0) c OverlapRateTime_5 : 0.000000 672.60/93.64 c (91,0) c OverlapRateTime_6 : 0.000000 672.60/93.64 c (91,0) c OverlapRateTime_7 : 0.000000 672.60/93.64 c (91,0) c OverlapRateTime_total : 0.000000 672.60/93.64 c (91,0) c OverlapRateTime_winner : 0.000000 672.60/93.64 c (91,0) c 672.60/93.64 c (91,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 672.60/93.64 c (91,0) c 672.60/93.64 c (91,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 672.60/93.64 c (91,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 672.60/93.64 c (91,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 672.60/93.64 c (91,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 672.60/93.64 c (91,0) c | adaptStrategeis | False | False | False | False | False | False | False | False | 672.60/93.64 c (91,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 672.60/93.64 c (91,0) c | Initial random_seed | 620336936 | 500755773 | 97738956 | 1437618283 | 1067819200 | 336763064 | 551276616 | 2063284037 | 672.60/93.64 c (91,0) c | chanseokStrategy | False | False | True | False | False | False | True | False | 672.60/93.64 c (91,0) c | coLBDBound | 5 | 5 | 4 | 5 | 5 | 5 | 4 | 5 | 672.60/93.64 c (91,0) c | glureduce | True | True | True | True | True | True | True | True | 672.60/93.64 c (91,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 672.60/93.64 c (91,0) c | incReduceDB | 300 | 300 | 0 | 300 | 300 | 300 | 0 | 300 | 672.60/93.64 c (91,0) c | luby_restart | False | False | False | False | False | False | False | False | 672.60/93.64 c (91,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 672.60/93.64 c (91,0) c | var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 672.60/93.64 c (91,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 672.60/93.64 c (91,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 672.60/93.64 c (91,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 672.60/93.64 c (91,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 672.60/93.64 c (91,0) 672.60/93.64 c (91,0) s UNSATISFIABLE 672.60/93.64 c (91,0) SatSolver.solve End 672.60/93.64 c (91,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB) 672.60/93.64 c (91,0) Show results Begin 672.60/93.64 s UNSATISFIABLE 672.60/93.64 c (91,0) Show results End 672.60/93.64 c (91,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB) 672.60/93.65 c (91,0) 91,91,STOP-AFTER(ALL) 672.60/93.65 c END-Prog: Sat Sep 14 07:28:57 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 (10594 MiB free) memory of node 1: 16384 MiB (13425 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392792-1568438883/watcher-4392792-1568438883 -o /tmp/evaluation-result-4392792-1568438883/solver-4392792-1568438883 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node140-1568430400-14914 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392792-1568438883.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=17309, runsolver pid=17306 Current StackSize limit: 8192 KiB [startup+0.100107 s]* /proc/loadavg: 8.14 8.15 8.21 3/211 17331 /proc/meminfo: memFree=24504308/32770624 swapFree=66999300/67108860 [pid=17309] ppid=17306 vsize=113128 memory=1392 CPUtime=0 cores=0-7 /proc/17309/stat : 17309 (scop.sh) S 17306 17309 14887 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 419826780 115843072 348 33554432000 4194304 5098028 140723433257728 140723433254984 140385595118204 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 39710720 140723433263908 140723433264236 140723433264236 140723433267149 0 /proc/17309/statm: 28282 348 296 221 0 87 0 [pid=17312] ppid=17309 vsize=27314120 memory=104236 CPUtime=0.1 cores=0-7 /proc/17312/stat : 17312 (java) S 17309 17309 14887 0 -1 1077944320 6157 0 0 0 8 2 0 0 20 0 20 0 419826781 27969658880 26059 33554432000 4194304 4196468 140721453238992 140721453221536 140658406903543 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18882560 140721453241066 140721453241494 140721453241494 140721453244367 0 /proc/17312/statm: 6828530 26059 2794 1 0 6790935 0 [pid=17312/tid=17313] ppid=17309 vsize=27314120 memory=7898076179640261528 CPUtime=0.09 cores=0-7 /proc/17312/task/17313/stat : 17313 (java) R 17309 17309 14887 0 -1 4202560 4247 0 0 0 7 2 0 0 20 0 20 0 419826781 27969658880 26059 33554432000 4194304 4196468 140721453238992 140658378717056 140658392335482 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18882560 140721453241066 140721453241494 140721453241494 140721453244367 0 [pid=17312/tid=17314] ppid=17309 vsize=27314120 memory=732370368417274853 CPUtime=0 cores=0-7 /proc/17312/task/17314/stat : 17314 (java) S 17309 17309 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419826783 27969658880 26059 33554432000 4194304 4196468 140721453238992 140658411146384 140658406913749 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18882560 140721453241066 140721453241494 140721453241494 140721453244367 0 [pid=17312/tid=17315] ppid=17309 vsize=27314120 memory=140230079821440 CPUtime=0 cores=0-7 /proc/17312/task/17315/stat : 17315 (java) S 17309 17309 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419826783 27969658880 26059 33554432000 4194304 4196468 140721453238992 140657828772880 140658406913749 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18882560 140721453241066 140721453241494 140721453241494 140721453244367 0 [pid=17312/tid=17316] ppid=17309 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/17312/task/17316/stat : 17316 (java) S 17309 17309 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419826783 27969658880 26059 33554432000 4194304 4196468 140721453238992 140657827720080 140658406913749 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18882560 140721453241066 140721453241494 140721453241494 140721453244367 0 [pid=17312/tid=17317] ppid=17309 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/17312/task/17317/stat : 17317 (java) S 17309 17309 14887 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419826783 27969658880 26059 33554432000 4194304 4196468 140721453238992 140657826667280 140658406913749 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18882560 140721453241066 140721453241494 140721453241494 140721453244367 0 [pid=17312/tid=17318] ppid=17309 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/17312/task/17318/stat : 17318 (java) S 17309 17309 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419826783 27969658880 26059 33554432000 4194304 4196468 140721453238992 140657825614480 140658406913749 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18882560 140721453241066 140721453241494 140721453241494 140721453244367 0 [pid=17312/tid=17319] ppid=17309 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/17312/task/17319/stat : 17319 (java) S 17309 17309 14887 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419826783 27969658880 26059 33554432000 4194304 4196468 140721453238992 140657824561680 140658406913749 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18882560 140721453241066 140721453241494 140721453241494 140721453244367 0 [pid=17312/tid=17320] ppid=17309 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/17312/task/17320/stat : 17320 (java) S 17309 17309 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419826783 27969658880 26059 33554432000 4194304 4196468 140721453238992 140657823508880 140658406913749 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18882560 140721453241066 140721453241494 140721453241494 140721453244367 0 [pid=17312/tid=17321] ppid=17309 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/17312/task/17321/stat : 17321 (java) S 17309 17309 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419826783 27969658880 26059 33554432000 4194304 4196468 140721453238992 140657822456080 140658406913749 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18882560 140721453241066 140721453241494 140721453241494 140721453244367 0 [pid=17312/tid=17322] ppid=17309 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/17312/task/17322/stat : 17322 (java) S 17309 17309 14887 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419826785 27969658880 26059 33554432000 4194304 4196468 140721453238992 140657666542448 140658406914690 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18882560 140721453241066 140721453241494 140721453241494 140721453244367 0 [pid=17312/tid=17323] ppid=17309 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/17312/task/17323/stat : 17323 (java) S 17309 17309 14887 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419826785 27969658880 26059 33554432000 4194304 4196468 140721453238992 140656018187808 140658406913749 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18882560 140721453241066 140721453241494 140721453241494 140721453244367 0 [pid=17312/tid=17324] ppid=17309 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/17312/task/17324/stat : 17324 (java) S 17309 17309 14887 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419826786 27969658880 26059 33554432000 4194304 4196468 140721453238992 140655883965808 140658406913749 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18882560 140721453241066 140721453241494 140721453241494 140721453244367 0 [pid=17312/tid=17325] ppid=17309 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/17312/task/17325/stat : 17325 (java) S 17309 17309 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419826788 27969658880 26059 33554432000 4194304 4196468 140721453238992 140655509461328 140658406922139 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18882560 140721453241066 140721453241494 140721453241494 140721453244367 0 [pid=17312/tid=17326] ppid=17309 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/17312/task/17326/stat : 17326 (java) S 17309 17309 14887 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 20 0 419826788 27969658880 26059 33554432000 4194304 4196468 140721453238992 140657665489264 140658406914690 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18882560 140721453241066 140721453241494 140721453241494 140721453244367 0 [pid=17312/tid=17327] ppid=17309 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/17312/task/17327/stat : 17327 (java) S 17309 17309 14887 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419826788 27969658880 26059 33554432000 4194304 4196468 140721453238992 140657664436464 140658406914690 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18882560 140721453241066 140721453241494 140721453241494 140721453244367 0 [pid=17312/tid=17328] ppid=17309 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/17312/task/17328/stat : 17328 (java) S 17309 17309 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419826788 27969658880 26059 33554432000 4194304 4196468 140721453238992 140657663383664 140658406914690 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18882560 140721453241066 140721453241494 140721453241494 140721453244367 0 [pid=17312/tid=17329] ppid=17309 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/17312/task/17329/stat : 17329 (java) S 17309 17309 14887 0 -1 1077944384 248 0 0 0 0 0 0 0 20 0 20 0 419826788 27969658880 26059 33554432000 4194304 4196468 140721453238992 140657662330864 140658406914690 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18882560 140721453241066 140721453241494 140721453241494 140721453244367 0 [pid=17312/tid=17330] ppid=17309 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/17312/task/17330/stat : 17330 (java) S 17309 17309 14887 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419826788 27969658880 26059 33554432000 4194304 4196468 140721453238992 140655011556448 140658406913749 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18882560 140721453241066 140721453241494 140721453241494 140721453244367 0 [pid=17312/tid=17331] ppid=17309 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/17312/task/17331/stat : 17331 (java) S 17309 17309 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419826789 27969658880 26059 33554432000 4194304 4196468 140721453238992 140657661279280 140658406914690 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18882560 140721453241066 140721453241494 140721453241494 140721453244367 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 105628 KiB [startup+0.210247 s]* /proc/loadavg: 8.14 8.15 8.21 2/211 17331 /proc/meminfo: memFree=24482232/32770624 swapFree=66999300/67108860 [pid=17309] ppid=17306 vsize=113128 memory=1392 CPUtime=0 cores=0-7 /proc/17309/stat : 17309 (scop.sh) S 17306 17309 14887 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 419826780 115843072 348 33554432000 4194304 5098028 140723433257728 140723433254984 140385595118204 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 39710720 140723433263908 140723433264236 140723433264236 140723433267149 0 /proc/17309/statm: 28282 348 296 221 0 87 0 [pid=17312] ppid=17309 vsize=27314120 memory=123352 CPUtime=0.24 cores=0-7 /proc/17312/stat : 17312 (java) S 17309 17309 14887 0 -1 1077944320 11654 0 0 0 20 4 0 0 20 0 20 0 419826781 27969658880 30838 33554432000 4194304 4196468 140721453238992 140721453221536 140658406903543 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18882560 140721453241066 140721453241494 140721453241494 140721453244367 0 /proc/17312/statm: 6828530 30838 2940 1 0 6790935 0 [pid=17312/tid=17313] ppid=17309 vsize=27314120 memory=0 CPUtime=0.2 cores=0-7 /proc/17312/task/17313/stat : 17313 (java) R 17309 17309 14887 0 -1 4202560 9362 0 0 0 17 3 0 0 20 0 20 0 419826781 27969658880 30838 33554432000 4194304 4196468 140721453238992 140658378711104 140658392069103 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18882560 140721453241066 140721453241494 140721453241494 140721453244367 0 [pid=17312/tid=17314] ppid=17309 vsize=27314120 memory=732370368417274853 CPUtime=0 cores=0-7 /proc/17312/task/17314/stat : 17314 (java) S 17309 17309 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419826783 27969658880 30838 33554432000 4194304 4196468 140721453238992 140658411146384 140658406913749 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18882560 140721453241066 140721453241494 140721453241494 140721453244367 0 [pid=17312/tid=17315] ppid=17309 vsize=27314120 memory=140230079821440 CPUtime=0 cores=0-7 /proc/17312/task/17315/stat : 17315 (java) S 17309 17309 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419826783 27969658880 30838 33554432000 4194304 4196468 140721453238992 140657828772880 140658406913749 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18882560 140721453241066 140721453241494 140721453241494 140721453244367 0 [pid=17312/tid=17316] ppid=17309 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/17312/task/17316/stat : 17316 (java) S 17309 17309 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419826783 27969658880 30838 33554432000 4194304 4196468 140721453238992 140657827720080 140658406913749 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18882560 140721453241066 140721453241494 140721453241494 140721453244367 0 [pid=17312/tid=17317] ppid=17309 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/17312/task/17317/stat : 17317 (java) S 17309 17309 14887 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419826783 27969658880 30838 33554432000 4194304 4196468 140721453238992 140657826667280 140658406913749 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18882560 140721453241066 140721453241494 140721453241494 140721453244367 0 [pid=17312/tid=17318] ppid=17309 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/17312/task/17318/stat : 17318 (java) S 17309 17309 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419826783 27969658880 30838 33554432000 4194304 4196468 140721453238992 140657825614480 140658406913749 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18882560 140721453241066 140721453241494 140721453241494 140721453244367 0 [pid=17312/tid=17319] ppid=17309 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/17312/task/17319/stat : 17319 (java) S 17309 17309 14887 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419826783 27969658880 30838 33554432000 4194304 4196468 140721453238992 140657824561680 140658406913749 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18882560 140721453241066 140721453241494 140721453241494 140721453244367 0 [pid=17312/tid=17320] ppid=17309 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/17312/task/17320/stat : 17320 (java) S 17309 17309 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419826783 27969658880 30838 33554432000 4194304 4196468 140721453238992 140657823508880 140658406913749 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18882560 140721453241066 140721453241494 140721453241494 140721453244367 0 [pid=17312/tid=17321] ppid=17309 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/17312/task/17321/stat : 17321 (java) S 17309 17309 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419826783 27969658880 30838 33554432000 4194304 4196468 140721453238992 140657822456080 140658406913749 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18882560 140721453241066 140721453241494 140721453241494 140721453244367 0 [pid=17312/tid=17322] ppid=17309 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/17312/task/17322/stat : 17322 (java) S 17309 17309 14887 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419826785 27969658880 30838 33554432000 4194304 4196468 140721453238992 140657666542448 140658406914690 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18882560 140721453241066 140721453241494 140721453241494 140721453244367 0 [pid=17312/tid=17323] ppid=17309 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/17312/task/17323/stat : 17323 (java) S 17309 17309 14887 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419826785 27969658880 30838 33554432000 4194304 4196468 140721453238992 140656018187808 140658406913749 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18882560 140721453241066 140721453241494 140721453241494 140721453244367 0 [pid=17312/tid=17324] ppid=17309 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/17312/task/17324/stat : 17324 (java) S 17309 17309 14887 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419826786 27969658880 30838 33554432000 4194304 4196468 140721453238992 140655883965808 140658406913749 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18882560 140721453241066 140721453241494 140721453241494 140721453244367 0 [pid=17312/tid=17325] ppid=17309 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/17312/task/17325/stat : 17325 (java) S 17309 17309 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419826788 27969658880 30838 33554432000 4194304 4196468 140721453238992 140655509461328 140658406922139 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18882560 140721453241066 140721453241494 140721453241494 140721453244367 0 [pid=17312/tid=17326] ppid=17309 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/17312/task/17326/stat : 17326 (java) S 17309 17309 14887 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 20 0 419826788 27969658880 30838 33554432000 4194304 4196468 140721453238992 140657665489264 140658406914690 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18882560 140721453241066 140721453241494 140721453241494 140721453244367 0 [pid=17312/tid=17327] ppid=17309 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/17312/task/17327/stat : 17327 (java) S 17309 17309 14887 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 20 0 419826788 27969658880 30838 33554432000 4194304 4196468 140721453238992 140657664436464 140658406914690 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18882560 140721453241066 140721453241494 140721453241494 140721453244367 0 [pid=17312/tid=17328] ppid=17309 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/17312/task/17328/stat : 17328 (java) S 17309 17309 14887 0 -1 1077944384 145 0 0 0 0 0 0 0 20 0 20 0 419826788 27969658880 30838 33554432000 4194304 4196468 140721453238992 140657663383664 140658406914690 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18882560 140721453241066 140721453241494 140721453241494 140721453244367 0 [pid=17312/tid=17329] ppid=17309 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7 /proc/17312/task/17329/stat : 17329 (java) S 17309 17309 14887 0 -1 1077944384 446 0 0 0 2 0 0 0 20 0 20 0 419826788 27969658880 30838 33554432000 4194304 4196468 140721453238992 140657662330864 140658406914690 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18882560 140721453241066 140721453241494 140721453241494 140721453244367 0 [pid=17312/tid=17330] ppid=17309 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/17312/task/17330/stat : 17330 (java) S 17309 17309 14887 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419826788 27969658880 30838 33554432000 4194304 4196468 140721453238992 140655011556448 140658406913749 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18882560 140721453241066 140721453241494 140721453241494 140721453244367 0 [pid=17312/tid=17331] ppid=17309 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/17312/task/17331/stat : 17331 (java) S 17309 17309 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419826789 27969658880 30838 33554432000 4194304 4196468 140721453238992 140657661279280 140658406914690 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18882560 140721453241066 140721453241494 140721453241494 140721453244367 0 Current children cumulated CPU time: 0.24 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 124744 KiB [startup+0.309569 s]* /proc/loadavg: 8.14 8.15 8.21 3/211 17331 /proc/meminfo: memFree=24479564/32770624 swapFree=66999300/67108860 [pid=17309] ppid=17306 vsize=113128 memory=1392 CPUtime=0 cores=0-7 /proc/17309/stat : 17309 (scop.sh) S 17306 17309 14887 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 419826780 115843072 348 33554432000 4194304 5098028 140723433257728 140723433254984 140385595118204 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 39710720 140723433263908 140723433264236 140723433264236 140723433267149 0 /proc/17309/statm: 28282 348 296 221 0 87 0 [pid=17312] ppid=17309 vsize=27314120 memory=127720 CPUtime=0.43 cores=0-7 /proc/17312/stat : 17312 (java) S 17309 17309 14887 0 -1 1077944320 12820 0 0 0 38 5 0 0 20 0 20 0 419826781 27969658880 31930 33554432000 4194304 4196468 140721453238992 140721453221536 140658406903543 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18882560 140721453241066 140721453241494 140721453241494 140721453244367 0 /proc/17312/statm: 6828530 31930 3014 1 0 6790935 0 [pid=17312/tid=17313] ppid=17309 vsize=27314120 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/17312/task/17313/stat : 17313 (java) R 17309 17309 14887 0 -1 4202560 10337 0 0 0 26 3 0 0 20 0 20 0 419826781 27969658880 31930 33554432000 4194304 4196468 140721453238992 140658378686560 140658392069198 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18882560 140721453241066 140721453241494 140721453241494 140721453244367 0 [pid=17312/tid=17314] ppid=17309 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/17312/task/17314/stat : 17314 (java) S 17309 17309 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419826783 27969658880 31930 33554432000 4194304 4196468 140721453238992 140658411146384 140658406913749 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18882560 140721453241066 140721453241494 140721453241494 140721453244367 0 [pid=17312/tid=17315] ppid=17309 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/17312/task/17315/stat : 17315 (java) S 17309 17309 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419826783 27969658880 31930 33554432000 4194304 4196468 140721453238992 140657828772880 140658406913749 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18882560 140721453241066 140721453241494 140721453241494 140721453244367 0 [pid=17312/tid=17316] ppid=17309 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/17312/task/17316/stat : 17316 (java) S 17309 17309 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419826783 27969658880 31930 33554432000 4194304 4196468 140721453238992 140657827720080 140658406913749 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18882560 140721453241066 140721453241494 140721453241494 140721453244367 0 [pid=17312/tid=17317] ppid=17309 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/17312/task/17317/stat : 17317 (java) S 17309 17309 14887 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419826783 27969658880 31930 33554432000 4194304 4196468 140721453238992 140657826667280 140658406913749 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18882560 140721453241066 140721453241494 140721453241494 140721453244367 0 [pid=17312/tid=17318] ppid=17309 vsize=27314120 memory=2244 CPUtime=0 cores=0-7 /proc/17312/task/17318/stat : 17318 (java) S 17309 17309 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419826783 27969658880 31930 33554432000 4194304 4196468 140721453238992 140657825614480 140658406913749 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18882560 140721453241066 140721453241494 140721453241494 140721453244367 0 [pid=17312/tid=17319] ppid=17309 vsize=27314120 memory=140229944112047 CPUtime=0 cores=0-7 /proc/17312/task/17319/stat : 17319 (java) S 17309 17309 14887 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419826783 27969658880 31930 33554432000 4194304 4196468 140721453238992 140657824561680 140658406913749 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18882560 140721453241066 140721453241494 140721453241494 140721453244367 0 [pid=17312/tid=17320] ppid=17309 vsize=27314120 memory=140229944114352 CPUtime=0 cores=0-7 /proc/17312/task/17320/stat : 17320 (java) S 17309 17309 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419826783 27969658880 31930 33554432000 4194304 4196468 140721453238992 140657823508880 140658406913749 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18882560 140721453241066 140721453241494 140721453241494 140721453244367 0 [pid=17312/tid=17321] ppid=17309 vsize=27314120 memory=140229944116656 CPUtime=0 cores=0-7 /proc/17312/task/17321/stat : 17321 (java) S 17309 17309 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419826783 27969658880 31930 33554432000 4194304 4196468 140721453238992 140657822456080 140658406913749 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18882560 140721453241066 140721453241494 140721453241494 140721453244367 0 [pid=17312/tid=17322] ppid=17309 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/17312/task/17322/stat : 17322 (java) S 17309 17309 14887 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419826785 27969658880 31930 33554432000 4194304 4196468 140721453238992 140657666542448 140658406914690 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18882560 140721453241066 140721453241494 140721453241494 140721453244367 0 [pid=17312/tid=17323] ppid=17309 vsize=27314120 memory=280459888240272 CPUtime=0 cores=0-7 /proc/17312/task/17323/stat : 17323 (java) S 17309 17309 14887 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419826785 27969658880 31930 33554432000 4194304 4196468 140721453238992 140656018187808 140658406913749 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18882560 140721453241066 140721453241494 140721453241494 140721453244367 0 [pid=17312/tid=17324] ppid=17309 vsize=27314120 memory=280459888247184 CPUtime=0 cores=0-7 /proc/17312/task/17324/stat : 17324 (java) S 17309 17309 14887 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419826786 27969658880 31930 33554432000 4194304 4196468 140721453238992 140655883965808 140658406913749 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18882560 140721453241066 140721453241494 140721453241494 140721453244367 0 [pid=17312/tid=17325] ppid=17309 vsize=27314120 memory=280459888188336 CPUtime=0 cores=0-7 /proc/17312/task/17325/stat : 17325 (java) S 17309 17309 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419826788 27969658880 31930 33554432000 4194304 4196468 140721453238992 140655509461328 140658406922139 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18882560 140721453241066 140721453241494 140721453241494 140721453244367 0 [pid=17312/tid=17326] ppid=17309 vsize=27314120 memory=280459888261008 CPUtime=0.01 cores=0-7 /proc/17312/task/17326/stat : 17326 (java) S 17309 17309 14887 0 -1 1077944384 347 0 0 0 1 0 0 0 20 0 20 0 419826788 27969658880 31930 33554432000 4194304 4196468 140721453238992 140657665489264 140658406914690 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18882560 140721453241066 140721453241494 140721453241494 140721453244367 0 [pid=17312/tid=17327] ppid=17309 vsize=27314120 memory=280459888267920 CPUtime=0.01 cores=0-7 /proc/17312/task/17327/stat : 17327 (java) S 17309 17309 14887 0 -1 1077944384 122 0 0 0 1 0 0 0 20 0 20 0 419826788 27969658880 31930 33554432000 4194304 4196468 140721453238992 140657664436464 140658406914690 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18882560 140721453241066 140721453241494 140721453241494 140721453244367 0 [pid=17312/tid=17328] ppid=17309 vsize=27314120 memory=280459888265616 CPUtime=0.01 cores=0-7 /proc/17312/task/17328/stat : 17328 (java) S 17309 17309 14887 0 -1 1077944384 166 0 0 0 1 0 0 0 20 0 20 0 419826788 27969658880 31930 33554432000 4194304 4196468 140721453238992 140657663383664 140658406914690 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18882560 140721453241066 140721453241494 140721453241494 140721453244367 0 [pid=17312/tid=17329] ppid=17309 vsize=27314120 memory=280459888281776 CPUtime=0.07 cores=0-7 /proc/17312/task/17329/stat : 17329 (java) S 17309 17309 14887 0 -1 1077944384 492 0 0 0 7 0 0 0 20 0 20 0 419826788 27969658880 31930 33554432000 4194304 4196468 140721453238992 140657662330864 140658406914690 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18882560 140721453241066 140721453241494 140721453241494 140721453244367 0 [pid=17312/tid=17330] ppid=17309 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/17312/task/17330/stat : 17330 (java) S 17309 17309 14887 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419826788 27969658880 31930 33554432000 4194304 4196468 140721453238992 140655011556448 140658406913749 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18882560 140721453241066 140721453241494 140721453241494 140721453244367 0 [pid=17312/tid=17331] ppid=17309 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/17312/task/17331/stat : 17331 (java) S 17309 17309 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419826789 27969658880 31930 33554432000 4194304 4196468 140721453238992 140657661279280 140658406914690 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18882560 140721453241066 140721453241494 140721453241494 140721453244367 0 Current children cumulated CPU time: 0.43 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 129112 KiB [startup+0.700887 s] /proc/loadavg: 8.14 8.15 8.21 2/211 17331 /proc/meminfo: memFree=24458828/32770624 swapFree=66999300/67108860 [pid=17309] ppid=17306 vsize=113128 memory=1392 CPUtime=0 cores=0-7 /proc/17309/stat : 17309 (scop.sh) S 17306 17309 14887 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 419826780 115843072 348 33554432000 4194304 5098028 140723433257728 140723433254984 140385595118204 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 39710720 140723433263908 140723433264236 140723433264236 140723433267149 0 /proc/17309/statm: 28282 348 296 221 0 87 0 [pid=17312] ppid=17309 vsize=27320392 memory=162960 CPUtime=0.99 cores=0-7 /proc/17312/stat : 17312 (java) S 17309 17309 14887 0 -1 1077944320 19872 0 0 0 91 8 0 0 20 0 20 0 419826781 27976081408 40740 33554432000 4194304 4196468 140721453238992 140721453221536 140658406903543 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18882560 140721453241066 140721453241494 140721453241494 140721453244367 0 /proc/17312/statm: 6830098 40740 3183 1 0 6791447 0 [pid=17312/tid=17313] ppid=17309 vsize=27320392 memory=280459888576704 CPUtime=0.68 cores=0-7 /proc/17312/task/17313/stat : 17313 (java) R 17309 17309 14887 0 -1 4202560 16909 0 0 0 62 6 0 0 20 0 20 0 419826781 27976081408 40740 33554432000 4194304 4196468 140721453238992 140658378739568 140658390947173 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18882560 140721453241066 140721453241494 140721453241494 140721453244367 0 [pid=17312/tid=17314] ppid=17309 vsize=27320392 memory=1540 CPUtime=0 cores=0-7 /proc/17312/task/17314/stat : 17314 (java) S 17309 17309 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419826783 27976081408 40740 33554432000 4194304 4196468 140721453238992 140658411146384 140658406913749 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18882560 140721453241066 140721453241494 140721453241494 140721453244367 0 [pid=17312/tid=17315] ppid=17309 vsize=27320392 memory=772 CPUtime=0 cores=0-7 /proc/17312/task/17315/stat : 17315 (java) S 17309 17309 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419826783 27976081408 40740 33554432000 4194304 4196468 140721453238992 140657828772880 140658406913749 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18882560 140721453241066 140721453241494 140721453241494 140721453244367 0 [pid=17312/tid=17316] ppid=17309 vsize=27320392 memory=10596 CPUtime=0 cores=0-7 /proc/17312/task/17316/stat : 17316 (java) S 17309 17309 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419826783 27976081408 40740 33554432000 4194304 4196468 140721453238992 140657827720080 140658406913749 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18882560 140721453241066 140721453241494 140721453241494 140721453244367 0 ################ # More data... # ################ [pid=17332/tid=17342] ppid=17309 vsize=8414124 memory=2828 CPUtime=0 cores=0-7 /proc/17332/task/17342/stat : 17342 (java) S 17309 17309 14887 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 419826982 8616062976 30455 33554432000 4194304 4196468 140729750293600 139980498258288 139981405395586 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29790208 140729750299639 140729750299798 140729750299798 140729750302671 0 [pid=17332/tid=17343] ppid=17309 vsize=8414124 memory=1472 CPUtime=0 cores=0-7 /proc/17332/task/17343/stat : 17343 (java) S 17309 17309 14887 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419826983 8616062976 30455 33554432000 4194304 4196468 140729750293600 139979963491360 139981405394645 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29790208 140729750299639 140729750299798 140729750299798 140729750302671 0 [pid=17332/tid=17344] ppid=17309 vsize=8414124 memory=1472 CPUtime=0 cores=0-7 /proc/17332/task/17344/stat : 17344 (java) S 17309 17309 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419826983 8616062976 30455 33554432000 4194304 4196468 140729750293600 139979695055728 139981405394645 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29790208 140729750299639 140729750299798 140729750299798 140729750302671 0 [pid=17332/tid=17345] ppid=17309 vsize=8414124 memory=121820 CPUtime=0 cores=0-7 /proc/17332/task/17345/stat : 17345 (java) S 17309 17309 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419826985 8616062976 30455 33554432000 4194304 4196468 140729750293600 139979320547152 139981405403035 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29790208 140729750299639 140729750299798 140729750299798 140729750302671 0 [pid=17332/tid=17346] ppid=17309 vsize=8414124 memory=524076 CPUtime=0.09 cores=0-7 /proc/17332/task/17346/stat : 17346 (java) S 17309 17309 14887 0 -1 1077944384 542 0 0 0 9 0 0 0 20 0 24 0 419826985 8616062976 30455 33554432000 4194304 4196468 140729750293600 139980497206128 139981405395586 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29790208 140729750299639 140729750299798 140729750299798 140729750302671 0 [pid=17332/tid=17347] ppid=17309 vsize=8414124 memory=1424 CPUtime=0.08 cores=0-7 /proc/17332/task/17347/stat : 17347 (java) S 17309 17309 14887 0 -1 1077944384 324 0 0 0 8 0 0 0 20 0 24 0 419826985 8616062976 30455 33554432000 4194304 4196468 140729750293600 139980496153328 139981405395586 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29790208 140729750299639 140729750299798 140729750299798 140729750302671 0 [pid=17332/tid=17348] ppid=17309 vsize=8414124 memory=1540 CPUtime=0.1 cores=0-7 /proc/17332/task/17348/stat : 17348 (java) S 17309 17309 14887 0 -1 1077944384 725 0 0 0 10 0 0 0 20 0 24 0 419826985 8616062976 30455 33554432000 4194304 4196468 140729750293600 139980495100528 139981405395586 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29790208 140729750299639 140729750299798 140729750299798 140729750302671 0 [pid=17332/tid=17349] ppid=17309 vsize=8414124 memory=1540 CPUtime=0.22 cores=0-7 /proc/17332/task/17349/stat : 17349 (java) S 17309 17309 14887 0 -1 1077944384 1025 0 0 0 22 0 0 0 20 0 24 0 419826985 8616062976 30455 33554432000 4194304 4196468 140729750293600 139980494047728 139981405395586 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29790208 140729750299639 140729750299798 140729750299798 140729750302671 0 [pid=17332/tid=17350] ppid=17309 vsize=8414124 memory=772 CPUtime=0 cores=0-7 /proc/17332/task/17350/stat : 17350 (java) S 17309 17309 14887 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419826986 8616062976 30455 33554432000 4194304 4196468 140729750293600 139978822642272 139981405394645 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29790208 140729750299639 140729750299798 140729750299798 140729750302671 0 [pid=17332/tid=17351] ppid=17309 vsize=8414124 memory=10596 CPUtime=0.06 cores=0-7 /proc/17332/task/17351/stat : 17351 (java) S 17309 17309 14887 0 -1 1077944384 7 0 0 0 2 4 0 0 20 0 24 0 419826986 8616062976 30455 33554432000 4194304 4196468 140729750293600 139980492995120 139981405395586 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 9 0 0 6293624 6294260 29790208 140729750299639 140729750299798 140729750299798 140729750302671 0 [pid=17332/tid=17353] ppid=17309 vsize=8414124 memory=1712 CPUtime=0 cores=0-7 /proc/17332/task/17353/stat : 17353 (java) S 17309 17309 14887 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419827056 8616062976 30455 33554432000 4194304 4196468 140729750293600 139980485518400 139981405409049 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 29790208 140729750299639 140729750299798 140729750299798 140729750302671 0 [pid=17332/tid=17355] ppid=17309 vsize=8414124 memory=988 CPUtime=0 cores=0-7 /proc/17332/task/17355/stat : 17355 (java) S 17309 17309 14887 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 24 0 419827056 8616062976 30455 33554432000 4194304 4196468 140729750293600 139978151542960 139981405406365 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 29790208 140729750299639 140729750299798 140729750299798 140729750302671 0 [pid=17332/tid=17360] ppid=17309 vsize=8414124 memory=4004 CPUtime=0 cores=0-7 /proc/17332/task/17360/stat : 17360 (java) S 17309 17309 14887 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 419827056 8616062976 30455 33554432000 4194304 4196468 140729750293600 139978419978288 139981405406365 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 29790208 140729750299639 140729750299798 140729750299798 140729750302671 0 [pid=17332/tid=17365] ppid=17309 vsize=8414124 memory=2828 CPUtime=0 cores=0-7 /proc/17332/task/17365/stat : 17365 (java) S 17309 17309 14887 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 419827062 8616062976 30455 33554432000 4194304 4196468 140729750293600 139977883115056 139981405394645 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29790208 140729750299639 140729750299798 140729750299798 140729750302671 0 Current children cumulated CPU time: 671.1 s Current children cumulated vsize: 9407772 KiB Current children cumulated memory: 709588 KiB [startup+93.2012 s] /proc/loadavg: 6.88 7.77 8.07 3/218 17372 /proc/meminfo: memFree=23900264/32770624 swapFree=66999300/67108860 [pid=17309] ppid=17306 vsize=113128 memory=1472 CPUtime=4.19 cores=0-7 /proc/17309/stat : 17309 (scop.sh) S 17306 17309 14887 0 -1 4202496 582 25397 0 0 0 0 402 17 20 0 1 0 419826780 115843072 368 33554432000 4194304 5098028 140723433257728 140723433254472 140385595118204 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39710720 140723433263908 140723433264236 140723433264236 140723433267149 0 /proc/17309/statm: 28282 368 311 221 0 87 0 [pid=17332] ppid=17309 vsize=8414124 memory=121820 CPUtime=1.39 cores=0-7 /proc/17332/stat : 17332 (java) S 17309 17309 14887 0 -1 1077944320 21895 0 0 0 131 8 0 0 20 0 24 0 419826979 8616062976 30455 33554432000 4194304 4196468 140729750293600 140729750276144 139981405384439 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29790208 140729750299639 140729750299798 140729750299798 140729750302671 0 /proc/17332/statm: 2103531 30455 3207 1 0 2064875 0 [pid=17352] ppid=17332 vsize=880520 memory=586356 CPUtime=666.62 cores=0-7 /proc/17352/stat : 17352 (manyglucose-4.1) S 17332 17309 14887 0 -1 1077944320 529026 0 0 0 66544 118 0 0 20 0 2 0 419827056 901652480 146589 33554432000 4194304 4454172 140725736237536 140725736235920 139960120852215 0 4 0 8388610 18446744073709551615 0 0 17 4 0 0 0 0 0 6552832 6554400 37101568 140725736239977 140725736240176 140725736240176 140725736243130 0 /proc/17352/statm: 220130 146589 418 64 0 215798 0 [pid=17352/tid=17356] ppid=17332 vsize=880520 memory=-9032645687971705234 CPUtime=90.4 cores=0-7 /proc/17352/task/17356/stat : 17356 (manyglucose-4.1) R 17332 17309 14887 0 -1 4202560 72069 0 0 0 9026 14 0 0 20 0 2 0 419827056 901652480 146589 33554432000 4194304 4454172 140725736237536 139960105634952 4351737 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6552832 6554400 37101568 140725736239977 140725736240176 140725736240176 140725736243130 0 [pid=17332/tid=17333] ppid=17309 vsize=8414124 memory=288230583166042425 CPUtime=0.79 cores=0-7 /proc/17332/task/17333/stat : 17333 (java) S 17309 17309 14887 0 -1 1077944384 17870 0 0 0 74 5 0 0 20 0 24 0 419826980 8616062976 30455 33554432000 4194304 4196468 140729750293600 139981377224608 139981405394645 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29790208 140729750299639 140729750299798 140729750299798 140729750302671 0 [pid=17332/tid=17334] ppid=17309 vsize=8414124 memory=14973369229511284 CPUtime=0 cores=0-7 /proc/17332/task/17334/stat : 17334 (java) S 17309 17309 14887 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419826981 8616062976 30455 33554432000 4194304 4196468 140729750293600 139981409626768 139981405394645 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29790208 140729750299639 140729750299798 140729750299798 140729750302671 0 [pid=17332/tid=17335] ppid=17309 vsize=8414124 memory=24292 CPUtime=0 cores=0-7 /proc/17332/task/17335/stat : 17335 (java) S 17309 17309 14887 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419826981 8616062976 30455 33554432000 4194304 4196468 140729750293600 139980890868240 139981405394645 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29790208 140729750299639 140729750299798 140729750299798 140729750302671 0 [pid=17332/tid=17336] ppid=17309 vsize=8414124 memory=26500 CPUtime=0 cores=0-7 /proc/17332/task/17336/stat : 17336 (java) S 17309 17309 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419826981 8616062976 30455 33554432000 4194304 4196468 140729750293600 139980889815440 139981405394645 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29790208 140729750299639 140729750299798 140729750299798 140729750302671 0 [pid=17332/tid=17337] ppid=17309 vsize=8414124 memory=28708 CPUtime=0 cores=0-7 /proc/17332/task/17337/stat : 17337 (java) S 17309 17309 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419826981 8616062976 30455 33554432000 4194304 4196468 140729750293600 139980888762640 139981405394645 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29790208 140729750299639 140729750299798 140729750299798 140729750302671 0 [pid=17332/tid=17338] ppid=17309 vsize=8414124 memory=30916 CPUtime=0 cores=0-7 /proc/17332/task/17338/stat : 17338 (java) S 17309 17309 14887 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419826981 8616062976 30455 33554432000 4194304 4196468 140729750293600 139980887710864 139981405394645 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29790208 140729750299639 140729750299798 140729750299798 140729750302671 0 [pid=17332/tid=17339] ppid=17309 vsize=8414124 memory=30948 CPUtime=0 cores=0-7 /proc/17332/task/17339/stat : 17339 (java) S 17309 17309 14887 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419826981 8616062976 30455 33554432000 4194304 4196468 140729750293600 139980886658064 139981405394645 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29790208 140729750299639 140729750299798 140729750299798 140729750302671 0 [pid=17332/tid=17340] ppid=17309 vsize=8414124 memory=6944656592455360604 CPUtime=0 cores=0-7 /proc/17332/task/17340/stat : 17340 (java) S 17309 17309 14887 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419826981 8616062976 30455 33554432000 4194304 4196468 140729750293600 139980885605264 139981405394645 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29790208 140729750299639 140729750299798 140729750299798 140729750302671 0 [pid=17332/tid=17341] ppid=17309 vsize=8414124 memory=6944656592455360604 CPUtime=0 cores=0-7 /proc/17332/task/17341/stat : 17341 (java) S 17309 17309 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419826981 8616062976 30455 33554432000 4194304 4196468 140729750293600 139980884552464 139981405394645 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29790208 140729750299639 140729750299798 140729750299798 140729750302671 0 [pid=17332/tid=17342] ppid=17309 vsize=8414124 memory=6872598998417432672 CPUtime=0 cores=0-7 /proc/17332/task/17342/stat : 17342 (java) S 17309 17309 14887 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 419826982 8616062976 30455 33554432000 4194304 4196468 140729750293600 139980498258288 139981405395586 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29790208 140729750299639 140729750299798 140729750299798 140729750302671 0 [pid=17332/tid=17343] ppid=17309 vsize=8414124 memory=-7003737579269690708 CPUtime=0 cores=0-7 /proc/17332/task/17343/stat : 17343 (java) S 17309 17309 14887 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419826983 8616062976 30455 33554432000 4194304 4196468 140729750293600 139979963491360 139981405394645 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29790208 140729750299639 140729750299798 140729750299798 140729750302671 0 [pid=17332/tid=17344] ppid=17309 vsize=8414124 memory=563284 CPUtime=0 cores=0-7 /proc/17332/task/17344/stat : 17344 (java) S 17309 17309 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419826983 8616062976 30455 33554432000 4194304 4196468 140729750293600 139979695055728 139981405394645 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29790208 140729750299639 140729750299798 140729750299798 140729750302671 0 [pid=17332/tid=17345] ppid=17309 vsize=8414124 memory=561228 CPUtime=0 cores=0-7 /proc/17332/task/17345/stat : 17345 (java) S 17309 17309 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419826985 8616062976 30455 33554432000 4194304 4196468 140729750293600 139979320547152 139981405403035 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29790208 140729750299639 140729750299798 140729750299798 140729750302671 0 [pid=17332/tid=17346] ppid=17309 vsize=8414124 memory=121820 CPUtime=0.09 cores=0-7 /proc/17332/task/17346/stat : 17346 (java) S 17309 17309 14887 0 -1 1077944384 542 0 0 0 9 0 0 0 20 0 24 0 419826985 8616062976 30455 33554432000 4194304 4196468 140729750293600 139980497206128 139981405395586 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29790208 140729750299639 140729750299798 140729750299798 140729750302671 0 [pid=17332/tid=17347] ppid=17309 vsize=8414124 memory=561228 CPUtime=0.08 cores=0-7 /proc/17332/task/17347/stat : 17347 (java) S 17309 17309 14887 0 -1 1077944384 324 0 0 0 8 0 0 0 20 0 24 0 419826985 8616062976 30455 33554432000 4194304 4196468 140729750293600 139980496153328 139981405395586 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29790208 140729750299639 140729750299798 140729750299798 140729750302671 0 [pid=17332/tid=17348] ppid=17309 vsize=8414124 memory=7686721470267234458 CPUtime=0.1 cores=0-7 /proc/17332/task/17348/stat : 17348 (java) S 17309 17309 14887 0 -1 1077944384 725 0 0 0 10 0 0 0 20 0 24 0 419826985 8616062976 30455 33554432000 4194304 4196468 140729750293600 139980495100528 139981405395586 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29790208 140729750299639 140729750299798 140729750299798 140729750302671 0 [pid=17332/tid=17349] ppid=17309 vsize=8414124 memory=-7003737579269690708 CPUtime=0.22 cores=0-7 /proc/17332/task/17349/stat : 17349 (java) S 17309 17309 14887 0 -1 1077944384 1025 0 0 0 22 0 0 0 20 0 24 0 419826985 8616062976 30455 33554432000 4194304 4196468 140729750293600 139980494047728 139981405395586 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29790208 140729750299639 140729750299798 140729750299798 140729750302671 0 [pid=17332/tid=17350] ppid=17309 vsize=8414124 memory=573520 CPUtime=0 cores=0-7 /proc/17332/task/17350/stat : 17350 (java) S 17309 17309 14887 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419826986 8616062976 30455 33554432000 4194304 4196468 140729750293600 139978822642272 139981405394645 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29790208 140729750299639 140729750299798 140729750299798 140729750302671 0 [pid=17332/tid=17351] ppid=17309 vsize=8414124 memory=7686721470267234458 CPUtime=0.06 cores=0-7 /proc/17332/task/17351/stat : 17351 (java) S 17309 17309 14887 0 -1 1077944384 7 0 0 0 2 4 0 0 20 0 24 0 419826986 8616062976 30455 33554432000 4194304 4196468 140729750293600 139980492995120 139981405395586 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 9 0 0 6293624 6294260 29790208 140729750299639 140729750299798 140729750299798 140729750302671 0 [pid=17332/tid=17353] ppid=17309 vsize=8414124 memory=-7003737579269690708 CPUtime=0 cores=0-7 /proc/17332/task/17353/stat : 17353 (java) S 17309 17309 14887 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419827056 8616062976 30455 33554432000 4194304 4196468 140729750293600 139980485518400 139981405409049 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 29790208 140729750299639 140729750299798 140729750299798 140729750302671 0 [pid=17332/tid=17355] ppid=17309 vsize=8414124 memory=522296 CPUtime=0 cores=0-7 /proc/17332/task/17355/stat : 17355 (java) S 17309 17309 14887 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 24 0 419827056 8616062976 30455 33554432000 4194304 4196468 140729750293600 139978151542960 139981405406365 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 29790208 140729750299639 140729750299798 140729750299798 140729750302671 0 [pid=17332/tid=17360] ppid=17309 vsize=8414124 memory=121820 CPUtime=0 cores=0-7 /proc/17332/task/17360/stat : 17360 (java) S 17309 17309 14887 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 419827056 8616062976 30455 33554432000 4194304 4196468 140729750293600 139978419978288 139981405406365 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 29790208 140729750299639 140729750299798 140729750299798 140729750302671 0 [pid=17332/tid=17365] ppid=17309 vsize=8414124 memory=503864 CPUtime=0 cores=0-7 /proc/17332/task/17365/stat : 17365 (java) S 17309 17309 14887 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 419827062 8616062976 30455 33554432000 4194304 4196468 140729750293600 139977883115056 139981405394645 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29790208 140729750299639 140729750299798 140729750299798 140729750302671 0 Current children cumulated CPU time: 672.2 s Current children cumulated vsize: 9407772 KiB Current children cumulated memory: 709648 KiB [startup+93.6012 s] /proc/loadavg: 6.88 7.77 8.07 3/218 17372 /proc/meminfo: memFree=23900264/32770624 swapFree=66999300/67108860 [pid=17309] ppid=17306 vsize=113128 memory=1472 CPUtime=4.19 cores=0-7 /proc/17309/stat : 17309 (scop.sh) S 17306 17309 14887 0 -1 4202496 582 25397 0 0 0 0 402 17 20 0 1 0 419826780 115843072 368 33554432000 4194304 5098028 140723433257728 140723433254472 140385595118204 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39710720 140723433263908 140723433264236 140723433264236 140723433267149 0 /proc/17309/statm: 28282 368 311 221 0 87 0 [pid=17332] ppid=17309 vsize=8414124 memory=121820 CPUtime=1.39 cores=0-7 /proc/17332/stat : 17332 (java) S 17309 17309 14887 0 -1 1077944320 21895 0 0 0 131 8 0 0 20 0 24 0 419826979 8616062976 30455 33554432000 4194304 4196468 140729750293600 140729750276144 139981405384439 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29790208 140729750299639 140729750299798 140729750299798 140729750302671 0 /proc/17332/statm: 2103531 30455 3207 1 0 2064875 0 [pid=17352] ppid=17332 vsize=880520 memory=588404 CPUtime=667.02 cores=0-7 /proc/17352/stat : 17352 (manyglucose-4.1) S 17332 17309 14887 0 -1 1077944320 529395 0 0 0 66584 118 0 0 20 0 2 0 419827056 901652480 147101 33554432000 4194304 4454172 140725736237536 140725736235920 139960120852215 0 4 0 8388610 18446744073709551615 0 0 17 4 0 0 0 0 0 6552832 6554400 37101568 140725736239977 140725736240176 140725736240176 140725736243130 0 /proc/17352/statm: 220130 147101 418 64 0 215798 0 [pid=17352/tid=17356] ppid=17332 vsize=880520 memory=584224 CPUtime=90.8 cores=0-7 /proc/17352/task/17356/stat : 17356 (manyglucose-4.1) R 17332 17309 14887 0 -1 4202560 72438 0 0 0 9066 14 0 0 20 0 2 0 419827056 901652480 147101 33554432000 4194304 4454172 140725736237536 139960105634952 4350397 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6552832 6554400 37101568 140725736239977 140725736240176 140725736240176 140725736243130 0 [pid=17332/tid=17333] ppid=17309 vsize=8414124 memory=5900 CPUtime=0.79 cores=0-7 /proc/17332/task/17333/stat : 17333 (java) S 17309 17309 14887 0 -1 1077944384 17870 0 0 0 74 5 0 0 20 0 24 0 419826980 8616062976 30455 33554432000 4194304 4196468 140729750293600 139981377224608 139981405394645 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29790208 140729750299639 140729750299798 140729750299798 140729750302671 0 [pid=17332/tid=17334] ppid=17309 vsize=8414124 memory=14004 CPUtime=0 cores=0-7 /proc/17332/task/17334/stat : 17334 (java) S 17309 17309 14887 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419826981 8616062976 30455 33554432000 4194304 4196468 140729750293600 139981409626768 139981405394645 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29790208 140729750299639 140729750299798 140729750299798 140729750302671 0 [pid=17332/tid=17335] ppid=17309 vsize=8414124 memory=14060 CPUtime=0 cores=0-7 /proc/17332/task/17335/stat : 17335 (java) S 17309 17309 14887 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419826981 8616062976 30455 33554432000 4194304 4196468 140729750293600 139980890868240 139981405394645 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29790208 140729750299639 140729750299798 140729750299798 140729750302671 0 [pid=17332/tid=17336] ppid=17309 vsize=8414124 memory=2116 CPUtime=0 cores=0-7 /proc/17332/task/17336/stat : 17336 (java) S 17309 17309 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419826981 8616062976 30455 33554432000 4194304 4196468 140729750293600 139980889815440 139981405394645 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29790208 140729750299639 140729750299798 140729750299798 140729750302671 0 [pid=17332/tid=17337] ppid=17309 vsize=8414124 memory=19584 CPUtime=0 cores=0-7 /proc/17332/task/17337/stat : 17337 (java) S 17309 17309 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419826981 8616062976 30455 33554432000 4194304 4196468 140729750293600 139980888762640 139981405394645 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29790208 140729750299639 140729750299798 140729750299798 140729750302671 0 [pid=17332/tid=17338] ppid=17309 vsize=8414124 memory=532 CPUtime=0 cores=0-7 /proc/17332/task/17338/stat : 17338 (java) S 17309 17309 14887 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419826981 8616062976 30455 33554432000 4194304 4196468 140729750293600 139980887710864 139981405394645 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29790208 140729750299639 140729750299798 140729750299798 140729750302671 0 [pid=17332/tid=17339] ppid=17309 vsize=8414124 memory=1556 CPUtime=0 cores=0-7 /proc/17332/task/17339/stat : 17339 (java) S 17309 17309 14887 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419826981 8616062976 30455 33554432000 4194304 4196468 140729750293600 139980886658064 139981405394645 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29790208 140729750299639 140729750299798 140729750299798 140729750302671 0 [pid=17332/tid=17340] ppid=17309 vsize=8414124 memory=932 CPUtime=0 cores=0-7 /proc/17332/task/17340/stat : 17340 (java) S 17309 17309 14887 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419826981 8616062976 30455 33554432000 4194304 4196468 140729750293600 139980885605264 139981405394645 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29790208 140729750299639 140729750299798 140729750299798 140729750302671 0 [pid=17332/tid=17341] ppid=17309 vsize=8414124 memory=3680 CPUtime=0 cores=0-7 /proc/17332/task/17341/stat : 17341 (java) S 17309 17309 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419826981 8616062976 30455 33554432000 4194304 4196468 140729750293600 139980884552464 139981405394645 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29790208 140729750299639 140729750299798 140729750299798 140729750302671 0 [pid=17332/tid=17342] ppid=17309 vsize=8414124 memory=1712 CPUtime=0 cores=0-7 /proc/17332/task/17342/stat : 17342 (java) S 17309 17309 14887 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 419826982 8616062976 30455 33554432000 4194304 4196468 140729750293600 139980498258288 139981405395586 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29790208 140729750299639 140729750299798 140729750299798 140729750302671 0 [pid=17332/tid=17343] ppid=17309 vsize=8414124 memory=988 CPUtime=0 cores=0-7 /proc/17332/task/17343/stat : 17343 (java) S 17309 17309 14887 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419826983 8616062976 30455 33554432000 4194304 4196468 140729750293600 139979963491360 139981405394645 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29790208 140729750299639 140729750299798 140729750299798 140729750302671 0 [pid=17332/tid=17344] ppid=17309 vsize=8414124 memory=4004 CPUtime=0 cores=0-7 /proc/17332/task/17344/stat : 17344 (java) S 17309 17309 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419826983 8616062976 30455 33554432000 4194304 4196468 140729750293600 139979695055728 139981405394645 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29790208 140729750299639 140729750299798 140729750299798 140729750302671 0 [pid=17332/tid=17345] ppid=17309 vsize=8414124 memory=2828 CPUtime=0 cores=0-7 /proc/17332/task/17345/stat : 17345 (java) S 17309 17309 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419826985 8616062976 30455 33554432000 4194304 4196468 140729750293600 139979320547152 139981405403035 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29790208 140729750299639 140729750299798 140729750299798 140729750302671 0 [pid=17332/tid=17346] ppid=17309 vsize=8414124 memory=1048 CPUtime=0.09 cores=0-7 /proc/17332/task/17346/stat : 17346 (java) S 17309 17309 14887 0 -1 1077944384 542 0 0 0 9 0 0 0 20 0 24 0 419826985 8616062976 30455 33554432000 4194304 4196468 140729750293600 139980497206128 139981405395586 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29790208 140729750299639 140729750299798 140729750299798 140729750302671 0 [pid=17332/tid=17347] ppid=17309 vsize=8414124 memory=5900 CPUtime=0.08 cores=0-7 /proc/17332/task/17347/stat : 17347 (java) S 17309 17309 14887 0 -1 1077944384 324 0 0 0 8 0 0 0 20 0 24 0 419826985 8616062976 30455 33554432000 4194304 4196468 140729750293600 139980496153328 139981405395586 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29790208 140729750299639 140729750299798 140729750299798 140729750302671 0 [pid=17332/tid=17348] ppid=17309 vsize=8414124 memory=612 CPUtime=0.1 cores=0-7 /proc/17332/task/17348/stat : 17348 (java) S 17309 17309 14887 0 -1 1077944384 725 0 0 0 10 0 0 0 20 0 24 0 419826985 8616062976 30455 33554432000 4194304 4196468 140729750293600 139980495100528 139981405395586 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29790208 140729750299639 140729750299798 140729750299798 140729750302671 0 [pid=17332/tid=17349] ppid=17309 vsize=8414124 memory=1220 CPUtime=0.22 cores=0-7 /proc/17332/task/17349/stat : 17349 (java) S 17309 17309 14887 0 -1 1077944384 1025 0 0 0 22 0 0 0 20 0 24 0 419826985 8616062976 30455 33554432000 4194304 4196468 140729750293600 139980494047728 139981405395586 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29790208 140729750299639 140729750299798 140729750299798 140729750302671 0 [pid=17332/tid=17350] ppid=17309 vsize=8414124 memory=864 CPUtime=0 cores=0-7 /proc/17332/task/17350/stat : 17350 (java) S 17309 17309 14887 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419826986 8616062976 30455 33554432000 4194304 4196468 140729750293600 139978822642272 139981405394645 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29790208 140729750299639 140729750299798 140729750299798 140729750302671 0 [pid=17332/tid=17351] ppid=17309 vsize=8414124 memory=1436 CPUtime=0.06 cores=0-7 /proc/17332/task/17351/stat : 17351 (java) S 17309 17309 14887 0 -1 1077944384 7 0 0 0 2 4 0 0 20 0 24 0 419826986 8616062976 30455 33554432000 4194304 4196468 140729750293600 139980492995120 139981405395586 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 9 0 0 6293624 6294260 29790208 140729750299639 140729750299798 140729750299798 140729750302671 0 [pid=17332/tid=17353] ppid=17309 vsize=8414124 memory=1652 CPUtime=0 cores=0-7 /proc/17332/task/17353/stat : 17353 (java) S 17309 17309 14887 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419827056 8616062976 30455 33554432000 4194304 4196468 140729750293600 139980485518400 139981405409049 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 29790208 140729750299639 140729750299798 140729750299798 140729750302671 0 [pid=17332/tid=17355] ppid=17309 vsize=8414124 memory=1980 CPUtime=0 cores=0-7 /proc/17332/task/17355/stat : 17355 (java) S 17309 17309 14887 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 24 0 419827056 8616062976 30455 33554432000 4194304 4196468 140729750293600 139978151542960 139981405406365 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 29790208 140729750299639 140729750299798 140729750299798 140729750302671 0 [pid=17332/tid=17360] ppid=17309 vsize=8414124 memory=2540 CPUtime=0 cores=0-7 /proc/17332/task/17360/stat : 17360 (java) S 17309 17309 14887 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 419827056 8616062976 30455 33554432000 4194304 4196468 140729750293600 139978419978288 139981405406365 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 29790208 140729750299639 140729750299798 140729750299798 140729750302671 0 [pid=17332/tid=17365] ppid=17309 vsize=8414124 memory=1760 CPUtime=0 cores=0-7 /proc/17332/task/17365/stat : 17365 (java) S 17309 17309 14887 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 419827062 8616062976 30455 33554432000 4194304 4196468 140729750293600 139977883115056 139981405394645 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29790208 140729750299639 140729750299798 140729750299798 140729750302671 0 Current children cumulated CPU time: 672.6 s Current children cumulated vsize: 9407772 KiB Current children cumulated memory: 711696 KiB Child status: 0 Real time (s): 93.6618 CPU time (s): 672.753 CPU user time (s): 671.265 CPU system time (s): 1.48857 CPU usage (%): 718.279 Max. virtual memory (cumulated for all children) (KiB): 27441876 Max. memory (cumulated for all children) (KiB): 711696 getrusage(RUSAGE_CHILDREN,...) data: user time used= 671.265 system time used= 1.48857 maximum resident set size= 588408 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 579083 page faults= 0 swaps= 0 block input operations= 0 block output operations= 440 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 14416 involuntary context switches= 6726 # summary of solver processes directly reported to runsolver: # pid: 17309 # total CPU time (s): 672.753 # total CPU user time (s): 671.265 # total CPU system time (s): 1.48857 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.927343 second user time and 1.30569 second system time The end
Begin job on node140 at 2019-09-14 07:27:23 IDJOB=4392792 IDBENCH=135540 IDSOLVER=2839 FILE ID=node140/4392792-1568438883 RUNJOBID= node140-1568430400-14914 PBS_JOBID= 21702310 Free space on /tmp= 58140 MiB SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-06-15) BENCH NAME= XCSP17/PseudoBoolean/PseudoBoolean-dec-pigeon/Pb-pigeon-clau-015-010.xml COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -hybrid DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4392792-1568438883/watcher-4392792-1568438883 -o /tmp/evaluation-result-4392792-1568438883/solver-4392792-1568438883 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node140-1568430400-14914 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392792-1568438883.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= b45d1707d0c27f8ab51c2199585eb6c5 RANDOM SEED=2095089078 node140.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.43 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.43 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.43 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.43 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: 24596740 kB MemAvailable: 31858100 kB Buffers: 175504 kB Cached: 7293276 kB SwapCached: 2724 kB Active: 1526088 kB Inactive: 5950692 kB Active(anon): 4108 kB Inactive(anon): 44556 kB Active(file): 1521980 kB Inactive(file): 5906136 kB Unevictable: 107736 kB Mlocked: 107736 kB SwapTotal: 67108860 kB SwapFree: 66999300 kB Dirty: 20628 kB Writeback: 0 kB AnonPages: 112220 kB Mapped: 43836 kB Shmem: 32276 kB Slab: 291020 kB SReclaimable: 261704 kB SUnreclaim: 29316 kB KernelStack: 3424 kB PageTables: 5520 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 498208 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 69632 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 105856 kB DirectMap2M: 33439744 kB Free space on /tmp at the end= 58120 MiB End job on node140 at 2019-09-14 07:28:57