Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
Fun-sCOP order+ManyGlucose (2019-09-22) | SAT | 1161.88 | 152.308 |
Name | RectPacking/RectPacking-m1-perf/ RectPacking-perfect-152.xml |
MD5SUM | 95353c685d9c4a971cd57b59ef19ccd8 |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 69.0695 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 50 |
Number of constraints | 53 |
Number of domains | 1 |
Minimum domain size | 513 |
Maximum domain size | 513 |
Distribution of domain sizes | [{"size":513,"count":50}] |
Minimum variable degree | 2 |
Maximum variable degree | 4 |
Distribution of variable degrees | [{"degree":2,"count":48},{"degree":3,"count":1},{"degree":4,"count":1}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 50 |
Distribution of constraint arities | [{"arity":1,"count":51},{"arity":2,"count":1},{"arity":50,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 52 |
Distribution of constraint types | [{"type":"intension","count":52},{"type":"noOverlap","count":1}] |
Optimization problem | NO |
Type of objective |
0.00/0.00 c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -order -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-31912-serial-file.bin HOME/instance-4405277-1569338214.xml 0.66/0.54 0.66/0.54 Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15) 0.66/0.54 0.66/0.56 c BEGIN-Prog: Tue Sep 24 17:16:13 CEST 2019 0.66/0.56 c PID: 31915 0.66/0.56 c IP: 172.20.3.119 0.66/0.56 c HOST: node119.alineos.net 0.66/0.57 c (0,0) Parsing Begin 1.40/0.91 c (0,0) Parsing End 1.40/0.91 c (0,0) CSP: 50 int (0 aux), 0 bool (0 aux), 53 ctr, max domain size 513 1.40/0.91 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB) 1.40/0.91 c (0,0) Constraint Name Generate Begin 1.40/0.92 c (0,0) Ctr:HOME/instance-4405277-1569338214.xml,Le:NoOverlap:Num:Var 1.40/0.92 c (0,0) Constraint Name Generate End 1.40/0.92 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB) 1.40/0.92 c (0,0) CSP to CSPinCNF Begin 1.40/1.00 c (0,0) translated 6 (10%) constraints 1.40/1.00 c (0,0) translated 11 (20%) constraints 1.40/1.00 c (0,0) translated 16 (30%) constraints 1.56/1.01 c (0,0) translated 22 (40%) constraints 1.56/1.01 c (0,0) translated 27 (50%) constraints 1.56/1.01 c (0,0) translated 32 (60%) constraints 1.56/1.01 c (0,0) translated 38 (70%) constraints 1.56/1.02 c (0,0) translated 43 (80%) constraints 1.56/1.02 c (0,0) translated 48 (90%) constraints 2.11/1.28 c (0,0) translated 53 (100%) constraints 2.11/1.28 c (0,0) =========================================== 2.11/1.28 c (0,0) Order 2.11/1.28 c (0,0) =========================================== 2.11/1.29 c (0,0) translated 36 (10%) constraints 2.11/1.29 c (0,0) translated 71 (20%) constraints 2.45/1.30 c (0,0) translated 106 (30%) constraints 2.45/1.30 c (0,0) translated 141 (40%) constraints 2.45/1.31 c (0,0) translated 176 (50%) constraints 2.45/1.31 c (0,0) translated 212 (60%) constraints 2.45/1.32 c (0,0) translated 247 (70%) constraints 2.45/1.32 c (0,0) translated 282 (80%) constraints 2.45/1.33 c (0,0) translated 317 (90%) constraints 2.45/1.33 c (0,0) translated 352 (100%) constraints 2.45/1.33 c (0,0) CSP to CSPinCNF End 2.45/1.33 c (0,0) CSP: 50 int (0 aux), 0 bool (0 aux), 352 ctr, max domain size 508 2.45/1.33 c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB) 2.45/1.34 c (0,0) CSPinCNF Propagation Begin 2.45/1.37 c (0,0) 0 values, 6 unsatisfiable literals, and 51 valid clauses are removed 2.45/1.37 c (0,0) CSPinCNF Propagation End 2.45/1.37 c (0,0) CSP: 50 int (0 aux), 0 bool (0 aux), 301 ctr, max domain size 508 2.45/1.37 c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB) 2.45/1.37 c (0,0) Simplify CSPinCNF Begin 2.84/1.46 c (0,0) Simplify CSPinCNF End 2.84/1.46 c (0,0) CSP: 50 int (0 aux), 1194 bool (1194 aux), 1495 ctr, max domain size 508 2.84/1.46 c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB) 2.84/1.46 c (0,0) Calculate Precise Domain Begin 2.84/1.47 c (0,0) 0 values are removed by re-calculation 2.84/1.47 c (0,0) Calculate Precise Domain End 2.84/1.47 c (0,0) CSP: 50 int (0 aux), 1194 bool (1194 aux), 1495 ctr, max domain size 508 2.84/1.47 c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB) 2.84/1.47 c (0,0) CSPinCNF to SatSolver Begin 4.65/1.97 c (1,1) 150 (10 %) CSP clauses are encoded (0 SAT variables, 72337 SAT clauses) 5.06/2.16 c (1,1) 299 (20 %) CSP clauses are encoded (0 SAT variables, 121712 SAT clauses) 5.28/2.34 c (1,1) 449 (30 %) CSP clauses are encoded (0 SAT variables, 167458 SAT clauses) 5.49/2.52 c (1,1) 598 (40 %) CSP clauses are encoded (0 SAT variables, 214878 SAT clauses) 5.61/2.68 c (2,2) 748 (50 %) CSP clauses are encoded (0 SAT variables, 258354 SAT clauses) 5.83/2.84 c (2,2) 897 (60 %) CSP clauses are encoded (0 SAT variables, 301074 SAT clauses) 5.93/2.99 c (2,2) 1047 (70 %) CSP clauses are encoded (0 SAT variables, 339878 SAT clauses) 6.14/3.13 c (2,2) 1196 (80 %) CSP clauses are encoded (0 SAT variables, 376717 SAT clauses) 6.25/3.24 c (2,2) 1346 (90 %) CSP clauses are encoded (0 SAT variables, 407421 SAT clauses) 6.36/3.33 c (2,2) 1495 (100 %) CSP clauses are encoded (0 SAT variables, 429532 SAT clauses) 6.36/3.33 c (2,2) CSPinCNF to SatSolver End 6.36/3.33 c (2,2) Heap : 1802 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB) 6.36/3.33 c (2,2) 22394 bool, 429688 clause 6.36/3.33 c (2,2) Export Begin 6.53/3.41 c (2,2) Export to HOME/scop-31912-serial-file.bin 6.53/3.41 c (2,2) Export End 6.53/3.41 c (2,2) Export File Size: 0.01 MB 6.53/3.41 c (2,2) 0,0,0,0,0,0,2,STOP-AFTER(DIMACS) 6.53/3.41 c END-Prog: Tue Sep 24 17:16:16 CEST 2019 6.53/3.43 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-31912-serial-file.bin 6.57/3.89 c (0,0) Read Serial File Begin 6.57/3.89 c (0,0) HOME/scop-31912-serial-file.bin 7.32/4.08 c (0,0) Read Serial File End 7.32/4.10 7.32/4.10 Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15) 7.32/4.10 (Solving Process) 7.32/4.10 7.49/4.12 c BEGIN-Prog: Tue Sep 24 17:16:17 CEST 2019 7.49/4.12 c PID: 31935 7.49/4.12 c IP: 172.20.3.119 7.49/4.12 c HOST: node119.alineos.net 7.49/4.12 c (0,0) SatSolver.solve Begin 7.49/4.12 c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405277-1569338214.xml-scop-31915.cnf 7.49/4.15 c (0,0) c 7.49/4.15 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) 7.49/4.15 c (0,0) c 7.49/4.15 c (0,0) c WARNING: for repeatability, setting FPU to use double precision 7.49/4.15 c (0,0) c 8 solvers engines and 1 companion as a blackboard created. 7.49/4.15 c (0,0) c ========================================[ Problem Statistics ]=========================================== 7.49/4.15 c (0,0) c | | 7.69/4.30 c (0,0) c | Number of variables: 22394 | 7.69/4.30 c (0,0) c | Number of clauses: 429688 | 7.69/4.30 c (0,0) c | Parse time: 0.14 s | 7.69/4.30 c (0,0) c | | 7.69/4.90 c (1,0) c | Simplification time: 0.59 s | 7.69/4.90 c (1,0) c | | 7.69/4.90 c (1,0) c | Generating clones | 8.55/5.02 c (1,0) c | all clones generated. Memory = 303.90Mb. | 8.55/5.02 c (1,0) c ========================================================================================================| 8.55/5.02 c (1,0) c 8.55/5.02 c (1,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 8.55/5.02 c (1,0) c 8.55/5.02 c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 8.55/5.02 c (1,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8.55/5.02 c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 8.55/5.02 c (1,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 8.55/5.02 c (1,0) c | adaptStrategeis | True | False | True | False | True | False | True | False | 8.55/5.02 c (1,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 8.55/5.02 c (1,0) c | Initial random_seed | 91648253 | 91648254 | 91648255 | 91648256 | 91648257 | 91648258 | 91648259 | 91648260 | 8.55/5.02 c (1,0) c | chanseokStrategy | False | False | False | False | False | False | False | False | 8.55/5.02 c (1,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 8.55/5.02 c (1,0) c | glureduce | True | True | True | True | True | True | True | True | 8.55/5.02 c (1,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 8.55/5.02 c (1,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 8.55/5.02 c (1,0) c | luby_restart | False | False | False | False | False | False | False | False | 8.55/5.02 c (1,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 8.55/5.02 c (1,0) c | var_decay | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 8.55/5.02 c (1,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 8.55/5.02 c (1,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 8.55/5.02 c (1,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 8.55/5.02 c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 244.27/34.69 c (30,0) c 244.27/34.69 c (30,0) c |------------------------------------------------------------------------------------------------------------------------| 244.27/34.69 c (30,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 244.27/34.69 c (30,0) c |------------------------------------------------------------------------------------------------------------------------| 244.27/34.69 c (30,0) c | 0 | 191 | 109489 | 58605 | 35963 | 20060 | 10098 | 61288 | 7409 | 192 | 20 | 0.147 | 244.27/34.69 c (30,0) c | 1 | 217 | 113463 | 59286 | 36225 | 20752 | 9991 | 61724 | 7402 | 193 | 20 | 0.147 | 244.27/34.69 c (30,0) c | 2 | 180 | 107249 | 57801 | 38059 | 19259 | 9490 | 61087 | 7520 | 190 | 20 | 0.147 | 244.27/34.69 c (30,0) c | 3 | 209 | 111091 | 59338 | 35885 | 20793 | 9480 | 62499 | 7524 | 195 | 20 | 0.147 | 244.27/34.69 c (30,0) c | 4 | 233 | 112430 | 60151 | 36724 | 21607 | 9198 | 62398 | 7692 | 198 | 20 | 0.147 | 244.27/34.69 c (30,0) c | 5 | 211 | 111091 | 59722 | 38374 | 21180 | 9547 | 62252 | 7593 | 197 | 20 | 0.147 | 244.27/34.69 c (30,0) c | 6 | 226 | 110139 | 58822 | 36747 | 20281 | 9426 | 62203 | 7477 | 196 | 20 | 0.147 | 244.27/34.69 c (30,0) c | 7 | 234 | 117432 | 60604 | 38333 | 22063 | 9425 | 63986 | 7929 | 202 | 20 | 0.147 | 244.27/34.69 c (30,0) c 244.27/34.69 c (30,0) c synthesis 474330 conflicts 374793525 propagations 2004 conflicts/sec 1583827 propagations/sec 244.27/34.69 c (30,0) c real: 30.548 s, cpu: 236.638 s, memory: 877.96 Mb 475.54/63.69 c (59,0) c 475.54/63.69 c (59,0) c |------------------------------------------------------------------------------------------------------------------------| 475.54/63.69 c (59,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 475.54/63.69 c (59,0) c |------------------------------------------------------------------------------------------------------------------------| 475.54/63.69 c (59,0) c | 0 | 331 | 168902 | 96696 | 42170 | 25517 | 15011 | 94072 | 12510 | 363 | 20 | 0.147 | 475.54/63.69 c (59,0) c | 1 | 430 | 175991 | 97467 | 42405 | 26287 | 14081 | 95247 | 12965 | 368 | 20 | 0.147 | 475.54/63.69 c (59,0) c | 2 | 349 | 167480 | 95607 | 45341 | 24430 | 14177 | 93941 | 12738 | 360 | 20 | 0.147 | 475.54/63.69 c (59,0) c | 3 | 367 | 172092 | 97309 | 44192 | 26131 | 14191 | 95206 | 12715 | 367 | 20 | 0.147 | 475.54/63.69 c (59,0) c | 4 | 358 | 174286 | 98913 | 44489 | 27742 | 13807 | 96930 | 12868 | 373 | 20 | 0.147 | 475.54/63.69 c (59,0) c | 5 | 337 | 172035 | 98841 | 44193 | 27659 | 13962 | 97379 | 12998 | 376 | 20 | 0.148 | 475.54/63.69 c (59,0) c | 6 | 343 | 167514 | 95871 | 44186 | 24695 | 14565 | 95100 | 12458 | 368 | 20 | 0.147 | 475.54/63.69 c (59,0) c | 7 | 404 | 177907 | 98370 | 45208 | 27194 | 13698 | 97928 | 13033 | 376 | 20 | 0.147 | 475.54/63.69 c (59,0) c 475.54/63.69 c (59,0) c synthesis 779074 conflicts 644259057 propagations 1666 conflicts/sec 1377590 propagations/sec 475.54/63.69 c (59,0) c real: 59.548 s, cpu: 467.671 s, memory: 1325.96 Mb 701.61/92.70 c (88,0) c 701.61/92.70 c (88,0) c |------------------------------------------------------------------------------------------------------------------------| 701.61/92.70 c (88,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 701.61/92.70 c (88,0) c |------------------------------------------------------------------------------------------------------------------------| 701.61/92.70 c (88,0) c | 0 | 486 | 217873 | 128417 | 46344 | 37033 | 18928 | 120700 | 16573 | 529 | 20 | 0.147 | 701.61/92.70 c (88,0) c | 1 | 609 | 230208 | 130556 | 52447 | 39173 | 17701 | 123684 | 17080 | 539 | 20 | 0.147 | 701.61/92.70 c (88,0) c | 2 | 446 | 215161 | 127588 | 49249 | 36207 | 18157 | 118886 | 16775 | 519 | 20 | 0.147 | 701.61/92.70 c (88,0) c | 3 | 520 | 224870 | 130918 | 50400 | 39531 | 18197 | 123239 | 16991 | 539 | 20 | 0.147 | 701.61/92.70 c (88,0) c | 4 | 497 | 224235 | 131499 | 48556 | 40116 | 17502 | 121323 | 16900 | 539 | 20 | 0.147 | 701.61/92.70 c (88,0) c | 5 | 440 | 221335 | 131825 | 47883 | 40441 | 17920 | 123173 | 16767 | 538 | 20 | 0.147 | 701.61/92.70 c (88,0) c | 6 | 434 | 216036 | 129065 | 47973 | 37684 | 18374 | 123075 | 16472 | 539 | 20 | 0.147 | 701.61/92.70 c (88,0) c | 7 | 503 | 225723 | 130454 | 48702 | 39068 | 17373 | 124189 | 17000 | 539 | 20 | 0.147 | 701.61/92.70 c (88,0) c 701.61/92.70 c (88,0) c synthesis 1040322 conflicts 879239581 propagations 1501 conflicts/sec 1268945 propagations/sec 701.61/92.70 c (88,0) c real: 88.5548 s, cpu: 692.89 s, memory: 1325.96 Mb 932.43/122.69 c (118,0) c 932.43/122.69 c (118,0) c |------------------------------------------------------------------------------------------------------------------------| 932.43/122.69 c (118,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 932.43/122.69 c (118,0) c |------------------------------------------------------------------------------------------------------------------------| 932.43/122.69 c (118,0) c | 0 | 564 | 264220 | 160769 | 49678 | 45575 | 22934 | 146131 | 20296 | 706 | 20 | 0.263 | 932.43/122.69 c (118,0) c | 1 | 718 | 274229 | 159966 | 55798 | 45571 | 20679 | 147963 | 20466 | 707 | 20 | 0.263 | 932.43/122.69 c (118,0) c | 2 | 538 | 259951 | 158368 | 52457 | 44179 | 21780 | 144139 | 20157 | 687 | 20 | 0.147 | 932.43/122.69 c (118,0) c | 3 | 597 | 266729 | 160196 | 53024 | 46008 | 21344 | 145774 | 20123 | 700 | 20 | 0.147 | 932.43/122.69 c (118,0) c | 4 | 597 | 268982 | 161335 | 52805 | 46911 | 21186 | 147331 | 20309 | 702 | 20 | 0.264 | 932.43/122.69 c (118,0) c | 5 | 559 | 264275 | 160639 | 50814 | 46450 | 21019 | 147105 | 20205 | 700 | 20 | 0.147 | 932.43/122.69 c (118,0) c | 6 | 531 | 260700 | 159296 | 51690 | 44587 | 21770 | 147318 | 20202 | 707 | 20 | 0.264 | 932.43/122.69 c (118,0) c | 7 | 604 | 266843 | 158781 | 51180 | 44142 | 20126 | 148277 | 20297 | 701 | 20 | 0.264 | 932.43/122.69 c (118,0) c 932.43/122.69 c (118,0) c synthesis 1279350 conflicts 1097881795 propagations 1384 conflicts/sec 1188091 propagations/sec 932.43/122.69 c (118,0) c real: 118.548 s, cpu: 924.072 s, memory: 1389.96 Mb 1161.32/152.12 c (148,0) c 1161.32/152.12 c (148,0) c real time : 147.973 s 1161.32/152.12 c (148,0) c cpu time : 1151.81 s 1161.32/152.12 c (148,0) c 1161.32/152.12 c (148,0) c 1161.32/152.12 c (148,0) c 1161.32/152.12 c (148,0) c |---------------------------------------- FINAL STATS --------------------------------------------------| 1161.32/152.12 c (148,0) c 1161.32/152.12 c (148,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 1161.32/152.12 c (148,0) c | Threads | Total | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 1161.32/152.12 c (148,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 1161.32/152.12 c (148,0) c | Conflicts | 1513127 | 188639 | 188201 | 189695 | 189809 | 190497 | 190366 | 188144 | 187776 | 1161.32/152.12 c (148,0) c | Decisions | 2471189 | 305648 | 316728 | 307158 | 309865 | 310748 | 309098 | 301827 | 310117 | 1161.32/152.12 c (148,0) c | Propagations | 1310155099 | 162767758 | 162874376 | 165671201 | 163459461 | 163451277 | 164302262 | 163528033 | 164100731 | 1161.32/152.12 c (148,0) c | ReduceDBs | 88 | 11 | 11 | 11 | 11 | 11 | 11 | 11 | 11 | 1161.32/152.12 c (148,0) c | SimpDBs | 24 | 3 | 3 | 3 | 3 | 3 | 3 | 3 | 3 | 1161.32/152.12 c (148,0) c | Restarts | 5366 | 658 | 762 | 629 | 638 | 703 | 639 | 621 | 716 | 1161.32/152.12 c (148,0) c | ForcedImports | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1161.32/152.12 c (148,0) c | PropBinClauses| 1891851539 | 234324185 | 234297318 | 238674182 | 239298826 | 234455238 | 236733095 | 238041215 | 236027480 | 1161.32/152.12 c (148,0) c | PropPreBlocker| 20715893575 | 2588392411 | 2577084601 | 2594560623 | 2584571374 | 2589152684 | 2598338398 | 2600779695 | 2583013789 | 1161.32/152.12 c (148,0) c | PropNotBlocker| 8225315441 | 1028971155 | 1036804865 | 1025801498 | 1029713110 | 1023824281 | 1020368819 | 1029030936 | 1030800777 | 1161.32/152.12 c (148,0) c | LitFullScans | 41777609046 | 5220402253 | 5222504412 | 5220332099 | 5220605735 | 5220549094 | 5220420177 | 5232363025 | 5220432251 | 1161.32/152.12 c (148,0) c | LitScanFracts | 3366562 | 391220 | 405653 | 324185 | 562226 | 533928 | 401743 | 356600 | 391007 | 1161.32/152.12 c (148,0) c | DecisionLevel0| 5375 | 660 | 763 | 630 | 639 | 704 | 640 | 622 | 717 | 1161.32/152.12 c (148,0) c | Periods | 6962 | 870 | 870 | 870 | 870 | 870 | 870 | 872 | 870 | 1161.32/152.12 c (148,0) c | Margin | 160 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 1161.32/152.12 c (148,0) c | Avg_Trail | | 6167 | 6181 | 6155 | 6117 | 6198 | 6195 | 6160 | 6176 | 1161.32/152.12 c (148,0) c | Avg_DL | | 21 | 22 | 23 | 22 | 21 | 21 | 22 | 22 | 1161.32/152.12 c (148,0) c | Avg_Res | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1161.32/152.12 c (148,0) c | Avg_Res_Seen | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1161.32/152.12 c (148,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 1161.32/152.12 c (148,0) c | Exported | 194990 | 25342 | 23260 | 25011 | 24667 | 24781 | 24415 | 24965 | 22549 | 1161.32/152.12 c (148,0) c | Imported | 1334777 | 167184 | 167446 | 165996 | 168025 | 167903 | 161851 | 167128 | 169244 | 1161.32/152.12 c (148,0) c | Good | 321 | 37 | 45 | 39 | 42 | 36 | 42 | 42 | 38 | 1161.32/152.12 c (148,0) c | Purge | 1334456 | 167147 | 167401 | 165957 | 167983 | 167867 | 161809 | 167086 | 169206 | 1161.32/152.12 c (148,0) c | Promoted | 186684 | 23450 | 23196 | 23550 | 23010 | 23471 | 23232 | 23209 | 23566 | 1161.32/152.12 c (148,0) c | Remove_Imp | 794112 | 98297 | 100855 | 98450 | 98645 | 98613 | 98499 | 99919 | 100834 | 1161.32/152.12 c (148,0) c | Blocked_Reuse | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1161.32/152.12 c (148,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 1161.32/152.12 c (148,0) c | Unaries | | 2 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1161.32/152.12 c (148,0) c | Binaries | | 9 | 1 | 7 | 4 | 11 | 3 | 4 | 8 | 1161.32/152.12 c (148,0) c | Glues | | 128 | 142 | 145 | 141 | 164 | 148 | 131 | 150 | 1161.32/152.12 c (148,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 1161.32/152.12 c (148,0) c | Orig_Seen | 12 % | 52363 | 60637 | 55059 | 56079 | 54786 | 54347 | 54363 | 53506 | 1161.32/152.12 c (148,0) c | Diff Orig seen| | - 8274 | X | - 5578 | - 4558 | - 5851 | - 6290 | - 6274 | - 7131 | 1161.32/152.14 c (148,0) c | Hamming | 30 % | 7026 | X | 6177 | 6942 | 8006 | 7704 | 5629 | 6723 | 1161.32/152.14 c (148,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 1161.32/152.14 c (148,0) c | RunningTime | | 146.5 100%| 143.7 99%| 147.0 100%| 143.7 98%| 144.7 99%| 144.0 99%| 142.0 98%| 143.8 98%| 1161.32/152.14 c (148,0) c | WaitingTime | | 0.0 0%| 1.6 1%| 0.0 0%| 2.8 2%| 1.8 1%| 1.6 1%| 3.4 2%| 2.7 2%| 1161.32/152.14 c (148,0) c | ExchangingTime| | 0.1 0%| 0.1 0%| 0.1 0%| 0.1 0%| 0.1 0%| 0.1 0%| 0.1 0%| 0.1 0%| 1161.32/152.14 c (148,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%| 1161.32/152.14 c (148,0) c | SolvingTime | | 146.6 | 145.5 | 147.1 | 146.6 | 146.6 | 145.7 | 145.5 | 146.6 | 1161.32/152.14 c (148,0) c | PropagationTim| | 127.0 87%| 125.8 87%| 127.0 86%| 126.4 86%| 126.4 86%| 124.7 86%| 125.7 86%| 127.0 87%| 1161.32/152.14 c (148,0) c | AnalysisTime | | 16.7 11%| 16.7 11%| 17.1 12%| 17.3 12%| 17.3 12%| 18.1 12%| 16.9 12%| 16.7 11%| 1161.32/152.14 c (148,0) c | ReductionTime | | 0.4 0%| 0.5 0%| 0.5 0%| 0.5 0%| 0.5 0%| 0.4 0%| 0.5 0%| 0.4 0%| 1161.32/152.14 c (148,0) c | SimplifyTime | | 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 1161.32/152.14 c (148,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%| 1161.32/152.14 c (148,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%| 1161.32/152.14 c (148,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 1161.32/152.14 c (148,0) c 1161.32/152.14 c (148,0) c 1161.32/152.14 c (148,0) c Threads : 8 1161.32/152.14 c (148,0) c Winner : 1 1161.32/152.14 c (148,0) c Conflicts_0 : 188639 1161.32/152.14 c (148,0) c Conflicts_1 : 188201 1161.32/152.14 c (148,0) c Conflicts_2 : 189695 1161.32/152.14 c (148,0) c Conflicts_3 : 189809 1161.32/152.14 c (148,0) c Conflicts_4 : 190497 1161.32/152.14 c (148,0) c Conflicts_5 : 190366 1161.32/152.14 c (148,0) c Conflicts_6 : 188144 1161.32/152.14 c (148,0) c Conflicts_7 : 187776 1161.32/152.14 c (148,0) c Conflicts_total : 1513127 1161.32/152.14 c (148,0) c Conflicts_winner : 188201 1161.32/152.14 c (148,0) c Decisions_0 : 305648 1161.32/152.14 c (148,0) c Decisions_1 : 316728 1161.32/152.14 c (148,0) c Decisions_2 : 307158 1161.32/152.14 c (148,0) c Decisions_3 : 309865 1161.32/152.14 c (148,0) c Decisions_4 : 310748 1161.32/152.14 c (148,0) c Decisions_5 : 309098 1161.32/152.14 c (148,0) c Decisions_6 : 301827 1161.32/152.14 c (148,0) c Decisions_7 : 310117 1161.32/152.14 c (148,0) c Decisions_total : 2471189 1161.32/152.14 c (148,0) c Decisions_winner : 316728 1161.32/152.14 c (148,0) c Propagations_0 : 162767758 1161.32/152.14 c (148,0) c Propagations_1 : 162874376 1161.32/152.14 c (148,0) c Propagations_2 : 165671201 1161.32/152.14 c (148,0) c Propagations_3 : 163459461 1161.32/152.14 c (148,0) c Propagations_4 : 163451277 1161.32/152.14 c (148,0) c Propagations_5 : 164302262 1161.32/152.14 c (148,0) c Propagations_6 : 163528033 1161.32/152.14 c (148,0) c Propagations_7 : 164100731 1161.32/152.14 c (148,0) c Propagations_total : 1310155099 1161.32/152.14 c (148,0) c Propagations_winner : 162874376 1161.32/152.14 c (148,0) c ReduceDBs_0 : 11 1161.32/152.14 c (148,0) c ReduceDBs_1 : 11 1161.32/152.14 c (148,0) c ReduceDBs_2 : 11 1161.32/152.14 c (148,0) c ReduceDBs_3 : 11 1161.32/152.14 c (148,0) c ReduceDBs_4 : 11 1161.32/152.14 c (148,0) c ReduceDBs_5 : 11 1161.32/152.14 c (148,0) c ReduceDBs_6 : 11 1161.32/152.14 c (148,0) c ReduceDBs_7 : 11 1161.32/152.14 c (148,0) c ReduceDBs_total : 88 1161.32/152.14 c (148,0) c ReduceDBs_winner : 11 1161.32/152.14 c (148,0) c SimpDBs_0 : 3 1161.32/152.14 c (148,0) c SimpDBs_1 : 3 1161.32/152.14 c (148,0) c SimpDBs_2 : 3 1161.32/152.14 c (148,0) c SimpDBs_3 : 3 1161.32/152.14 c (148,0) c SimpDBs_4 : 3 1161.32/152.14 c (148,0) c SimpDBs_5 : 3 1161.32/152.14 c (148,0) c SimpDBs_6 : 3 1161.32/152.14 c (148,0) c SimpDBs_7 : 3 1161.32/152.14 c (148,0) c SimpDBs_total : 24 1161.32/152.14 c (148,0) c SimpDBs_winner : 3 1161.32/152.14 c (148,0) c Restarts_0 : 658 1161.32/152.14 c (148,0) c Restarts_1 : 762 1161.32/152.14 c (148,0) c Restarts_2 : 629 1161.32/152.14 c (148,0) c Restarts_3 : 638 1161.32/152.14 c (148,0) c Restarts_4 : 703 1161.32/152.14 c (148,0) c Restarts_5 : 639 1161.32/152.14 c (148,0) c Restarts_6 : 621 1161.32/152.14 c (148,0) c Restarts_7 : 716 1161.32/152.14 c (148,0) c Restarts_total : 5366 1161.32/152.14 c (148,0) c Restarts_winner : 762 1161.32/152.14 c (148,0) c ForcedImports_0 : 0 1161.32/152.14 c (148,0) c ForcedImports_1 : 0 1161.32/152.14 c (148,0) c ForcedImports_2 : 0 1161.32/152.14 c (148,0) c ForcedImports_3 : 0 1161.32/152.14 c (148,0) c ForcedImports_4 : 0 1161.32/152.14 c (148,0) c ForcedImports_5 : 0 1161.32/152.14 c (148,0) c ForcedImports_6 : 0 1161.32/152.14 c (148,0) c ForcedImports_7 : 0 1161.32/152.14 c (148,0) c ForcedImports_total : 0 1161.32/152.14 c (148,0) c ForcedImports_winner : 0 1161.32/152.14 c (148,0) c PropsBinClauses_0 : 234324185 1161.32/152.14 c (148,0) c PropsBinClauses_1 : 234297318 1161.32/152.14 c (148,0) c PropsBinClauses_2 : 238674182 1161.32/152.14 c (148,0) c PropsBinClauses_3 : 239298826 1161.32/152.14 c (148,0) c PropsBinClauses_4 : 234455238 1161.32/152.14 c (148,0) c PropsBinClauses_5 : 236733095 1161.32/152.14 c (148,0) c PropsBinClauses_6 : 238041215 1161.32/152.14 c (148,0) c PropsBinClauses_7 : 236027480 1161.32/152.14 c (148,0) c PropsBinClauses_total : 1891851539 1161.32/152.14 c (148,0) c PropsBinClauses_winner : 234297318 1161.32/152.14 c (148,0) c PropsPreBlocker_0 : 2588392411 1161.32/152.14 c (148,0) c PropsPreBlocker_1 : 2577084601 1161.32/152.14 c (148,0) c PropsPreBlocker_2 : 2594560623 1161.32/152.14 c (148,0) c PropsPreBlocker_3 : 2584571374 1161.32/152.14 c (148,0) c PropsPreBlocker_4 : 2589152684 1161.32/152.14 c (148,0) c PropsPreBlocker_5 : 2598338398 1161.32/152.14 c (148,0) c PropsPreBlocker_6 : 2600779695 1161.32/152.14 c (148,0) c PropsPreBlocker_7 : 2583013789 1161.32/152.14 c (148,0) c PropsPreBlocker_total : 20715893575 1161.32/152.14 c (148,0) c PropsPreBlocker_winner : 2577084601 1161.32/152.14 c (148,0) c PropsNotBlocker_0 : 1028971155 1161.32/152.14 c (148,0) c PropsNotBlocker_1 : 1036804865 1161.32/152.14 c (148,0) c PropsNotBlocker_2 : 1025801498 1161.32/152.14 c (148,0) c PropsNotBlocker_3 : 1029713110 1161.32/152.14 c (148,0) c PropsNotBlocker_4 : 1023824281 1161.32/152.14 c (148,0) c PropsNotBlocker_5 : 1020368819 1161.32/152.14 c (148,0) c PropsNotBlocker_6 : 1029030936 1161.32/152.14 c (148,0) c PropsNotBlocker_7 : 1030800777 1161.32/152.14 c (148,0) c PropsNotBlocker_total : 8225315441 1161.32/152.14 c (148,0) c PropsNotBlocker_winner : 1036804865 1161.32/152.14 c (148,0) c PropsLitFullScans_0 : 5220402253 1161.32/152.14 c (148,0) c PropsLitFullScans_1 : 5222504412 1161.32/152.14 c (148,0) c PropsLitFullScans_2 : 5220332099 1161.32/152.14 c (148,0) c PropsLitFullScans_3 : 5220605735 1161.32/152.14 c (148,0) c PropsLitFullScans_4 : 5220549094 1161.32/152.14 c (148,0) c PropsLitFullScans_5 : 5220420177 1161.32/152.14 c (148,0) c PropsLitFullScans_6 : 5232363025 1161.32/152.14 c (148,0) c PropsLitFullScans_7 : 5220432251 1161.32/152.14 c (148,0) c PropsLitFullScans_total : 41777609046 1161.32/152.14 c (148,0) c PropsLitFullScans_winner : 5222504412 1161.32/152.14 c (148,0) c LitScanFractions_0 : 391220 1161.32/152.14 c (148,0) c LitScanFractions_1 : 405653 1161.32/152.14 c (148,0) c LitScanFractions_2 : 324185 1161.32/152.14 c (148,0) c LitScanFractions_3 : 562226 1161.32/152.14 c (148,0) c LitScanFractions_4 : 533928 1161.32/152.14 c (148,0) c LitScanFractions_5 : 401743 1161.32/152.14 c (148,0) c LitScanFractions_6 : 356600 1161.32/152.14 c (148,0) c LitScanFractions_7 : 391007 1161.32/152.14 c (148,0) c LitScanFractions_total : 3366562 1161.32/152.14 c (148,0) c LitScanFractions_winner : 405653 1161.32/152.14 c (148,0) c DecisionLevel0_0 : 660 1161.32/152.14 c (148,0) c DecisionLevel0_1 : 763 1161.32/152.14 c (148,0) c DecisionLevel0_2 : 630 1161.32/152.14 c (148,0) c DecisionLevel0_3 : 639 1161.32/152.14 c (148,0) c DecisionLevel0_4 : 704 1161.32/152.14 c (148,0) c DecisionLevel0_5 : 640 1161.32/152.14 c (148,0) c DecisionLevel0_6 : 622 1161.32/152.14 c (148,0) c DecisionLevel0_7 : 717 1161.32/152.14 c (148,0) c DecisionLevel0_total : 5375 1161.32/152.14 c (148,0) c DecisionLevel0_winner : 763 1161.32/152.14 c (148,0) c Periods_0 : 870 1161.32/152.14 c (148,0) c Periods_1 : 870 1161.32/152.14 c (148,0) c Periods_2 : 870 1161.32/152.14 c (148,0) c Periods_3 : 870 1161.32/152.14 c (148,0) c Periods_4 : 870 1161.32/152.14 c (148,0) c Periods_5 : 870 1161.32/152.14 c (148,0) c Periods_6 : 872 1161.32/152.14 c (148,0) c Periods_7 : 870 1161.32/152.14 c (148,0) c Periods_total : 6962 1161.32/152.14 c (148,0) c Periods_winner : 870 1161.32/152.14 c (148,0) c Margin_0 : 20 1161.32/152.14 c (148,0) c Margin_1 : 20 1161.32/152.14 c (148,0) c Margin_2 : 20 1161.32/152.14 c (148,0) c Margin_3 : 20 1161.32/152.14 c (148,0) c Margin_4 : 20 1161.32/152.14 c (148,0) c Margin_5 : 20 1161.32/152.14 c (148,0) c Margin_6 : 20 1161.32/152.14 c (148,0) c Margin_7 : 20 1161.32/152.14 c (148,0) c Margin_total : 160 1161.32/152.14 c (148,0) c Margin_winner : 20 1161.32/152.14 c (148,0) c Exported_0 : 25342 1161.32/152.14 c (148,0) c Exported_1 : 23260 1161.32/152.14 c (148,0) c Exported_2 : 25011 1161.32/152.14 c (148,0) c Exported_3 : 24667 1161.32/152.14 c (148,0) c Exported_4 : 24781 1161.32/152.14 c (148,0) c Exported_5 : 24415 1161.32/152.14 c (148,0) c Exported_6 : 24965 1161.32/152.14 c (148,0) c Exported_7 : 22549 1161.32/152.14 c (148,0) c Exported_total : 194990 1161.32/152.14 c (148,0) c Exported_winner : 23260 1161.32/152.14 c (148,0) c Imported_0 : 167184 1161.32/152.14 c (148,0) c Imported_1 : 167446 1161.32/152.14 c (148,0) c Imported_2 : 165996 1161.32/152.14 c (148,0) c Imported_3 : 168025 1161.32/152.14 c (148,0) c Imported_4 : 167903 1161.32/152.14 c (148,0) c Imported_5 : 161851 1161.32/152.14 c (148,0) c Imported_6 : 167128 1161.32/152.14 c (148,0) c Imported_7 : 169244 1161.32/152.14 c (148,0) c Imported_total : 1334777 1161.32/152.14 c (148,0) c Imported_winner : 167446 1161.32/152.14 c (148,0) c Good_0 : 37 1161.32/152.14 c (148,0) c Good_1 : 45 1161.32/152.14 c (148,0) c Good_2 : 39 1161.32/152.14 c (148,0) c Good_3 : 42 1161.32/152.14 c (148,0) c Good_4 : 36 1161.32/152.14 c (148,0) c Good_5 : 42 1161.32/152.14 c (148,0) c Good_6 : 42 1161.32/152.14 c (148,0) c Good_7 : 38 1161.32/152.14 c (148,0) c Good_total : 321 1161.32/152.14 c (148,0) c Good_winner : 45 1161.32/152.14 c (148,0) c Purge_0 : 167147 1161.32/152.14 c (148,0) c Purge_1 : 167401 1161.32/152.14 c (148,0) c Purge_2 : 165957 1161.32/152.14 c (148,0) c Purge_3 : 167983 1161.32/152.14 c (148,0) c Purge_4 : 167867 1161.32/152.14 c (148,0) c Purge_5 : 161809 1161.32/152.14 c (148,0) c Purge_6 : 167086 1161.32/152.14 c (148,0) c Purge_7 : 169206 1161.32/152.14 c (148,0) c Purge_total : 1334456 1161.32/152.14 c (148,0) c Purge_winner : 167401 1161.32/152.14 c (148,0) c Promoted_0 : 23450 1161.32/152.14 c (148,0) c Promoted_1 : 23196 1161.32/152.14 c (148,0) c Promoted_2 : 23550 1161.32/152.14 c (148,0) c Promoted_3 : 23010 1161.32/152.14 c (148,0) c Promoted_4 : 23471 1161.32/152.14 c (148,0) c Promoted_5 : 23232 1161.32/152.14 c (148,0) c Promoted_6 : 23209 1161.32/152.14 c (148,0) c Promoted_7 : 23566 1161.32/152.14 c (148,0) c Promoted_total : 186684 1161.32/152.14 c (148,0) c Promoted_winner : 23196 1161.32/152.14 c (148,0) c Remove_Imp_0 : 98297 1161.32/152.14 c (148,0) c Remove_Imp_1 : 100855 1161.32/152.14 c (148,0) c Remove_Imp_2 : 98450 1161.32/152.14 c (148,0) c Remove_Imp_3 : 98645 1161.32/152.14 c (148,0) c Remove_Imp_4 : 98613 1161.32/152.14 c (148,0) c Remove_Imp_5 : 98499 1161.32/152.14 c (148,0) c Remove_Imp_6 : 99919 1161.32/152.14 c (148,0) c Remove_Imp_7 : 100834 1161.32/152.14 c (148,0) c Remove_Imp_total : 794112 1161.32/152.14 c (148,0) c Remove_Imp_winner : 100855 1161.32/152.14 c (148,0) c Blocked_Reuse_0 : 0 1161.32/152.14 c (148,0) c Blocked_Reuse_1 : 0 1161.32/152.14 c (148,0) c Blocked_Reuse_2 : 0 1161.32/152.14 c (148,0) c Blocked_Reuse_3 : 0 1161.32/152.14 c (148,0) c Blocked_Reuse_4 : 0 1161.32/152.14 c (148,0) c Blocked_Reuse_5 : 0 1161.32/152.14 c (148,0) c Blocked_Reuse_6 : 0 1161.32/152.14 c (148,0) c Blocked_Reuse_7 : 0 1161.32/152.14 c (148,0) c Blocked_Reuse_total : 0 1161.32/152.14 c (148,0) c Blocked_Reuse_winner : 0 1161.32/152.14 c (148,0) c Unaries_0 : 2 1161.32/152.14 c (148,0) c Unaries_1 : 1 1161.32/152.14 c (148,0) c Unaries_2 : 1 1161.32/152.14 c (148,0) c Unaries_3 : 1 1161.32/152.14 c (148,0) c Unaries_4 : 1 1161.32/152.14 c (148,0) c Unaries_5 : 1 1161.32/152.14 c (148,0) c Unaries_6 : 1 1161.32/152.14 c (148,0) c Unaries_7 : 1 1161.32/152.14 c (148,0) c Unaries_total : 9 1161.32/152.14 c (148,0) c Unaries_winner : 1 1161.32/152.14 c (148,0) c Binaries_0 : 9 1161.32/152.14 c (148,0) c Binaries_1 : 1 1161.32/152.14 c (148,0) c Binaries_2 : 7 1161.32/152.14 c (148,0) c Binaries_3 : 4 1161.32/152.14 c (148,0) c Binaries_4 : 11 1161.32/152.14 c (148,0) c Binaries_5 : 3 1161.32/152.14 c (148,0) c Binaries_6 : 4 1161.32/152.14 c (148,0) c Binaries_7 : 8 1161.32/152.14 c (148,0) c Binaries_total : 47 1161.32/152.14 c (148,0) c Binaries_winner : 1 1161.32/152.14 c (148,0) c Glues_0 : 128 1161.32/152.14 c (148,0) c Glues_1 : 142 1161.32/152.14 c (148,0) c Glues_2 : 145 1161.32/152.14 c (148,0) c Glues_3 : 141 1161.32/152.14 c (148,0) c Glues_4 : 164 1161.32/152.14 c (148,0) c Glues_5 : 148 1161.32/152.14 c (148,0) c Glues_6 : 131 1161.32/152.14 c (148,0) c Glues_7 : 150 1161.32/152.14 c (148,0) c Glues_total : 1149 1161.32/152.14 c (148,0) c Glues_winner : 142 1161.32/152.14 c (148,0) c RunningTime_0 : 146.455248 1161.32/152.14 c (148,0) c RunningTime_1 : 143.723081 1161.32/152.14 c (148,0) c RunningTime_2 : 146.959613 1161.32/152.14 c (148,0) c RunningTime_3 : 143.694027 1161.32/152.14 c (148,0) c RunningTime_4 : 144.718079 1161.32/152.14 c (148,0) c RunningTime_5 : 143.951191 1161.32/152.14 c (148,0) c RunningTime_6 : 142.026569 1161.32/152.14 c (148,0) c RunningTime_7 : 143.783721 1161.32/152.14 c (148,0) c RunningTime_total : 1155.311529 1161.32/152.14 c (148,0) c RunningTime_winner : 143.723081 1161.32/152.14 c (148,0) c WaitingTime_0 : 0.001436 1161.32/152.14 c (148,0) c WaitingTime_1 : 1.627376 1161.32/152.14 c (148,0) c WaitingTime_2 : 0.001040 1161.32/152.14 c (148,0) c WaitingTime_3 : 2.823357 1161.32/152.14 c (148,0) c WaitingTime_4 : 1.771278 1161.32/152.14 c (148,0) c WaitingTime_5 : 1.601422 1161.32/152.14 c (148,0) c WaitingTime_6 : 3.360446 1161.32/152.14 c (148,0) c WaitingTime_7 : 2.697897 1161.32/152.14 c (148,0) c WaitingTime_total : 13.884252 1161.32/152.14 c (148,0) c WaitingTime_winner : 1.627376 1161.32/152.14 c (148,0) c ExchangingTime_0 : 0.116390 1161.32/152.14 c (148,0) c ExchangingTime_1 : 0.109486 1161.32/152.14 c (148,0) c ExchangingTime_2 : 0.098123 1161.32/152.14 c (148,0) c ExchangingTime_3 : 0.095589 1161.32/152.14 c (148,0) c ExchangingTime_4 : 0.114249 1161.32/152.14 c (148,0) c ExchangingTime_5 : 0.090470 1161.32/152.14 c (148,0) c ExchangingTime_6 : 0.115320 1161.32/152.14 c (148,0) c ExchangingTime_7 : 0.094678 1161.32/152.14 c (148,0) c ExchangingTime_total : 0.834305 1161.32/152.14 c (148,0) c ExchangingTime_winner : 0.109486 1161.32/152.14 c (148,0) c PeriodProcTime_0 : 0.009145 1161.32/152.14 c (148,0) c PeriodProcTime_1 : 0.009087 1161.32/152.14 c (148,0) c PeriodProcTime_2 : 0.010526 1161.32/152.14 c (148,0) c PeriodProcTime_3 : 0.007936 1161.32/152.14 c (148,0) c PeriodProcTime_4 : 0.009197 1161.32/152.14 c (148,0) c PeriodProcTime_5 : 0.009300 1161.32/152.14 c (148,0) c PeriodProcTime_6 : 0.008050 1161.32/152.14 c (148,0) c PeriodProcTime_7 : 0.008256 1161.32/152.14 c (148,0) c PeriodProcTime_total : 0.071496 1161.32/152.14 c (148,0) c PeriodProcTime_winner : 0.009087 1161.32/152.14 c (148,0) c SolvingTime_0 : 146.582220 1161.32/152.14 c (148,0) c SolvingTime_1 : 145.469030 1161.32/152.14 c (148,0) c SolvingTime_2 : 147.069300 1161.32/152.14 c (148,0) c SolvingTime_3 : 146.620909 1161.32/152.14 c (148,0) c SolvingTime_4 : 146.612803 1161.32/152.14 c (148,0) c SolvingTime_5 : 145.652383 1161.32/152.14 c (148,0) c SolvingTime_6 : 145.510385 1161.32/152.14 c (148,0) c SolvingTime_7 : 146.584552 1161.32/152.14 c (148,0) c SolvingTime_total : 1170.101582 1161.32/152.14 c (148,0) c SolvingTime_winner : 145.469030 1161.32/152.14 c (148,0) c PropagationTime_0 : 127.023534 1161.32/152.14 c (148,0) c PropagationTime_1 : 125.843175 1161.32/152.14 c (148,0) c PropagationTime_2 : 126.987904 1161.32/152.14 c (148,0) c PropagationTime_3 : 126.352998 1161.32/152.14 c (148,0) c PropagationTime_4 : 126.370565 1161.32/152.14 c (148,0) c PropagationTime_5 : 124.668108 1161.32/152.14 c (148,0) c PropagationTime_6 : 125.703171 1161.32/152.14 c (148,0) c PropagationTime_7 : 126.991433 1161.32/152.14 c (148,0) c PropagationTime_total : 1009.940888 1161.32/152.14 c (148,0) c PropagationTime_winner : 125.843175 1161.32/152.14 c (148,0) c AnalysisTime_0 : 16.724662 1161.32/152.14 c (148,0) c AnalysisTime_1 : 16.700324 1161.32/152.14 c (148,0) c AnalysisTime_2 : 17.109796 1161.32/152.14 c (148,0) c AnalysisTime_3 : 17.344452 1161.32/152.14 c (148,0) c AnalysisTime_4 : 17.280663 1161.32/152.14 c (148,0) c AnalysisTime_5 : 18.113231 1161.32/152.14 c (148,0) c AnalysisTime_6 : 16.886709 1161.32/152.14 c (148,0) c AnalysisTime_7 : 16.715823 1161.32/152.14 c (148,0) c AnalysisTime_total : 136.875660 1161.32/152.14 c (148,0) c AnalysisTime_winner : 16.700324 1161.32/152.14 c (148,0) c ReductionTime_0 : 0.436199 1161.32/152.14 c (148,0) c ReductionTime_1 : 0.472177 1161.32/152.14 c (148,0) c ReductionTime_2 : 0.497829 1161.32/152.14 c (148,0) c ReductionTime_3 : 0.494450 1161.32/152.14 c (148,0) c ReductionTime_4 : 0.475471 1161.32/152.14 c (148,0) c ReductionTime_5 : 0.417943 1161.32/152.14 c (148,0) c ReductionTime_6 : 0.464087 1161.32/152.14 c (148,0) c ReductionTime_7 : 0.414507 1161.32/152.14 c (148,0) c ReductionTime_total : 3.672663 1161.32/152.14 c (148,0) c ReductionTime_winner : 0.472177 1161.32/152.14 c (148,0) c SimplifyTime_0 : 0.035979 1161.32/152.14 c (148,0) c SimplifyTime_1 : 0.035002 1161.32/152.14 c (148,0) c SimplifyTime_2 : 0.038691 1161.32/152.14 c (148,0) c SimplifyTime_3 : 0.040005 1161.32/152.14 c (148,0) c SimplifyTime_4 : 0.048105 1161.32/152.14 c (148,0) c SimplifyTime_5 : 0.035825 1161.32/152.14 c (148,0) c SimplifyTime_6 : 0.038187 1161.32/152.14 c (148,0) c SimplifyTime_7 : 0.048130 1161.32/152.14 c (148,0) c SimplifyTime_total : 0.319923 1161.32/152.14 c (148,0) c SimplifyTime_winner : 0.035002 1161.32/152.14 c (148,0) c UsedRateTime_0 : 0.000000 1161.32/152.14 c (148,0) c UsedRateTime_1 : 0.000000 1161.32/152.14 c (148,0) c UsedRateTime_2 : 0.000000 1161.32/152.14 c (148,0) c UsedRateTime_3 : 0.000000 1161.32/152.14 c (148,0) c UsedRateTime_4 : 0.000000 1161.32/152.14 c (148,0) c UsedRateTime_5 : 0.000000 1161.32/152.14 c (148,0) c UsedRateTime_6 : 0.000000 1161.32/152.14 c (148,0) c UsedRateTime_7 : 0.000000 1161.32/152.14 c (148,0) c UsedRateTime_total : 0.000000 1161.32/152.14 c (148,0) c UsedRateTime_winner : 0.000000 1161.32/152.14 c (148,0) c OverlapRateTime_0 : 0.000000 1161.32/152.14 c (148,0) c OverlapRateTime_1 : 0.000000 1161.32/152.14 c (148,0) c OverlapRateTime_2 : 0.000000 1161.32/152.14 c (148,0) c OverlapRateTime_3 : 0.000000 1161.32/152.14 c (148,0) c OverlapRateTime_4 : 0.000000 1161.32/152.14 c (148,0) c OverlapRateTime_5 : 0.000000 1161.32/152.14 c (148,0) c OverlapRateTime_6 : 0.000000 1161.32/152.14 c (148,0) c OverlapRateTime_7 : 0.000000 1161.32/152.14 c (148,0) c OverlapRateTime_total : 0.000000 1161.32/152.14 c (148,0) c OverlapRateTime_winner : 0.000000 1161.32/152.14 c (148,0) c 1161.32/152.14 c (148,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 1161.32/152.14 c (148,0) c 1161.32/152.14 c (148,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 1161.32/152.14 c (148,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 1161.32/152.14 c (148,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 1161.32/152.14 c (148,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 1161.32/152.14 c (148,0) c | adaptStrategeis | False | False | False | False | False | False | False | False | 1161.32/152.14 c (148,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 1161.32/152.14 c (148,0) c | Initial random_seed | 2010956851 | 2032600084 | 255394966 | 869413739 | 682313571 | 1340527231 | 1538333929 | 1520044846 | 1161.32/152.14 c (148,0) c | chanseokStrategy | False | False | False | False | False | False | False | False | 1161.32/152.14 c (148,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 1161.32/152.14 c (148,0) c | glureduce | True | True | True | True | True | True | True | True | 1161.32/152.14 c (148,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 1161.32/152.14 c (148,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 1161.32/152.14 c (148,0) c | luby_restart | False | False | False | False | False | False | False | False | 1161.32/152.14 c (148,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 1161.32/152.14 c (148,0) c | var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 1161.32/152.14 c (148,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 1161.32/152.14 c (148,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 1161.32/152.14 c (148,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 1161.32/152.14 c (148,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 1161.32/152.14 c (148,0) 1161.32/152.14 c (148,0) s SATISFIABLE 1161.32/152.18 c (148,0) SatSolver.solve End 1161.32/152.18 c (148,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB) 1161.32/152.18 c (148,0) Show results Begin 1161.58/152.28 c (148,0) x[0] = 348 1161.58/152.28 c (148,0) x[1] = 93 1161.58/152.28 c (148,0) x[2] = 102 1161.58/152.28 c (148,0) x[3] = 209 1161.58/152.28 c (148,0) x[4] = 93 1161.58/152.28 c (148,0) x[5] = 324 1161.58/152.28 c (148,0) x[6] = 65 1161.58/152.28 c (148,0) x[7] = 112 1161.58/152.28 c (148,0) x[8] = 65 1161.58/152.28 c (148,0) x[9] = 102 1161.58/152.28 c (148,0) x[10] = 145 1161.58/152.28 c (148,0) x[11] = 0 1161.58/152.28 c (148,0) x[12] = 141 1161.58/152.28 c (148,0) x[13] = 145 1161.58/152.28 c (148,0) x[14] = 226 1161.58/152.28 c (148,0) x[15] = 102 1161.58/152.28 c (148,0) x[16] = 0 1161.58/152.28 c (148,0) x[17] = 209 1161.58/152.28 c (148,0) x[18] = 0 1161.58/152.28 c (148,0) x[19] = 201 1161.58/152.28 c (148,0) x[20] = 201 1161.58/152.28 c (148,0) x[21] = 354 1161.58/152.28 c (148,0) x[22] = 348 1161.58/152.28 c (148,0) x[23] = 324 1161.58/152.28 c (148,0) x[24] = 0 1161.58/152.28 c (148,0) y[0] = 153 1161.58/152.29 c (148,0) y[1] = 340 1161.58/152.29 c (148,0) y[2] = 339 1161.58/152.29 c (148,0) y[3] = 415 1161.58/152.29 c (148,0) y[4] = 349 1161.58/152.29 c (148,0) y[5] = 300 1161.58/152.29 c (148,0) y[6] = 340 1161.58/152.29 c (148,0) y[7] = 339 1161.58/152.29 c (148,0) y[8] = 303 1161.58/152.29 c (148,0) y[9] = 300 1161.58/152.29 c (148,0) y[10] = 368 1161.58/152.29 c (148,0) y[11] = 303 1161.58/152.29 c (148,0) y[12] = 300 1161.58/152.29 c (148,0) y[13] = 432 1161.58/152.29 c (148,0) y[14] = 415 1161.58/152.29 c (148,0) y[15] = 201 1161.58/152.29 c (148,0) y[16] = 201 1161.58/152.29 c (148,0) y[17] = 300 1161.58/152.29 c (148,0) y[18] = 368 1161.58/152.29 c (148,0) y[19] = 153 1161.58/152.29 c (148,0) y[20] = 0 1161.58/152.29 c (148,0) y[21] = 0 1161.58/152.29 c (148,0) y[22] = 159 1161.58/152.29 c (148,0) y[23] = 324 1161.58/152.29 c (148,0) y[24] = 0 1161.58/152.29 s SATISFIABLE 1161.58/152.29 v <instantiation> 1161.58/152.29 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] y[0] y[1] y[2] y[3] y[4] y[5] y[6] y[7] y[8] y[9] y[10] y[11] y[12] y[13] y[14] y[15] y[16] y[17] y[18] y[19] y[20] y[21] y[22] y[23] y[24]</list> 1161.58/152.29 v <values>348 93 102 209 93 324 65 112 65 102 145 0 141 145 226 102 0 209 0 201 201 354 348 324 0 153 340 339 415 349 300 340 339 303 300 368 303 300 432 415 201 201 300 368 153 0 0 159 324 0</values> 1161.58/152.29 v </instantiation> 1161.58/152.29 c (148,0) Show results End 1161.58/152.29 c (148,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB) 1161.58/152.29 c (148,0) 148,148,STOP-AFTER(ALL) 1161.58/152.29 c END-Prog: Tue Sep 24 17:18:45 CEST 2019
OK
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 (13386 MiB free) memory of node 1: 16384 MiB (11703 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405277-1569338214/watcher-4405277-1569338214 -o /var/tmp/evaluation-result-4405277-1569338214/solver-4405277-1569338214 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node119-1569335938-31616 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405277-1569338214.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=31912, runsolver pid=31909 Current StackSize limit: 8192 KiB [startup+0.100153 s]* /proc/loadavg: 8.00 7.47 5.37 2/211 31934 /proc/meminfo: memFree=25594680/32770624 swapFree=66953492/67108860 [pid=31912] ppid=31909 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/31912/stat : 31912 (scop.sh) S 31909 31912 31589 0 -1 4202496 558 320 0 0 0 0 0 0 20 0 1 0 509736145 115843072 349 33554432000 4194304 5098028 140722201252656 140722201249912 140135758164604 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 24707072 140722201260797 140722201261144 140722201261144 140722201264073 0 /proc/31912/statm: 28282 349 296 221 0 87 0 [pid=31915] ppid=31912 vsize=27314120 memory=107632 CPUtime=0.11 cores=0-7 /proc/31915/stat : 31915 (java) S 31912 31912 31589 0 -1 1077944320 6469 0 0 0 9 2 0 0 20 0 20 0 509736146 27969658880 26908 33554432000 4194304 4196468 140734604296320 140734604278864 140316300029687 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37961728 140734604305095 140734604305542 140734604305542 140734604308431 0 /proc/31915/statm: 6828530 26908 2797 1 0 6790935 0 [pid=31915/tid=31916] ppid=31912 vsize=27314120 memory=4134930498285298233 CPUtime=0.08 cores=0-7 /proc/31915/task/31916/stat : 31916 (java) R 31912 31912 31589 0 -1 4202560 4565 0 0 0 7 1 0 0 20 0 20 0 509736146 27969658880 26908 33554432000 4194304 4196468 140734604296320 140316271861888 140316300051613 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37961728 140734604305095 140734604305542 140734604305542 140734604308431 0 [pid=31915/tid=31917] ppid=31912 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/31915/task/31917/stat : 31917 (java) S 31912 31912 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509736148 27969658880 26908 33554432000 4194304 4196468 140734604296320 140316304272144 140316300039893 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37961728 140734604305095 140734604305542 140734604305542 140734604308431 0 [pid=31915/tid=31918] ppid=31912 vsize=27314120 memory=140401205716608 CPUtime=0 cores=0-7 /proc/31915/task/31918/stat : 31918 (java) S 31912 31912 31589 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509736148 27969658880 26908 33554432000 4194304 4196468 140734604296320 140316118428560 140316300039893 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37961728 140734604305095 140734604305542 140734604305542 140734604308431 0 [pid=31915/tid=31919] ppid=31912 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/31915/task/31919/stat : 31919 (java) S 31912 31912 31589 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509736148 27969658880 26908 33554432000 4194304 4196468 140734604296320 140316117376016 140316300039893 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37961728 140734604305095 140734604305542 140734604305542 140734604308431 0 [pid=31915/tid=31920] ppid=31912 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/31915/task/31920/stat : 31920 (java) S 31912 31912 31589 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509736148 27969658880 26908 33554432000 4194304 4196468 140734604296320 140316116323472 140316300039893 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37961728 140734604305095 140734604305542 140734604305542 140734604308431 0 [pid=31915/tid=31921] ppid=31912 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/31915/task/31921/stat : 31921 (java) S 31912 31912 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509736148 27969658880 26908 33554432000 4194304 4196468 140734604296320 140316115269904 140316300039893 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37961728 140734604305095 140734604305542 140734604305542 140734604308431 0 [pid=31915/tid=31922] ppid=31912 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/31915/task/31922/stat : 31922 (java) S 31912 31912 31589 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509736148 27969658880 26908 33554432000 4194304 4196468 140734604296320 140316114217360 140316300039893 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37961728 140734604305095 140734604305542 140734604305542 140734604308431 0 [pid=31915/tid=31923] ppid=31912 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/31915/task/31923/stat : 31923 (java) S 31912 31912 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509736148 27969658880 26908 33554432000 4194304 4196468 140734604296320 140316113164816 140316300039893 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37961728 140734604305095 140734604305542 140734604305542 140734604308431 0 [pid=31915/tid=31924] ppid=31912 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/31915/task/31924/stat : 31924 (java) S 31912 31912 31589 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509736148 27969658880 26908 33554432000 4194304 4196468 140734604296320 140315716123280 140316300039893 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37961728 140734604305095 140734604305542 140734604305542 140734604308431 0 [pid=31915/tid=31925] ppid=31912 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/31915/task/31925/stat : 31925 (java) S 31912 31912 31589 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509736150 27969658880 26908 33554432000 4194304 4196468 140734604296320 140315223587312 140316300040834 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37961728 140734604305095 140734604305542 140734604305542 140734604308431 0 [pid=31915/tid=31926] ppid=31912 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/31915/task/31926/stat : 31926 (java) S 31912 31912 31589 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 509736150 27969658880 26908 33554432000 4194304 4196468 140734604296320 140314232743328 140316300039893 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37961728 140734604305095 140734604305542 140734604305542 140734604308431 0 [pid=31915/tid=31927] ppid=31912 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/31915/task/31927/stat : 31927 (java) S 31912 31912 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509736151 27969658880 26908 33554432000 4194304 4196468 140734604296320 140313964307952 140316300039893 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37961728 140734604305095 140734604305542 140734604305542 140734604308431 0 [pid=31915/tid=31928] ppid=31912 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/31915/task/31928/stat : 31928 (java) S 31912 31912 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509736153 27969658880 26908 33554432000 4194304 4196468 140734604296320 140313589799632 140316300048283 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37961728 140734604305095 140734604305542 140734604305542 140734604308431 0 [pid=31915/tid=31929] ppid=31912 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/31915/task/31929/stat : 31929 (java) S 31912 31912 31589 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 20 0 509736153 27969658880 26908 33554432000 4194304 4196468 140734604296320 140315222534128 140316300040834 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37961728 140734604305095 140734604305542 140734604305542 140734604308431 0 [pid=31915/tid=31930] ppid=31912 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/31915/task/31930/stat : 31930 (java) S 31912 31912 31589 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509736153 27969658880 26908 33554432000 4194304 4196468 140734604296320 140315221481584 140316300040834 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37961728 140734604305095 140734604305542 140734604305542 140734604308431 0 [pid=31915/tid=31931] ppid=31912 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/31915/task/31931/stat : 31931 (java) S 31912 31912 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509736153 27969658880 26908 33554432000 4194304 4196468 140734604296320 140315220429040 140316300040834 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37961728 140734604305095 140734604305542 140734604305542 140734604308431 0 [pid=31915/tid=31932] ppid=31912 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/31915/task/31932/stat : 31932 (java) S 31912 31912 31589 0 -1 1077944384 259 0 0 0 0 0 0 0 20 0 20 0 509736153 27969658880 26908 33554432000 4194304 4196468 140734604296320 140315219376496 140316300040834 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37961728 140734604305095 140734604305542 140734604305542 140734604308431 0 [pid=31915/tid=31933] ppid=31912 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/31915/task/31933/stat : 31933 (java) S 31912 31912 31589 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509736153 27969658880 26908 33554432000 4194304 4196468 140734604296320 140313091893984 140316300039893 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37961728 140734604305095 140734604305542 140734604305542 140734604308431 0 [pid=31915/tid=31934] ppid=31912 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/31915/task/31934/stat : 31934 (java) S 31912 31912 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509736154 27969658880 26908 33554432000 4194304 4196468 140734604296320 140315218324400 140316300040834 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37961728 140734604305095 140734604305542 140734604305542 140734604308431 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 109028 KiB [startup+0.210301 s]* /proc/loadavg: 8.00 7.47 5.37 3/211 31934 /proc/meminfo: memFree=25575712/32770624 swapFree=66953492/67108860 [pid=31912] ppid=31909 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/31912/stat : 31912 (scop.sh) S 31909 31912 31589 0 -1 4202496 558 320 0 0 0 0 0 0 20 0 1 0 509736145 115843072 349 33554432000 4194304 5098028 140722201252656 140722201249912 140135758164604 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 24707072 140722201260797 140722201261144 140722201261144 140722201264073 0 /proc/31912/statm: 28282 349 296 221 0 87 0 [pid=31915] ppid=31912 vsize=27314120 memory=124444 CPUtime=0.25 cores=0-7 /proc/31915/stat : 31915 (java) S 31912 31912 31589 0 -1 1077944320 11475 0 0 0 22 3 0 0 20 0 20 0 509736146 27969658880 31111 33554432000 4194304 4196468 140734604296320 140734604278864 140316300029687 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37961728 140734604305095 140734604305542 140734604305542 140734604308431 0 /proc/31915/statm: 6828530 31111 2954 1 0 6790935 0 [pid=31915/tid=31916] ppid=31912 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/31915/task/31916/stat : 31916 (java) R 31912 31912 31589 0 -1 4202560 9178 0 0 0 17 2 0 0 20 0 20 0 509736146 27969658880 31111 33554432000 4194304 4196468 140734604296320 140316271837248 140316285195342 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37961728 140734604305095 140734604305542 140734604305542 140734604308431 0 [pid=31915/tid=31917] ppid=31912 vsize=27314120 memory=342 CPUtime=0 cores=0-7 /proc/31915/task/31917/stat : 31917 (java) S 31912 31912 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509736148 27969658880 31111 33554432000 4194304 4196468 140734604296320 140316304272144 140316300039893 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37961728 140734604305095 140734604305542 140734604305542 140734604308431 0 [pid=31915/tid=31918] ppid=31912 vsize=27314120 memory=140401209502740 CPUtime=0 cores=0-7 /proc/31915/task/31918/stat : 31918 (java) S 31912 31912 31589 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509736148 27969658880 31111 33554432000 4194304 4196468 140734604296320 140316118428560 140316300039893 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37961728 140734604305095 140734604305542 140734604305542 140734604308431 0 [pid=31915/tid=31919] ppid=31912 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/31915/task/31919/stat : 31919 (java) S 31912 31912 31589 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509736148 27969658880 31111 33554432000 4194304 4196468 140734604296320 140316117376016 140316300039893 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37961728 140734604305095 140734604305542 140734604305542 140734604308431 0 [pid=31915/tid=31920] ppid=31912 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/31915/task/31920/stat : 31920 (java) S 31912 31912 31589 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509736148 27969658880 31111 33554432000 4194304 4196468 140734604296320 140316116323472 140316300039893 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37961728 140734604305095 140734604305542 140734604305542 140734604308431 0 [pid=31915/tid=31921] ppid=31912 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/31915/task/31921/stat : 31921 (java) S 31912 31912 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509736148 27969658880 31111 33554432000 4194304 4196468 140734604296320 140316115269904 140316300039893 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37961728 140734604305095 140734604305542 140734604305542 140734604308431 0 [pid=31915/tid=31922] ppid=31912 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/31915/task/31922/stat : 31922 (java) S 31912 31912 31589 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509736148 27969658880 31111 33554432000 4194304 4196468 140734604296320 140316114217360 140316300039893 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37961728 140734604305095 140734604305542 140734604305542 140734604308431 0 [pid=31915/tid=31923] ppid=31912 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/31915/task/31923/stat : 31923 (java) S 31912 31912 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509736148 27969658880 31111 33554432000 4194304 4196468 140734604296320 140316113164816 140316300039893 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37961728 140734604305095 140734604305542 140734604305542 140734604308431 0 [pid=31915/tid=31924] ppid=31912 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/31915/task/31924/stat : 31924 (java) S 31912 31912 31589 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509736148 27969658880 31111 33554432000 4194304 4196468 140734604296320 140315716123280 140316300039893 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37961728 140734604305095 140734604305542 140734604305542 140734604308431 0 [pid=31915/tid=31925] ppid=31912 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/31915/task/31925/stat : 31925 (java) S 31912 31912 31589 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509736150 27969658880 31111 33554432000 4194304 4196468 140734604296320 140315223587312 140316300040834 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37961728 140734604305095 140734604305542 140734604305542 140734604308431 0 [pid=31915/tid=31926] ppid=31912 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/31915/task/31926/stat : 31926 (java) S 31912 31912 31589 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 509736150 27969658880 31111 33554432000 4194304 4196468 140734604296320 140314232743328 140316300039893 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37961728 140734604305095 140734604305542 140734604305542 140734604308431 0 [pid=31915/tid=31927] ppid=31912 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/31915/task/31927/stat : 31927 (java) S 31912 31912 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509736151 27969658880 31111 33554432000 4194304 4196468 140734604296320 140313964307952 140316300039893 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37961728 140734604305095 140734604305542 140734604305542 140734604308431 0 [pid=31915/tid=31928] ppid=31912 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/31915/task/31928/stat : 31928 (java) S 31912 31912 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509736153 27969658880 31111 33554432000 4194304 4196468 140734604296320 140313589799632 140316300048283 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37961728 140734604305095 140734604305542 140734604305542 140734604308431 0 [pid=31915/tid=31929] ppid=31912 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/31915/task/31929/stat : 31929 (java) S 31912 31912 31589 0 -1 1077944384 318 0 0 0 0 0 0 0 20 0 20 0 509736153 27969658880 31111 33554432000 4194304 4196468 140734604296320 140315222534128 140316300040834 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37961728 140734604305095 140734604305542 140734604305542 140734604308431 0 [pid=31915/tid=31930] ppid=31912 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/31915/task/31930/stat : 31930 (java) S 31912 31912 31589 0 -1 1077944384 156 0 0 0 0 0 0 0 20 0 20 0 509736153 27969658880 31111 33554432000 4194304 4196468 140734604296320 140315221481584 140316300040834 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37961728 140734604305095 140734604305542 140734604305542 140734604308431 0 [pid=31915/tid=31931] ppid=31912 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/31915/task/31931/stat : 31931 (java) S 31912 31912 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509736153 27969658880 31111 33554432000 4194304 4196468 140734604296320 140315220429040 140316300040834 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37961728 140734604305095 140734604305542 140734604305542 140734604308431 0 [pid=31915/tid=31932] ppid=31912 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7 /proc/31915/task/31932/stat : 31932 (java) S 31912 31912 31589 0 -1 1077944384 484 0 0 0 2 0 0 0 20 0 20 0 509736153 27969658880 31111 33554432000 4194304 4196468 140734604296320 140315219376496 140316300040834 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37961728 140734604305095 140734604305542 140734604305542 140734604308431 0 [pid=31915/tid=31933] ppid=31912 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/31915/task/31933/stat : 31933 (java) S 31912 31912 31589 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509736153 27969658880 31111 33554432000 4194304 4196468 140734604296320 140313091893984 140316300039893 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37961728 140734604305095 140734604305542 140734604305542 140734604308431 0 [pid=31915/tid=31934] ppid=31912 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/31915/task/31934/stat : 31934 (java) S 31912 31912 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509736154 27969658880 31111 33554432000 4194304 4196468 140734604296320 140315218324400 140316300040834 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37961728 140734604305095 140734604305542 140734604305542 140734604308431 0 Current children cumulated CPU time: 0.25 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 125840 KiB [startup+0.31019 s]* /proc/loadavg: 8.00 7.47 5.37 2/211 31934 /proc/meminfo: memFree=25573612/32770624 swapFree=66953492/67108860 [pid=31912] ppid=31909 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/31912/stat : 31912 (scop.sh) S 31909 31912 31589 0 -1 4202496 558 320 0 0 0 0 0 0 20 0 1 0 509736145 115843072 349 33554432000 4194304 5098028 140722201252656 140722201249912 140135758164604 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 24707072 140722201260797 140722201261144 140722201261144 140722201264073 0 /proc/31912/statm: 28282 349 296 221 0 87 0 [pid=31915] ppid=31912 vsize=27314120 memory=128124 CPUtime=0.43 cores=0-7 /proc/31915/stat : 31915 (java) S 31912 31912 31589 0 -1 1077944320 12391 0 0 0 39 4 0 0 20 0 20 0 509736146 27969658880 32031 33554432000 4194304 4196468 140734604296320 140734604278864 140316300029687 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37961728 140734604305095 140734604305542 140734604305542 140734604308431 0 /proc/31915/statm: 6828530 32031 3023 1 0 6790935 0 [pid=31915/tid=31916] ppid=31912 vsize=27314120 memory=6791534058613427641 CPUtime=0.3 cores=0-7 /proc/31915/task/31916/stat : 31916 (java) R 31912 31912 31589 0 -1 4202560 9943 0 0 0 27 3 0 0 20 0 20 0 509736146 27969658880 32031 33554432000 4194304 4196468 140734604296320 140316271859760 140316281593247 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37961728 140734604305095 140734604305542 140734604305542 140734604308431 0 [pid=31915/tid=31917] ppid=31912 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/31915/task/31917/stat : 31917 (java) S 31912 31912 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509736148 27969658880 32031 33554432000 4194304 4196468 140734604296320 140316304272144 140316300039893 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37961728 140734604305095 140734604305542 140734604305542 140734604308431 0 [pid=31915/tid=31918] ppid=31912 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/31915/task/31918/stat : 31918 (java) S 31912 31912 31589 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509736148 27969658880 32031 33554432000 4194304 4196468 140734604296320 140316118428560 140316300039893 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37961728 140734604305095 140734604305542 140734604305542 140734604308431 0 [pid=31915/tid=31919] ppid=31912 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/31915/task/31919/stat : 31919 (java) S 31912 31912 31589 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509736148 27969658880 32031 33554432000 4194304 4196468 140734604296320 140316117376016 140316300039893 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37961728 140734604305095 140734604305542 140734604305542 140734604308431 0 [pid=31915/tid=31920] ppid=31912 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/31915/task/31920/stat : 31920 (java) S 31912 31912 31589 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509736148 27969658880 32031 33554432000 4194304 4196468 140734604296320 140316116323472 140316300039893 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37961728 140734604305095 140734604305542 140734604305542 140734604308431 0 [pid=31915/tid=31921] ppid=31912 vsize=27314120 memory=2244 CPUtime=0 cores=0-7 /proc/31915/task/31921/stat : 31921 (java) S 31912 31912 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509736148 27969658880 32031 33554432000 4194304 4196468 140734604296320 140316115269904 140316300039893 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37961728 140734604305095 140734604305542 140734604305542 140734604308431 0 [pid=31915/tid=31922] ppid=31912 vsize=27314120 memory=140401071715247 CPUtime=0 cores=0-7 /proc/31915/task/31922/stat : 31922 (java) S 31912 31912 31589 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509736148 27969658880 32031 33554432000 4194304 4196468 140734604296320 140316114217360 140316300039893 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37961728 140734604305095 140734604305542 140734604305542 140734604308431 0 [pid=31915/tid=31923] ppid=31912 vsize=27314120 memory=140401071717552 CPUtime=0 cores=0-7 /proc/31915/task/31923/stat : 31923 (java) S 31912 31912 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509736148 27969658880 32031 33554432000 4194304 4196468 140734604296320 140316113164816 140316300039893 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37961728 140734604305095 140734604305542 140734604305542 140734604308431 0 [pid=31915/tid=31924] ppid=31912 vsize=27314120 memory=140401071719856 CPUtime=0 cores=0-7 /proc/31915/task/31924/stat : 31924 (java) S 31912 31912 31589 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509736148 27969658880 32031 33554432000 4194304 4196468 140734604296320 140315716123280 140316300039893 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37961728 140734604305095 140734604305542 140734604305542 140734604308431 0 [pid=31915/tid=31925] ppid=31912 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/31915/task/31925/stat : 31925 (java) S 31912 31912 31589 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509736150 27969658880 32031 33554432000 4194304 4196468 140734604296320 140315223587312 140316300040834 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37961728 140734604305095 140734604305542 140734604305542 140734604308431 0 [pid=31915/tid=31926] ppid=31912 vsize=27314120 memory=280802143446672 CPUtime=0 cores=0-7 /proc/31915/task/31926/stat : 31926 (java) S 31912 31912 31589 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 509736150 27969658880 32031 33554432000 4194304 4196468 140734604296320 140314232743328 140316300039893 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37961728 140734604305095 140734604305542 140734604305542 140734604308431 0 [pid=31915/tid=31927] ppid=31912 vsize=27314120 memory=280802143453584 CPUtime=0 cores=0-7 /proc/31915/task/31927/stat : 31927 (java) S 31912 31912 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509736151 27969658880 32031 33554432000 4194304 4196468 140734604296320 140313964307952 140316300039893 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37961728 140734604305095 140734604305542 140734604305542 140734604308431 0 [pid=31915/tid=31928] ppid=31912 vsize=27314120 memory=280802143394864 CPUtime=0 cores=0-7 /proc/31915/task/31928/stat : 31928 (java) S 31912 31912 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509736153 27969658880 32031 33554432000 4194304 4196468 140734604296320 140313589799632 140316300048283 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37961728 140734604305095 140734604305542 140734604305542 140734604308431 0 [pid=31915/tid=31929] ppid=31912 vsize=27314120 memory=280802143467408 CPUtime=0.02 cores=0-7 /proc/31915/task/31929/stat : 31929 (java) R 31912 31912 31589 0 -1 4202560 427 0 0 0 2 0 0 0 20 0 20 0 509736153 27969658880 32031 33554432000 4194304 4196468 140734604296320 140315222534128 140316286181369 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37961728 140734604305095 140734604305542 140734604305542 140734604308431 0 [pid=31915/tid=31930] ppid=31912 vsize=27314120 memory=280802143474320 CPUtime=0 cores=0-7 /proc/31915/task/31930/stat : 31930 (java) S 31912 31912 31589 0 -1 1077944384 165 0 0 0 0 0 0 0 20 0 20 0 509736153 27969658880 32031 33554432000 4194304 4196468 140734604296320 140315221481584 140316300040834 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37961728 140734604305095 140734604305542 140734604305542 140734604308431 0 [pid=31915/tid=31931] ppid=31912 vsize=27314120 memory=280802143472016 CPUtime=0 cores=0-7 /proc/31915/task/31931/stat : 31931 (java) S 31912 31912 31589 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 509736153 27969658880 32031 33554432000 4194304 4196468 140734604296320 140315220429040 140316300040834 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37961728 140734604305095 140734604305542 140734604305542 140734604308431 0 [pid=31915/tid=31932] ppid=31912 vsize=27314120 memory=280802143488176 CPUtime=0.07 cores=0-7 /proc/31915/task/31932/stat : 31932 (java) S 31912 31912 31589 0 -1 1077944384 505 0 0 0 7 0 0 0 20 0 20 0 509736153 27969658880 32031 33554432000 4194304 4196468 140734604296320 140315219376496 140316300040834 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37961728 140734604305095 140734604305542 140734604305542 140734604308431 0 [pid=31915/tid=31933] ppid=31912 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/31915/task/31933/stat : 31933 (java) S 31912 31912 31589 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509736153 27969658880 32031 33554432000 4194304 4196468 140734604296320 140313091893984 140316300039893 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37961728 140734604305095 140734604305542 140734604305542 140734604308431 0 [pid=31915/tid=31934] ppid=31912 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/31915/task/31934/stat : 31934 (java) S 31912 31912 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509736154 27969658880 32031 33554432000 4194304 4196468 140734604296320 140315218324400 140316300040834 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37961728 140734604305095 140734604305542 140734604305542 140734604308431 0 Current children cumulated CPU time: 0.43 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 129520 KiB [startup+0.700929 s] /proc/loadavg: 8.00 7.47 5.37 2/211 31934 /proc/meminfo: memFree=25550716/32770624 swapFree=66953492/67108860 [pid=31912] ppid=31909 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/31912/stat : 31912 (scop.sh) S 31909 31912 31589 0 -1 4202496 558 320 0 0 0 0 0 0 20 0 1 0 509736145 115843072 349 33554432000 4194304 5098028 140722201252656 140722201249912 140135758164604 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 24707072 140722201260797 140722201261144 140722201261144 140722201264073 0 /proc/31912/statm: 28282 349 296 221 0 87 0 [pid=31915] ppid=31912 vsize=27322516 memory=165720 CPUtime=0.99 cores=0-7 /proc/31915/stat : 31915 (java) S 31912 31912 31589 0 -1 1077944320 20048 0 0 0 93 6 0 0 20 0 20 0 509736146 27978256384 41430 33554432000 4194304 4196468 140734604296320 140734604278864 140316300029687 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37961728 140734604305095 140734604305542 140734604305542 140734604308431 0 /proc/31915/statm: 6830629 41430 3171 1 0 6791959 0 [pid=31915/tid=31916] ppid=31912 vsize=27322516 memory=280802143846064 CPUtime=0.68 cores=0-7 /proc/31915/task/31916/stat : 31916 (java) R 31912 31912 31589 0 -1 4202560 17059 0 0 0 63 5 0 0 20 0 20 0 509736146 27978256384 41430 33554432000 4194304 4196468 140734604296320 140316271861424 140316284110174 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37961728 140734604305095 140734604305542 140734604305542 140734604308431 0 [pid=31915/tid=31917] ppid=31912 vsize=27322516 memory=140401071924080 CPUtime=0 cores=0-7 /proc/31915/task/31917/stat : 31917 (java) S 31912 31912 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509736148 27978256384 41430 33554432000 4194304 4196468 140734604296320 140316304272144 140316300039893 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37961728 140734604305095 140734604305542 140734604305542 140734604308431 0 [pid=31915/tid=31918] ppid=31912 vsize=27322516 memory=0 CPUtime=0 cores=0-7 /proc/31915/task/31918/stat : 31918 (java) S 31912 31912 31589 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509736148 27978256384 41430 33554432000 4194304 4196468 140734604296320 140316118428560 140316300039893 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37961728 140734604305095 140734604305542 140734604305542 140734604308431 0 [pid=31915/tid=31919] ppid=31912 vsize=27322516 memory=668 CPUtime=0 cores=0-7 /proc/31915/task/31919/stat : 31919 (java) S 31912 31912 31589 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509736148 27978256384 41430 33554432000 4194304 4196468 140734604296320 140316117376016 140316300039893 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37961728 140734604305095 140734604305542 140734604305542 140734604308431 0 ################ # More data... # ################ /proc/31935/task/31945/stat : 31945 (java) S 31912 31912 31589 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 24 0 509736492 8616062976 30095 33554432000 4194304 4196468 140727554977296 140625836050416 140626407037570 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31944704 140727554982879 140727554983046 140727554983046 140727554985935 0 [pid=31935/tid=31946] ppid=31912 vsize=8414124 memory=120380 CPUtime=0 cores=0-7 /proc/31935/task/31946/stat : 31946 (java) S 31912 31912 31589 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 509736492 8616062976 30095 33554432000 4194304 4196468 140727554977296 140625081000864 140626407036629 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31944704 140727554982879 140727554983046 140727554983046 140727554985935 0 [pid=31935/tid=31947] ppid=31912 vsize=8414124 memory=2008 CPUtime=0 cores=0-7 /proc/31935/task/31947/stat : 31947 (java) S 31912 31912 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509736492 8616062976 30095 33554432000 4194304 4196468 140727554977296 140624812565488 140626407036629 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31944704 140727554982879 140727554983046 140727554983046 140727554985935 0 [pid=31935/tid=31948] ppid=31912 vsize=8414124 memory=1424 CPUtime=0 cores=0-7 /proc/31935/task/31948/stat : 31948 (java) S 31912 31912 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509736495 8616062976 30095 33554432000 4194304 4196468 140727554977296 140624438057168 140626407045019 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31944704 140727554982879 140727554983046 140727554983046 140727554985935 0 [pid=31935/tid=31949] ppid=31912 vsize=8414124 memory=3640 CPUtime=0.04 cores=0-7 /proc/31935/task/31949/stat : 31949 (java) S 31912 31912 31589 0 -1 1077944384 381 0 0 0 4 0 0 0 20 0 24 0 509736495 8616062976 30095 33554432000 4194304 4196468 140727554977296 140625834998256 140626407037570 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31944704 140727554982879 140727554983046 140727554983046 140727554985935 0 [pid=31935/tid=31950] ppid=31912 vsize=8414124 memory=1548 CPUtime=0.06 cores=0-7 /proc/31935/task/31950/stat : 31950 (java) S 31912 31912 31589 0 -1 1077944384 307 0 0 0 6 0 0 0 20 0 24 0 509736495 8616062976 30095 33554432000 4194304 4196468 140727554977296 140625833945712 140626407037570 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31944704 140727554982879 140727554983046 140727554983046 140727554985935 0 [pid=31935/tid=31951] ppid=31912 vsize=8414124 memory=1728 CPUtime=0.08 cores=0-7 /proc/31935/task/31951/stat : 31951 (java) S 31912 31912 31589 0 -1 1077944384 411 0 0 0 8 0 0 0 20 0 24 0 509736495 8616062976 30095 33554432000 4194304 4196468 140727554977296 140625832893168 140626407037570 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31944704 140727554982879 140727554983046 140727554983046 140727554985935 0 [pid=31935/tid=31952] ppid=31912 vsize=8414124 memory=8204 CPUtime=0.18 cores=0-7 /proc/31935/task/31952/stat : 31952 (java) S 31912 31912 31589 0 -1 1077944384 729 0 0 0 18 0 0 0 20 0 24 0 509736495 8616062976 30095 33554432000 4194304 4196468 140727554977296 140625831840624 140626407037570 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31944704 140727554982879 140727554983046 140727554983046 140727554985935 0 [pid=31935/tid=31953] ppid=31912 vsize=8414124 memory=1984 CPUtime=0 cores=0-7 /proc/31935/task/31953/stat : 31953 (java) S 31912 31912 31589 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509736495 8616062976 30095 33554432000 4194304 4196468 140727554977296 140623940151520 140626407036629 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31944704 140727554982879 140727554983046 140727554983046 140727554985935 0 [pid=31935/tid=31954] ppid=31912 vsize=8414124 memory=1440 CPUtime=0.1 cores=0-7 /proc/31935/task/31954/stat : 31954 (java) S 31912 31912 31589 0 -1 1077944384 11 0 0 0 4 6 0 0 20 0 24 0 509736496 8616062976 30095 33554432000 4194304 4196468 140727554977296 140625830787504 140626407037570 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 5 0 0 6293624 6294260 31944704 140727554982879 140727554983046 140727554983046 140727554985935 0 [pid=31935/tid=31956] ppid=31912 vsize=8414124 memory=808 CPUtime=0 cores=0-7 /proc/31935/task/31956/stat : 31956 (java) S 31912 31912 31589 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 509736560 8616062976 30095 33554432000 4194304 4196468 140727554977296 140625822753984 140626407051033 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 31944704 140727554982879 140727554983046 140727554983046 140727554985935 0 [pid=31935/tid=31958] ppid=31912 vsize=8414124 memory=2580 CPUtime=0 cores=0-7 /proc/31935/task/31958/stat : 31958 (java) S 31912 31912 31589 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 509736560 8616062976 30095 33554432000 4194304 4196468 140727554977296 140623269052176 140626407048349 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 31944704 140727554982879 140727554983046 140727554983046 140727554985935 0 [pid=31935/tid=31959] ppid=31912 vsize=8414124 memory=1760 CPUtime=0 cores=0-7 /proc/31935/task/31959/stat : 31959 (java) S 31912 31912 31589 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 24 0 509736560 8616062976 30095 33554432000 4194304 4196468 140727554977296 140623537487760 140626407048349 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 31944704 140727554982879 140727554983046 140727554983046 140727554985935 0 [pid=31935/tid=31960] ppid=31912 vsize=8414124 memory=111636 CPUtime=0 cores=0-7 /proc/31935/task/31960/stat : 31960 (java) S 31912 31912 31589 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 509736562 8616062976 30095 33554432000 4194304 4196468 140727554977296 140623000624816 140626407036629 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31944704 140727554982879 140727554983046 140727554983046 140727554985935 0 Current children cumulated CPU time: 1158.59 s Current children cumulated vsize: 9950572 KiB Current children cumulated memory: 1026904 KiB [startup+152.001 s]* /proc/loadavg: 8.14 7.72 5.78 2/217 31979 /proc/meminfo: memFree=24666476/32770624 swapFree=66953492/67108860 [pid=31912] ppid=31909 vsize=113128 memory=1476 CPUtime=6.57 cores=0-7 /proc/31912/stat : 31912 (scop.sh) S 31909 31912 31589 0 -1 4202496 584 27310 0 0 0 0 620 37 20 0 1 0 509736145 115843072 369 33554432000 4194304 5098028 140722201252656 140722201249400 140135758164604 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 24707072 140722201260797 140722201261144 140722201261144 140722201264073 0 /proc/31912/statm: 28282 369 311 221 0 87 0 [pid=31935] ppid=31912 vsize=8414124 memory=120380 CPUtime=1.23 cores=0-7 /proc/31935/stat : 31935 (java) S 31912 31912 31589 0 -1 1077944320 20646 0 0 0 115 8 0 0 20 0 24 0 509736489 8616062976 30095 33554432000 4194304 4196468 140727554977296 140727554959840 140626407026423 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31944704 140727554982879 140727554983046 140727554983046 140727554985935 0 /proc/31935/statm: 2103531 30095 3187 1 0 2064875 0 [pid=31955] ppid=31935 vsize=1423320 memory=905048 CPUtime=1153.41 cores=0-7 /proc/31955/stat : 31955 (manyglucose-4.1) S 31935 31912 31589 0 -1 1077944320 692506 0 0 0 115169 172 0 0 20 0 2 0 509736560 1457479680 226262 33554432000 4194304 4454172 140723172965040 140723172963424 140264906321655 0 4 0 8388610 18446744073709551615 0 0 17 0 0 0 0 0 0 6552832 6554400 20701184 140723172971341 140723172971548 140723172971548 140723172974518 0 /proc/31955/statm: 355830 226262 423 64 0 351498 0 [pid=31955/tid=31963] ppid=31935 vsize=1423320 memory=0 CPUtime=145.41 cores=0-7 /proc/31955/task/31963/stat : 31963 (manyglucose-4.1) R 31935 31912 31589 0 -1 4202560 81653 0 0 0 14525 16 0 0 20 0 2 0 509736648 1457479680 226262 33554432000 4194304 4454172 140723172965040 140264862772328 4351209 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6552832 6554400 20701184 140723172971341 140723172971548 140723172971548 140723172974518 0 [pid=31935/tid=31936] ppid=31912 vsize=8414124 memory=-8816466334524404114 CPUtime=0.73 cores=0-7 /proc/31935/task/31936/stat : 31936 (java) S 31912 31912 31589 0 -1 1077944384 17408 0 0 0 68 5 0 0 20 0 24 0 509736489 8616062976 30095 33554432000 4194304 4196468 140727554977296 140626378866592 140626407036629 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31944704 140727554982879 140727554983046 140727554983046 140727554985935 0 [pid=31935/tid=31937] ppid=31912 vsize=8414124 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/31935/task/31937/stat : 31937 (java) S 31912 31912 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509736490 8616062976 30095 33554432000 4194304 4196468 140727554977296 140626411268368 140626407036629 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31944704 140727554982879 140727554983046 140727554983046 140727554985935 0 [pid=31935/tid=31938] ppid=31912 vsize=8414124 memory=1440 CPUtime=0 cores=0-7 /proc/31935/task/31938/stat : 31938 (java) S 31912 31912 31589 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509736490 8616062976 30095 33554432000 4194304 4196468 140727554977296 140626225424784 140626407036629 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31944704 140727554982879 140727554983046 140727554983046 140727554985935 0 [pid=31935/tid=31939] ppid=31912 vsize=8414124 memory=808 CPUtime=0 cores=0-7 /proc/31935/task/31939/stat : 31939 (java) S 31912 31912 31589 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509736490 8616062976 30095 33554432000 4194304 4196468 140727554977296 140626224372240 140626407036629 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31944704 140727554982879 140727554983046 140727554983046 140727554985935 0 [pid=31935/tid=31940] ppid=31912 vsize=8414124 memory=2580 CPUtime=0 cores=0-7 /proc/31935/task/31940/stat : 31940 (java) S 31912 31912 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509736490 8616062976 30095 33554432000 4194304 4196468 140727554977296 140626223319696 140626407036629 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31944704 140727554982879 140727554983046 140727554983046 140727554985935 0 [pid=31935/tid=31941] ppid=31912 vsize=8414124 memory=1760 CPUtime=0 cores=0-7 /proc/31935/task/31941/stat : 31941 (java) S 31912 31912 31589 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509736490 8616062976 30095 33554432000 4194304 4196468 140727554977296 140625889098512 140626407036629 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31944704 140727554982879 140727554983046 140727554983046 140727554985935 0 [pid=31935/tid=31942] ppid=31912 vsize=8414124 memory=111636 CPUtime=0 cores=0-7 /proc/31935/task/31942/stat : 31942 (java) S 31912 31912 31589 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509736490 8616062976 30095 33554432000 4194304 4196468 140727554977296 140625888045968 140626407036629 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31944704 140727554982879 140727554983046 140727554983046 140727554985935 0 [pid=31935/tid=31943] ppid=31912 vsize=8414124 memory=808 CPUtime=0 cores=0-7 /proc/31935/task/31943/stat : 31943 (java) S 31912 31912 31589 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509736490 8616062976 30095 33554432000 4194304 4196468 140727554977296 140625886993424 140626407036629 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31944704 140727554982879 140727554983046 140727554983046 140727554985935 0 [pid=31935/tid=31944] ppid=31912 vsize=8414124 memory=904996 CPUtime=0 cores=0-7 /proc/31935/task/31944/stat : 31944 (java) S 31912 31912 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509736490 8616062976 30095 33554432000 4194304 4196468 140727554977296 140625885940880 140626407036629 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31944704 140727554982879 140727554983046 140727554983046 140727554985935 0 [pid=31935/tid=31945] ppid=31912 vsize=8414124 memory=-8816466334524404114 CPUtime=0 cores=0-7 /proc/31935/task/31945/stat : 31945 (java) S 31912 31912 31589 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 24 0 509736492 8616062976 30095 33554432000 4194304 4196468 140727554977296 140625836050416 140626407037570 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31944704 140727554982879 140727554983046 140727554983046 140727554985935 0 [pid=31935/tid=31946] ppid=31912 vsize=8414124 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/31935/task/31946/stat : 31946 (java) S 31912 31912 31589 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 509736492 8616062976 30095 33554432000 4194304 4196468 140727554977296 140625081000864 140626407036629 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31944704 140727554982879 140727554983046 140727554983046 140727554985935 0 [pid=31935/tid=31947] ppid=31912 vsize=8414124 memory=3688 CPUtime=0 cores=0-7 /proc/31935/task/31947/stat : 31947 (java) S 31912 31912 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509736492 8616062976 30095 33554432000 4194304 4196468 140727554977296 140624812565488 140626407036629 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31944704 140727554982879 140727554983046 140727554983046 140727554985935 0 [pid=31935/tid=31948] ppid=31912 vsize=8414124 memory=1984 CPUtime=0 cores=0-7 /proc/31935/task/31948/stat : 31948 (java) S 31912 31912 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509736495 8616062976 30095 33554432000 4194304 4196468 140727554977296 140624438057168 140626407045019 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31944704 140727554982879 140727554983046 140727554983046 140727554985935 0 [pid=31935/tid=31949] ppid=31912 vsize=8414124 memory=1440 CPUtime=0.04 cores=0-7 /proc/31935/task/31949/stat : 31949 (java) S 31912 31912 31589 0 -1 1077944384 381 0 0 0 4 0 0 0 20 0 24 0 509736495 8616062976 30095 33554432000 4194304 4196468 140727554977296 140625834998256 140626407037570 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31944704 140727554982879 140727554983046 140727554983046 140727554985935 0 [pid=31935/tid=31950] ppid=31912 vsize=8414124 memory=808 CPUtime=0.06 cores=0-7 /proc/31935/task/31950/stat : 31950 (java) S 31912 31912 31589 0 -1 1077944384 307 0 0 0 6 0 0 0 20 0 24 0 509736495 8616062976 30095 33554432000 4194304 4196468 140727554977296 140625833945712 140626407037570 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31944704 140727554982879 140727554983046 140727554983046 140727554985935 0 [pid=31935/tid=31951] ppid=31912 vsize=8414124 memory=2580 CPUtime=0.08 cores=0-7 /proc/31935/task/31951/stat : 31951 (java) S 31912 31912 31589 0 -1 1077944384 411 0 0 0 8 0 0 0 20 0 24 0 509736495 8616062976 30095 33554432000 4194304 4196468 140727554977296 140625832893168 140626407037570 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31944704 140727554982879 140727554983046 140727554983046 140727554985935 0 [pid=31935/tid=31952] ppid=31912 vsize=8414124 memory=1760 CPUtime=0.18 cores=0-7 /proc/31935/task/31952/stat : 31952 (java) S 31912 31912 31589 0 -1 1077944384 729 0 0 0 18 0 0 0 20 0 24 0 509736495 8616062976 30095 33554432000 4194304 4196468 140727554977296 140625831840624 140626407037570 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31944704 140727554982879 140727554983046 140727554983046 140727554985935 0 [pid=31935/tid=31953] ppid=31912 vsize=8414124 memory=111636 CPUtime=0 cores=0-7 /proc/31935/task/31953/stat : 31953 (java) S 31912 31912 31589 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509736495 8616062976 30095 33554432000 4194304 4196468 140727554977296 140623940151520 140626407036629 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31944704 140727554982879 140727554983046 140727554983046 140727554985935 0 [pid=31935/tid=31954] ppid=31912 vsize=8414124 memory=808 CPUtime=0.1 cores=0-7 /proc/31935/task/31954/stat : 31954 (java) S 31912 31912 31589 0 -1 1077944384 11 0 0 0 4 6 0 0 20 0 24 0 509736496 8616062976 30095 33554432000 4194304 4196468 140727554977296 140625830787504 140626407037570 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 5 0 0 6293624 6294260 31944704 140727554982879 140727554983046 140727554983046 140727554985935 0 [pid=31935/tid=31956] ppid=31912 vsize=8414124 memory=1652 CPUtime=0 cores=0-7 /proc/31935/task/31956/stat : 31956 (java) S 31912 31912 31589 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 509736560 8616062976 30095 33554432000 4194304 4196468 140727554977296 140625822753984 140626407051033 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 31944704 140727554982879 140727554983046 140727554983046 140727554985935 0 [pid=31935/tid=31958] ppid=31912 vsize=8414124 memory=4100 CPUtime=0 cores=0-7 /proc/31935/task/31958/stat : 31958 (java) S 31912 31912 31589 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 509736560 8616062976 30095 33554432000 4194304 4196468 140727554977296 140623269052176 140626407048349 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 31944704 140727554982879 140727554983046 140727554983046 140727554985935 0 [pid=31935/tid=31959] ppid=31912 vsize=8414124 memory=1804 CPUtime=0 cores=0-7 /proc/31935/task/31959/stat : 31959 (java) S 31912 31912 31589 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 24 0 509736560 8616062976 30095 33554432000 4194304 4196468 140727554977296 140623537487760 140626407048349 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 31944704 140727554982879 140727554983046 140727554983046 140727554985935 0 [pid=31935/tid=31960] ppid=31912 vsize=8414124 memory=74948 CPUtime=0 cores=0-7 /proc/31935/task/31960/stat : 31960 (java) S 31912 31912 31589 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 509736562 8616062976 30095 33554432000 4194304 4196468 140727554977296 140623000624816 140626407036629 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31944704 140727554982879 140727554983046 140727554983046 140727554985935 0 Current children cumulated CPU time: 1161.21 s Current children cumulated vsize: 9950572 KiB Current children cumulated memory: 1026904 KiB [startup+152.202 s] /proc/loadavg: 8.14 7.72 5.78 2/217 31979 /proc/meminfo: memFree=24666476/32770624 swapFree=66953492/67108860 [pid=31912] ppid=31909 vsize=113128 memory=1476 CPUtime=6.57 cores=0-7 /proc/31912/stat : 31912 (scop.sh) S 31909 31912 31589 0 -1 4202496 584 27310 0 0 0 0 620 37 20 0 1 0 509736145 115843072 369 33554432000 4194304 5098028 140722201252656 140722201249400 140135758164604 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 24707072 140722201260797 140722201261144 140722201261144 140722201264073 0 /proc/31912/statm: 28282 369 311 221 0 87 0 [pid=31935] ppid=31912 vsize=8283048 memory=128740 CPUtime=1155.01 cores=0-7 /proc/31935/stat : 31935 (java) S 31912 31912 31589 0 -1 1077944320 22159 692528 0 0 137 9 115181 174 20 0 22 0 509736489 8481841152 32185 33554432000 4194304 4196468 140727554977296 140727554959840 140626407026423 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31944704 140727554982879 140727554983046 140727554983046 140727554985935 0 /proc/31935/statm: 2070762 32185 3223 1 0 2032106 0 [pid=31935/tid=31936] ppid=31912 vsize=8283048 memory=1440 CPUtime=1154.3 cores=0-7 /proc/31935/task/31936/stat : 31936 (java) R 31912 31912 31589 0 -1 4202560 17515 692528 0 0 70 5 115181 174 20 0 22 0 509736489 8481841152 32185 33554432000 4194304 4196468 140727554977296 140626378837680 140626399277987 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31944704 140727554982879 140727554983046 140727554983046 140727554985935 0 [pid=31935/tid=31937] ppid=31912 vsize=8283048 memory=808 CPUtime=1153.55 cores=0-7 /proc/31935/task/31937/stat : 31937 (java) S 31912 31912 31589 0 -1 1077944384 1 692528 0 0 0 0 115181 174 20 0 22 0 509736490 8481841152 32185 33554432000 4194304 4196468 140727554977296 140626411268368 140626407036629 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31944704 140727554982879 140727554983046 140727554983046 140727554985935 0 [pid=31935/tid=31938] ppid=31912 vsize=8283048 memory=3688 CPUtime=1153.55 cores=0-7 /proc/31935/task/31938/stat : 31938 (java) S 31912 31912 31589 0 -1 1077944384 3 692528 0 0 0 0 115181 174 20 0 22 0 509736490 8481841152 32185 33554432000 4194304 4196468 140727554977296 140626225424784 140626407036629 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31944704 140727554982879 140727554983046 140727554983046 140727554985935 0 [pid=31935/tid=31939] ppid=31912 vsize=8283048 memory=1984 CPUtime=1153.55 cores=0-7 /proc/31935/task/31939/stat : 31939 (java) S 31912 31912 31589 0 -1 1077944384 3 692528 0 0 0 0 115181 174 20 0 22 0 509736490 8481841152 32185 33554432000 4194304 4196468 140727554977296 140626224372240 140626407036629 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31944704 140727554982879 140727554983046 140727554983046 140727554985935 0 [pid=31935/tid=31940] ppid=31912 vsize=8283048 memory=1440 CPUtime=1153.55 cores=0-7 /proc/31935/task/31940/stat : 31940 (java) S 31912 31912 31589 0 -1 1077944384 1 692528 0 0 0 0 115181 174 20 0 22 0 509736490 8481841152 32185 33554432000 4194304 4196468 140727554977296 140626223319696 140626407036629 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31944704 140727554982879 140727554983046 140727554983046 140727554985935 0 [pid=31935/tid=31941] ppid=31912 vsize=8283048 memory=808 CPUtime=1153.55 cores=0-7 /proc/31935/task/31941/stat : 31941 (java) S 31912 31912 31589 0 -1 1077944384 2 692528 0 0 0 0 115181 174 20 0 22 0 509736490 8481841152 32185 33554432000 4194304 4196468 140727554977296 140625889098512 140626407036629 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31944704 140727554982879 140727554983046 140727554983046 140727554985935 0 [pid=31935/tid=31942] ppid=31912 vsize=8283048 memory=2580 CPUtime=1153.55 cores=0-7 /proc/31935/task/31942/stat : 31942 (java) S 31912 31912 31589 0 -1 1077944384 2 692528 0 0 0 0 115181 174 20 0 22 0 509736490 8481841152 32185 33554432000 4194304 4196468 140727554977296 140625888045968 140626407036629 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31944704 140727554982879 140727554983046 140727554983046 140727554985935 0 [pid=31935/tid=31943] ppid=31912 vsize=8283048 memory=1760 CPUtime=1153.55 cores=0-7 /proc/31935/task/31943/stat : 31943 (java) S 31912 31912 31589 0 -1 1077944384 2 692528 0 0 0 0 115181 174 20 0 22 0 509736490 8481841152 32185 33554432000 4194304 4196468 140727554977296 140625886993424 140626407036629 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31944704 140727554982879 140727554983046 140727554983046 140727554985935 0 [pid=31935/tid=31944] ppid=31912 vsize=8283048 memory=111636 CPUtime=1153.55 cores=0-7 /proc/31935/task/31944/stat : 31944 (java) S 31912 31912 31589 0 -1 1077944384 1 692528 0 0 0 0 115181 174 20 0 22 0 509736490 8481841152 32185 33554432000 4194304 4196468 140727554977296 140625885940880 140626407036629 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31944704 140727554982879 140727554983046 140727554983046 140727554985935 0 [pid=31935/tid=31945] ppid=31912 vsize=8283048 memory=808 CPUtime=1153.55 cores=0-7 /proc/31935/task/31945/stat : 31945 (java) S 31912 31912 31589 0 -1 1077944384 10 692528 0 0 0 0 115181 174 20 0 22 0 509736492 8481841152 32185 33554432000 4194304 4196468 140727554977296 140625836050416 140626407037570 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31944704 140727554982879 140727554983046 140727554983046 140727554985935 0 [pid=31935/tid=31946] ppid=31912 vsize=8283048 memory=0 CPUtime=1153.55 cores=0-7 /proc/31935/task/31946/stat : 31946 (java) S 31912 31912 31589 0 -1 1077944384 13 692528 0 0 0 0 115181 174 20 0 22 0 509736492 8481841152 32185 33554432000 4194304 4196468 140727554977296 140625081000864 140626407036629 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31944704 140727554982879 140727554983046 140727554983046 140727554985935 0 [pid=31935/tid=31947] ppid=31912 vsize=8283048 memory=7230638415855315031 CPUtime=1153.55 cores=0-7 /proc/31935/task/31947/stat : 31947 (java) S 31912 31912 31589 0 -1 1077944384 1 692528 0 0 0 0 115181 174 20 0 22 0 509736492 8481841152 32185 33554432000 4194304 4196468 140727554977296 140624812565488 140626407036629 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31944704 140727554982879 140727554983046 140727554983046 140727554985935 0 [pid=31935/tid=31948] ppid=31912 vsize=8283048 memory=7230638415855315287 CPUtime=1153.55 cores=0-7 /proc/31935/task/31948/stat : 31948 (java) S 31912 31912 31589 0 -1 1077944384 1 692528 0 0 0 0 115181 174 20 0 22 0 509736495 8481841152 32185 33554432000 4194304 4196468 140727554977296 140624438057168 140626407045019 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31944704 140727554982879 140727554983046 140727554983046 140727554985935 0 [pid=31935/tid=31949] ppid=31912 vsize=8283048 memory=7230638415855315287 CPUtime=1153.63 cores=0-7 /proc/31935/task/31949/stat : 31949 (java) S 31912 31912 31589 0 -1 1077944384 637 692528 0 0 8 0 115181 174 20 0 22 0 509736495 8481841152 32185 33554432000 4194304 4196468 140727554977296 140625834998256 140626407037570 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31944704 140727554982879 140727554983046 140727554983046 140727554985935 0 [pid=31935/tid=31950] ppid=31912 vsize=8283048 memory=7230638415855315287 CPUtime=1153.64 cores=0-7 /proc/31935/task/31950/stat : 31950 (java) S 31912 31912 31589 0 -1 1077944384 507 692528 0 0 9 0 115181 174 20 0 22 0 509736495 8481841152 32185 33554432000 4194304 4196468 140727554977296 140625833945712 140626407037570 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31944704 140727554982879 140727554983046 140727554983046 140727554985935 0 [pid=31935/tid=31951] ppid=31912 vsize=8283048 memory=7230638415855315031 CPUtime=1153.65 cores=0-7 /proc/31935/task/31951/stat : 31951 (java) S 31912 31912 31589 0 -1 1077944384 522 692528 0 0 10 0 115181 174 20 0 22 0 509736495 8481841152 32185 33554432000 4194304 4196468 140727554977296 140625832893168 140626407037570 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31944704 140727554982879 140727554983046 140727554983046 140727554985935 0 [pid=31935/tid=31952] ppid=31912 vsize=8283048 memory=7230593322272337029 CPUtime=1153.77 cores=0-7 /proc/31935/task/31952/stat : 31952 (java) S 31912 31912 31589 0 -1 1077944384 1008 692528 0 0 22 0 115181 174 20 0 22 0 509736495 8481841152 32185 33554432000 4194304 4196468 140727554977296 140625831840624 140626407037570 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31944704 140727554982879 140727554983046 140727554983046 140727554985935 0 [pid=31935/tid=31953] ppid=31912 vsize=8283048 memory=4206186544037388384 CPUtime=1153.55 cores=0-7 /proc/31935/task/31953/stat : 31953 (java) S 31912 31912 31589 0 -1 1077944384 3 692528 0 0 0 0 115181 174 20 0 22 0 509736495 8481841152 32185 33554432000 4194304 4196468 140727554977296 140623940151520 140626407036629 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31944704 140727554982879 140727554983046 140727554983046 140727554985935 0 [pid=31935/tid=31954] ppid=31912 vsize=8283048 memory=6944656575208382560 CPUtime=1153.65 cores=0-7 /proc/31935/task/31954/stat : 31954 (java) S 31912 31912 31589 0 -1 1077944384 11 692528 0 0 4 6 115181 174 20 0 22 0 509736496 8481841152 32185 33554432000 4194304 4196468 140727554977296 140625830787504 140626407037570 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 5 0 0 6293624 6294260 31944704 140727554982879 140727554983046 140727554983046 140727554985935 0 [pid=31935/tid=31956] ppid=31912 vsize=8283048 memory=6943526294502006880 CPUtime=1153.55 cores=0-7 /proc/31935/task/31956/stat : 31956 (java) S 31912 31912 31589 0 -1 1077944384 23 692528 0 0 0 0 115181 174 20 0 22 0 509736560 8481841152 32185 33554432000 4194304 4196468 140727554977296 140625822753168 140626407037570 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31944704 140727554982879 140727554983046 140727554983046 140727554985935 0 [pid=31935/tid=31960] ppid=31912 vsize=8283048 memory=6958453264360695866 CPUtime=1153.55 cores=0-7 /proc/31935/task/31960/stat : 31960 (java) S 31912 31912 31589 0 -1 1077944384 11 692528 0 0 0 0 115181 174 20 0 22 0 509736562 8481841152 32185 33554432000 4194304 4196468 140727554977296 140623000626608 140626407037570 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31944704 140727554982879 140727554983046 140727554983046 140727554985935 0 Current children cumulated CPU time: 1161.58 s Current children cumulated vsize: 8396176 KiB Current children cumulated memory: 130216 KiB [startup+152.301 s] /proc/loadavg: 8.14 7.72 5.78 2/217 31979 /proc/meminfo: memFree=24666476/32770624 swapFree=66953492/67108860 [pid=31912] ppid=31909 vsize=113128 memory=1476 CPUtime=6.57 cores=0-7 /proc/31912/stat : 31912 (scop.sh) S 31909 31912 31589 0 -1 4202496 584 27310 0 0 0 0 620 37 20 0 1 0 509736145 115843072 369 33554432000 4194304 5098028 140722201252656 140722201249400 140135758164604 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 24707072 140722201260797 140722201261144 140722201261144 140722201264073 0 /proc/31912/statm: 28282 369 311 221 0 87 0 Current children cumulated CPU time: 6.57 s Current children cumulated vsize: 113128 KiB Current children cumulated memory: 1476 KiB Child status: 0 Real time (s): 152.308 CPU time (s): 1161.88 CPU user time (s): 1159.64 CPU system time (s): 2.23525 CPU usage (%): 762.849 Max. virtual memory (cumulated for all children) (KiB): 27441876 Max. memory (cumulated for all children) (KiB): 1729328 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1159.64 system time used= 2.23525 maximum resident set size= 1730652 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 743986 page faults= 0 swaps= 0 block input operations= 0 block output operations= 17656 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 19420 involuntary context switches= 12257 # summary of solver processes directly reported to runsolver: # pid: 31912 # total CPU time (s): 1161.88 # total CPU user time (s): 1159.64 # total CPU system time (s): 2.23525 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 1.369 second user time and 2.20729 second system time The end
Begin job on node119 at 2019-09-24 17:16:13 IDJOB=4405277 IDBENCH=127942 IDSOLVER=2867 FILE ID=node119/4405277-1569338214 RUNJOBID= node119-1569335938-31616 PBS_JOBID= 21705065 Free space on /var/tmp= 13512 MiB SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-09-22) BENCH NAME= XCSP17/RectPacking/RectPacking-m1-perf/RectPacking-perfect-152.xml COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -order DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405277-1569338214/watcher-4405277-1569338214 -o /var/tmp/evaluation-result-4405277-1569338214/solver-4405277-1569338214 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node119-1569335938-31616 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405277-1569338214.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 95353c685d9c4a971cd57b59ef19ccd8 RANDOM SEED=969539028 node119.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.47 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.47 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.47 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.47 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 25691360 kB MemAvailable: 31800692 kB Buffers: 123068 kB Cached: 6085592 kB SwapCached: 46744 kB Active: 3086272 kB Inactive: 3173816 kB Active(anon): 4516 kB Inactive(anon): 104076 kB Active(file): 3081756 kB Inactive(file): 3069740 kB Unevictable: 107592 kB Mlocked: 107592 kB SwapTotal: 67108860 kB SwapFree: 66953492 kB Dirty: 20692 kB Writeback: 0 kB AnonPages: 113632 kB Mapped: 57708 kB Shmem: 48536 kB Slab: 414428 kB SReclaimable: 386296 kB SUnreclaim: 28132 kB KernelStack: 3360 kB PageTables: 4976 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 514080 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 67584 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 126336 kB DirectMap2M: 33419264 kB Free space on /var/tmp at the end= 13492 MiB End job on node119 at 2019-09-24 17:18:45