Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
Fun-sCOP hybrid+ManyGlucose (2019-09-22) | UNSAT | 677.814 | 91.5145 |
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-17797-serial-file.bin HOME/instance-4405652-1569355701.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.56 c BEGIN-Prog: Tue Sep 24 22:07:36 CEST 2019 0.66/0.56 c PID: 17800 0.66/0.56 c IP: 172.20.3.136 0.66/0.56 c HOST: node136.alineos.net 0.66/0.57 c (0,0) Parsing Begin 1.92/1.16 c (0,0) Parsing End 1.92/1.16 c (0,0) CSP: 0 int (0 aux), 150 bool (0 aux), 1065 ctr, max domain size 2 1.92/1.16 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB) 1.92/1.16 c (0,0) Constraint Name Generate Begin 1.92/1.18 c (0,0) Ctr:HOME/instance-4405652-1569355701.xml,Num:Var:WeightedSum 1.92/1.18 c (0,0) Constraint Name Generate End 1.92/1.18 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB) 1.92/1.18 c (0,0) CSP to CSPinCNF Begin 2.36/1.35 c (0,0) translated 107 (10%) constraints 2.36/1.39 c (0,0) translated 213 (20%) constraints 2.62/1.42 c (0,0) translated 320 (30%) constraints 2.62/1.44 c (0,0) translated 426 (40%) constraints 2.62/1.46 c (0,0) translated 533 (50%) constraints 2.62/1.48 c (0,0) translated 639 (60%) constraints 2.62/1.49 c (0,0) translated 746 (70%) constraints 2.96/1.51 c (0,0) translated 852 (80%) constraints 2.96/1.52 c (0,0) translated 959 (90%) constraints 2.96/1.53 c (0,0) translated 1065 (100%) constraints 2.96/1.53 c (0,0) =========================================== 2.96/1.54 c (1,0) Hybrid: #OE=0, #LE=150 2.96/1.54 c (1,0) Hybrid 2.96/1.54 c (1,0) =========================================== 2.96/1.56 c (1,1) translated 107 (10%) constraints 2.96/1.57 c (1,1) translated 213 (20%) constraints 2.96/1.57 c (1,1) translated 320 (30%) constraints 2.96/1.58 c (1,1) translated 426 (40%) constraints 2.96/1.59 c (1,1) translated 533 (50%) constraints 2.96/1.59 c (1,1) translated 639 (60%) constraints 3.26/1.60 c (1,1) translated 746 (70%) constraints 3.26/1.60 c (1,1) translated 852 (80%) constraints 3.26/1.61 c (1,1) translated 959 (90%) constraints 3.26/1.61 c (1,1) translated 1065 (100%) constraints 3.26/1.62 c (1,1) CSP to CSPinCNF End 3.26/1.62 c (1,1) CSP: 0 int (0 aux), 150 bool (0 aux), 1065 ctr, max domain size 2 3.26/1.62 c (1,1) Heap : 225 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB) 3.26/1.62 c (1,1) CSPinCNF Propagation Begin 3.26/1.65 c (1,1) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed 3.26/1.65 c (1,1) CSPinCNF Propagation End 3.26/1.65 c (1,1) CSP: 0 int (0 aux), 150 bool (0 aux), 1065 ctr, max domain size 2 3.26/1.65 c (1,1) Heap : 225 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB) 3.26/1.66 c (1,1) Hybrid: #OE=0, #LE=150 3.26/1.66 c (1,1) Simplify CSPinCNF Begin 3.26/1.67 c (1,1) Simplify CSPinCNF End 3.26/1.67 c (1,1) CSP: 0 int (0 aux), 150 bool (0 aux), 1065 ctr, max domain size 2 3.26/1.67 c (1,1) Heap : 225 MiB used (max 21589 MiB), NonHeap : 25 MiB used (max 0 MiB) 3.26/1.67 c (1,1) Calculate Precise Domain Begin 3.26/1.67 c (1,1) 0 values are removed by re-calculation 3.26/1.67 c (1,1) Calculate Precise Domain End 3.26/1.67 c (1,1) CSP: 0 int (0 aux), 150 bool (0 aux), 1065 ctr, max domain size 2 3.26/1.67 c (1,1) Heap : 225 MiB used (max 21589 MiB), NonHeap : 25 MiB used (max 0 MiB) 3.26/1.67 c (1,1) CSPinCNF to SatSolver Begin 3.54/1.74 c (1,1) 107 (10 %) CSP clauses are encoded (0 SAT variables, 106 SAT clauses) 3.54/1.75 c (1,1) 213 (20 %) CSP clauses are encoded (0 SAT variables, 212 SAT clauses) 3.54/1.77 c (1,1) 320 (30 %) CSP clauses are encoded (0 SAT variables, 319 SAT clauses) 3.54/1.78 c (1,1) 426 (40 %) CSP clauses are encoded (0 SAT variables, 425 SAT clauses) 3.54/1.80 c (1,1) 533 (50 %) CSP clauses are encoded (0 SAT variables, 532 SAT clauses) 3.83/1.81 c (1,1) 639 (60 %) CSP clauses are encoded (0 SAT variables, 638 SAT clauses) 3.83/1.82 c (1,1) 746 (70 %) CSP clauses are encoded (0 SAT variables, 745 SAT clauses) 3.83/1.82 c (1,1) 852 (80 %) CSP clauses are encoded (0 SAT variables, 851 SAT clauses) 3.83/1.83 c (1,1) 959 (90 %) CSP clauses are encoded (0 SAT variables, 958 SAT clauses) 3.83/1.84 c (1,1) 1065 (100 %) CSP clauses are encoded (0 SAT variables, 1064 SAT clauses) 3.83/1.84 c (1,1) CSPinCNF to SatSolver End 3.83/1.84 c (1,1) Heap : 337 MiB used (max 21589 MiB), NonHeap : 26 MiB used (max 0 MiB) 3.83/1.84 c (1,1) 150 bool, 1065 clause 3.83/1.84 c (1,1) Export Begin 4.02/1.95 c (1,1) Export to HOME/scop-17797-serial-file.bin 4.02/1.95 c (1,1) Export End 4.02/1.95 c (1,1) Export File Size: 0.06 MB 4.02/1.95 c (1,1) 0,0,1,1,1,1,1,STOP-AFTER(DIMACS) 4.02/1.95 c END-Prog: Tue Sep 24 22:07:38 CEST 2019 4.02/1.97 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-17797-serial-file.bin 4.74/2.43 c (0,0) Read Serial File Begin 4.74/2.43 c (0,0) HOME/scop-17797-serial-file.bin 5.00/2.66 c (0,0) Read Serial File End 5.00/2.68 5.00/2.68 Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15) 5.00/2.68 (Solving Process) 5.00/2.68 5.27/2.70 c BEGIN-Prog: Tue Sep 24 22:07:38 CEST 2019 5.27/2.70 c PID: 17820 5.27/2.70 c IP: 172.20.3.136 5.27/2.70 c HOST: node136.alineos.net 5.27/2.71 c (0,0) SatSolver.solve Begin 5.27/2.71 c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405652-1569355701.xml-scop-17800.cnf 5.27/2.73 c (0,0) c 5.27/2.73 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.27/2.73 c (0,0) c 5.27/2.73 c (0,0) c WARNING: for repeatability, setting FPU to use double precision 5.27/2.73 c (0,0) c 8 solvers engines and 1 companion as a blackboard created. 5.27/2.73 c (0,0) c ========================================[ Problem Statistics ]=========================================== 5.27/2.73 c (0,0) c | | 5.27/2.73 c (0,0) c | Number of variables: 150 | 5.27/2.73 c (0,0) c | Number of clauses: 1065 | 5.27/2.73 c (0,0) c | Parse time: 0.00 s | 5.27/2.73 c (0,0) c | | 5.27/2.73 c (0,0) c | Simplification time: 0.00 s | 5.27/2.73 c (0,0) c | | 5.27/2.73 c (0,0) c | Generating clones | 5.27/2.73 c (0,0) c | all clones generated. Memory = 23.27Mb. | 5.27/2.73 c (0,0) c ========================================================================================================| 5.27/2.73 c (0,0) c 5.27/2.73 c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 5.27/2.73 c (0,0) c 5.27/2.73 c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 5.27/2.73 c (0,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 5.27/2.73 c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 5.27/2.73 c (0,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 5.27/2.73 c (0,0) c | adaptStrategeis | True | False | True | False | True | False | True | False | 5.27/2.73 c (0,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 5.27/2.73 c (0,0) c | Initial random_seed | 91648253 | 91648254 | 91648255 | 91648256 | 91648257 | 91648258 | 91648259 | 91648260 | 5.27/2.73 c (0,0) c | chanseokStrategy | False | False | False | False | False | False | False | False | 5.27/2.73 c (0,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5.27/2.73 c (0,0) c | glureduce | True | True | True | True | True | True | True | True | 5.27/2.73 c (0,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 5.27/2.73 c (0,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 5.27/2.73 c (0,0) c | luby_restart | False | False | False | False | False | False | False | False | 5.27/2.73 c (0,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 5.27/2.73 c (0,0) c | var_decay | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 5.27/2.73 c (0,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 5.27/2.73 c (0,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 5.27/2.73 c (0,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 5.27/2.73 c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 227.39/32.70 c (30,0) c 227.39/32.70 c (30,0) c |------------------------------------------------------------------------------------------------------------------------| 227.39/32.70 c (30,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 227.39/32.70 c (30,0) c |------------------------------------------------------------------------------------------------------------------------| 227.39/32.70 c (30,0) c | 0 | 1106 | 476643 | 369157 | 1050 | 63567 | 30459 | 545850 | 33245 | 600 | 20 | 0.058 | 227.39/32.70 c (30,0) c | 1 | 795 | 478243 | 380437 | 1050 | 74847 | 34957 | 544192 | 34498 | 602 | 20 | 0.004 | 227.39/32.70 c (30,0) c | 2 | 3950 | 1827391 | 1412001 | 6440 | 2008 | 168543 | 422757 | 14558 | 610 | 20 | 0.058 | 227.39/32.70 c (30,0) c | 3 | 672 | 459131 | 367588 | 1050 | 76996 | 37001 | 543752 | 31192 | 610 | 20 | 0.054 | 227.39/32.70 c (30,0) c | 4 | 788 | 463513 | 369261 | 1050 | 63669 | 31137 | 547944 | 30996 | 610 | 20 | 0.004 | 227.39/32.70 c (30,0) c | 5 | 744 | 472512 | 377368 | 1050 | 46781 | 34556 | 545067 | 34272 | 603 | 20 | 0.062 | 227.39/32.70 c (30,0) c | 6 | 3260 | 1816938 | 1425627 | 6786 | 3625 | 205919 | 383348 | 10454 | 607 | 20 | 0.053 | 227.39/32.70 c (30,0) c | 7 | 3 | 431796 | 371955 | 1048 | 66762 | 58076 | 404439 | 8342 | 620 | 20 | 0.004 | 227.39/32.70 c (30,0) c 227.39/32.70 c (30,0) c synthesis 5073396 conflicts 79966500 propagations 22938 conflicts/sec 361540 propagations/sec 227.39/32.70 c (30,0) c real: 29.9673 s, cpu: 221.183 s, memory: 699.10 Mb 459.55/62.70 c (60,0) c 459.55/62.70 c (60,0) c |------------------------------------------------------------------------------------------------------------------------| 459.55/62.70 c (60,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 459.55/62.70 c (60,0) c |------------------------------------------------------------------------------------------------------------------------| 459.55/62.70 c (60,0) c | 0 | 1893 | 874983 | 680635 | 1050 | 90043 | 45868 | 926666 | 57234 | 1242 | 20 | 0.062 | 459.55/62.70 c (60,0) c | 1 | 1627 | 881352 | 694851 | 1050 | 104259 | 50806 | 921486 | 59505 | 1243 | 20 | 0.005 | 459.55/62.70 c (60,0) c | 2 | 6955 | 3459370 | 2682832 | 15760 | 2821 | 301744 | 678606 | 18637 | 1250 | 20 | 0.067 | 459.55/62.70 c (60,0) c | 3 | 1436 | 843500 | 667373 | 1050 | 97777 | 54348 | 920243 | 53769 | 1249 | 20 | 0.005 | 459.55/62.70 c (60,0) c | 4 | 1649 | 854606 | 674115 | 1050 | 83520 | 48651 | 923347 | 55273 | 1240 | 20 | 0.063 | 459.55/62.70 c (60,0) c | 5 | 1470 | 861041 | 683126 | 1050 | 57930 | 50661 | 915733 | 58447 | 1231 | 20 | 0.005 | 459.55/62.70 c (60,0) c | 6 | 7581 | 3603571 | 2792150 | 16979 | 2156 | 354155 | 626265 | 15083 | 1250 | 20 | 0.005 | 459.55/62.70 c (60,0) c | 7 | 44 | 794394 | 677760 | 1050 | 86371 | 79926 | 876162 | 27609 | 1250 | 20 | 0.005 | 459.55/62.70 c (60,0) c 459.55/62.70 c (60,0) c synthesis 9552844 conflicts 153366913 propagations 21050 conflicts/sec 337954 propagations/sec 459.55/62.70 c (60,0) c real: 59.9673 s, cpu: 453.81 s, memory: 746.98 Mb 677.63/91.48 c (89,0) c 677.63/91.48 c (89,0) c real time : 88.7496 s 677.63/91.48 c (89,0) c cpu time : 670.984 s 677.63/91.48 c (89,0) c 677.63/91.48 c (89,0) c 677.63/91.48 c (89,0) c 677.63/91.48 c (89,0) c |---------------------------------------- FINAL STATS --------------------------------------------------| 677.63/91.48 c (89,0) c 677.63/91.48 c (89,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 677.63/91.48 c (89,0) c | Threads | Total | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 677.63/91.48 c (89,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 677.63/91.48 c (89,0) c | Conflicts | 13175240 | 944779 | 971167 | 3672289 | 926927 | 948242 | 962443 | 3806362 | 943031 | 677.63/91.48 c (89,0) c | Decisions | 16839394 | 1215086 | 1232876 | 4752963 | 1176637 | 1205546 | 1217769 | 4924449 | 1114068 | 677.63/91.48 c (89,0) c | Propagations | 212351979 | 14766835 | 15321812 | 60631336 | 14356163 | 14702693 | 15120074 | 63109009 | 14344057 | 677.63/91.48 c (89,0) c | ReduceDBs | 3817 | 26 | 27 | 1794 | 26 | 26 | 27 | 1863 | 28 | 677.63/91.48 c (89,0) c | SimpDBs | 42 | 3 | 2 | 14 | 2 | 3 | 2 | 14 | 2 | 677.63/91.48 c (89,0) c | Restarts | 32391 | 2617 | 2317 | 9986 | 2128 | 2333 | 2177 | 10655 | 178 | 677.63/91.48 c (89,0) c | ForcedImports | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 677.63/91.48 c (89,0) c | PropBinClauses| 366368258 | 24775373 | 25557909 | 105982325 | 24266378 | 24814003 | 25286957 | 110600471 | 25084842 | 677.63/91.48 c (89,0) c | PropPreBlocker| 35753592050 | 4481154422 | 4623358167 | 3990463337 | 4501816273 | 4494906087 | 4599313259 | 4113785412 | 4948795093 | 677.63/91.48 c (89,0) c | PropNotBlocker| 7665546387 | 985069332 | 964830586 | 1001873547 | 972629926 | 971607058 | 974596795 | 988216953 | 806722190 | 677.63/91.48 c (89,0) c | LitFullScans | 88310529081 |11037876376 |11037324776 |11035339921 |11037691238 |11038063006 |11038430229 |11036449956 |11049353579 | 677.63/91.48 c (89,0) c | LitScanFracts | 30653595 | 3856472 | 3307363 | 987706 | 3673014 | 4049480 | 4416796 | 1020122 | 9342642 | 677.63/91.48 c (89,0) c | DecisionLevel0| 32454 | 2622 | 2319 | 10006 | 2134 | 2336 | 2185 | 10669 | 183 | 677.63/91.48 c (89,0) c | Periods | 14713 | 1839 | 1839 | 1839 | 1839 | 1839 | 1839 | 1839 | 1840 | 677.63/91.48 c (89,0) c | Margin | 160 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 677.63/91.48 c (89,0) c | Avg_Trail | | 118 | 117 | 121 | 117 | 117 | 117 | 121 | 114 | 677.63/91.48 c (89,0) c | Avg_DL | | 17 | 17 | 18 | 18 | 17 | 17 | 18 | 23 | 677.63/91.48 c (89,0) c | Avg_Res | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 677.63/91.48 c (89,0) c | Avg_Res_Seen | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 677.63/91.48 c (89,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 677.63/91.48 c (89,0) c | Exported | 1301521 | 60910 | 67452 | 408412 | 69734 | 65996 | 71073 | 462480 | 95464 | 677.63/91.48 c (89,0) c | Imported | 9005093 | 1226664 | 1220767 | 884590 | 1217085 | 1220831 | 1216616 | 828993 | 1189547 | 677.63/91.48 c (89,0) c | Good | 3080 | 398 | 433 | 346 | 394 | 390 | 389 | 332 | 398 | 677.63/91.48 c (89,0) c | Purge | 9002013 | 1226266 | 1220334 | 884244 | 1216691 | 1220441 | 1216227 | 828661 | 1189149 | 677.63/91.48 c (89,0) c | Promoted | 485816 | 78487 | 81690 | 24243 | 75174 | 77612 | 80791 | 20920 | 46899 | 677.63/91.48 c (89,0) c | Remove_Imp | 7791560 | 1033529 | 1062405 | 855448 | 1012478 | 999615 | 1046928 | 802572 | 978585 | 677.63/91.48 c (89,0) c | Blocked_Reuse | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 677.63/91.48 c (89,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 677.63/91.48 c (89,0) c | Unaries | | 5 | 2 | 20 | 6 | 3 | 8 | 14 | 5 | 677.63/91.48 c (89,0) c | Binaries | | 71 | 37 | 152 | 68 | 58 | 87 | 170 | 31 | 677.63/91.48 c (89,0) c | Glues | | 108 | 84 | 207 | 102 | 99 | 136 | 213 | 83 | 677.63/91.48 c (89,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 677.63/91.48 c (89,0) c | Orig_Seen | 1173 % | 1050 | 1050 | 33880 | 1050 | 1050 | 1050 | 36230 | 1050 | 677.63/91.48 c (89,0) c | Diff Orig seen| | - 32830 | - 32830 | X | - 32830 | - 32830 | - 32830 | 2350 | - 32830 | 677.63/91.48 c (89,0) c | Hamming | 21 % | 35 | 31 | X | 34 | 27 | 34 | 36 | 30 | 677.63/91.48 c (89,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 677.63/91.48 c (89,0) c | RunningTime | | 86.6 98%| 85.1 97%| 80.9 92%| 85.4 96%| 85.9 97%| 87.0 98%| 82.0 93%| 76.2 87%| 677.63/91.48 c (89,0) c | WaitingTime | | 0.8 1%| 2.5 3%| 6.3 7%| 2.6 3%| 1.7 2%| 1.2 1%| 5.2 6%| 11.2 13%| 677.63/91.48 c (89,0) c | ExchangingTime| | 0.6 1%| 0.5 1%| 0.5 1%| 0.5 1%| 0.5 1%| 0.5 1%| 0.5 1%| 0.6 1%| 677.63/91.48 c (89,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%| 677.63/91.48 c (89,0) c | SolvingTime | | 88.1 | 88.1 | 87.7 | 88.5 | 88.2 | 88.7 | 87.7 | 88.0 | 677.63/91.48 c (89,0) c | PropagationTim| | 81.1 92%| 81.1 92%| 64.6 74%| 81.6 92%| 81.2 92%| 81.6 92%| 63.1 72%| 81.0 92%| 677.63/91.48 c (89,0) c | AnalysisTime | | 4.2 5%| 4.2 5%| 14.6 17%| 4.1 5%| 4.2 5%| 4.2 5%| 15.1 17%| 4.4 5%| 677.63/91.48 c (89,0) c | ReductionTime | | 1.6 2%| 1.7 2%| 5.6 6%| 1.6 2%| 1.6 2%| 1.7 2%| 5.9 7%| 1.5 2%| 677.63/91.48 c (89,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%| 677.63/91.48 c (89,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%| 677.63/91.48 c (89,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%| 677.63/91.48 c (89,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 677.63/91.48 c (89,0) c 677.63/91.48 c (89,0) c 677.63/91.48 c (89,0) c Threads : 8 677.63/91.48 c (89,0) c Winner : 2 677.63/91.48 c (89,0) c Conflicts_0 : 944779 677.63/91.48 c (89,0) c Conflicts_1 : 971167 677.63/91.48 c (89,0) c Conflicts_2 : 3672289 677.63/91.48 c (89,0) c Conflicts_3 : 926927 677.63/91.48 c (89,0) c Conflicts_4 : 948242 677.63/91.48 c (89,0) c Conflicts_5 : 962443 677.63/91.48 c (89,0) c Conflicts_6 : 3806362 677.63/91.48 c (89,0) c Conflicts_7 : 943031 677.63/91.48 c (89,0) c Conflicts_total : 13175240 677.63/91.48 c (89,0) c Conflicts_winner : 3672289 677.63/91.48 c (89,0) c Decisions_0 : 1215086 677.63/91.48 c (89,0) c Decisions_1 : 1232876 677.63/91.48 c (89,0) c Decisions_2 : 4752963 677.63/91.48 c (89,0) c Decisions_3 : 1176637 677.63/91.48 c (89,0) c Decisions_4 : 1205546 677.63/91.48 c (89,0) c Decisions_5 : 1217769 677.63/91.48 c (89,0) c Decisions_6 : 4924449 677.63/91.48 c (89,0) c Decisions_7 : 1114068 677.63/91.48 c (89,0) c Decisions_total : 16839394 677.63/91.48 c (89,0) c Decisions_winner : 4752963 677.63/91.48 c (89,0) c Propagations_0 : 14766835 677.63/91.48 c (89,0) c Propagations_1 : 15321812 677.63/91.48 c (89,0) c Propagations_2 : 60631336 677.63/91.48 c (89,0) c Propagations_3 : 14356163 677.63/91.48 c (89,0) c Propagations_4 : 14702693 677.63/91.48 c (89,0) c Propagations_5 : 15120074 677.63/91.48 c (89,0) c Propagations_6 : 63109009 677.63/91.48 c (89,0) c Propagations_7 : 14344057 677.63/91.48 c (89,0) c Propagations_total : 212351979 677.63/91.48 c (89,0) c Propagations_winner : 60631336 677.63/91.48 c (89,0) c ReduceDBs_0 : 26 677.63/91.48 c (89,0) c ReduceDBs_1 : 27 677.63/91.48 c (89,0) c ReduceDBs_2 : 1794 677.63/91.48 c (89,0) c ReduceDBs_3 : 26 677.63/91.48 c (89,0) c ReduceDBs_4 : 26 677.63/91.48 c (89,0) c ReduceDBs_5 : 27 677.63/91.48 c (89,0) c ReduceDBs_6 : 1863 677.63/91.48 c (89,0) c ReduceDBs_7 : 28 677.63/91.48 c (89,0) c ReduceDBs_total : 3817 677.63/91.48 c (89,0) c ReduceDBs_winner : 1794 677.63/91.48 c (89,0) c SimpDBs_0 : 3 677.63/91.48 c (89,0) c SimpDBs_1 : 2 677.63/91.48 c (89,0) c SimpDBs_2 : 14 677.63/91.48 c (89,0) c SimpDBs_3 : 2 677.63/91.48 c (89,0) c SimpDBs_4 : 3 677.63/91.48 c (89,0) c SimpDBs_5 : 2 677.63/91.48 c (89,0) c SimpDBs_6 : 14 677.63/91.48 c (89,0) c SimpDBs_7 : 2 677.63/91.48 c (89,0) c SimpDBs_total : 42 677.63/91.48 c (89,0) c SimpDBs_winner : 14 677.63/91.48 c (89,0) c Restarts_0 : 2617 677.63/91.48 c (89,0) c Restarts_1 : 2317 677.63/91.48 c (89,0) c Restarts_2 : 9986 677.63/91.48 c (89,0) c Restarts_3 : 2128 677.63/91.48 c (89,0) c Restarts_4 : 2333 677.63/91.48 c (89,0) c Restarts_5 : 2177 677.63/91.48 c (89,0) c Restarts_6 : 10655 677.63/91.48 c (89,0) c Restarts_7 : 178 677.63/91.48 c (89,0) c Restarts_total : 32391 677.63/91.48 c (89,0) c Restarts_winner : 9986 677.63/91.48 c (89,0) c ForcedImports_0 : 0 677.63/91.48 c (89,0) c ForcedImports_1 : 0 677.63/91.48 c (89,0) c ForcedImports_2 : 0 677.63/91.48 c (89,0) c ForcedImports_3 : 0 677.63/91.48 c (89,0) c ForcedImports_4 : 0 677.63/91.48 c (89,0) c ForcedImports_5 : 0 677.63/91.48 c (89,0) c ForcedImports_6 : 0 677.63/91.48 c (89,0) c ForcedImports_7 : 0 677.63/91.48 c (89,0) c ForcedImports_total : 0 677.63/91.48 c (89,0) c ForcedImports_winner : 0 677.63/91.48 c (89,0) c PropsBinClauses_0 : 24775373 677.63/91.48 c (89,0) c PropsBinClauses_1 : 25557909 677.63/91.48 c (89,0) c PropsBinClauses_2 : 105982325 677.63/91.48 c (89,0) c PropsBinClauses_3 : 24266378 677.63/91.48 c (89,0) c PropsBinClauses_4 : 24814003 677.63/91.48 c (89,0) c PropsBinClauses_5 : 25286957 677.63/91.48 c (89,0) c PropsBinClauses_6 : 110600471 677.63/91.48 c (89,0) c PropsBinClauses_7 : 25084842 677.63/91.48 c (89,0) c PropsBinClauses_total : 366368258 677.63/91.48 c (89,0) c PropsBinClauses_winner : 105982325 677.63/91.48 c (89,0) c PropsPreBlocker_0 : 4481154422 677.63/91.48 c (89,0) c PropsPreBlocker_1 : 4623358167 677.63/91.48 c (89,0) c PropsPreBlocker_2 : 3990463337 677.63/91.48 c (89,0) c PropsPreBlocker_3 : 4501816273 677.63/91.48 c (89,0) c PropsPreBlocker_4 : 4494906087 677.63/91.48 c (89,0) c PropsPreBlocker_5 : 4599313259 677.63/91.48 c (89,0) c PropsPreBlocker_6 : 4113785412 677.63/91.48 c (89,0) c PropsPreBlocker_7 : 4948795093 677.63/91.48 c (89,0) c PropsPreBlocker_total : 35753592050 677.63/91.48 c (89,0) c PropsPreBlocker_winner : 3990463337 677.63/91.48 c (89,0) c PropsNotBlocker_0 : 985069332 677.63/91.48 c (89,0) c PropsNotBlocker_1 : 964830586 677.63/91.48 c (89,0) c PropsNotBlocker_2 : 1001873547 677.63/91.48 c (89,0) c PropsNotBlocker_3 : 972629926 677.63/91.48 c (89,0) c PropsNotBlocker_4 : 971607058 677.63/91.48 c (89,0) c PropsNotBlocker_5 : 974596795 677.63/91.48 c (89,0) c PropsNotBlocker_6 : 988216953 677.63/91.48 c (89,0) c PropsNotBlocker_7 : 806722190 677.63/91.48 c (89,0) c PropsNotBlocker_total : 7665546387 677.63/91.48 c (89,0) c PropsNotBlocker_winner : 1001873547 677.63/91.48 c (89,0) c PropsLitFullScans_0 : 11037876376 677.63/91.48 c (89,0) c PropsLitFullScans_1 : 11037324776 677.63/91.48 c (89,0) c PropsLitFullScans_2 : 11035339921 677.63/91.48 c (89,0) c PropsLitFullScans_3 : 11037691238 677.63/91.48 c (89,0) c PropsLitFullScans_4 : 11038063006 677.63/91.48 c (89,0) c PropsLitFullScans_5 : 11038430229 677.63/91.48 c (89,0) c PropsLitFullScans_6 : 11036449956 677.63/91.48 c (89,0) c PropsLitFullScans_7 : 11049353579 677.63/91.48 c (89,0) c PropsLitFullScans_total : 88310529081 677.63/91.48 c (89,0) c PropsLitFullScans_winner : 11035339921 677.63/91.48 c (89,0) c LitScanFractions_0 : 3856472 677.63/91.48 c (89,0) c LitScanFractions_1 : 3307363 677.63/91.48 c (89,0) c LitScanFractions_2 : 987706 677.63/91.49 c (89,0) c LitScanFractions_3 : 3673014 677.63/91.49 c (89,0) c LitScanFractions_4 : 4049480 677.63/91.49 c (89,0) c LitScanFractions_5 : 4416796 677.63/91.49 c (89,0) c LitScanFractions_6 : 1020122 677.63/91.49 c (89,0) c LitScanFractions_7 : 9342642 677.63/91.49 c (89,0) c LitScanFractions_total : 30653595 677.63/91.49 c (89,0) c LitScanFractions_winner : 987706 677.63/91.49 c (89,0) c DecisionLevel0_0 : 2622 677.63/91.49 c (89,0) c DecisionLevel0_1 : 2319 677.63/91.49 c (89,0) c DecisionLevel0_2 : 10006 677.63/91.49 c (89,0) c DecisionLevel0_3 : 2134 677.63/91.49 c (89,0) c DecisionLevel0_4 : 2336 677.63/91.49 c (89,0) c DecisionLevel0_5 : 2185 677.63/91.49 c (89,0) c DecisionLevel0_6 : 10669 677.63/91.49 c (89,0) c DecisionLevel0_7 : 183 677.63/91.49 c (89,0) c DecisionLevel0_total : 32454 677.63/91.49 c (89,0) c DecisionLevel0_winner : 10006 677.63/91.49 c (89,0) c Periods_0 : 1839 677.63/91.49 c (89,0) c Periods_1 : 1839 677.63/91.49 c (89,0) c Periods_2 : 1839 677.63/91.49 c (89,0) c Periods_3 : 1839 677.63/91.49 c (89,0) c Periods_4 : 1839 677.63/91.49 c (89,0) c Periods_5 : 1839 677.63/91.49 c (89,0) c Periods_6 : 1839 677.63/91.49 c (89,0) c Periods_7 : 1840 677.63/91.49 c (89,0) c Periods_total : 14713 677.63/91.49 c (89,0) c Periods_winner : 1839 677.63/91.49 c (89,0) c Margin_0 : 20 677.63/91.49 c (89,0) c Margin_1 : 20 677.63/91.49 c (89,0) c Margin_2 : 20 677.63/91.49 c (89,0) c Margin_3 : 20 677.63/91.49 c (89,0) c Margin_4 : 20 677.63/91.49 c (89,0) c Margin_5 : 20 677.63/91.49 c (89,0) c Margin_6 : 20 677.63/91.49 c (89,0) c Margin_7 : 20 677.63/91.49 c (89,0) c Margin_total : 160 677.63/91.49 c (89,0) c Margin_winner : 20 677.63/91.49 c (89,0) c Exported_0 : 60910 677.63/91.49 c (89,0) c Exported_1 : 67452 677.63/91.49 c (89,0) c Exported_2 : 408412 677.63/91.49 c (89,0) c Exported_3 : 69734 677.63/91.49 c (89,0) c Exported_4 : 65996 677.63/91.49 c (89,0) c Exported_5 : 71073 677.63/91.49 c (89,0) c Exported_6 : 462480 677.63/91.49 c (89,0) c Exported_7 : 95464 677.63/91.49 c (89,0) c Exported_total : 1301521 677.63/91.49 c (89,0) c Exported_winner : 408412 677.63/91.49 c (89,0) c Imported_0 : 1226664 677.63/91.49 c (89,0) c Imported_1 : 1220767 677.63/91.49 c (89,0) c Imported_2 : 884590 677.63/91.49 c (89,0) c Imported_3 : 1217085 677.63/91.49 c (89,0) c Imported_4 : 1220831 677.63/91.49 c (89,0) c Imported_5 : 1216616 677.63/91.49 c (89,0) c Imported_6 : 828993 677.63/91.49 c (89,0) c Imported_7 : 1189547 677.63/91.49 c (89,0) c Imported_total : 9005093 677.63/91.49 c (89,0) c Imported_winner : 884590 677.63/91.49 c (89,0) c Good_0 : 398 677.63/91.49 c (89,0) c Good_1 : 433 677.63/91.49 c (89,0) c Good_2 : 346 677.63/91.49 c (89,0) c Good_3 : 394 677.63/91.49 c (89,0) c Good_4 : 390 677.63/91.49 c (89,0) c Good_5 : 389 677.63/91.49 c (89,0) c Good_6 : 332 677.63/91.49 c (89,0) c Good_7 : 398 677.63/91.49 c (89,0) c Good_total : 3080 677.63/91.49 c (89,0) c Good_winner : 346 677.63/91.49 c (89,0) c Purge_0 : 1226266 677.63/91.49 c (89,0) c Purge_1 : 1220334 677.63/91.49 c (89,0) c Purge_2 : 884244 677.63/91.49 c (89,0) c Purge_3 : 1216691 677.63/91.49 c (89,0) c Purge_4 : 1220441 677.63/91.49 c (89,0) c Purge_5 : 1216227 677.63/91.49 c (89,0) c Purge_6 : 828661 677.63/91.49 c (89,0) c Purge_7 : 1189149 677.63/91.49 c (89,0) c Purge_total : 9002013 677.63/91.49 c (89,0) c Purge_winner : 884244 677.63/91.49 c (89,0) c Promoted_0 : 78487 677.63/91.49 c (89,0) c Promoted_1 : 81690 677.63/91.49 c (89,0) c Promoted_2 : 24243 677.63/91.49 c (89,0) c Promoted_3 : 75174 677.63/91.49 c (89,0) c Promoted_4 : 77612 677.63/91.49 c (89,0) c Promoted_5 : 80791 677.63/91.49 c (89,0) c Promoted_6 : 20920 677.63/91.49 c (89,0) c Promoted_7 : 46899 677.63/91.49 c (89,0) c Promoted_total : 485816 677.63/91.49 c (89,0) c Promoted_winner : 24243 677.63/91.49 c (89,0) c Remove_Imp_0 : 1033529 677.63/91.49 c (89,0) c Remove_Imp_1 : 1062405 677.63/91.49 c (89,0) c Remove_Imp_2 : 855448 677.63/91.49 c (89,0) c Remove_Imp_3 : 1012478 677.63/91.49 c (89,0) c Remove_Imp_4 : 999615 677.63/91.49 c (89,0) c Remove_Imp_5 : 1046928 677.63/91.49 c (89,0) c Remove_Imp_6 : 802572 677.63/91.49 c (89,0) c Remove_Imp_7 : 978585 677.63/91.49 c (89,0) c Remove_Imp_total : 7791560 677.63/91.49 c (89,0) c Remove_Imp_winner : 855448 677.63/91.49 c (89,0) c Blocked_Reuse_0 : 0 677.63/91.49 c (89,0) c Blocked_Reuse_1 : 0 677.63/91.49 c (89,0) c Blocked_Reuse_2 : 0 677.63/91.49 c (89,0) c Blocked_Reuse_3 : 0 677.63/91.49 c (89,0) c Blocked_Reuse_4 : 0 677.63/91.49 c (89,0) c Blocked_Reuse_5 : 0 677.63/91.49 c (89,0) c Blocked_Reuse_6 : 0 677.63/91.49 c (89,0) c Blocked_Reuse_7 : 0 677.63/91.49 c (89,0) c Blocked_Reuse_total : 0 677.63/91.49 c (89,0) c Blocked_Reuse_winner : 0 677.63/91.49 c (89,0) c Unaries_0 : 5 677.63/91.49 c (89,0) c Unaries_1 : 2 677.63/91.49 c (89,0) c Unaries_2 : 20 677.63/91.49 c (89,0) c Unaries_3 : 6 677.63/91.49 c (89,0) c Unaries_4 : 3 677.63/91.49 c (89,0) c Unaries_5 : 8 677.63/91.49 c (89,0) c Unaries_6 : 14 677.63/91.49 c (89,0) c Unaries_7 : 5 677.63/91.49 c (89,0) c Unaries_total : 63 677.63/91.49 c (89,0) c Unaries_winner : 20 677.63/91.49 c (89,0) c Binaries_0 : 71 677.63/91.49 c (89,0) c Binaries_1 : 37 677.63/91.49 c (89,0) c Binaries_2 : 152 677.63/91.49 c (89,0) c Binaries_3 : 68 677.63/91.49 c (89,0) c Binaries_4 : 58 677.63/91.49 c (89,0) c Binaries_5 : 87 677.63/91.49 c (89,0) c Binaries_6 : 170 677.63/91.49 c (89,0) c Binaries_7 : 31 677.63/91.49 c (89,0) c Binaries_total : 674 677.63/91.49 c (89,0) c Binaries_winner : 152 677.63/91.49 c (89,0) c Glues_0 : 108 677.63/91.49 c (89,0) c Glues_1 : 84 677.63/91.49 c (89,0) c Glues_2 : 207 677.63/91.49 c (89,0) c Glues_3 : 102 677.63/91.49 c (89,0) c Glues_4 : 99 677.63/91.49 c (89,0) c Glues_5 : 136 677.63/91.49 c (89,0) c Glues_6 : 213 677.63/91.49 c (89,0) c Glues_7 : 83 677.63/91.49 c (89,0) c Glues_total : 1032 677.63/91.49 c (89,0) c Glues_winner : 207 677.63/91.49 c (89,0) c RunningTime_0 : 86.648776 677.63/91.49 c (89,0) c RunningTime_1 : 85.129416 677.63/91.49 c (89,0) c RunningTime_2 : 80.907121 677.63/91.49 c (89,0) c RunningTime_3 : 85.394574 677.63/91.49 c (89,0) c RunningTime_4 : 85.878897 677.63/91.49 c (89,0) c RunningTime_5 : 86.959123 677.63/91.49 c (89,0) c RunningTime_6 : 82.015391 677.63/91.49 c (89,0) c RunningTime_7 : 76.196405 677.63/91.49 c (89,0) c RunningTime_total : 669.129704 677.63/91.49 c (89,0) c RunningTime_winner : 80.907121 677.63/91.49 c (89,0) c WaitingTime_0 : 0.828403 677.63/91.49 c (89,0) c WaitingTime_1 : 2.487887 677.63/91.49 c (89,0) c WaitingTime_2 : 6.320485 677.63/91.49 c (89,0) c WaitingTime_3 : 2.562672 677.63/91.49 c (89,0) c WaitingTime_4 : 1.724065 677.63/91.49 c (89,0) c WaitingTime_5 : 1.163797 677.63/91.49 c (89,0) c WaitingTime_6 : 5.154429 677.63/91.49 c (89,0) c WaitingTime_7 : 11.211490 677.63/91.49 c (89,0) c WaitingTime_total : 31.453229 677.63/91.49 c (89,0) c WaitingTime_winner : 6.320485 677.63/91.49 c (89,0) c ExchangingTime_0 : 0.582445 677.63/91.49 c (89,0) c ExchangingTime_1 : 0.506196 677.63/91.49 c (89,0) c ExchangingTime_2 : 0.499224 677.63/91.49 c (89,0) c ExchangingTime_3 : 0.527684 677.63/91.49 c (89,0) c ExchangingTime_4 : 0.536630 677.63/91.49 c (89,0) c ExchangingTime_5 : 0.519292 677.63/91.49 c (89,0) c ExchangingTime_6 : 0.534086 677.63/91.49 c (89,0) c ExchangingTime_7 : 0.594236 677.63/91.49 c (89,0) c ExchangingTime_total : 4.299793 677.63/91.49 c (89,0) c ExchangingTime_winner : 0.499224 677.63/91.49 c (89,0) c PeriodProcTime_0 : 0.017460 677.63/91.49 c (89,0) c PeriodProcTime_1 : 0.011418 677.63/91.49 c (89,0) c PeriodProcTime_2 : 0.013813 677.63/91.49 c (89,0) c PeriodProcTime_3 : 0.012038 677.63/91.49 c (89,0) c PeriodProcTime_4 : 0.011791 677.63/91.49 c (89,0) c PeriodProcTime_5 : 0.015835 677.63/91.49 c (89,0) c PeriodProcTime_6 : 0.013919 677.63/91.49 c (89,0) c PeriodProcTime_7 : 0.016222 677.63/91.49 c (89,0) c PeriodProcTime_total : 0.112496 677.63/91.49 c (89,0) c PeriodProcTime_winner : 0.013813 677.63/91.49 c (89,0) c SolvingTime_0 : 88.077085 677.63/91.49 c (89,0) c SolvingTime_1 : 88.134916 677.63/91.49 c (89,0) c SolvingTime_2 : 87.740644 677.63/91.49 c (89,0) c SolvingTime_3 : 88.496969 677.63/91.49 c (89,0) c SolvingTime_4 : 88.151384 677.63/91.49 c (89,0) c SolvingTime_5 : 88.658047 677.63/91.49 c (89,0) c SolvingTime_6 : 87.717824 677.63/91.49 c (89,0) c SolvingTime_7 : 88.018354 677.63/91.49 c (89,0) c SolvingTime_total : 704.995223 677.63/91.49 c (89,0) c SolvingTime_winner : 87.740644 677.63/91.49 c (89,0) c PropagationTime_0 : 81.071462 677.63/91.49 c (89,0) c PropagationTime_1 : 81.134021 677.63/91.49 c (89,0) c PropagationTime_2 : 64.550403 677.63/91.49 c (89,0) c PropagationTime_3 : 81.568879 677.63/91.49 c (89,0) c PropagationTime_4 : 81.154007 677.63/91.49 c (89,0) c PropagationTime_5 : 81.571544 677.63/91.49 c (89,0) c PropagationTime_6 : 63.145041 677.63/91.49 c (89,0) c PropagationTime_7 : 80.951794 677.63/91.49 c (89,0) c PropagationTime_total : 615.147150 677.63/91.49 c (89,0) c PropagationTime_winner : 64.550403 677.63/91.49 c (89,0) c AnalysisTime_0 : 4.151443 677.63/91.49 c (89,0) c AnalysisTime_1 : 4.202645 677.63/91.49 c (89,0) c AnalysisTime_2 : 14.581887 677.63/91.49 c (89,0) c AnalysisTime_3 : 4.079088 677.63/91.49 c (89,0) c AnalysisTime_4 : 4.158851 677.63/91.49 c (89,0) c AnalysisTime_5 : 4.151063 677.63/91.49 c (89,0) c AnalysisTime_6 : 15.061509 677.63/91.49 c (89,0) c AnalysisTime_7 : 4.407266 677.63/91.49 c (89,0) c AnalysisTime_total : 54.793751 677.63/91.49 c (89,0) c AnalysisTime_winner : 14.581887 677.63/91.49 c (89,0) c ReductionTime_0 : 1.619545 677.63/91.49 c (89,0) c ReductionTime_1 : 1.710856 677.63/91.49 c (89,0) c ReductionTime_2 : 5.581041 677.63/91.49 c (89,0) c ReductionTime_3 : 1.615811 677.63/91.49 c (89,0) c ReductionTime_4 : 1.606051 677.63/91.49 c (89,0) c ReductionTime_5 : 1.700279 677.63/91.49 c (89,0) c ReductionTime_6 : 5.891550 677.63/91.49 c (89,0) c ReductionTime_7 : 1.480251 677.63/91.49 c (89,0) c ReductionTime_total : 21.205383 677.63/91.49 c (89,0) c ReductionTime_winner : 5.581041 677.63/91.49 c (89,0) c SimplifyTime_0 : 0.055403 677.63/91.49 c (89,0) c SimplifyTime_1 : 0.019593 677.63/91.49 c (89,0) c SimplifyTime_2 : 0.049249 677.63/91.49 c (89,0) c SimplifyTime_3 : 0.019002 677.63/91.49 c (89,0) c SimplifyTime_4 : 0.037288 677.63/91.49 c (89,0) c SimplifyTime_5 : 0.020311 677.63/91.49 c (89,0) c SimplifyTime_6 : 0.049344 677.63/91.49 c (89,0) c SimplifyTime_7 : 0.029213 677.63/91.49 c (89,0) c SimplifyTime_total : 0.279404 677.63/91.49 c (89,0) c SimplifyTime_winner : 0.049249 677.63/91.49 c (89,0) c UsedRateTime_0 : 0.000000 677.63/91.49 c (89,0) c UsedRateTime_1 : 0.000000 677.63/91.49 c (89,0) c UsedRateTime_2 : 0.000000 677.63/91.49 c (89,0) c UsedRateTime_3 : 0.000000 677.63/91.49 c (89,0) c UsedRateTime_4 : 0.000000 677.63/91.49 c (89,0) c UsedRateTime_5 : 0.000000 677.63/91.49 c (89,0) c UsedRateTime_6 : 0.000000 677.63/91.49 c (89,0) c UsedRateTime_7 : 0.000000 677.63/91.49 c (89,0) c UsedRateTime_total : 0.000000 677.63/91.49 c (89,0) c UsedRateTime_winner : 0.000000 677.63/91.49 c (89,0) c OverlapRateTime_0 : 0.000000 677.63/91.49 c (89,0) c OverlapRateTime_1 : 0.000000 677.63/91.49 c (89,0) c OverlapRateTime_2 : 0.000000 677.63/91.49 c (89,0) c OverlapRateTime_3 : 0.000000 677.63/91.49 c (89,0) c OverlapRateTime_4 : 0.000000 677.63/91.49 c (89,0) c OverlapRateTime_5 : 0.000000 677.63/91.49 c (89,0) c OverlapRateTime_6 : 0.000000 677.63/91.49 c (89,0) c OverlapRateTime_7 : 0.000000 677.63/91.49 c (89,0) c OverlapRateTime_total : 0.000000 677.63/91.49 c (89,0) c OverlapRateTime_winner : 0.000000 677.63/91.49 c (89,0) c 677.63/91.49 c (89,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 677.63/91.49 c (89,0) c 677.63/91.49 c (89,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 677.63/91.49 c (89,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 677.63/91.49 c (89,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 677.63/91.49 c (89,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 677.63/91.49 c (89,0) c | adaptStrategeis | False | False | False | False | False | False | False | False | 677.63/91.49 c (89,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 677.63/91.49 c (89,0) c | Initial random_seed | 620336936 | 500755773 | 97738956 | 1437618283 | 1631311063 | 336763064 | 551276616 | 2063284037 | 677.63/91.49 c (89,0) c | chanseokStrategy | False | False | True | False | False | False | True | False | 677.63/91.49 c (89,0) c | coLBDBound | 5 | 5 | 4 | 5 | 5 | 5 | 4 | 5 | 677.63/91.49 c (89,0) c | glureduce | True | True | True | True | True | True | True | True | 677.63/91.49 c (89,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 677.63/91.49 c (89,0) c | incReduceDB | 300 | 300 | 0 | 300 | 300 | 300 | 0 | 300 | 677.63/91.49 c (89,0) c | luby_restart | False | False | False | False | False | False | False | False | 677.63/91.49 c (89,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 677.63/91.49 c (89,0) c | var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 677.63/91.49 c (89,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 677.63/91.49 c (89,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 677.63/91.49 c (89,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 677.63/91.49 c (89,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 677.63/91.49 c (89,0) 677.63/91.49 c (89,0) s UNSATISFIABLE 677.76/91.50 c (89,0) SatSolver.solve End 677.76/91.50 c (89,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB) 677.76/91.50 c (89,0) Show results Begin 677.76/91.50 s UNSATISFIABLE 677.76/91.50 c (89,0) Show results End 677.76/91.50 c (89,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB) 677.76/91.50 c (89,0) 89,89,STOP-AFTER(ALL) 677.76/91.50 c END-Prog: Tue Sep 24 22:09:07 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 (13353 MiB free) memory of node 1: 16384 MiB (12505 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405652-1569355701/watcher-4405652-1569355701 -o /var/tmp/evaluation-result-4405652-1569355701/solver-4405652-1569355701 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node136-1569350580-16720 --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-4405652-1569355701.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 Current StackSize limit: 8192 KiB solver pid=17797, runsolver pid=17794 [startup+0.100138 s]* /proc/loadavg: 8.51 8.35 8.28 2/211 17819 /proc/meminfo: memFree=26386716/32770624 swapFree=67002124/67108860 [pid=17797] ppid=17794 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/17797/stat : 17797 (scop.sh) S 17794 17797 16693 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 511818645 115843072 349 33554432000 4194304 5098028 140734561427984 140734561425240 140339879596668 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 15196160 140734561432316 140734561432664 140734561432664 140734561435593 0 /proc/17797/statm: 28282 349 296 221 0 87 0 [pid=17800] ppid=17797 vsize=27314120 memory=107916 CPUtime=0.1 cores=0-7 /proc/17800/stat : 17800 (java) S 17797 17797 16693 0 -1 1077944320 6494 0 0 0 8 2 0 0 20 0 20 0 511818645 27969658880 26979 33554432000 4194304 4196468 140732898063856 140732898046400 140230134570743 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29671424 140732898071238 140732898071686 140732898071686 140732898074575 0 /proc/17800/statm: 6828530 26979 2817 1 0 6790935 0 [pid=17800/tid=17801] ppid=17797 vsize=27314120 memory=4134930498285298233 CPUtime=0.09 cores=0-7 /proc/17800/task/17801/stat : 17801 (java) R 17797 17797 16693 0 -1 4202560 4593 0 0 0 7 2 0 0 20 0 20 0 511818645 27969658880 27491 33554432000 4194304 4196468 140732898063856 140230106397072 140230118651230 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29671424 140732898071238 140732898071686 140732898071686 140732898074575 0 [pid=17800/tid=17802] ppid=17797 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/17800/task/17802/stat : 17802 (java) S 17797 17797 16693 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511818648 27969658880 27491 33554432000 4194304 4196468 140732898063856 140230138813584 140230134580949 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29671424 140732898071238 140732898071686 140732898071686 140732898074575 0 [pid=17800/tid=17803] ppid=17797 vsize=27314120 memory=140032412087936 CPUtime=0 cores=0-7 /proc/17800/task/17803/stat : 17803 (java) S 17797 17797 16693 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511818648 27969658880 27491 33554432000 4194304 4196468 140732898063856 140229952969744 140230134580949 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29671424 140732898071238 140732898071686 140732898071686 140732898074575 0 [pid=17800/tid=17804] ppid=17797 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/17800/task/17804/stat : 17804 (java) S 17797 17797 16693 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511818648 27969658880 27491 33554432000 4194304 4196468 140732898063856 140229951916944 140230134580949 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29671424 140732898071238 140732898071686 140732898071686 140732898074575 0 [pid=17800/tid=17805] ppid=17797 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/17800/task/17805/stat : 17805 (java) S 17797 17797 16693 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511818648 27969658880 27491 33554432000 4194304 4196468 140732898063856 140229950864144 140230134580949 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29671424 140732898071238 140732898071686 140732898071686 140732898074575 0 [pid=17800/tid=17806] ppid=17797 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/17800/task/17806/stat : 17806 (java) S 17797 17797 16693 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511818648 27969658880 27491 33554432000 4194304 4196468 140732898063856 140229949811344 140230134580949 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29671424 140732898071238 140732898071686 140732898071686 140732898074575 0 [pid=17800/tid=17807] ppid=17797 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/17800/task/17807/stat : 17807 (java) S 17797 17797 16693 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511818648 27969658880 27491 33554432000 4194304 4196468 140732898063856 140229948758544 140230134580949 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29671424 140732898071238 140732898071686 140732898071686 140732898074575 0 [pid=17800/tid=17808] ppid=17797 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/17800/task/17808/stat : 17808 (java) S 17797 17797 16693 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511818648 27969658880 27491 33554432000 4194304 4196468 140732898063856 140229947705744 140230134580949 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29671424 140732898071238 140732898071686 140732898071686 140732898074575 0 [pid=17800/tid=17809] ppid=17797 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/17800/task/17809/stat : 17809 (java) S 17797 17797 16693 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511818648 27969658880 27491 33554432000 4194304 4196468 140732898063856 140229946652944 140230134580949 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29671424 140732898071238 140732898071686 140732898071686 140732898074575 0 [pid=17800/tid=17810] ppid=17797 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/17800/task/17810/stat : 17810 (java) S 17797 17797 16693 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511818649 27969658880 27491 33554432000 4194304 4196468 140732898063856 140228299582320 140230134581890 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29671424 140732898071238 140732898071686 140732898071686 140732898074575 0 [pid=17800/tid=17811] ppid=17797 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/17800/task/17811/stat : 17811 (java) S 17797 17797 16693 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 511818650 27969658880 27491 33554432000 4194304 4196468 140732898063856 140228064962080 140230134580949 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29671424 140732898071238 140732898071686 140732898071686 140732898074575 0 [pid=17800/tid=17812] ppid=17797 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/17800/task/17812/stat : 17812 (java) S 17797 17797 16693 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511818650 27969658880 27491 33554432000 4194304 4196468 140732898063856 140227796526448 140230134580949 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29671424 140732898071238 140732898071686 140732898071686 140732898074575 0 [pid=17800/tid=17813] ppid=17797 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/17800/task/17813/stat : 17813 (java) S 17797 17797 16693 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511818652 27969658880 27491 33554432000 4194304 4196468 140732898063856 140227422017872 140230134589339 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29671424 140732898071238 140732898071686 140732898071686 140732898074575 0 [pid=17800/tid=17814] ppid=17797 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/17800/task/17814/stat : 17814 (java) S 17797 17797 16693 0 -1 1077944384 290 0 0 0 0 0 0 0 20 0 20 0 511818652 27969658880 27491 33554432000 4194304 4196468 140732898063856 140228298529136 140230134581890 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29671424 140732898071238 140732898071686 140732898071686 140732898074575 0 [pid=17800/tid=17815] ppid=17797 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/17800/task/17815/stat : 17815 (java) S 17797 17797 16693 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511818652 27969658880 27491 33554432000 4194304 4196468 140732898063856 140228297476336 140230134581890 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29671424 140732898071238 140732898071686 140732898071686 140732898074575 0 [pid=17800/tid=17816] ppid=17797 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/17800/task/17816/stat : 17816 (java) S 17797 17797 16693 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511818652 27969658880 27491 33554432000 4194304 4196468 140732898063856 140228296423536 140230134581890 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29671424 140732898071238 140732898071686 140732898071686 140732898074575 0 [pid=17800/tid=17817] ppid=17797 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/17800/task/17817/stat : 17817 (java) S 17797 17797 16693 0 -1 1077944384 278 0 0 0 0 0 0 0 20 0 20 0 511818652 27969658880 27491 33554432000 4194304 4196468 140732898063856 140228295370736 140230134581890 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29671424 140732898071238 140732898071686 140732898071686 140732898074575 0 [pid=17800/tid=17818] ppid=17797 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/17800/task/17818/stat : 17818 (java) S 17797 17797 16693 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511818653 27969658880 27491 33554432000 4194304 4196468 140732898063856 140226924112992 140230134580949 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29671424 140732898071238 140732898071686 140732898071686 140732898074575 0 [pid=17800/tid=17819] ppid=17797 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/17800/task/17819/stat : 17819 (java) S 17797 17797 16693 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511818653 27969658880 27491 33554432000 4194304 4196468 140732898063856 140228294319152 140230134581890 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29671424 140732898071238 140732898071686 140732898071686 140732898074575 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 109312 KiB [startup+0.210404 s]* /proc/loadavg: 8.51 8.35 8.28 2/211 17819 /proc/meminfo: memFree=26365044/32770624 swapFree=67002124/67108860 [pid=17797] ppid=17794 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/17797/stat : 17797 (scop.sh) S 17794 17797 16693 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 511818645 115843072 349 33554432000 4194304 5098028 140734561427984 140734561425240 140339879596668 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 15196160 140734561432316 140734561432664 140734561432664 140734561435593 0 /proc/17797/statm: 28282 349 296 221 0 87 0 [pid=17800] ppid=17797 vsize=27314120 memory=126952 CPUtime=0.24 cores=0-7 /proc/17800/stat : 17800 (java) S 17797 17797 16693 0 -1 1077944320 12084 0 0 0 20 4 0 0 20 0 20 0 511818645 27969658880 31738 33554432000 4194304 4196468 140732898063856 140732898046400 140230134570743 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29671424 140732898071238 140732898071686 140732898071686 140732898074575 0 /proc/17800/statm: 6828530 31738 2940 1 0 6790935 0 [pid=17800/tid=17801] ppid=17797 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/17800/task/17801/stat : 17801 (java) R 17797 17797 16693 0 -1 4202560 9795 0 0 0 16 3 0 0 20 0 20 0 511818645 27969658880 31738 33554432000 4194304 4196468 140732898063856 140230106384128 140230119736398 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29671424 140732898071238 140732898071686 140732898071686 140732898074575 0 [pid=17800/tid=17802] ppid=17797 vsize=27314120 memory=330 CPUtime=0 cores=0-7 /proc/17800/task/17802/stat : 17802 (java) S 17797 17797 16693 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511818648 27969658880 31738 33554432000 4194304 4196468 140732898063856 140230138813584 140230134580949 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29671424 140732898071238 140732898071686 140732898071686 140732898074575 0 [pid=17800/tid=17803] ppid=17797 vsize=27314120 memory=140032412104912 CPUtime=0 cores=0-7 /proc/17800/task/17803/stat : 17803 (java) S 17797 17797 16693 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511818648 27969658880 31738 33554432000 4194304 4196468 140732898063856 140229952969744 140230134580949 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29671424 140732898071238 140732898071686 140732898071686 140732898074575 0 [pid=17800/tid=17804] ppid=17797 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/17800/task/17804/stat : 17804 (java) S 17797 17797 16693 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511818648 27969658880 31738 33554432000 4194304 4196468 140732898063856 140229951916944 140230134580949 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29671424 140732898071238 140732898071686 140732898071686 140732898074575 0 [pid=17800/tid=17805] ppid=17797 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/17800/task/17805/stat : 17805 (java) S 17797 17797 16693 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511818648 27969658880 31738 33554432000 4194304 4196468 140732898063856 140229950864144 140230134580949 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29671424 140732898071238 140732898071686 140732898071686 140732898074575 0 [pid=17800/tid=17806] ppid=17797 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/17800/task/17806/stat : 17806 (java) S 17797 17797 16693 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511818648 27969658880 31738 33554432000 4194304 4196468 140732898063856 140229949811344 140230134580949 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29671424 140732898071238 140732898071686 140732898071686 140732898074575 0 [pid=17800/tid=17807] ppid=17797 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/17800/task/17807/stat : 17807 (java) S 17797 17797 16693 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511818648 27969658880 31738 33554432000 4194304 4196468 140732898063856 140229948758544 140230134580949 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29671424 140732898071238 140732898071686 140732898071686 140732898074575 0 [pid=17800/tid=17808] ppid=17797 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/17800/task/17808/stat : 17808 (java) S 17797 17797 16693 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511818648 27969658880 31738 33554432000 4194304 4196468 140732898063856 140229947705744 140230134580949 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29671424 140732898071238 140732898071686 140732898071686 140732898074575 0 [pid=17800/tid=17809] ppid=17797 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/17800/task/17809/stat : 17809 (java) S 17797 17797 16693 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511818648 27969658880 31738 33554432000 4194304 4196468 140732898063856 140229946652944 140230134580949 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29671424 140732898071238 140732898071686 140732898071686 140732898074575 0 [pid=17800/tid=17810] ppid=17797 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/17800/task/17810/stat : 17810 (java) S 17797 17797 16693 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511818649 27969658880 31738 33554432000 4194304 4196468 140732898063856 140228299582320 140230134581890 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29671424 140732898071238 140732898071686 140732898071686 140732898074575 0 [pid=17800/tid=17811] ppid=17797 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/17800/task/17811/stat : 17811 (java) S 17797 17797 16693 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 511818650 27969658880 31738 33554432000 4194304 4196468 140732898063856 140228064962080 140230134580949 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29671424 140732898071238 140732898071686 140732898071686 140732898074575 0 [pid=17800/tid=17812] ppid=17797 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/17800/task/17812/stat : 17812 (java) S 17797 17797 16693 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511818650 27969658880 31738 33554432000 4194304 4196468 140732898063856 140227796526448 140230134580949 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29671424 140732898071238 140732898071686 140732898071686 140732898074575 0 [pid=17800/tid=17813] ppid=17797 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/17800/task/17813/stat : 17813 (java) S 17797 17797 16693 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511818652 27969658880 31738 33554432000 4194304 4196468 140732898063856 140227422017872 140230134589339 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29671424 140732898071238 140732898071686 140732898071686 140732898074575 0 [pid=17800/tid=17814] ppid=17797 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/17800/task/17814/stat : 17814 (java) S 17797 17797 16693 0 -1 1077944384 324 0 0 0 0 0 0 0 20 0 20 0 511818652 27969658880 31738 33554432000 4194304 4196468 140732898063856 140228298529136 140230134581890 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29671424 140732898071238 140732898071686 140732898071686 140732898074575 0 [pid=17800/tid=17815] ppid=17797 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/17800/task/17815/stat : 17815 (java) S 17797 17797 16693 0 -1 1077944384 139 0 0 0 0 0 0 0 20 0 20 0 511818652 27969658880 31738 33554432000 4194304 4196468 140732898063856 140228297476336 140230134581890 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29671424 140732898071238 140732898071686 140732898071686 140732898074575 0 [pid=17800/tid=17816] ppid=17797 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/17800/task/17816/stat : 17816 (java) S 17797 17797 16693 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 20 0 511818652 27969658880 31738 33554432000 4194304 4196468 140732898063856 140228296423536 140230134581890 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29671424 140732898071238 140732898071686 140732898071686 140732898074575 0 [pid=17800/tid=17817] ppid=17797 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7 /proc/17800/task/17817/stat : 17817 (java) S 17797 17797 16693 0 -1 1077944384 473 0 0 0 2 0 0 0 20 0 20 0 511818652 27969658880 31738 33554432000 4194304 4196468 140732898063856 140228295370736 140230134581890 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29671424 140732898071238 140732898071686 140732898071686 140732898074575 0 [pid=17800/tid=17818] ppid=17797 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/17800/task/17818/stat : 17818 (java) S 17797 17797 16693 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511818653 27969658880 31738 33554432000 4194304 4196468 140732898063856 140226924112992 140230134580949 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29671424 140732898071238 140732898071686 140732898071686 140732898074575 0 [pid=17800/tid=17819] ppid=17797 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/17800/task/17819/stat : 17819 (java) S 17797 17797 16693 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511818653 27969658880 31738 33554432000 4194304 4196468 140732898063856 140228294319152 140230134581890 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29671424 140732898071238 140732898071686 140732898071686 140732898074575 0 Current children cumulated CPU time: 0.24 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 128348 KiB [startup+0.30947 s]* /proc/loadavg: 8.51 8.35 8.28 2/211 17819 /proc/meminfo: memFree=26364572/32770624 swapFree=67002124/67108860 [pid=17797] ppid=17794 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/17797/stat : 17797 (scop.sh) S 17794 17797 16693 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 511818645 115843072 349 33554432000 4194304 5098028 140734561427984 140734561425240 140339879596668 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 15196160 140734561432316 140734561432664 140734561432664 140734561435593 0 /proc/17797/statm: 28282 349 296 221 0 87 0 [pid=17800] ppid=17797 vsize=27314120 memory=130296 CPUtime=0.42 cores=0-7 /proc/17800/stat : 17800 (java) S 17797 17797 16693 0 -1 1077944320 12443 0 0 0 38 4 0 0 20 0 20 0 511818645 27969658880 32574 33554432000 4194304 4196468 140732898063856 140732898046400 140230134570743 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29671424 140732898071238 140732898071686 140732898071686 140732898074575 0 /proc/17800/statm: 6828530 32574 3024 1 0 6790935 0 [pid=17800/tid=17801] ppid=17797 vsize=27314120 memory=6791534058613427641 CPUtime=0.3 cores=0-7 /proc/17800/task/17801/stat : 17801 (java) R 17797 17797 16693 0 -1 4202560 9982 0 0 0 26 4 0 0 20 0 20 0 511818645 27969658880 32574 33554432000 4194304 4196468 140732898063856 140230106400816 140230119736336 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29671424 140732898071238 140732898071686 140732898071686 140732898074575 0 [pid=17800/tid=17802] ppid=17797 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/17800/task/17802/stat : 17802 (java) S 17797 17797 16693 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511818648 27969658880 32574 33554432000 4194304 4196468 140732898063856 140230138813584 140230134580949 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29671424 140732898071238 140732898071686 140732898071686 140732898074575 0 [pid=17800/tid=17803] ppid=17797 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/17800/task/17803/stat : 17803 (java) S 17797 17797 16693 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511818648 27969658880 32574 33554432000 4194304 4196468 140732898063856 140229952969744 140230134580949 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29671424 140732898071238 140732898071686 140732898071686 140732898074575 0 [pid=17800/tid=17804] ppid=17797 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/17800/task/17804/stat : 17804 (java) S 17797 17797 16693 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511818648 27969658880 32574 33554432000 4194304 4196468 140732898063856 140229951916944 140230134580949 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29671424 140732898071238 140732898071686 140732898071686 140732898074575 0 [pid=17800/tid=17805] ppid=17797 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/17800/task/17805/stat : 17805 (java) S 17797 17797 16693 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511818648 27969658880 32574 33554432000 4194304 4196468 140732898063856 140229950864144 140230134580949 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29671424 140732898071238 140732898071686 140732898071686 140732898074575 0 [pid=17800/tid=17806] ppid=17797 vsize=27314120 memory=2244 CPUtime=0 cores=0-7 /proc/17800/task/17806/stat : 17806 (java) S 17797 17797 16693 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511818648 27969658880 32574 33554432000 4194304 4196468 140732898063856 140229949811344 140230134580949 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29671424 140732898071238 140732898071686 140732898071686 140732898074575 0 [pid=17800/tid=17807] ppid=17797 vsize=27314120 memory=140032308507567 CPUtime=0 cores=0-7 /proc/17800/task/17807/stat : 17807 (java) S 17797 17797 16693 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511818648 27969658880 32574 33554432000 4194304 4196468 140732898063856 140229948758544 140230134580949 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29671424 140732898071238 140732898071686 140732898071686 140732898074575 0 [pid=17800/tid=17808] ppid=17797 vsize=27314120 memory=140032308509872 CPUtime=0 cores=0-7 /proc/17800/task/17808/stat : 17808 (java) S 17797 17797 16693 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511818648 27969658880 32574 33554432000 4194304 4196468 140732898063856 140229947705744 140230134580949 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29671424 140732898071238 140732898071686 140732898071686 140732898074575 0 [pid=17800/tid=17809] ppid=17797 vsize=27314120 memory=140032308512176 CPUtime=0 cores=0-7 /proc/17800/task/17809/stat : 17809 (java) S 17797 17797 16693 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511818648 27969658880 32574 33554432000 4194304 4196468 140732898063856 140229946652944 140230134580949 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29671424 140732898071238 140732898071686 140732898071686 140732898074575 0 [pid=17800/tid=17810] ppid=17797 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/17800/task/17810/stat : 17810 (java) S 17797 17797 16693 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511818649 27969658880 32574 33554432000 4194304 4196468 140732898063856 140228299582320 140230134581890 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29671424 140732898071238 140732898071686 140732898071686 140732898074575 0 [pid=17800/tid=17811] ppid=17797 vsize=27314120 memory=280064617031312 CPUtime=0 cores=0-7 /proc/17800/task/17811/stat : 17811 (java) S 17797 17797 16693 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 511818650 27969658880 32574 33554432000 4194304 4196468 140732898063856 140228064962080 140230134580949 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29671424 140732898071238 140732898071686 140732898071686 140732898074575 0 [pid=17800/tid=17812] ppid=17797 vsize=27314120 memory=280064617038224 CPUtime=0 cores=0-7 /proc/17800/task/17812/stat : 17812 (java) S 17797 17797 16693 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511818650 27969658880 32574 33554432000 4194304 4196468 140732898063856 140227796526448 140230134580949 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29671424 140732898071238 140732898071686 140732898071686 140732898074575 0 [pid=17800/tid=17813] ppid=17797 vsize=27314120 memory=280064616979504 CPUtime=0 cores=0-7 /proc/17800/task/17813/stat : 17813 (java) S 17797 17797 16693 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511818652 27969658880 32574 33554432000 4194304 4196468 140732898063856 140227422017872 140230134589339 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29671424 140732898071238 140732898071686 140732898071686 140732898074575 0 [pid=17800/tid=17814] ppid=17797 vsize=27314120 memory=280064617052048 CPUtime=0.02 cores=0-7 /proc/17800/task/17814/stat : 17814 (java) S 17797 17797 16693 0 -1 1077944384 428 0 0 0 2 0 0 0 20 0 20 0 511818652 27969658880 32574 33554432000 4194304 4196468 140732898063856 140228298529136 140230134581890 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29671424 140732898071238 140732898071686 140732898071686 140732898074575 0 [pid=17800/tid=17815] ppid=17797 vsize=27314120 memory=280064617058960 CPUtime=0 cores=0-7 /proc/17800/task/17815/stat : 17815 (java) R 17797 17797 16693 0 -1 4202560 169 0 0 0 0 0 0 0 20 0 20 0 511818652 27969658880 32574 33554432000 4194304 4196468 140732898063856 140228297476336 140230116114970 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29671424 140732898071238 140732898071686 140732898071686 140732898074575 0 [pid=17800/tid=17816] ppid=17797 vsize=27314120 memory=280064617056656 CPUtime=0.01 cores=0-7 /proc/17800/task/17816/stat : 17816 (java) S 17797 17797 16693 0 -1 1077944384 39 0 0 0 1 0 0 0 20 0 20 0 511818652 27969658880 32574 33554432000 4194304 4196468 140732898063856 140228296423536 140230134581890 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29671424 140732898071238 140732898071686 140732898071686 140732898074575 0 [pid=17800/tid=17817] ppid=17797 vsize=27314120 memory=280064617072816 CPUtime=0.07 cores=0-7 /proc/17800/task/17817/stat : 17817 (java) S 17797 17797 16693 0 -1 1077944384 496 0 0 0 7 0 0 0 20 0 20 0 511818652 27969658880 32574 33554432000 4194304 4196468 140732898063856 140228295370736 140230134581890 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29671424 140732898071238 140732898071686 140732898071686 140732898074575 0 [pid=17800/tid=17818] ppid=17797 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/17800/task/17818/stat : 17818 (java) S 17797 17797 16693 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511818653 27969658880 32574 33554432000 4194304 4196468 140732898063856 140226924112992 140230134580949 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29671424 140732898071238 140732898071686 140732898071686 140732898074575 0 [pid=17800/tid=17819] ppid=17797 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/17800/task/17819/stat : 17819 (java) S 17797 17797 16693 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511818653 27969658880 32574 33554432000 4194304 4196468 140732898063856 140228294319152 140230134581890 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29671424 140732898071238 140732898071686 140732898071686 140732898074575 0 Current children cumulated CPU time: 0.42 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 131692 KiB [startup+0.70088 s] /proc/loadavg: 8.51 8.35 8.28 2/211 17819 /proc/meminfo: memFree=26343508/32770624 swapFree=67002124/67108860 [pid=17797] ppid=17794 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/17797/stat : 17797 (scop.sh) S 17794 17797 16693 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 511818645 115843072 349 33554432000 4194304 5098028 140734561427984 140734561425240 140339879596668 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 15196160 140734561432316 140734561432664 140734561432664 140734561435593 0 /proc/17797/statm: 28282 349 296 221 0 87 0 [pid=17800] ppid=17797 vsize=27320392 memory=165724 CPUtime=1.01 cores=0-7 /proc/17800/stat : 17800 (java) S 17797 17797 16693 0 -1 1077944320 20002 0 0 0 94 7 0 0 20 0 20 0 511818645 27976081408 41431 33554432000 4194304 4196468 140732898063856 140732898046400 140230134570743 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29671424 140732898071238 140732898071686 140732898071686 140732898074575 0 /proc/17800/statm: 6830098 41431 3186 1 0 6791447 0 [pid=17800/tid=17801] ppid=17797 vsize=27320392 memory=280064617430704 CPUtime=0.67 cores=0-7 /proc/17800/task/17801/stat : 17801 (java) R 17797 17797 16693 0 -1 4202560 16902 0 0 0 62 5 0 0 20 0 20 0 511818645 27976081408 41431 33554432000 4194304 4196468 140732898063856 140230106408720 140230134582678 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29671424 140732898071238 140732898071686 140732898071686 140732898074575 0 [pid=17800/tid=17802] ppid=17797 vsize=27320392 memory=140032308716400 CPUtime=0 cores=0-7 /proc/17800/task/17802/stat : 17802 (java) S 17797 17797 16693 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511818648 27976081408 41431 33554432000 4194304 4196468 140732898063856 140230138813584 140230134580949 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29671424 140732898071238 140732898071686 140732898071686 140732898074575 0 [pid=17800/tid=17803] ppid=17797 vsize=27320392 memory=0 CPUtime=0 cores=0-7 /proc/17800/task/17803/stat : 17803 (java) S 17797 17797 16693 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511818648 27976081408 41431 33554432000 4194304 4196468 140732898063856 140229952969744 140230134580949 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29671424 140732898071238 140732898071686 140732898071686 140732898074575 0 [pid=17800/tid=17804] ppid=17797 vsize=27320392 memory=1056 CPUtime=0 cores=0-7 /proc/17800/task/17804/stat : 17804 (java) S 17797 17797 16693 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511818648 27976081408 41431 33554432000 4194304 4196468 140732898063856 140229951916944 140230134580949 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29671424 140732898071238 140732898071686 140732898071686 140732898074575 0 ################ # More data... # ################ /proc/17820/task/17825/stat : 17825 (java) S 17797 17797 16693 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511818843 8616062976 30070 33554432000 4194304 4196468 140720396956208 140597764446480 140598281107157 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35971072 140720396964831 140720396964998 140720396964998 140720396967887 0 [pid=17820/tid=17826] ppid=17797 vsize=8414124 memory=7649399362790373169 CPUtime=0 cores=0-7 /proc/17820/task/17826/stat : 17826 (java) S 17797 17797 16693 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511818843 8616062976 30070 33554432000 4194304 4196468 140720396956208 140597763394704 140598281107157 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35971072 140720396964831 140720396964998 140720396964998 140720396967887 0 [pid=17820/tid=17827] ppid=17797 vsize=8414124 memory=1064 CPUtime=0 cores=0-7 /proc/17820/task/17827/stat : 17827 (java) S 17797 17797 16693 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511818843 8616062976 30070 33554432000 4194304 4196468 140720396956208 140597762341904 140598281107157 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35971072 140720396964831 140720396964998 140720396964998 140720396967887 0 [pid=17820/tid=17828] ppid=17797 vsize=8414124 memory=14008 CPUtime=0 cores=0-7 /proc/17820/task/17828/stat : 17828 (java) S 17797 17797 16693 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511818843 8616062976 30070 33554432000 4194304 4196468 140720396956208 140597761289104 140598281107157 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35971072 140720396964831 140720396964998 140720396964998 140720396967887 0 [pid=17820/tid=17829] ppid=17797 vsize=8414124 memory=12040 CPUtime=0 cores=0-7 /proc/17820/task/17829/stat : 17829 (java) S 17797 17797 16693 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 511818843 8616062976 30070 33554432000 4194304 4196468 140720396956208 140597760236304 140598281107157 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35971072 140720396964831 140720396964998 140720396964998 140720396967887 0 [pid=17820/tid=17830] ppid=17797 vsize=8414124 memory=2120 CPUtime=0 cores=0-7 /proc/17820/task/17830/stat : 17830 (java) S 17797 17797 16693 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 511818845 8616062976 30070 33554432000 4194304 4196468 140720396956208 140597710158192 140598281108098 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35971072 140720396964831 140720396964998 140720396964998 140720396967887 0 [pid=17820/tid=17831] ppid=17797 vsize=8414124 memory=35408 CPUtime=0 cores=0-7 /proc/17820/task/17831/stat : 17831 (java) S 17797 17797 16693 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 511818845 8616062976 30070 33554432000 4194304 4196468 140720396956208 140596895278112 140598281107157 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35971072 140720396964831 140720396964998 140720396964998 140720396967887 0 [pid=17820/tid=17832] ppid=17797 vsize=8414124 memory=1556 CPUtime=0 cores=0-7 /proc/17820/task/17832/stat : 17832 (java) S 17797 17797 16693 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 511818845 8616062976 30070 33554432000 4194304 4196468 140720396956208 140596761056112 140598281107157 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35971072 140720396964831 140720396964998 140720396964998 140720396967887 0 [pid=17820/tid=17833] ppid=17797 vsize=8414124 memory=500 CPUtime=0 cores=0-7 /proc/17820/task/17833/stat : 17833 (java) S 17797 17797 16693 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511818848 8616062976 30070 33554432000 4194304 4196468 140720396956208 140596386551632 140598281115547 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35971072 140720396964831 140720396964998 140720396964998 140720396967887 0 [pid=17820/tid=17834] ppid=17797 vsize=8414124 memory=932 CPUtime=0.11 cores=0-7 /proc/17820/task/17834/stat : 17834 (java) S 17797 17797 16693 0 -1 1077944384 783 0 0 0 11 0 0 0 20 0 24 0 511818848 8616062976 30070 33554432000 4194304 4196468 140720396956208 140597709106032 140598281108098 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35971072 140720396964831 140720396964998 140720396964998 140720396967887 0 [pid=17820/tid=17835] ppid=17797 vsize=8414124 memory=1824 CPUtime=0.09 cores=0-7 /proc/17820/task/17835/stat : 17835 (java) S 17797 17797 16693 0 -1 1077944384 366 0 0 0 9 0 0 0 20 0 24 0 511818848 8616062976 30070 33554432000 4194304 4196468 140720396956208 140597708053232 140598281108098 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35971072 140720396964831 140720396964998 140720396964998 140720396967887 0 [pid=17820/tid=17836] ppid=17797 vsize=8414124 memory=1656 CPUtime=0.07 cores=0-7 /proc/17820/task/17836/stat : 17836 (java) S 17797 17797 16693 0 -1 1077944384 318 0 0 0 7 0 0 0 20 0 24 0 511818848 8616062976 30070 33554432000 4194304 4196468 140720396956208 140597707000432 140598281108098 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35971072 140720396964831 140720396964998 140720396964998 140720396967887 0 [pid=17820/tid=17837] ppid=17797 vsize=8414124 memory=776 CPUtime=0.22 cores=0-7 /proc/17820/task/17837/stat : 17837 (java) S 17797 17797 16693 0 -1 1077944384 828 0 0 0 22 0 0 0 20 0 24 0 511818848 8616062976 30070 33554432000 4194304 4196468 140720396956208 140597705947632 140598281108098 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35971072 140720396964831 140720396964998 140720396964998 140720396967887 0 [pid=17820/tid=17838] ppid=17797 vsize=8414124 memory=3540 CPUtime=0 cores=0-7 /proc/17820/task/17838/stat : 17838 (java) S 17797 17797 16693 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 511818848 8616062976 30070 33554432000 4194304 4196468 140720396956208 140595888646752 140598281107157 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35971072 140720396964831 140720396964998 140720396964998 140720396967887 0 [pid=17820/tid=17839] ppid=17797 vsize=8414124 memory=1232 CPUtime=0.07 cores=0-7 /proc/17820/task/17839/stat : 17839 (java) S 17797 17797 16693 0 -1 1077944384 7 0 0 0 2 5 0 0 20 0 24 0 511818848 8616062976 30070 33554432000 4194304 4196468 140720396956208 140597704895024 140598281108098 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35971072 140720396964831 140720396964998 140720396964998 140720396967887 0 [pid=17820/tid=17841] ppid=17797 vsize=8414124 memory=10600 CPUtime=0 cores=0-7 /proc/17820/task/17841/stat : 17841 (java) S 17797 17797 16693 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 511818918 8616062976 30070 33554432000 4194304 4196468 140720396956208 140597701149760 140598281121561 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 35971072 140720396964831 140720396964998 140720396964998 140720396967887 0 [pid=17820/tid=17843] ppid=17797 vsize=8414124 memory=1736 CPUtime=0 cores=0-7 /proc/17820/task/17843/stat : 17843 (java) S 17797 17797 16693 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 511818918 8616062976 30070 33554432000 4194304 4196468 140720396956208 140595217547440 140598281118877 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 35971072 140720396964831 140720396964998 140720396964998 140720396967887 0 [pid=17820/tid=17849] ppid=17797 vsize=8414124 memory=6188 CPUtime=0 cores=0-7 /proc/17820/task/17849/stat : 17849 (java) S 17797 17797 16693 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 24 0 511818918 8616062976 30070 33554432000 4194304 4196468 140720396956208 140595485982768 140598281118877 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 35971072 140720396964831 140720396964998 140720396964998 140720396967887 0 [pid=17820/tid=17853] ppid=17797 vsize=8414124 memory=636 CPUtime=0 cores=0-7 /proc/17820/task/17853/stat : 17853 (java) S 17797 17797 16693 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 511818920 8616062976 30070 33554432000 4194304 4196468 140720396956208 140594949119536 140598281107157 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35971072 140720396964831 140720396964998 140720396964998 140720396967887 0 Current children cumulated CPU time: 677.31 s Current children cumulated vsize: 9341176 KiB Current children cumulated memory: 680972 KiB [startup+91.4011 s] /proc/loadavg: 7.67 8.08 8.19 3/218 17859 /proc/meminfo: memFree=25818308/32770624 swapFree=67002124/67108860 [pid=17797] ppid=17794 vsize=113128 memory=1476 CPUtime=4.17 cores=0-7 /proc/17797/stat : 17797 (scop.sh) S 17794 17797 16693 0 -1 4202496 582 25398 0 0 0 0 403 14 20 0 1 0 511818645 115843072 369 33554432000 4194304 5098028 140734561427984 140734561424728 140339879596668 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 15196160 140734561432316 140734561432664 140734561432664 140734561435593 0 /proc/17797/statm: 28282 369 311 221 0 87 0 [pid=17820] ppid=17797 vsize=8414124 memory=120280 CPUtime=1.38 cores=0-7 /proc/17820/stat : 17820 (java) S 17797 17797 16693 0 -1 1077944320 20996 0 0 0 129 9 0 0 20 0 24 0 511818842 8616062976 30070 33554432000 4194304 4196468 140720396956208 140720396938752 140598281096951 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35971072 140720396964831 140720396964998 140720396964998 140720396967887 0 /proc/17820/statm: 2103531 30070 3208 1 0 2064875 0 [pid=17840] ppid=17820 vsize=805728 memory=559232 CPUtime=672.08 cores=0-7 /proc/17840/stat : 17840 (manyglucose-4.1) S 17820 17797 16693 0 -1 1077944320 446785 0 0 0 67090 118 0 0 20 0 2 0 511818918 825065472 139808 33554432000 4194304 4454172 140737125923040 140737125921424 139844345061111 0 4 0 8388610 18446744073709551615 0 0 17 3 0 0 0 0 0 6552832 6554400 19271680 140737125929805 140737125930012 140737125930012 140737125932982 0 /proc/17840/statm: 201432 139808 419 64 0 197100 0 [pid=17840/tid=17850] ppid=17820 vsize=805728 memory=1448 CPUtime=87.43 cores=0-7 /proc/17840/task/17850/stat : 17850 (manyglucose-4.1) R 17820 17797 16693 0 -1 4202560 71665 0 0 0 8725 18 0 0 20 0 2 0 511818918 825065472 139808 33554432000 4194304 4454172 140737125923040 139844153662600 4322172 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6552832 6554400 19271680 140737125929805 140737125930012 140737125930012 140737125932982 0 [pid=17820/tid=17821] ppid=17797 vsize=8414124 memory=1980 CPUtime=0.78 cores=0-7 /proc/17820/task/17821/stat : 17821 (java) S 17797 17797 16693 0 -1 1077944384 17282 0 0 0 72 6 0 0 20 0 24 0 511818842 8616062976 30070 33554432000 4194304 4196468 140720396956208 140598252937120 140598281107157 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35971072 140720396964831 140720396964998 140720396964998 140720396967887 0 [pid=17820/tid=17822] ppid=17797 vsize=8414124 memory=2676 CPUtime=0 cores=0-7 /proc/17820/task/17822/stat : 17822 (java) S 17797 17797 16693 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 511818843 8616062976 30070 33554432000 4194304 4196468 140720396956208 140598285339280 140598281107157 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35971072 140720396964831 140720396964998 140720396964998 140720396967887 0 [pid=17820/tid=17823] ppid=17797 vsize=8414124 memory=1764 CPUtime=0 cores=0-7 /proc/17820/task/17823/stat : 17823 (java) S 17797 17797 16693 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511818843 8616062976 30070 33554432000 4194304 4196468 140720396956208 140597766552080 140598281107157 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35971072 140720396964831 140720396964998 140720396964998 140720396967887 0 [pid=17820/tid=17824] ppid=17797 vsize=8414124 memory=111632 CPUtime=0 cores=0-7 /proc/17820/task/17824/stat : 17824 (java) S 17797 17797 16693 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511818843 8616062976 30070 33554432000 4194304 4196468 140720396956208 140597765499280 140598281107157 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35971072 140720396964831 140720396964998 140720396964998 140720396967887 0 [pid=17820/tid=17825] ppid=17797 vsize=8414124 memory=796 CPUtime=0 cores=0-7 /proc/17820/task/17825/stat : 17825 (java) S 17797 17797 16693 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511818843 8616062976 30070 33554432000 4194304 4196468 140720396956208 140597764446480 140598281107157 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35971072 140720396964831 140720396964998 140720396964998 140720396967887 0 [pid=17820/tid=17826] ppid=17797 vsize=8414124 memory=1804 CPUtime=0 cores=0-7 /proc/17820/task/17826/stat : 17826 (java) S 17797 17797 16693 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511818843 8616062976 30070 33554432000 4194304 4196468 140720396956208 140597763394704 140598281107157 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35971072 140720396964831 140720396964998 140720396964998 140720396967887 0 [pid=17820/tid=17827] ppid=17797 vsize=8414124 memory=916 CPUtime=0 cores=0-7 /proc/17820/task/17827/stat : 17827 (java) S 17797 17797 16693 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511818843 8616062976 30070 33554432000 4194304 4196468 140720396956208 140597762341904 140598281107157 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35971072 140720396964831 140720396964998 140720396964998 140720396967887 0 [pid=17820/tid=17828] ppid=17797 vsize=8414124 memory=4428 CPUtime=0 cores=0-7 /proc/17820/task/17828/stat : 17828 (java) S 17797 17797 16693 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511818843 8616062976 30070 33554432000 4194304 4196468 140720396956208 140597761289104 140598281107157 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35971072 140720396964831 140720396964998 140720396964998 140720396967887 0 [pid=17820/tid=17829] ppid=17797 vsize=8414124 memory=4104 CPUtime=0 cores=0-7 /proc/17820/task/17829/stat : 17829 (java) S 17797 17797 16693 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 511818843 8616062976 30070 33554432000 4194304 4196468 140720396956208 140597760236304 140598281107157 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35971072 140720396964831 140720396964998 140720396964998 140720396967887 0 [pid=17820/tid=17830] ppid=17797 vsize=8414124 memory=1412 CPUtime=0 cores=0-7 /proc/17820/task/17830/stat : 17830 (java) S 17797 17797 16693 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 511818845 8616062976 30070 33554432000 4194304 4196468 140720396956208 140597710158192 140598281108098 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35971072 140720396964831 140720396964998 140720396964998 140720396967887 0 [pid=17820/tid=17831] ppid=17797 vsize=8414124 memory=-9177036853466132882 CPUtime=0 cores=0-7 /proc/17820/task/17831/stat : 17831 (java) S 17797 17797 16693 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 511818845 8616062976 30070 33554432000 4194304 4196468 140720396956208 140596895278112 140598281107157 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35971072 140720396964831 140720396964998 140720396964998 140720396967887 0 [pid=17820/tid=17832] ppid=17797 vsize=8414124 memory=1476 CPUtime=0 cores=0-7 /proc/17820/task/17832/stat : 17832 (java) S 17797 17797 16693 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 511818845 8616062976 30070 33554432000 4194304 4196468 140720396956208 140596761056112 140598281107157 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35971072 140720396964831 140720396964998 140720396964998 140720396967887 0 [pid=17820/tid=17833] ppid=17797 vsize=8414124 memory=1476 CPUtime=0 cores=0-7 /proc/17820/task/17833/stat : 17833 (java) S 17797 17797 16693 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511818848 8616062976 30070 33554432000 4194304 4196468 140720396956208 140596386551632 140598281115547 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35971072 140720396964831 140720396964998 140720396964998 140720396967887 0 [pid=17820/tid=17834] ppid=17797 vsize=8414124 memory=120280 CPUtime=0.11 cores=0-7 /proc/17820/task/17834/stat : 17834 (java) S 17797 17797 16693 0 -1 1077944384 783 0 0 0 11 0 0 0 20 0 24 0 511818848 8616062976 30070 33554432000 4194304 4196468 140720396956208 140597709106032 140598281108098 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35971072 140720396964831 140720396964998 140720396964998 140720396967887 0 [pid=17820/tid=17835] ppid=17797 vsize=8414124 memory=451600 CPUtime=0.09 cores=0-7 /proc/17820/task/17835/stat : 17835 (java) S 17797 17797 16693 0 -1 1077944384 366 0 0 0 9 0 0 0 20 0 24 0 511818848 8616062976 30070 33554432000 4194304 4196468 140720396956208 140597708053232 140598281108098 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35971072 140720396964831 140720396964998 140720396964998 140720396967887 0 [pid=17820/tid=17836] ppid=17797 vsize=8414124 memory=1476 CPUtime=0.07 cores=0-7 /proc/17820/task/17836/stat : 17836 (java) S 17797 17797 16693 0 -1 1077944384 318 0 0 0 7 0 0 0 20 0 24 0 511818848 8616062976 30070 33554432000 4194304 4196468 140720396956208 140597707000432 140598281108098 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35971072 140720396964831 140720396964998 140720396964998 140720396967887 0 [pid=17820/tid=17837] ppid=17797 vsize=8414124 memory=119496 CPUtime=0.22 cores=0-7 /proc/17820/task/17837/stat : 17837 (java) S 17797 17797 16693 0 -1 1077944384 828 0 0 0 22 0 0 0 20 0 24 0 511818848 8616062976 30070 33554432000 4194304 4196468 140720396956208 140597705947632 140598281108098 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35971072 140720396964831 140720396964998 140720396964998 140720396967887 0 [pid=17820/tid=17838] ppid=17797 vsize=8414124 memory=558168 CPUtime=0 cores=0-7 /proc/17820/task/17838/stat : 17838 (java) S 17797 17797 16693 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 511818848 8616062976 30070 33554432000 4194304 4196468 140720396956208 140595888646752 140598281107157 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35971072 140720396964831 140720396964998 140720396964998 140720396967887 0 [pid=17820/tid=17839] ppid=17797 vsize=8414124 memory=-2541025662029814883 CPUtime=0.07 cores=0-7 /proc/17820/task/17839/stat : 17839 (java) S 17797 17797 16693 0 -1 1077944384 7 0 0 0 2 5 0 0 20 0 24 0 511818848 8616062976 30070 33554432000 4194304 4196468 140720396956208 140597704895024 140598281108098 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35971072 140720396964831 140720396964998 140720396964998 140720396967887 0 [pid=17820/tid=17841] ppid=17797 vsize=8414124 memory=6655300316396806240 CPUtime=0 cores=0-7 /proc/17820/task/17841/stat : 17841 (java) S 17797 17797 16693 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 511818918 8616062976 30070 33554432000 4194304 4196468 140720396956208 140597701149760 140598281121561 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 35971072 140720396964831 140720396964998 140720396964998 140720396967887 0 [pid=17820/tid=17843] ppid=17797 vsize=8414124 memory=6943526294502006880 CPUtime=0 cores=0-7 /proc/17820/task/17843/stat : 17843 (java) S 17797 17797 16693 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 511818918 8616062976 30070 33554432000 4194304 4196468 140720396956208 140595217547440 140598281118877 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 35971072 140720396964831 140720396964998 140720396964998 140720396967887 0 [pid=17820/tid=17849] ppid=17797 vsize=8414124 memory=280064618696928 CPUtime=0 cores=0-7 /proc/17820/task/17849/stat : 17849 (java) S 17797 17797 16693 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 24 0 511818918 8616062976 30070 33554432000 4194304 4196468 140720396956208 140595485982768 140598281118877 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 35971072 140720396964831 140720396964998 140720396964998 140720396967887 0 [pid=17820/tid=17853] ppid=17797 vsize=8414124 memory=7084818013876338786 CPUtime=0 cores=0-7 /proc/17820/task/17853/stat : 17853 (java) S 17797 17797 16693 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 511818920 8616062976 30070 33554432000 4194304 4196468 140720396956208 140594949119536 140598281107157 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35971072 140720396964831 140720396964998 140720396964998 140720396967887 0 Current children cumulated CPU time: 677.63 s Current children cumulated vsize: 9332980 KiB Current children cumulated memory: 680988 KiB [startup+91.5011 s] /proc/loadavg: 7.67 8.08 8.19 3/218 17859 /proc/meminfo: memFree=25818308/32770624 swapFree=67002124/67108860 [pid=17797] ppid=17794 vsize=113128 memory=1476 CPUtime=4.17 cores=0-7 /proc/17797/stat : 17797 (scop.sh) S 17794 17797 16693 0 -1 4202496 582 25398 0 0 0 0 403 14 20 0 1 0 511818645 115843072 369 33554432000 4194304 5098028 140734561427984 140734561424728 140339879596668 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 15196160 140734561432316 140734561432664 140734561432664 140734561435593 0 /proc/17797/statm: 28282 369 311 221 0 87 0 [pid=17820] ppid=17797 vsize=8283048 memory=120840 CPUtime=673.59 cores=0-7 /proc/17820/stat : 17820 (java) S 17797 17797 16693 0 -1 1077944320 21082 446798 0 0 133 9 67098 119 20 0 22 0 511818842 8481841152 30210 33554432000 4194304 4196468 140720396956208 140720396938752 140598281096951 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35971072 140720396964831 140720396964998 140720396964998 140720396967887 0 /proc/17820/statm: 2070762 30210 3211 1 0 2032106 0 [pid=17820/tid=17821] ppid=17797 vsize=8283048 memory=1476 CPUtime=672.95 cores=0-7 /proc/17820/task/17821/stat : 17821 (java) S 17797 17797 16693 0 -1 1077944384 17282 446798 0 0 72 6 67098 119 20 0 22 0 511818842 8481841152 30210 33554432000 4194304 4196468 140720396956208 140598252937120 140598281107157 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35971072 140720396964831 140720396964998 140720396964998 140720396967887 0 [pid=17820/tid=17822] ppid=17797 vsize=8283048 memory=1476 CPUtime=672.17 cores=0-7 /proc/17820/task/17822/stat : 17822 (java) S 17797 17797 16693 0 -1 1077944384 2 446798 0 0 0 0 67098 119 20 0 22 0 511818843 8481841152 30210 33554432000 4194304 4196468 140720396956208 140598285339280 140598281107157 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35971072 140720396964831 140720396964998 140720396964998 140720396967887 0 [pid=17820/tid=17823] ppid=17797 vsize=8283048 memory=120280 CPUtime=672.17 cores=0-7 /proc/17820/task/17823/stat : 17823 (java) S 17797 17797 16693 0 -1 1077944384 1 446798 0 0 0 0 67098 119 20 0 22 0 511818843 8481841152 30210 33554432000 4194304 4196468 140720396956208 140597766552080 140598281107157 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35971072 140720396964831 140720396964998 140720396964998 140720396967887 0 [pid=17820/tid=17824] ppid=17797 vsize=8283048 memory=0 CPUtime=672.17 cores=0-7 /proc/17820/task/17824/stat : 17824 (java) S 17797 17797 16693 0 -1 1077944384 1 446798 0 0 0 0 67098 119 20 0 22 0 511818843 8481841152 30210 33554432000 4194304 4196468 140720396956208 140597765499280 140598281107157 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35971072 140720396964831 140720396964998 140720396964998 140720396967887 0 [pid=17820/tid=17825] ppid=17797 vsize=8283048 memory=6944656592387989600 CPUtime=672.17 cores=0-7 /proc/17820/task/17825/stat : 17825 (java) S 17797 17797 16693 0 -1 1077944384 1 446798 0 0 0 0 67098 119 20 0 22 0 511818843 8481841152 30210 33554432000 4194304 4196468 140720396956208 140597764446480 140598281107157 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35971072 140720396964831 140720396964998 140720396964998 140720396967887 0 [pid=17820/tid=17826] ppid=17797 vsize=8283048 memory=-9177036853466132882 CPUtime=672.17 cores=0-7 /proc/17820/task/17826/stat : 17826 (java) S 17797 17797 16693 0 -1 1077944384 1 446798 0 0 0 0 67098 119 20 0 22 0 511818843 8481841152 30210 33554432000 4194304 4196468 140720396956208 140597763394704 140598281107157 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35971072 140720396964831 140720396964998 140720396964998 140720396967887 0 [pid=17820/tid=17827] ppid=17797 vsize=8283048 memory=2676 CPUtime=672.17 cores=0-7 /proc/17820/task/17827/stat : 17827 (java) S 17797 17797 16693 0 -1 1077944384 1 446798 0 0 0 0 67098 119 20 0 22 0 511818843 8481841152 30210 33554432000 4194304 4196468 140720396956208 140597762341904 140598281107157 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35971072 140720396964831 140720396964998 140720396964998 140720396967887 0 [pid=17820/tid=17828] ppid=17797 vsize=8283048 memory=120280 CPUtime=672.17 cores=0-7 /proc/17820/task/17828/stat : 17828 (java) S 17797 17797 16693 0 -1 1077944384 1 446798 0 0 0 0 67098 119 20 0 22 0 511818843 8481841152 30210 33554432000 4194304 4196468 140720396956208 140597761289104 140598281107157 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35971072 140720396964831 140720396964998 140720396964998 140720396967887 0 [pid=17820/tid=17829] ppid=17797 vsize=8283048 memory=0 CPUtime=672.17 cores=0-7 /proc/17820/task/17829/stat : 17829 (java) S 17797 17797 16693 0 -1 1077944384 3 446798 0 0 0 0 67098 119 20 0 22 0 511818843 8481841152 30210 33554432000 4194304 4196468 140720396956208 140597760236304 140598281107157 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35971072 140720396964831 140720396964998 140720396964998 140720396967887 0 [pid=17820/tid=17830] ppid=17797 vsize=8283048 memory=611056 CPUtime=672.17 cores=0-7 /proc/17820/task/17830/stat : 17830 (java) S 17797 17797 16693 0 -1 1077944384 7 446798 0 0 0 0 67098 119 20 0 22 0 511818845 8481841152 30210 33554432000 4194304 4196468 140720396956208 140597710158192 140598281108098 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35971072 140720396964831 140720396964998 140720396964998 140720396967887 0 [pid=17820/tid=17831] ppid=17797 vsize=8283048 memory=1476 CPUtime=672.17 cores=0-7 /proc/17820/task/17831/stat : 17831 (java) S 17797 17797 16693 0 -1 1077944384 13 446798 0 0 0 0 67098 119 20 0 22 0 511818845 8481841152 30210 33554432000 4194304 4196468 140720396956208 140596895278112 140598281107157 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35971072 140720396964831 140720396964998 140720396964998 140720396967887 0 [pid=17820/tid=17832] ppid=17797 vsize=8283048 memory=120280 CPUtime=672.17 cores=0-7 /proc/17820/task/17832/stat : 17832 (java) S 17797 17797 16693 0 -1 1077944384 21 446798 0 0 0 0 67098 119 20 0 22 0 511818845 8481841152 30210 33554432000 4194304 4196468 140720396956208 140596761056112 140598281107157 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35971072 140720396964831 140720396964998 140720396964998 140720396967887 0 [pid=17820/tid=17833] ppid=17797 vsize=8283048 memory=2836 CPUtime=672.17 cores=0-7 /proc/17820/task/17833/stat : 17833 (java) S 17797 17797 16693 0 -1 1077944384 1 446798 0 0 0 0 67098 119 20 0 22 0 511818848 8481841152 30210 33554432000 4194304 4196468 140720396956208 140596386551632 140598281115547 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35971072 140720396964831 140720396964998 140720396964998 140720396967887 0 [pid=17820/tid=17834] ppid=17797 vsize=8283048 memory=1056 CPUtime=672.28 cores=0-7 /proc/17820/task/17834/stat : 17834 (java) S 17797 17797 16693 0 -1 1077944384 792 446798 0 0 11 0 67098 119 20 0 22 0 511818848 8481841152 30210 33554432000 4194304 4196468 140720396956208 140597709106032 140598281108098 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35971072 140720396964831 140720396964998 140720396964998 140720396967887 0 [pid=17820/tid=17835] ppid=17797 vsize=8283048 memory=1568 CPUtime=672.26 cores=0-7 /proc/17820/task/17835/stat : 17835 (java) S 17797 17797 16693 0 -1 1077944384 376 446798 0 0 9 0 67098 119 20 0 22 0 511818848 8481841152 30210 33554432000 4194304 4196468 140720396956208 140597708053232 140598281108098 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35971072 140720396964831 140720396964998 140720396964998 140720396967887 0 [pid=17820/tid=17836] ppid=17797 vsize=8283048 memory=562016 CPUtime=672.24 cores=0-7 /proc/17820/task/17836/stat : 17836 (java) S 17797 17797 16693 0 -1 1077944384 333 446798 0 0 7 0 67098 119 20 0 22 0 511818848 8481841152 30210 33554432000 4194304 4196468 140720396956208 140597707000432 140598281108098 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35971072 140720396964831 140720396964998 140720396964998 140720396967887 0 [pid=17820/tid=17837] ppid=17797 vsize=8283048 memory=1476 CPUtime=672.41 cores=0-7 /proc/17820/task/17837/stat : 17837 (java) S 17797 17797 16693 0 -1 1077944384 860 446798 0 0 24 0 67098 119 20 0 22 0 511818848 8481841152 30210 33554432000 4194304 4196468 140720396956208 140597705947632 140598281108098 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35971072 140720396964831 140720396964998 140720396964998 140720396967887 0 [pid=17820/tid=17838] ppid=17797 vsize=8283048 memory=1476 CPUtime=672.17 cores=0-7 /proc/17820/task/17838/stat : 17838 (java) S 17797 17797 16693 0 -1 1077944384 3 446798 0 0 0 0 67098 119 20 0 22 0 511818848 8481841152 30210 33554432000 4194304 4196468 140720396956208 140595888646752 140598281107157 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35971072 140720396964831 140720396964998 140720396964998 140720396967887 0 [pid=17820/tid=17839] ppid=17797 vsize=8283048 memory=431360 CPUtime=672.24 cores=0-7 /proc/17820/task/17839/stat : 17839 (java) S 17797 17797 16693 0 -1 1077944384 7 446798 0 0 2 5 67098 119 20 0 22 0 511818848 8481841152 30210 33554432000 4194304 4196468 140720396956208 140597704895024 140598281108098 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35971072 140720396964831 140720396964998 140720396964998 140720396967887 0 [pid=17820/tid=17841] ppid=17797 vsize=8283048 memory=1476 CPUtime=672.17 cores=0-7 /proc/17820/task/17841/stat : 17841 (java) S 17797 17797 16693 0 -1 1077944384 24 446798 0 0 0 0 67098 119 20 0 22 0 511818918 8481841152 30210 33554432000 4194304 4196468 140720396956208 140597701148944 140598281108098 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35971072 140720396964831 140720396964998 140720396964998 140720396967887 0 [pid=17820/tid=17853] ppid=17797 vsize=8283048 memory=120280 CPUtime=672.17 cores=0-7 /proc/17820/task/17853/stat : 17853 (java) R 17797 17797 16693 0 -1 4202560 9 446798 0 0 0 0 67098 119 20 0 22 0 511818920 8481841152 30210 33554432000 4194304 4196468 140720396956208 140594949119424 140597785856003 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35971072 140720396964831 140720396964998 140720396964998 140720396967887 0 Current children cumulated CPU time: 677.76 s Current children cumulated vsize: 8396176 KiB Current children cumulated memory: 122316 KiB Child status: 0 Real time (s): 91.5145 CPU time (s): 677.814 CPU user time (s): 676.36 CPU system time (s): 1.45396 CPU usage (%): 740.663 Max. virtual memory (cumulated for all children) (KiB): 27441876 Max. memory (cumulated for all children) (KiB): 732812 getrusage(RUSAGE_CHILDREN,...) data: user time used= 676.36 system time used= 1.45396 maximum resident set size= 613104 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 493914 page faults= 0 swaps= 0 block input operations= 0 block output operations= 392 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 12266 involuntary context switches= 6336 # summary of solver processes directly reported to runsolver: # pid: 17797 # total CPU time (s): 677.814 # total CPU user time (s): 676.36 # total CPU system time (s): 1.45396 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.910725 second user time and 1.2657 second system time The end
Begin job on node136 at 2019-09-24 22:07:35 IDJOB=4405652 IDBENCH=135540 IDSOLVER=2868 FILE ID=node136/4405652-1569355701 RUNJOBID= node136-1569350580-16720 PBS_JOBID= 21705095 Free space on /var/tmp= 13484 MiB SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-09-22) 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 /var/tmp/evaluation-result-4405652-1569355701/watcher-4405652-1569355701 -o /var/tmp/evaluation-result-4405652-1569355701/solver-4405652-1569355701 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node136-1569350580-16720 --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-4405652-1569355701.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= b45d1707d0c27f8ab51c2199585eb6c5 RANDOM SEED=985418043 node136.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.00 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.00 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.00 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.00 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 26482872 kB MemAvailable: 31838880 kB Buffers: 150240 kB Cached: 5330608 kB SwapCached: 3556 kB Active: 2731480 kB Inactive: 2756884 kB Active(anon): 5072 kB Inactive(anon): 59704 kB Active(file): 2726408 kB Inactive(file): 2697180 kB Unevictable: 108576 kB Mlocked: 108576 kB SwapTotal: 67108860 kB SwapFree: 67002124 kB Dirty: 20096 kB Writeback: 776 kB AnonPages: 121824 kB Mapped: 56648 kB Shmem: 48260 kB Slab: 390720 kB SReclaimable: 360880 kB SUnreclaim: 29840 kB KernelStack: 3712 kB PageTables: 6156 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 515788 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 75776 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /var/tmp at the end= 13464 MiB End job on node136 at 2019-09-24 22:09:07