Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
Fun-sCOP hybrid+ManyGlucose (2019-06-15) | SAT | 2854.27 | 377.014 |
Name | RectPacking/RectPacking-m1-perf/ RectPacking-perfect-154.xml |
MD5SUM | 9c35d8cb8d03f0164c4f0b6ed4b5e670 |
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 | 369.492 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 50 |
Number of constraints | 53 |
Number of domains | 1 |
Minimum domain size | 524 |
Maximum domain size | 524 |
Distribution of domain sizes | [{"size":524,"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 -hybrid -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-32361-serial-file.bin HOME/instance-4392706-1568429512.xml 0.65/0.54 0.65/0.54 Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15) 0.65/0.54 0.65/0.56 c BEGIN-Prog: Sat Sep 14 04:51:13 CEST 2019 0.65/0.56 c PID: 32364 0.65/0.56 c IP: 172.20.3.150 0.65/0.56 c HOST: node150.alineos.net 0.65/0.57 c (0,0) Parsing Begin 1.37/0.90 c (0,0) Parsing End 1.37/0.91 c (0,0) CSP: 50 int (0 aux), 0 bool (0 aux), 53 ctr, max domain size 524 1.37/0.91 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB) 1.37/0.91 c (0,0) Constraint Name Generate Begin 1.37/0.91 c (0,0) Ctr:HOME/instance-4392706-1568429512.xml,Le:NoOverlap:Num:Var 1.37/0.91 c (0,0) Constraint Name Generate End 1.37/0.91 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB) 1.37/0.91 c (0,0) CSP to CSPinCNF Begin 1.37/0.99 c (0,0) translated 6 (10%) constraints 1.37/1.00 c (0,0) translated 11 (20%) constraints 1.37/1.00 c (0,0) translated 16 (30%) constraints 1.37/1.00 c (0,0) translated 22 (40%) constraints 1.53/1.01 c (0,0) translated 27 (50%) constraints 1.53/1.01 c (0,0) translated 32 (60%) constraints 1.53/1.01 c (0,0) translated 38 (70%) constraints 1.53/1.01 c (0,0) translated 43 (80%) constraints 1.53/1.02 c (0,0) translated 48 (90%) constraints 2.12/1.28 c (0,0) translated 53 (100%) constraints 2.12/1.28 c (0,0) =========================================== 2.46/1.30 c (0,0) Hybrid: #OE=50, #LE=0 2.46/1.30 c (0,0) Hybrid 2.46/1.30 c (0,0) =========================================== 2.46/1.31 c (0,0) translated 36 (10%) constraints 2.46/1.32 c (0,0) translated 71 (20%) constraints 2.46/1.32 c (0,0) translated 106 (30%) constraints 2.46/1.33 c (0,0) translated 141 (40%) constraints 2.46/1.34 c (0,0) translated 176 (50%) constraints 2.46/1.34 c (0,0) translated 212 (60%) constraints 2.46/1.34 c (0,0) translated 247 (70%) constraints 2.46/1.35 c (0,0) translated 282 (80%) constraints 2.46/1.35 c (0,0) translated 317 (90%) constraints 2.46/1.36 c (0,0) translated 352 (100%) constraints 2.46/1.36 c (0,0) CSP to CSPinCNF End 2.46/1.36 c (0,0) CSP: 50 int (0 aux), 0 bool (0 aux), 352 ctr, max domain size 516 2.46/1.36 c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB) 2.46/1.36 c (0,0) CSPinCNF Propagation Begin 2.46/1.39 c (0,0) 0 values, 6 unsatisfiable literals, and 51 valid clauses are removed 2.46/1.39 c (0,0) CSPinCNF Propagation End 2.46/1.39 c (0,0) CSP: 50 int (0 aux), 0 bool (0 aux), 301 ctr, max domain size 516 2.46/1.39 c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB) 2.84/1.40 c (0,0) Hybrid: #OE=50, #LE=0 2.84/1.40 c (0,0) Simplify CSPinCNF Begin 2.84/1.49 c (0,0) Simplify CSPinCNF End 3.09/1.50 c (0,0) CSP: 50 int (0 aux), 1194 bool (1194 aux), 1495 ctr, max domain size 516 3.09/1.50 c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB) 3.09/1.50 c (0,0) Calculate Precise Domain Begin 3.09/1.50 c (0,0) 0 values are removed by re-calculation 3.09/1.50 c (0,0) Calculate Precise Domain End 3.09/1.50 c (0,0) CSP: 50 int (0 aux), 1194 bool (1194 aux), 1495 ctr, max domain size 516 3.09/1.50 c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB) 3.09/1.50 c (0,0) CSPinCNF to SatSolver Begin 4.62/2.00 c (1,1) 150 (10 %) CSP clauses are encoded (0 SAT variables, 72885 SAT clauses) 4.97/2.19 c (1,1) 299 (20 %) CSP clauses are encoded (0 SAT variables, 122198 SAT clauses) 5.21/2.38 c (1,1) 449 (30 %) CSP clauses are encoded (0 SAT variables, 168170 SAT clauses) 5.42/2.56 c (2,2) 598 (40 %) CSP clauses are encoded (0 SAT variables, 214704 SAT clauses) 5.63/2.73 c (2,2) 748 (50 %) CSP clauses are encoded (0 SAT variables, 257938 SAT clauses) 5.74/2.89 c (2,2) 897 (60 %) CSP clauses are encoded (0 SAT variables, 300146 SAT clauses) 5.95/3.04 c (2,2) 1047 (70 %) CSP clauses are encoded (0 SAT variables, 339174 SAT clauses) 6.05/3.18 c (2,2) 1196 (80 %) CSP clauses are encoded (0 SAT variables, 376105 SAT clauses) 6.30/3.51 c (2,2) 1346 (90 %) CSP clauses are encoded (0 SAT variables, 407495 SAT clauses) 6.30/3.56 c (3,2) 1495 (100 %) CSP clauses are encoded (0 SAT variables, 431252 SAT clauses) 6.30/3.56 c (3,2) CSPinCNF to SatSolver End 6.30/3.56 c (3,2) Heap : 1802 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB) 6.30/3.56 c (3,2) 22694 bool, 431404 clause 6.30/3.56 c (3,2) Export Begin 6.43/3.64 c (3,2) Export to HOME/scop-32361-serial-file.bin 6.43/3.64 c (3,2) Export End 6.43/3.65 c (3,2) Export File Size: 0.01 MB 6.43/3.65 c (3,2) 0,0,0,0,0,0,3,STOP-AFTER(DIMACS) 6.43/3.65 c END-Prog: Sat Sep 14 04:51:16 CEST 2019 0.00/3.83 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-32361-serial-file.bin 7.03/4.28 c (0,0) Read Serial File Begin 7.03/4.28 c (0,0) HOME/scop-32361-serial-file.bin 7.30/4.48 c (0,0) Read Serial File End 7.45/4.50 7.45/4.50 Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15) 7.45/4.50 (Solving Process) 7.45/4.50 7.45/4.52 c BEGIN-Prog: Sat Sep 14 04:51:17 CEST 2019 7.45/4.52 c PID: 32384 7.45/4.52 c IP: 172.20.3.150 7.45/4.52 c HOST: node150.alineos.net 7.45/4.52 c (0,0) SatSolver.solve Begin 7.45/4.52 c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392706-1568429512.xml-scop-32364.cnf 7.45/4.55 c (0,0) c 7.45/4.55 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.45/4.55 c (0,0) c 7.45/4.55 c (0,0) c WARNING: for repeatability, setting FPU to use double precision 7.45/4.55 c (0,0) c 8 solvers engines and 1 companion as a blackboard created. 7.45/4.55 c (0,0) c ========================================[ Problem Statistics ]=========================================== 7.45/4.55 c (0,0) c | | 7.68/4.70 c (0,0) c | Number of variables: 22694 | 7.68/4.70 c (0,0) c | Number of clauses: 431404 | 7.68/4.70 c (0,0) c | Parse time: 0.14 s | 7.68/4.70 c (0,0) c | | 8.42/5.32 c (1,0) c | Simplification time: 0.61 s | 8.42/5.32 c (1,0) c | | 8.42/5.32 c (1,0) c | Generating clones | 8.52/5.45 c (1,0) c | all clones generated. Memory = 306.47Mb. | 8.52/5.45 c (1,0) c ========================================================================================================| 8.52/5.45 c (1,0) c 8.52/5.45 c (1,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 8.52/5.45 c (1,0) c 8.52/5.45 c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 8.52/5.45 c (1,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8.52/5.45 c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 8.52/5.45 c (1,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 8.52/5.45 c (1,0) c | adaptStrategeis | True | False | True | False | True | False | True | False | 8.52/5.45 c (1,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 8.52/5.45 c (1,0) c | Initial random_seed | 91648253 | 91648254 | 91648255 | 91648256 | 91648257 | 91648258 | 91648259 | 91648260 | 8.52/5.45 c (1,0) c | chanseokStrategy | False | False | False | False | False | False | False | False | 8.52/5.45 c (1,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 8.52/5.45 c (1,0) c | glureduce | True | True | True | True | True | True | True | True | 8.52/5.45 c (1,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 8.52/5.45 c (1,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 8.52/5.45 c (1,0) c | luby_restart | False | False | False | False | False | False | False | False | 8.52/5.45 c (1,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 8.52/5.45 c (1,0) c | var_decay | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 8.52/5.45 c (1,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 8.52/5.45 c (1,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 8.52/5.45 c (1,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 8.52/5.45 c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 240.80/34.69 c (30,0) c 240.80/34.69 c (30,0) c |------------------------------------------------------------------------------------------------------------------------| 240.80/34.69 c (30,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 240.80/34.69 c (30,0) c |------------------------------------------------------------------------------------------------------------------------| 240.80/34.69 c (30,0) c | 0 | 233 | 131596 | 57720 | 62125 | 19179 | 9283 | 64608 | 7317 | 185 | 20 | 0.053 | 240.80/34.69 c (30,0) c | 1 | 283 | 134564 | 60562 | 57300 | 22032 | 10349 | 66344 | 7067 | 193 | 20 | 0.053 | 240.80/34.69 c (30,0) c | 2 | 192 | 134454 | 63989 | 56605 | 25446 | 11348 | 68320 | 7174 | 204 | 20 | 0.053 | 240.80/34.69 c (30,0) c | 3 | 219 | 135176 | 63614 | 52930 | 25077 | 10670 | 69276 | 7391 | 204 | 20 | 0.053 | 240.80/34.69 c (30,0) c | 4 | 253 | 137672 | 62824 | 56816 | 24293 | 10976 | 68153 | 7476 | 202 | 20 | 0.053 | 240.80/34.69 c (30,0) c | 5 | 247 | 130997 | 62393 | 52143 | 23857 | 10250 | 68464 | 7484 | 200 | 20 | 0.053 | 240.80/34.69 c (30,0) c | 6 | 225 | 133848 | 61466 | 62965 | 22928 | 10222 | 67589 | 7234 | 201 | 20 | 0.053 | 240.80/34.69 c (30,0) c | 7 | 226 | 130909 | 61940 | 54527 | 23402 | 10256 | 67999 | 7284 | 201 | 20 | 0.053 | 240.80/34.69 c (30,0) c 240.80/34.69 c (30,0) c synthesis 494508 conflicts 379499061 propagations 2122 conflicts/sec 1628609 propagations/sec 240.80/34.69 c (30,0) c real: 30.1442 s, cpu: 233.02 s, memory: 1088.17 Mb 468.81/63.69 c (59,0) c 468.81/63.69 c (59,0) c |------------------------------------------------------------------------------------------------------------------------| 468.81/63.69 c (59,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 468.81/63.69 c (59,0) c |------------------------------------------------------------------------------------------------------------------------| 468.81/63.69 c (59,0) c | 0 | 372 | 210869 | 99199 | 75107 | 28033 | 14664 | 101729 | 12363 | 359 | 20 | 0.053 | 468.81/63.69 c (59,0) c | 1 | 424 | 215588 | 104258 | 70034 | 33089 | 15913 | 104255 | 12207 | 374 | 20 | 0.053 | 468.81/63.69 c (59,0) c | 2 | 398 | 215604 | 106155 | 68933 | 34984 | 16284 | 104880 | 12681 | 379 | 20 | 0.053 | 468.81/63.69 c (59,0) c | 3 | 400 | 216883 | 105470 | 65078 | 34289 | 15663 | 105467 | 12449 | 379 | 20 | 0.053 | 468.81/63.69 c (59,0) c | 4 | 431 | 218033 | 104921 | 69241 | 33758 | 16104 | 104581 | 12645 | 379 | 20 | 0.053 | 468.81/63.69 c (59,0) c | 5 | 468 | 214003 | 104427 | 65302 | 33244 | 15411 | 105148 | 12921 | 378 | 20 | 0.053 | 468.81/63.69 c (59,0) c | 6 | 454 | 216726 | 103480 | 75137 | 32298 | 14921 | 106083 | 12565 | 379 | 20 | 0.053 | 468.81/63.69 c (59,0) c | 7 | 399 | 209281 | 103519 | 65958 | 32348 | 15226 | 104537 | 12440 | 379 | 20 | 0.053 | 468.81/63.69 c (59,0) c 468.81/63.69 c (59,0) c synthesis 831429 conflicts 665479337 propagations 1805 conflicts/sec 1444557 propagations/sec 468.81/63.69 c (59,0) c real: 59.1442 s, cpu: 460.681 s, memory: 1328.68 Mb 694.69/92.69 c (88,0) c 694.69/92.69 c (88,0) c |------------------------------------------------------------------------------------------------------------------------| 694.69/92.69 c (88,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 694.69/92.69 c (88,0) c |------------------------------------------------------------------------------------------------------------------------| 694.69/92.69 c (88,0) c | 0 | 520 | 278067 | 135906 | 81971 | 44528 | 18691 | 130314 | 16741 | 531 | 20 | 0.053 | 694.69/92.69 c (88,0) c | 1 | 583 | 284065 | 141325 | 77286 | 27140 | 20052 | 132259 | 16500 | 547 | 20 | 0.053 | 694.69/92.69 c (88,0) c | 2 | 587 | 286610 | 143191 | 77074 | 29022 | 20307 | 132768 | 16722 | 551 | 20 | 0.053 | 694.69/92.69 c (88,0) c | 3 | 550 | 286343 | 142448 | 73125 | 28255 | 19648 | 133503 | 16622 | 551 | 20 | 0.053 | 694.69/92.69 c (88,0) c | 4 | 594 | 285107 | 141142 | 75376 | 26955 | 19919 | 133026 | 16764 | 551 | 20 | 0.053 | 694.69/92.69 c (88,0) c | 5 | 606 | 282291 | 142172 | 72502 | 27982 | 19528 | 133586 | 17041 | 551 | 20 | 0.053 | 694.69/92.69 c (88,0) c | 6 | 607 | 283849 | 139475 | 81411 | 25290 | 18825 | 134281 | 16669 | 551 | 20 | 0.053 | 694.69/92.69 c (88,0) c | 7 | 542 | 277602 | 139927 | 72845 | 25738 | 19077 | 133183 | 16536 | 551 | 20 | 0.053 | 694.69/92.69 c (88,0) c 694.69/92.69 c (88,0) c synthesis 1125586 conflicts 922715352 propagations 1640 conflicts/sec 1344472 propagations/sec 694.69/92.69 c (88,0) c real: 88.1443 s, cpu: 686.303 s, memory: 1392.68 Mb 925.97/122.69 c (118,0) c 925.97/122.69 c (118,0) c |------------------------------------------------------------------------------------------------------------------------| 925.97/122.69 c (118,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 925.97/122.69 c (118,0) c |------------------------------------------------------------------------------------------------------------------------| 925.97/122.69 c (118,0) c | 0 | 672 | 338905 | 170538 | 86230 | 30956 | 21987 | 156167 | 20363 | 705 | 20 | 0.053 | 925.97/122.69 c (118,0) c | 1 | 751 | 346184 | 174973 | 82299 | 35390 | 23389 | 156746 | 20072 | 720 | 20 | 0.053 | 925.97/122.69 c (118,0) c | 2 | 689 | 353300 | 179494 | 84026 | 39914 | 24284 | 156848 | 20123 | 725 | 20 | 0.053 | 925.97/122.69 c (118,0) c | 3 | 716 | 349373 | 176872 | 79104 | 37282 | 22939 | 157986 | 20315 | 725 | 20 | 0.053 | 925.97/122.69 c (118,0) c | 4 | 774 | 349196 | 175777 | 80512 | 36190 | 23198 | 157637 | 20659 | 725 | 20 | 0.053 | 925.97/122.69 c (118,0) c | 5 | 702 | 342203 | 177090 | 77884 | 37501 | 23151 | 157490 | 20449 | 725 | 20 | 0.053 | 925.97/122.69 c (118,0) c | 6 | 773 | 345556 | 173410 | 86303 | 33822 | 21949 | 158393 | 20243 | 725 | 20 | 0.053 | 925.97/122.69 c (118,0) c | 7 | 700 | 341586 | 174256 | 77790 | 34670 | 22472 | 158629 | 20143 | 725 | 20 | 0.053 | 925.97/122.69 c (118,0) c 925.97/122.69 c (118,0) c synthesis 1402410 conflicts 1167101188 propagations 1529 conflicts/sec 1272112 propagations/sec 925.97/122.69 c (118,0) c real: 118.144 s, cpu: 917.451 s, memory: 1328.68 Mb 1145.74/151.69 c (147,0) c 1145.74/151.69 c (147,0) c |------------------------------------------------------------------------------------------------------------------------| 1145.74/151.69 c (147,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 1145.74/151.69 c (147,0) c |------------------------------------------------------------------------------------------------------------------------| 1145.74/151.69 c (147,0) c | 0 | 744 | 394229 | 202571 | 90771 | 34985 | 25279 | 175512 | 23319 | 871 | 20 | 0.053 | 1145.74/151.69 c (147,0) c | 1 | 871 | 404455 | 206611 | 87417 | 39021 | 26566 | 178882 | 23285 | 889 | 20 | 0.053 | 1145.74/151.69 c (147,0) c | 2 | 783 | 408850 | 211933 | 88199 | 44349 | 27343 | 178122 | 23282 | 891 | 20 | 0.053 | 1145.74/151.69 c (147,0) c | 3 | 855 | 406865 | 207939 | 83840 | 40346 | 25976 | 179257 | 23418 | 891 | 20 | 0.053 | 1145.74/151.69 c (147,0) c | 4 | 878 | 403584 | 207438 | 84020 | 39851 | 26119 | 179069 | 23812 | 891 | 20 | 0.053 | 1145.74/151.69 c (147,0) c | 5 | 799 | 397275 | 208798 | 81615 | 41206 | 26087 | 179605 | 23485 | 891 | 20 | 0.053 | 1145.74/151.69 c (147,0) c | 6 | 885 | 401395 | 204820 | 90654 | 37228 | 24929 | 180570 | 23320 | 891 | 20 | 0.053 | 1145.74/151.69 c (147,0) c | 7 | 799 | 397547 | 205932 | 83530 | 38341 | 25534 | 174945 | 23245 | 891 | 20 | 0.053 | 1145.74/151.69 c (147,0) c 1145.74/151.69 c (147,0) c synthesis 1656043 conflicts 1392370535 propagations 1456 conflicts/sec 1224454 propagations/sec 1145.74/151.69 c (147,0) c real: 147.144 s, cpu: 1137.14 s, memory: 1358.33 Mb 1381.46/181.69 c (177,0) c 1381.46/181.69 c (177,0) c |------------------------------------------------------------------------------------------------------------------------| 1381.46/181.69 c (177,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 1381.46/181.69 c (177,0) c |------------------------------------------------------------------------------------------------------------------------| 1381.46/181.69 c (177,0) c | 0 | 842 | 451917 | 235742 | 94517 | 37556 | 28606 | 198340 | 26441 | 1052 | 20 | 0.053 | 1381.46/181.69 c (177,0) c | 1 | 989 | 459682 | 238561 | 90164 | 40367 | 29556 | 200411 | 26352 | 1071 | 20 | 0.053 | 1381.46/181.69 c (177,0) c | 2 | 898 | 465363 | 242859 | 92124 | 44678 | 30344 | 197157 | 26302 | 1058 | 20 | 0.053 | 1381.46/181.69 c (177,0) c | 3 | 982 | 458098 | 237850 | 86967 | 39664 | 28587 | 200132 | 26299 | 1063 | 20 | 0.053 | 1381.46/181.69 c (177,0) c | 4 | 964 | 456696 | 238537 | 87243 | 40352 | 29126 | 198660 | 26737 | 1061 | 20 | 0.053 | 1381.46/181.69 c (177,0) c | 5 | 897 | 448484 | 238853 | 85645 | 40673 | 28977 | 199010 | 26422 | 1062 | 20 | 0.053 | 1381.46/181.69 c (177,0) c | 6 | 1023 | 456061 | 235660 | 93840 | 37468 | 27853 | 199441 | 26151 | 1062 | 20 | 0.053 | 1381.46/181.69 c (177,0) c | 7 | 908 | 448604 | 235519 | 86726 | 37328 | 28114 | 199294 | 25974 | 1058 | 20 | 0.053 | 1381.46/181.69 c (177,0) c 1381.46/181.69 c (177,0) c synthesis 1903581 conflicts 1615671012 propagations 1387 conflicts/sec 1176917 propagations/sec 1381.46/181.69 c (177,0) c real: 177.144 s, cpu: 1372.8 s, memory: 1358.33 Mb 1612.13/210.69 c (206,0) c 1612.13/210.69 c (206,0) c |------------------------------------------------------------------------------------------------------------------------| 1612.13/210.69 c (206,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 1612.13/210.69 c (206,0) c |------------------------------------------------------------------------------------------------------------------------| 1612.13/210.69 c (206,0) c | 0 | 930 | 504144 | 265922 | 97251 | 34535 | 32136 | 218498 | 29169 | 1223 | 20 | 0.053 | 1612.13/210.69 c (206,0) c | 1 | 1099 | 508522 | 267114 | 92796 | 35718 | 32062 | 221468 | 28998 | 1242 | 20 | 0.053 | 1612.13/210.69 c (206,0) c | 2 | 1044 | 519016 | 271941 | 95508 | 40561 | 33176 | 217987 | 29058 | 1228 | 20 | 0.053 | 1612.13/210.69 c (206,0) c | 3 | 1104 | 510503 | 268426 | 89603 | 37034 | 31427 | 222223 | 29180 | 1243 | 20 | 0.053 | 1612.13/210.69 c (206,0) c | 4 | 1067 | 505627 | 267052 | 89481 | 35673 | 31691 | 220848 | 29615 | 1236 | 20 | 0.053 | 1612.13/210.69 c (206,0) c | 5 | 1009 | 496150 | 266637 | 88055 | 35254 | 31954 | 220171 | 29267 | 1231 | 20 | 0.053 | 1612.13/210.69 c (206,0) c | 6 | 1091 | 505567 | 264557 | 97442 | 66365 | 31351 | 217742 | 28956 | 1230 | 20 | 0.053 | 1612.13/210.69 c (206,0) c | 7 | 1005 | 498106 | 264845 | 89625 | 33455 | 30865 | 219540 | 28731 | 1230 | 20 | 0.053 | 1612.13/210.69 c (206,0) c 1612.13/210.69 c (206,0) c synthesis 2136494 conflicts 1827325705 propagations 1333 conflicts/sec 1139807 propagations/sec 1612.13/210.69 c (206,0) c real: 206.144 s, cpu: 1603.19 s, memory: 1358.33 Mb 1841.49/239.69 c (235,0) c 1841.49/239.69 c (235,0) c |------------------------------------------------------------------------------------------------------------------------| 1841.49/239.69 c (235,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 1841.49/239.69 c (235,0) c |------------------------------------------------------------------------------------------------------------------------| 1841.49/239.69 c (235,0) c | 0 | 1040 | 552671 | 294197 | 100320 | 62810 | 34541 | 237857 | 31655 | 1391 | 20 | 0.053 | 1841.49/239.69 c (235,0) c | 1 | 1180 | 557409 | 296096 | 95096 | 64701 | 34731 | 238081 | 31432 | 1411 | 20 | 0.053 | 1841.49/239.69 c (235,0) c | 2 | 1199 | 574841 | 301884 | 98503 | 70504 | 35885 | 238776 | 31885 | 1407 | 20 | 0.053 | 1841.49/239.69 c (235,0) c | 3 | 1196 | 560804 | 297513 | 93023 | 66121 | 34042 | 240782 | 31821 | 1411 | 20 | 0.053 | 1841.49/239.69 c (235,0) c | 4 | 1140 | 553959 | 296441 | 91457 | 65062 | 34313 | 240213 | 32033 | 1411 | 20 | 0.053 | 1841.49/239.69 c (235,0) c | 5 | 1092 | 546811 | 297389 | 90222 | 66005 | 35660 | 239144 | 31737 | 1410 | 20 | 0.053 | 1841.49/239.69 c (235,0) c | 6 | 1180 | 556680 | 294760 | 99670 | 63368 | 33787 | 240925 | 31666 | 1408 | 20 | 0.053 | 1841.49/239.69 c (235,0) c | 7 | 1123 | 552273 | 295928 | 92545 | 64538 | 33667 | 241044 | 31500 | 1408 | 20 | 0.053 | 1841.49/239.69 c (235,0) c 1841.49/239.69 c (235,0) c synthesis 2374208 conflicts 2045404644 propagations 1296 conflicts/sec 1116218 propagations/sec 1841.49/239.69 c (235,0) c real: 235.144 s, cpu: 1832.44 s, memory: 1358.33 Mb 2074.61/269.69 c (265,0) c 2074.61/269.69 c (265,0) c |------------------------------------------------------------------------------------------------------------------------| 2074.61/269.69 c (265,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 2074.61/269.69 c (265,0) c |------------------------------------------------------------------------------------------------------------------------| 2074.61/269.69 c (265,0) c | 0 | 1120 | 602124 | 323241 | 102342 | 56067 | 37654 | 256256 | 34091 | 1567 | 20 | 0.053 | 2074.61/269.69 c (265,0) c | 1 | 1291 | 607736 | 325869 | 97984 | 58676 | 37238 | 259830 | 33953 | 1587 | 20 | 0.053 | 2074.61/269.69 c (265,0) c | 2 | 1296 | 626722 | 332029 | 100606 | 64853 | 38375 | 258066 | 34396 | 1585 | 20 | 0.053 | 2074.61/269.69 c (265,0) c | 3 | 1310 | 612267 | 326742 | 95557 | 59549 | 36632 | 260454 | 34311 | 1587 | 20 | 0.053 | 2074.61/269.69 c (265,0) c | 4 | 1203 | 601221 | 325490 | 93758 | 58303 | 36755 | 259267 | 34368 | 1587 | 20 | 0.053 | 2074.61/269.69 c (265,0) c | 5 | 1180 | 595315 | 326282 | 92476 | 59095 | 38227 | 257364 | 34089 | 1577 | 20 | 0.053 | 2074.61/269.69 c (265,0) c | 6 | 1269 | 606362 | 323757 | 101938 | 56563 | 36815 | 258402 | 34186 | 1578 | 20 | 0.053 | 2074.61/269.69 c (265,0) c | 7 | 1237 | 602564 | 324826 | 94830 | 57638 | 36618 | 259578 | 33829 | 1585 | 20 | 0.053 | 2074.61/269.69 c (265,0) c 2074.61/269.69 c (265,0) c synthesis 2608236 conflicts 2258835715 propagations 1263 conflicts/sec 1093698 propagations/sec 2074.61/269.69 c (265,0) c real: 265.144 s, cpu: 2065.32 s, memory: 1358.33 Mb 2303.13/298.69 c (294,0) c 2303.13/298.69 c (294,0) c |------------------------------------------------------------------------------------------------------------------------| 2303.13/298.69 c (294,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 2303.13/298.69 c (294,0) c |------------------------------------------------------------------------------------------------------------------------| 2303.13/298.69 c (294,0) c | 0 | 1171 | 644733 | 348990 | 103800 | 43412 | 40565 | 271871 | 36400 | 1735 | 20 | 0.053 | 2303.13/298.69 c (294,0) c | 1 | 1378 | 653179 | 352232 | 99914 | 46639 | 39476 | 275282 | 36232 | 1755 | 20 | 0.053 | 2303.13/298.69 c (294,0) c | 2 | 1404 | 672304 | 358467 | 102599 | 52883 | 40454 | 275416 | 36797 | 1755 | 20 | 0.053 | 2303.13/298.69 c (294,0) c | 3 | 1382 | 651452 | 350073 | 97264 | 44478 | 38476 | 275484 | 36388 | 1740 | 20 | 0.053 | 2303.13/298.69 c (294,0) c | 4 | 1285 | 640118 | 348661 | 95460 | 43069 | 38624 | 274087 | 36452 | 1739 | 20 | 0.053 | 2303.13/298.69 c (294,0) c | 5 | 1302 | 641263 | 353159 | 93949 | 47568 | 40376 | 275131 | 36430 | 1753 | 20 | 0.053 | 2303.13/298.69 c (294,0) c | 6 | 1315 | 649521 | 351709 | 103754 | 46123 | 39848 | 275863 | 36423 | 1755 | 20 | 0.053 | 2303.13/298.69 c (294,0) c | 7 | 1303 | 639951 | 347700 | 96228 | 42113 | 39170 | 271976 | 35971 | 1738 | 20 | 0.053 | 2303.13/298.69 c (294,0) c 2303.13/298.69 c (294,0) c synthesis 2810991 conflicts 2447079060 propagations 1226 conflicts/sec 1067047 propagations/sec 2303.13/298.69 c (294,0) c real: 294.144 s, cpu: 2293.32 s, memory: 1358.33 Mb 2518.08/328.69 c (324,0) c 2518.08/328.69 c (324,0) c |------------------------------------------------------------------------------------------------------------------------| 2518.08/328.69 c (324,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 2518.08/328.69 c (324,0) c |------------------------------------------------------------------------------------------------------------------------| 2518.08/328.69 c (324,0) c | 0 | 1281 | 681042 | 370617 | 104895 | 65039 | 42105 | 286362 | 38206 | 1875 | 20 | 0.053 | 2518.88/328.71 c (324,0) c | 1 | 1448 | 690024 | 374320 | 101242 | 68728 | 41220 | 291853 | 38155 | 1895 | 20 | 0.053 | 2518.88/328.71 c (324,0) c | 2 | 1509 | 710731 | 380299 | 104754 | 74715 | 42197 | 290160 | 38619 | 1895 | 20 | 0.053 | 2518.88/328.71 c (324,0) c | 3 | 1430 | 689565 | 374232 | 98557 | 68637 | 40791 | 292359 | 38194 | 1895 | 20 | 0.053 | 2518.88/328.71 c (324,0) c | 4 | 1370 | 678889 | 371743 | 97183 | 66151 | 41081 | 289939 | 38242 | 1882 | 20 | 0.053 | 2518.88/328.71 c (324,0) c | 5 | 1378 | 675713 | 374752 | 95053 | 69161 | 42519 | 290578 | 38264 | 1894 | 20 | 0.053 | 2518.88/328.71 c (324,0) c | 6 | 1347 | 683959 | 373130 | 105042 | 67544 | 42605 | 290261 | 38261 | 1895 | 20 | 0.053 | 2518.88/328.71 c (324,0) c | 7 | 1358 | 681020 | 372039 | 98098 | 66452 | 42074 | 290374 | 37883 | 1889 | 20 | 0.053 | 2518.88/328.71 c (324,0) c 2518.88/328.71 c (324,0) c synthesis 2991132 conflicts 2613871240 propagations 1193 conflicts/sec 1042327 propagations/sec 2518.88/328.71 c (324,0) c real: 324.144 s, cpu: 2507.73 s, memory: 1358.33 Mb 2725.16/357.69 c (353,0) c 2725.16/357.69 c (353,0) c |------------------------------------------------------------------------------------------------------------------------| 2725.16/357.69 c (353,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 2725.16/357.69 c (353,0) c |------------------------------------------------------------------------------------------------------------------------| 2725.16/357.69 c (353,0) c | 0 | 1367 | 715172 | 390221 | 105997 | 43639 | 43702 | 301806 | 39960 | 2012 | 20 | 0.053 | 2725.16/357.69 c (353,0) c | 1 | 1516 | 724106 | 395120 | 102062 | 48529 | 42995 | 305161 | 39848 | 2032 | 20 | 0.053 | 2725.16/357.69 c (353,0) c | 2 | 1563 | 749258 | 402045 | 106732 | 55458 | 44436 | 303765 | 40419 | 2032 | 20 | 0.053 | 2725.16/357.69 c (353,0) c | 3 | 1477 | 718750 | 393756 | 99345 | 47166 | 42546 | 304120 | 39848 | 2032 | 20 | 0.053 | 2725.16/357.69 c (353,0) c | 4 | 1428 | 711019 | 391707 | 98160 | 45112 | 43166 | 302857 | 39947 | 2018 | 20 | 0.053 | 2725.16/357.69 c (353,0) c | 5 | 1445 | 709988 | 394548 | 96210 | 47958 | 44676 | 303271 | 40088 | 2030 | 20 | 0.053 | 2725.16/357.69 c (353,0) c | 6 | 1416 | 715185 | 393161 | 105791 | 46569 | 44304 | 303137 | 39906 | 2032 | 20 | 0.053 | 2725.16/357.69 c (353,0) c | 7 | 1434 | 717406 | 392965 | 99405 | 46373 | 44262 | 302062 | 39788 | 2032 | 20 | 0.053 | 2725.16/357.69 c (353,0) c 2725.16/357.69 c (353,0) c synthesis 3153523 conflicts 2765041975 propagations 1162 conflicts/sec 1018634 propagations/sec 2725.16/357.69 c (353,0) c real: 353.144 s, cpu: 2714.46 s, memory: 1358.33 Mb 2853.70/376.83 c (372,0) c 2853.70/376.83 c (372,0) c real time : 372.289 s 2853.70/376.83 c (372,0) c cpu time : 2842.37 s 2853.70/376.83 c (372,0) c 2853.70/376.83 c (372,0) c 2853.70/376.83 c (372,0) c 2853.70/376.83 c (372,0) c |---------------------------------------- FINAL STATS --------------------------------------------------| 2853.70/376.84 c (372,0) c 2853.70/376.84 c (372,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 2853.70/376.84 c (372,0) c | Threads | Total | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 2853.70/376.84 c (372,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 2853.70/376.84 c (372,0) c | Conflicts | 3263339 | 406148 | 407770 | 414466 | 407514 | 406799 | 408478 | 406483 | 405681 | 2853.70/376.84 c (372,0) c | Decisions | 5948951 | 742957 | 746188 | 769942 | 743278 | 736737 | 735815 | 737122 | 736912 | 2853.70/376.84 c (372,0) c | Propagations | 2867209057 | 357917723 | 357278500 | 363562035 | 357558237 | 355166475 | 357712473 | 357445447 | 360568167 | 2853.70/376.84 c (372,0) c | ReduceDBs | 136 | 17 | 17 | 17 | 17 | 17 | 17 | 17 | 17 | 2853.70/376.84 c (372,0) c | SimpDBs | 16 | 2 | 2 | 2 | 2 | 2 | 2 | 2 | 2 | 2853.70/376.84 c (372,0) c | Restarts | 11986 | 1428 | 1577 | 1586 | 1497 | 1479 | 1489 | 1464 | 1466 | 2853.70/376.84 c (372,0) c | ForcedImports | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 2853.70/376.84 c (372,0) c | PropBinClauses| 4006751735 | 498456959 | 497150736 | 501816943 | 502963217 | 497557185 | 499927551 | 502612229 | 506266915 | 2853.70/376.84 c (372,0) c | PropPreBlocker| 52868720647 | 6617294837 | 6594931169 | 6628510324 | 6588692434 | 6598206912 | 6608940414 | 6609354888 | 6622789669 | 2853.70/376.84 c (372,0) c | PropNotBlocker| 19613737934 | 2447272648 | 2457965667 | 2435345605 | 2460890356 | 2455761981 | 2453394622 | 2450905848 | 2452201207 | 2853.70/376.84 c (372,0) c | LitFullScans | 101553620857 |12690975669 |12692413167 |12697009703 |12691261958 |12691013808 |12696993733 |12696972039 |12696980780 | 2853.70/376.84 c (372,0) c | LitScanFracts | 7759186 | 956050 | 965735 | 992575 | 983925 | 999029 | 944551 | 944765 | 972556 | 2853.70/376.84 c (372,0) c | DecisionLevel0| 11990 | 1428 | 1578 | 1587 | 1497 | 1480 | 1489 | 1464 | 1467 | 2853.70/376.84 c (372,0) c | Periods | 16924 | 2115 | 2115 | 2116 | 2115 | 2115 | 2116 | 2116 | 2116 | 2853.70/376.84 c (372,0) c | Margin | 160 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 2853.70/376.84 c (372,0) c | Avg_Trail | | 6979 | 6949 | 7062 | 6884 | 6899 | 6884 | 6904 | 6970 | 2853.70/376.84 c (372,0) c | Avg_DL | | 24 | 25 | 25 | 25 | 24 | 25 | 25 | 25 | 2853.70/376.84 c (372,0) c | Avg_Res | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 2853.70/376.84 c (372,0) c | Avg_Res_Seen | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 2853.70/376.84 c (372,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 2853.70/376.84 c (372,0) c | Exported | 361083 | 45240 | 44247 | 45765 | 44154 | 44762 | 46373 | 45246 | 45296 | 2853.70/376.84 c (372,0) c | Imported | 2506430 | 313286 | 314263 | 311902 | 314370 | 313812 | 312346 | 313174 | 313277 | 2853.70/376.84 c (372,0) c | Good | 308 | 37 | 41 | 38 | 40 | 38 | 37 | 35 | 42 | 2853.70/376.84 c (372,0) c | Purge | 2506122 | 313249 | 314222 | 311864 | 314330 | 313774 | 312309 | 313139 | 313235 | 2853.70/376.84 c (372,0) c | Promoted | 328033 | 41208 | 40888 | 41365 | 40830 | 41128 | 41096 | 40761 | 40757 | 2853.70/376.84 c (372,0) c | Remove_Imp | 1736201 | 217602 | 218314 | 213016 | 218798 | 216665 | 216591 | 217334 | 217881 | 2853.70/376.84 c (372,0) c | Blocked_Reuse | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 2853.70/376.84 c (372,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 2853.70/376.84 c (372,0) c | Unaries | | 0 | 1 | 1 | 0 | 1 | 0 | 0 | 1 | 2853.70/376.84 c (372,0) c | Binaries | | 7 | 3 | 6 | 4 | 6 | 7 | 9 | 2 | 2853.70/376.84 c (372,0) c | Glues | | 261 | 268 | 263 | 267 | 255 | 266 | 283 | 247 | 2853.70/376.84 c (372,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 2853.70/376.84 c (372,0) c | Orig_Seen | 23 % | 106960 | 102921 | 107452 | 101413 | 99223 | 99064 | 106274 | 99912 | 2853.70/376.84 c (372,0) c | Diff Orig seen| | 5547 | 1508 | 6039 | X | - 2190 | - 2349 | 4861 | - 1501 | 2853.70/376.84 c (372,0) c | Hamming | 31 % | 6673 | 7520 | 6138 | X | 8250 | 8074 | 6401 | 6539 | 2853.70/376.84 c (372,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 2853.70/376.84 c (372,0) c | RunningTime | | 371.1 100%| 352.9 96%| 348.3 94%| 347.6 94%| 366.5 99%| 360.3 98%| 349.3 95%| 360.8 98%| 2853.70/376.84 c (372,0) c | WaitingTime | | 0.0 0%| 16.0 4%| 20.8 6%| 21.3 6%| 4.3 1%| 8.7 2%| 19.8 5%| 8.3 2%| 2853.70/376.84 c (372,0) c | ExchangingTime| | 0.2 0%| 0.2 0%| 0.2 0%| 0.2 0%| 0.2 0%| 0.2 0%| 0.2 0%| 0.2 0%| 2853.70/376.84 c (372,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%| 2853.70/376.84 c (372,0) c | SolvingTime | | 371.3 | 369.1 | 369.3 | 369.1 | 371.0 | 369.3 | 369.3 | 369.3 | 2853.70/376.84 c (372,0) c | PropagationTim| | 324.8 87%| 324.6 88%| 322.7 87%| 323.8 88%| 318.6 86%| 321.0 87%| 323.0 87%| 319.5 87%| 2853.70/376.84 c (372,0) c | AnalysisTime | | 39.2 11%| 37.4 10%| 39.2 11%| 38.0 10%| 45.0 12%| 40.9 11%| 39.1 11%| 42.2 11%| 2853.70/376.84 c (372,0) c | ReductionTime | | 1.2 0%| 1.2 0%| 1.2 0%| 1.2 0%| 1.2 0%| 1.2 0%| 1.1 0%| 1.2 0%| 2853.70/376.84 c (372,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%| 2853.70/376.84 c (372,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%| 2853.70/376.84 c (372,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%| 2853.70/376.84 c (372,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 2853.70/376.84 c (372,0) c 2853.70/376.84 c (372,0) c 2853.70/376.84 c (372,0) c Threads : 8 2853.70/376.84 c (372,0) c Winner : 3 2853.70/376.84 c (372,0) c Conflicts_0 : 406148 2853.70/376.84 c (372,0) c Conflicts_1 : 407770 2853.70/376.84 c (372,0) c Conflicts_2 : 414466 2853.70/376.84 c (372,0) c Conflicts_3 : 407514 2853.70/376.84 c (372,0) c Conflicts_4 : 406799 2853.70/376.84 c (372,0) c Conflicts_5 : 408478 2853.70/376.84 c (372,0) c Conflicts_6 : 406483 2853.70/376.84 c (372,0) c Conflicts_7 : 405681 2853.70/376.84 c (372,0) c Conflicts_total : 3263339 2853.70/376.84 c (372,0) c Conflicts_winner : 407514 2853.70/376.84 c (372,0) c Decisions_0 : 742957 2853.70/376.84 c (372,0) c Decisions_1 : 746188 2853.70/376.84 c (372,0) c Decisions_2 : 769942 2853.70/376.84 c (372,0) c Decisions_3 : 743278 2853.70/376.84 c (372,0) c Decisions_4 : 736737 2853.70/376.84 c (372,0) c Decisions_5 : 735815 2853.70/376.84 c (372,0) c Decisions_6 : 737122 2853.70/376.84 c (372,0) c Decisions_7 : 736912 2853.70/376.84 c (372,0) c Decisions_total : 5948951 2853.70/376.84 c (372,0) c Decisions_winner : 743278 2853.70/376.84 c (372,0) c Propagations_0 : 357917723 2853.70/376.84 c (372,0) c Propagations_1 : 357278500 2853.70/376.84 c (372,0) c Propagations_2 : 363562035 2853.70/376.84 c (372,0) c Propagations_3 : 357558237 2853.70/376.84 c (372,0) c Propagations_4 : 355166475 2853.70/376.84 c (372,0) c Propagations_5 : 357712473 2853.70/376.84 c (372,0) c Propagations_6 : 357445447 2853.70/376.84 c (372,0) c Propagations_7 : 360568167 2853.70/376.84 c (372,0) c Propagations_total : 2867209057 2853.70/376.84 c (372,0) c Propagations_winner : 357558237 2853.70/376.84 c (372,0) c ReduceDBs_0 : 17 2853.70/376.84 c (372,0) c ReduceDBs_1 : 17 2853.70/376.84 c (372,0) c ReduceDBs_2 : 17 2853.70/376.84 c (372,0) c ReduceDBs_3 : 17 2853.70/376.84 c (372,0) c ReduceDBs_4 : 17 2853.70/376.84 c (372,0) c ReduceDBs_5 : 17 2853.70/376.84 c (372,0) c ReduceDBs_6 : 17 2853.70/376.84 c (372,0) c ReduceDBs_7 : 17 2853.70/376.84 c (372,0) c ReduceDBs_total : 136 2853.70/376.84 c (372,0) c ReduceDBs_winner : 17 2853.70/376.84 c (372,0) c SimpDBs_0 : 2 2853.70/376.84 c (372,0) c SimpDBs_1 : 2 2853.70/376.84 c (372,0) c SimpDBs_2 : 2 2853.70/376.84 c (372,0) c SimpDBs_3 : 2 2853.70/376.84 c (372,0) c SimpDBs_4 : 2 2853.70/376.84 c (372,0) c SimpDBs_5 : 2 2853.70/376.84 c (372,0) c SimpDBs_6 : 2 2853.70/376.84 c (372,0) c SimpDBs_7 : 2 2853.70/376.84 c (372,0) c SimpDBs_total : 16 2853.70/376.84 c (372,0) c SimpDBs_winner : 2 2853.70/376.84 c (372,0) c Restarts_0 : 1428 2853.70/376.84 c (372,0) c Restarts_1 : 1577 2853.70/376.84 c (372,0) c Restarts_2 : 1586 2853.70/376.84 c (372,0) c Restarts_3 : 1497 2853.70/376.84 c (372,0) c Restarts_4 : 1479 2853.70/376.84 c (372,0) c Restarts_5 : 1489 2853.70/376.84 c (372,0) c Restarts_6 : 1464 2853.70/376.84 c (372,0) c Restarts_7 : 1466 2853.70/376.84 c (372,0) c Restarts_total : 11986 2853.70/376.84 c (372,0) c Restarts_winner : 1497 2853.70/376.84 c (372,0) c ForcedImports_0 : 0 2853.70/376.84 c (372,0) c ForcedImports_1 : 0 2853.70/376.84 c (372,0) c ForcedImports_2 : 0 2853.70/376.84 c (372,0) c ForcedImports_3 : 0 2853.70/376.84 c (372,0) c ForcedImports_4 : 0 2853.70/376.84 c (372,0) c ForcedImports_5 : 0 2853.70/376.84 c (372,0) c ForcedImports_6 : 0 2853.70/376.84 c (372,0) c ForcedImports_7 : 0 2853.70/376.84 c (372,0) c ForcedImports_total : 0 2853.70/376.84 c (372,0) c ForcedImports_winner : 0 2853.70/376.84 c (372,0) c PropsBinClauses_0 : 498456959 2853.70/376.84 c (372,0) c PropsBinClauses_1 : 497150736 2853.70/376.84 c (372,0) c PropsBinClauses_2 : 501816943 2853.70/376.84 c (372,0) c PropsBinClauses_3 : 502963217 2853.70/376.84 c (372,0) c PropsBinClauses_4 : 497557185 2853.70/376.84 c (372,0) c PropsBinClauses_5 : 499927551 2853.70/376.84 c (372,0) c PropsBinClauses_6 : 502612229 2853.70/376.84 c (372,0) c PropsBinClauses_7 : 506266915 2853.70/376.84 c (372,0) c PropsBinClauses_total : 4006751735 2853.70/376.84 c (372,0) c PropsBinClauses_winner : 502963217 2853.70/376.84 c (372,0) c PropsPreBlocker_0 : 6617294837 2853.70/376.84 c (372,0) c PropsPreBlocker_1 : 6594931169 2853.70/376.84 c (372,0) c PropsPreBlocker_2 : 6628510324 2853.70/376.84 c (372,0) c PropsPreBlocker_3 : 6588692434 2853.70/376.84 c (372,0) c PropsPreBlocker_4 : 6598206912 2853.70/376.84 c (372,0) c PropsPreBlocker_5 : 6608940414 2853.70/376.84 c (372,0) c PropsPreBlocker_6 : 6609354888 2853.70/376.84 c (372,0) c PropsPreBlocker_7 : 6622789669 2853.70/376.84 c (372,0) c PropsPreBlocker_total : 52868720647 2853.70/376.84 c (372,0) c PropsPreBlocker_winner : 6588692434 2853.70/376.84 c (372,0) c PropsNotBlocker_0 : 2447272648 2853.70/376.84 c (372,0) c PropsNotBlocker_1 : 2457965667 2853.70/376.84 c (372,0) c PropsNotBlocker_2 : 2435345605 2853.70/376.84 c (372,0) c PropsNotBlocker_3 : 2460890356 2853.70/376.84 c (372,0) c PropsNotBlocker_4 : 2455761981 2853.70/376.84 c (372,0) c PropsNotBlocker_5 : 2453394622 2853.70/376.84 c (372,0) c PropsNotBlocker_6 : 2450905848 2853.70/376.84 c (372,0) c PropsNotBlocker_7 : 2452201207 2853.70/376.84 c (372,0) c PropsNotBlocker_total : 19613737934 2853.70/376.84 c (372,0) c PropsNotBlocker_winner : 2460890356 2853.70/376.84 c (372,0) c PropsLitFullScans_0 : 12690975669 2853.70/376.84 c (372,0) c PropsLitFullScans_1 : 12692413167 2853.70/376.84 c (372,0) c PropsLitFullScans_2 : 12697009703 2853.70/376.84 c (372,0) c PropsLitFullScans_3 : 12691261958 2853.70/376.84 c (372,0) c PropsLitFullScans_4 : 12691013808 2853.70/376.84 c (372,0) c PropsLitFullScans_5 : 12696993733 2853.70/376.84 c (372,0) c PropsLitFullScans_6 : 12696972039 2853.70/376.84 c (372,0) c PropsLitFullScans_7 : 12696980780 2853.70/376.84 c (372,0) c PropsLitFullScans_total : 101553620857 2853.70/376.84 c (372,0) c PropsLitFullScans_winner : 12691261958 2853.70/376.84 c (372,0) c LitScanFractions_0 : 956050 2853.70/376.84 c (372,0) c LitScanFractions_1 : 965735 2853.70/376.84 c (372,0) c LitScanFractions_2 : 992575 2853.70/376.84 c (372,0) c LitScanFractions_3 : 983925 2853.70/376.84 c (372,0) c LitScanFractions_4 : 999029 2853.70/376.84 c (372,0) c LitScanFractions_5 : 944551 2853.70/376.84 c (372,0) c LitScanFractions_6 : 944765 2853.70/376.84 c (372,0) c LitScanFractions_7 : 972556 2853.70/376.84 c (372,0) c LitScanFractions_total : 7759186 2853.70/376.84 c (372,0) c LitScanFractions_winner : 983925 2853.70/376.84 c (372,0) c DecisionLevel0_0 : 1428 2853.70/376.84 c (372,0) c DecisionLevel0_1 : 1578 2853.70/376.84 c (372,0) c DecisionLevel0_2 : 1587 2853.70/376.84 c (372,0) c DecisionLevel0_3 : 1497 2853.70/376.84 c (372,0) c DecisionLevel0_4 : 1480 2853.70/376.84 c (372,0) c DecisionLevel0_5 : 1489 2853.70/376.84 c (372,0) c DecisionLevel0_6 : 1464 2853.70/376.84 c (372,0) c DecisionLevel0_7 : 1467 2853.70/376.84 c (372,0) c DecisionLevel0_total : 11990 2853.70/376.84 c (372,0) c DecisionLevel0_winner : 1497 2853.70/376.84 c (372,0) c Periods_0 : 2115 2853.70/376.84 c (372,0) c Periods_1 : 2115 2853.70/376.84 c (372,0) c Periods_2 : 2116 2853.70/376.84 c (372,0) c Periods_3 : 2115 2853.70/376.84 c (372,0) c Periods_4 : 2115 2853.70/376.84 c (372,0) c Periods_5 : 2116 2853.70/376.84 c (372,0) c Periods_6 : 2116 2853.70/376.84 c (372,0) c Periods_7 : 2116 2853.70/376.84 c (372,0) c Periods_total : 16924 2853.70/376.84 c (372,0) c Periods_winner : 2115 2853.70/376.84 c (372,0) c Margin_0 : 20 2853.70/376.84 c (372,0) c Margin_1 : 20 2853.70/376.84 c (372,0) c Margin_2 : 20 2853.70/376.84 c (372,0) c Margin_3 : 20 2853.70/376.84 c (372,0) c Margin_4 : 20 2853.70/376.84 c (372,0) c Margin_5 : 20 2853.70/376.84 c (372,0) c Margin_6 : 20 2853.70/376.84 c (372,0) c Margin_7 : 20 2853.70/376.84 c (372,0) c Margin_total : 160 2853.70/376.84 c (372,0) c Margin_winner : 20 2853.70/376.84 c (372,0) c Exported_0 : 45240 2853.70/376.84 c (372,0) c Exported_1 : 44247 2853.70/376.84 c (372,0) c Exported_2 : 45765 2853.70/376.84 c (372,0) c Exported_3 : 44154 2853.70/376.84 c (372,0) c Exported_4 : 44762 2853.70/376.84 c (372,0) c Exported_5 : 46373 2853.70/376.84 c (372,0) c Exported_6 : 45246 2853.70/376.84 c (372,0) c Exported_7 : 45296 2853.70/376.84 c (372,0) c Exported_total : 361083 2853.70/376.84 c (372,0) c Exported_winner : 44154 2853.70/376.84 c (372,0) c Imported_0 : 313286 2853.70/376.84 c (372,0) c Imported_1 : 314263 2853.70/376.84 c (372,0) c Imported_2 : 311902 2853.70/376.84 c (372,0) c Imported_3 : 314370 2853.70/376.84 c (372,0) c Imported_4 : 313812 2853.70/376.84 c (372,0) c Imported_5 : 312346 2853.70/376.84 c (372,0) c Imported_6 : 313174 2853.70/376.84 c (372,0) c Imported_7 : 313277 2853.70/376.84 c (372,0) c Imported_total : 2506430 2853.70/376.84 c (372,0) c Imported_winner : 314370 2853.70/376.84 c (372,0) c Good_0 : 37 2853.70/376.84 c (372,0) c Good_1 : 41 2853.70/376.84 c (372,0) c Good_2 : 38 2853.70/376.84 c (372,0) c Good_3 : 40 2853.70/376.84 c (372,0) c Good_4 : 38 2853.70/376.84 c (372,0) c Good_5 : 37 2853.70/376.84 c (372,0) c Good_6 : 35 2853.70/376.84 c (372,0) c Good_7 : 42 2853.70/376.84 c (372,0) c Good_total : 308 2853.70/376.84 c (372,0) c Good_winner : 40 2853.70/376.84 c (372,0) c Purge_0 : 313249 2853.70/376.84 c (372,0) c Purge_1 : 314222 2853.70/376.84 c (372,0) c Purge_2 : 311864 2853.70/376.84 c (372,0) c Purge_3 : 314330 2853.70/376.84 c (372,0) c Purge_4 : 313774 2853.70/376.84 c (372,0) c Purge_5 : 312309 2853.70/376.84 c (372,0) c Purge_6 : 313139 2853.70/376.84 c (372,0) c Purge_7 : 313235 2853.70/376.84 c (372,0) c Purge_total : 2506122 2853.70/376.84 c (372,0) c Purge_winner : 314330 2853.70/376.84 c (372,0) c Promoted_0 : 41208 2853.70/376.84 c (372,0) c Promoted_1 : 40888 2853.70/376.84 c (372,0) c Promoted_2 : 41365 2853.70/376.84 c (372,0) c Promoted_3 : 40830 2853.70/376.84 c (372,0) c Promoted_4 : 41128 2853.70/376.84 c (372,0) c Promoted_5 : 41096 2853.70/376.84 c (372,0) c Promoted_6 : 40761 2853.70/376.84 c (372,0) c Promoted_7 : 40757 2853.70/376.84 c (372,0) c Promoted_total : 328033 2853.70/376.84 c (372,0) c Promoted_winner : 40830 2853.70/376.84 c (372,0) c Remove_Imp_0 : 217602 2853.70/376.84 c (372,0) c Remove_Imp_1 : 218314 2853.70/376.84 c (372,0) c Remove_Imp_2 : 213016 2853.70/376.84 c (372,0) c Remove_Imp_3 : 218798 2853.70/376.84 c (372,0) c Remove_Imp_4 : 216665 2853.70/376.84 c (372,0) c Remove_Imp_5 : 216591 2853.70/376.84 c (372,0) c Remove_Imp_6 : 217334 2853.70/376.84 c (372,0) c Remove_Imp_7 : 217881 2853.70/376.84 c (372,0) c Remove_Imp_total : 1736201 2853.70/376.84 c (372,0) c Remove_Imp_winner : 218798 2853.70/376.84 c (372,0) c Blocked_Reuse_0 : 0 2853.70/376.84 c (372,0) c Blocked_Reuse_1 : 0 2853.70/376.84 c (372,0) c Blocked_Reuse_2 : 0 2853.70/376.84 c (372,0) c Blocked_Reuse_3 : 0 2853.70/376.84 c (372,0) c Blocked_Reuse_4 : 0 2853.70/376.84 c (372,0) c Blocked_Reuse_5 : 0 2853.70/376.84 c (372,0) c Blocked_Reuse_6 : 0 2853.70/376.84 c (372,0) c Blocked_Reuse_7 : 0 2853.70/376.84 c (372,0) c Blocked_Reuse_total : 0 2853.70/376.84 c (372,0) c Blocked_Reuse_winner : 0 2853.70/376.84 c (372,0) c Unaries_0 : 0 2853.70/376.84 c (372,0) c Unaries_1 : 1 2853.70/376.84 c (372,0) c Unaries_2 : 1 2853.70/376.84 c (372,0) c Unaries_3 : 0 2853.70/376.84 c (372,0) c Unaries_4 : 1 2853.70/376.84 c (372,0) c Unaries_5 : 0 2853.70/376.84 c (372,0) c Unaries_6 : 0 2853.70/376.84 c (372,0) c Unaries_7 : 1 2853.70/376.84 c (372,0) c Unaries_total : 4 2853.70/376.84 c (372,0) c Unaries_winner : 0 2853.70/376.84 c (372,0) c Binaries_0 : 7 2853.70/376.84 c (372,0) c Binaries_1 : 3 2853.70/376.84 c (372,0) c Binaries_2 : 6 2853.70/376.84 c (372,0) c Binaries_3 : 4 2853.70/376.84 c (372,0) c Binaries_4 : 6 2853.70/376.84 c (372,0) c Binaries_5 : 7 2853.70/376.84 c (372,0) c Binaries_6 : 9 2853.70/376.84 c (372,0) c Binaries_7 : 2 2853.70/376.84 c (372,0) c Binaries_total : 44 2853.70/376.84 c (372,0) c Binaries_winner : 4 2853.70/376.84 c (372,0) c Glues_0 : 261 2853.70/376.84 c (372,0) c Glues_1 : 268 2853.70/376.84 c (372,0) c Glues_2 : 263 2853.70/376.84 c (372,0) c Glues_3 : 267 2853.70/376.84 c (372,0) c Glues_4 : 255 2853.70/376.84 c (372,0) c Glues_5 : 266 2853.70/376.84 c (372,0) c Glues_6 : 283 2853.70/376.84 c (372,0) c Glues_7 : 247 2853.70/376.84 c (372,0) c Glues_total : 2110 2853.70/376.84 c (372,0) c Glues_winner : 267 2853.70/376.84 c (372,0) c RunningTime_0 : 371.113151 2853.70/376.84 c (372,0) c RunningTime_1 : 352.893275 2853.70/376.84 c (372,0) c RunningTime_2 : 348.272339 2853.70/376.84 c (372,0) c RunningTime_3 : 347.598920 2853.70/376.84 c (372,0) c RunningTime_4 : 366.461088 2853.70/376.84 c (372,0) c RunningTime_5 : 360.332981 2853.70/376.84 c (372,0) c RunningTime_6 : 349.257467 2853.70/376.84 c (372,0) c RunningTime_7 : 360.771686 2853.70/376.84 c (372,0) c RunningTime_total : 2856.700907 2853.70/376.84 c (372,0) c RunningTime_winner : 347.598920 2853.70/376.84 c (372,0) c WaitingTime_0 : 0.002575 2853.70/376.84 c (372,0) c WaitingTime_1 : 16.004993 2853.70/376.84 c (372,0) c WaitingTime_2 : 20.804672 2853.70/376.84 c (372,0) c WaitingTime_3 : 21.260005 2853.70/376.84 c (372,0) c WaitingTime_4 : 4.342632 2853.70/376.84 c (372,0) c WaitingTime_5 : 8.718939 2853.70/376.84 c (372,0) c WaitingTime_6 : 19.828772 2853.70/376.84 c (372,0) c WaitingTime_7 : 8.286310 2853.70/376.84 c (372,0) c WaitingTime_total : 99.248899 2853.70/376.84 c (372,0) c WaitingTime_winner : 21.260005 2853.70/376.84 c (372,0) c ExchangingTime_0 : 0.180667 2853.70/376.84 c (372,0) c ExchangingTime_1 : 0.209221 2853.70/376.84 c (372,0) c ExchangingTime_2 : 0.192976 2853.70/376.84 c (372,0) c ExchangingTime_3 : 0.202027 2853.70/376.84 c (372,0) c ExchangingTime_4 : 0.189852 2853.70/376.84 c (372,0) c ExchangingTime_5 : 0.213675 2853.70/376.84 c (372,0) c ExchangingTime_6 : 0.183762 2853.70/376.84 c (372,0) c ExchangingTime_7 : 0.204031 2853.70/376.84 c (372,0) c ExchangingTime_total : 1.576210 2853.70/376.84 c (372,0) c ExchangingTime_winner : 0.202027 2853.70/376.84 c (372,0) c PeriodProcTime_0 : 0.036716 2853.70/376.84 c (372,0) c PeriodProcTime_1 : 0.018101 2853.70/376.84 c (372,0) c PeriodProcTime_2 : 0.018255 2853.70/376.84 c (372,0) c PeriodProcTime_3 : 0.021459 2853.70/376.84 c (372,0) c PeriodProcTime_4 : 0.019445 2853.70/376.84 c (372,0) c PeriodProcTime_5 : 0.022538 2853.70/376.84 c (372,0) c PeriodProcTime_6 : 0.018362 2853.70/376.84 c (372,0) c PeriodProcTime_7 : 0.023664 2853.70/376.84 c (372,0) c PeriodProcTime_total : 0.178540 2853.70/376.84 c (372,0) c PeriodProcTime_winner : 0.021459 2853.70/376.84 c (372,0) c SolvingTime_0 : 371.333109 2853.70/376.84 c (372,0) c SolvingTime_1 : 369.125591 2853.70/376.84 c (372,0) c SolvingTime_2 : 369.288241 2853.70/376.84 c (372,0) c SolvingTime_3 : 369.082411 2853.70/376.84 c (372,0) c SolvingTime_4 : 371.013018 2853.70/376.84 c (372,0) c SolvingTime_5 : 369.288133 2853.70/376.84 c (372,0) c SolvingTime_6 : 369.288363 2853.70/376.84 c (372,0) c SolvingTime_7 : 369.285691 2853.70/376.84 c (372,0) c SolvingTime_total : 2957.704557 2853.70/376.84 c (372,0) c SolvingTime_winner : 369.082411 2853.70/376.84 c (372,0) c PropagationTime_0 : 324.750973 2853.70/376.84 c (372,0) c PropagationTime_1 : 324.565493 2853.70/376.84 c (372,0) c PropagationTime_2 : 322.734849 2853.70/376.84 c (372,0) c PropagationTime_3 : 323.832533 2853.70/376.84 c (372,0) c PropagationTime_4 : 318.634670 2853.70/376.84 c (372,0) c PropagationTime_5 : 320.970421 2853.70/376.84 c (372,0) c PropagationTime_6 : 322.999617 2853.70/376.84 c (372,0) c PropagationTime_7 : 319.539761 2853.70/376.84 c (372,0) c PropagationTime_total : 2578.028316 2853.70/376.84 c (372,0) c PropagationTime_winner : 323.832533 2853.70/376.84 c (372,0) c AnalysisTime_0 : 39.185396 2853.70/376.84 c (372,0) c AnalysisTime_1 : 37.364221 2853.70/376.85 c (372,0) c AnalysisTime_2 : 39.157960 2853.70/376.85 c (372,0) c AnalysisTime_3 : 38.033324 2853.70/376.85 c (372,0) c AnalysisTime_4 : 44.970718 2853.70/376.85 c (372,0) c AnalysisTime_5 : 40.936881 2853.70/376.85 c (372,0) c AnalysisTime_6 : 39.115680 2853.70/376.85 c (372,0) c AnalysisTime_7 : 42.193640 2853.70/376.85 c (372,0) c AnalysisTime_total : 320.957819 2853.70/376.85 c (372,0) c AnalysisTime_winner : 38.033324 2853.70/376.85 c (372,0) c ReductionTime_0 : 1.178100 2853.70/376.85 c (372,0) c ReductionTime_1 : 1.195053 2853.70/376.85 c (372,0) c ReductionTime_2 : 1.170017 2853.70/376.85 c (372,0) c ReductionTime_3 : 1.173820 2853.70/376.85 c (372,0) c ReductionTime_4 : 1.178131 2853.70/376.85 c (372,0) c ReductionTime_5 : 1.214705 2853.70/376.85 c (372,0) c ReductionTime_6 : 1.103674 2853.70/376.85 c (372,0) c ReductionTime_7 : 1.229161 2853.70/376.85 c (372,0) c ReductionTime_total : 9.442661 2853.70/376.85 c (372,0) c ReductionTime_winner : 1.173820 2853.70/376.85 c (372,0) c SimplifyTime_0 : 0.011712 2853.70/376.85 c (372,0) c SimplifyTime_1 : 0.018017 2853.70/376.85 c (372,0) c SimplifyTime_2 : 0.015724 2853.70/376.85 c (372,0) c SimplifyTime_3 : 0.011400 2853.70/376.85 c (372,0) c SimplifyTime_4 : 0.012274 2853.70/376.85 c (372,0) c SimplifyTime_5 : 0.011404 2853.70/376.85 c (372,0) c SimplifyTime_6 : 0.011856 2853.70/376.85 c (372,0) c SimplifyTime_7 : 0.010687 2853.70/376.85 c (372,0) c SimplifyTime_total : 0.103075 2853.70/376.85 c (372,0) c SimplifyTime_winner : 0.011400 2853.70/376.85 c (372,0) c UsedRateTime_0 : 0.000000 2853.70/376.85 c (372,0) c UsedRateTime_1 : 0.000000 2853.70/376.85 c (372,0) c UsedRateTime_2 : 0.000000 2853.70/376.85 c (372,0) c UsedRateTime_3 : 0.000000 2853.70/376.85 c (372,0) c UsedRateTime_4 : 0.000000 2853.70/376.85 c (372,0) c UsedRateTime_5 : 0.000000 2853.70/376.85 c (372,0) c UsedRateTime_6 : 0.000000 2853.70/376.85 c (372,0) c UsedRateTime_7 : 0.000000 2853.70/376.85 c (372,0) c UsedRateTime_total : 0.000000 2853.70/376.85 c (372,0) c UsedRateTime_winner : 0.000000 2853.70/376.85 c (372,0) c OverlapRateTime_0 : 0.000000 2853.70/376.85 c (372,0) c OverlapRateTime_1 : 0.000000 2853.70/376.85 c (372,0) c OverlapRateTime_2 : 0.000000 2853.70/376.85 c (372,0) c OverlapRateTime_3 : 0.000000 2853.70/376.85 c (372,0) c OverlapRateTime_4 : 0.000000 2853.70/376.85 c (372,0) c OverlapRateTime_5 : 0.000000 2853.70/376.85 c (372,0) c OverlapRateTime_6 : 0.000000 2853.70/376.85 c (372,0) c OverlapRateTime_7 : 0.000000 2853.70/376.85 c (372,0) c OverlapRateTime_total : 0.000000 2853.70/376.85 c (372,0) c OverlapRateTime_winner : 0.000000 2853.70/376.85 c (372,0) c 2853.70/376.85 c (372,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 2853.70/376.85 c (372,0) c 2853.70/376.85 c (372,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 2853.70/376.85 c (372,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 2853.70/376.85 c (372,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 2853.70/376.85 c (372,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 2853.70/376.85 c (372,0) c | adaptStrategeis | False | False | False | False | False | False | False | False | 2853.70/376.85 c (372,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 2853.70/376.85 c (372,0) c | Initial random_seed | 1870252370 | 1076511876 | 2063424029 | 879100858 | 987458509 | 1768812872 | 1569228206 | 1926985730 | 2853.70/376.85 c (372,0) c | chanseokStrategy | False | False | False | False | False | False | False | False | 2853.70/376.85 c (372,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 2853.70/376.85 c (372,0) c | glureduce | True | True | True | True | True | True | True | True | 2853.70/376.85 c (372,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2853.70/376.85 c (372,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 2853.70/376.85 c (372,0) c | luby_restart | False | False | False | False | False | False | False | False | 2853.70/376.85 c (372,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 2853.70/376.85 c (372,0) c | var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 2853.70/376.85 c (372,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 2853.70/376.85 c (372,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 2853.70/376.85 c (372,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 2853.70/376.85 c (372,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 2853.70/376.85 c (372,0) 2853.70/376.85 c (372,0) s SATISFIABLE 2853.70/376.89 c (372,0) SatSolver.solve End 2853.70/376.89 c (372,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB) 2853.70/376.89 c (372,0) Show results Begin 2853.97/376.99 c (372,0) x[0] = 380 2853.97/376.99 c (372,0) x[1] = 380 2853.97/376.99 c (372,0) x[2] = 125 2853.97/376.99 c (372,0) x[3] = 359 2853.97/376.99 c (372,0) x[4] = 359 2853.97/376.99 c (372,0) x[5] = 90 2853.97/376.99 c (372,0) x[6] = 389 2853.97/376.99 c (372,0) x[7] = 125 2853.97/376.99 c (372,0) x[8] = 305 2853.97/376.99 c (372,0) x[9] = 90 2853.97/376.99 c (372,0) x[10] = 365 2853.97/376.99 c (372,0) x[11] = 164 2853.97/376.99 c (372,0) x[12] = 305 2853.97/376.99 c (372,0) x[13] = 0 2853.97/376.99 c (372,0) x[14] = 426 2853.97/376.99 c (372,0) x[15] = 125 2853.97/376.99 c (372,0) x[16] = 0 2853.97/376.99 c (372,0) x[17] = 392 2853.97/376.99 c (372,0) x[18] = 389 2853.97/376.99 c (372,0) x[19] = 164 2853.97/376.99 c (372,0) x[20] = 0 2853.97/376.99 c (372,0) x[21] = 365 2853.97/376.99 c (372,0) x[22] = 226 2853.97/376.99 c (372,0) x[23] = 0 2853.97/376.99 c (372,0) x[24] = 145 2853.97/376.99 c (372,0) y[0] = 383 2853.97/376.99 c (372,0) y[1] = 392 2853.97/376.99 c (372,0) y[2] = 200 2853.97/376.99 c (372,0) y[3] = 383 2853.97/376.99 c (372,0) y[4] = 404 2853.97/376.99 c (372,0) y[5] = 200 2853.97/376.99 c (372,0) y[6] = 220 2853.97/376.99 c (372,0) y[7] = 321 2853.97/376.99 c (372,0) y[8] = 383 2853.97/376.99 c (372,0) y[9] = 145 2853.97/376.99 c (372,0) y[10] = 159 2853.97/376.99 c (372,0) y[11] = 321 2853.97/376.99 c (372,0) y[12] = 437 2853.97/376.99 c (372,0) y[13] = 145 2853.97/376.99 c (372,0) y[14] = 159 2853.97/376.99 c (372,0) y[15] = 220 2853.97/376.99 c (372,0) y[16] = 235 2853.97/376.99 c (372,0) y[17] = 392 2853.97/376.99 c (372,0) y[18] = 257 2853.97/376.99 c (372,0) y[19] = 383 2853.97/376.99 c (372,0) y[20] = 0 2853.97/376.99 c (372,0) y[21] = 0 2853.97/376.99 c (372,0) y[22] = 220 2853.97/376.99 c (372,0) y[23] = 360 2853.97/376.99 c (372,0) y[24] = 0 2853.97/376.99 s SATISFIABLE 2853.97/377.00 v <instantiation> 2853.97/377.00 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> 2853.97/377.00 v <values>380 380 125 359 359 90 389 125 305 90 365 164 305 0 426 125 0 392 389 164 0 365 226 0 145 383 392 200 383 404 200 220 321 383 145 159 321 437 145 159 220 235 392 257 383 0 0 220 360 0</values> 2853.97/377.00 v </instantiation> 2853.97/377.00 c (372,0) Show results End 2853.97/377.00 c (372,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB) 2853.97/377.00 c (372,0) 372,372,STOP-AFTER(ALL) 2853.97/377.00 c END-Prog: Sat Sep 14 04:57:30 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 (10784 MiB free) memory of node 1: 16384 MiB (15658 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392706-1568429512/watcher-4392706-1568429512 -o /tmp/evaluation-result-4392706-1568429512/solver-4392706-1568429512 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node150-1568416728-26452 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392706-1568429512.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=32361, runsolver pid=32358 [startup+0.100113 s]* /proc/loadavg: 5.66 4.59 3.64 3/213 32383 /proc/meminfo: memFree=26982840/32770624 swapFree=67021672/67108860 [pid=32361] ppid=32358 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/32361/stat : 32361 (scop.sh) S 32358 32361 26425 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419223845 115843072 349 33554432000 4194304 5098028 140726490792272 140726490789528 139789262672508 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 29757440 140726490796836 140726490797164 140726490797164 140726490800077 0 /proc/32361/statm: 28282 349 296 221 0 87 0 [pid=32364] ppid=32361 vsize=27314120 memory=105788 CPUtime=0.1 cores=0-7 /proc/32364/stat : 32364 (java) S 32361 32361 26425 0 -1 1077944320 6542 0 0 0 9 1 0 0 20 0 20 0 419223845 27969658880 26447 33554432000 4194304 4196468 140728959260192 140728959242736 139812966059767 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20299776 140728959267562 140728959267990 140728959267990 140728959270863 0 /proc/32364/statm: 6828530 26447 2803 1 0 6790935 0 [pid=32364/tid=32365] ppid=32361 vsize=27314120 memory=4134930498285298233 CPUtime=0.08 cores=0-7 /proc/32364/task/32365/stat : 32365 (java) R 32361 32361 26425 0 -1 4202560 4627 0 0 0 7 1 0 0 20 0 20 0 419223846 27969658880 26447 33554432000 4194304 4196468 140728959260192 139812937882048 139812966081693 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20299776 140728959267562 140728959267990 140728959267990 140728959270863 0 [pid=32364/tid=32366] ppid=32361 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/32364/task/32366/stat : 32366 (java) S 32361 32361 26425 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419223848 27969658880 26447 33554432000 4194304 4196468 140728959260192 139812970302096 139812966069973 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20299776 140728959267562 140728959267990 140728959267990 140728959270863 0 [pid=32364/tid=32367] ppid=32361 vsize=27314120 memory=139714412738176 CPUtime=0 cores=0-7 /proc/32364/task/32367/stat : 32367 (java) S 32361 32361 26425 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419223848 27969658880 26447 33554432000 4194304 4196468 140728959260192 139812797118992 139812966069973 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20299776 140728959267562 140728959267990 140728959267990 140728959270863 0 [pid=32364/tid=32368] ppid=32361 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/32364/task/32368/stat : 32368 (java) S 32361 32361 26425 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419223848 27969658880 26447 33554432000 4194304 4196468 140728959260192 139812386982288 139812966069973 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20299776 140728959267562 140728959267990 140728959267990 140728959270863 0 [pid=32364/tid=32369] ppid=32361 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/32364/task/32369/stat : 32369 (java) S 32361 32361 26425 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419223848 27969658880 26447 33554432000 4194304 4196468 140728959260192 139812385929488 139812966069973 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20299776 140728959267562 140728959267990 140728959267990 140728959270863 0 [pid=32364/tid=32370] ppid=32361 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/32364/task/32370/stat : 32370 (java) S 32361 32361 26425 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419223848 27969658880 26447 33554432000 4194304 4196468 140728959260192 139812384877712 139812966069973 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20299776 140728959267562 140728959267990 140728959267990 140728959270863 0 [pid=32364/tid=32371] ppid=32361 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/32364/task/32371/stat : 32371 (java) S 32361 32361 26425 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419223848 27969658880 26447 33554432000 4194304 4196468 140728959260192 139812383824912 139812966069973 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20299776 140728959267562 140728959267990 140728959267990 140728959270863 0 [pid=32364/tid=32372] ppid=32361 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/32364/task/32372/stat : 32372 (java) S 32361 32361 26425 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419223848 27969658880 26447 33554432000 4194304 4196468 140728959260192 139812382772112 139812966069973 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20299776 140728959267562 140728959267990 140728959267990 140728959270863 0 [pid=32364/tid=32373] ppid=32361 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/32364/task/32373/stat : 32373 (java) S 32361 32361 26425 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419223848 27969658880 26447 33554432000 4194304 4196468 140728959260192 139812381719312 139812966069973 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20299776 140728959267562 140728959267990 140728959267990 140728959270863 0 [pid=32364/tid=32374] ppid=32361 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/32364/task/32374/stat : 32374 (java) S 32361 32361 26425 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419223850 27969658880 26447 33554432000 4194304 4196468 140728959260192 139811487644016 139812966070914 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20299776 140728959267562 140728959267990 140728959267990 140728959270863 0 [pid=32364/tid=32375] ppid=32361 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/32364/task/32375/stat : 32375 (java) S 32361 32361 26425 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419223850 27969658880 26447 33554432000 4194304 4196468 140728959260192 139810580718624 139812966069973 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20299776 140728959267562 140728959267990 140728959267990 140728959270863 0 [pid=32364/tid=32376] ppid=32361 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/32364/task/32376/stat : 32376 (java) S 32361 32361 26425 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419223850 27969658880 26447 33554432000 4194304 4196468 140728959260192 139810446496624 139812966069973 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20299776 140728959267562 140728959267990 140728959267990 140728959270863 0 [pid=32364/tid=32377] ppid=32361 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/32364/task/32377/stat : 32377 (java) S 32361 32361 26425 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419223853 27969658880 26447 33554432000 4194304 4196468 140728959260192 139810071992144 139812966078363 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20299776 140728959267562 140728959267990 140728959267990 140728959270863 0 [pid=32364/tid=32378] ppid=32361 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/32364/task/32378/stat : 32378 (java) S 32361 32361 26425 0 -1 1077944384 297 0 0 0 0 0 0 0 20 0 20 0 419223853 27969658880 26447 33554432000 4194304 4196468 140728959260192 139811486591856 139812966070914 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20299776 140728959267562 140728959267990 140728959267990 140728959270863 0 [pid=32364/tid=32379] ppid=32361 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/32364/task/32379/stat : 32379 (java) S 32361 32361 26425 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419223853 27969658880 26447 33554432000 4194304 4196468 140728959260192 139811485539056 139812966070914 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20299776 140728959267562 140728959267990 140728959267990 140728959270863 0 [pid=32364/tid=32380] ppid=32361 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/32364/task/32380/stat : 32380 (java) S 32361 32361 26425 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419223853 27969658880 26447 33554432000 4194304 4196468 140728959260192 139811484486256 139812966070914 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20299776 140728959267562 140728959267990 140728959267990 140728959270863 0 [pid=32364/tid=32381] ppid=32361 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/32364/task/32381/stat : 32381 (java) S 32361 32361 26425 0 -1 1077944384 253 0 0 0 0 0 0 0 20 0 20 0 419223853 27969658880 26447 33554432000 4194304 4196468 140728959260192 139811483433456 139812966070914 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20299776 140728959267562 140728959267990 140728959267990 140728959270863 0 [pid=32364/tid=32382] ppid=32361 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/32364/task/32382/stat : 32382 (java) S 32361 32361 26425 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419223853 27969658880 26447 33554432000 4194304 4196468 140728959260192 139809574087264 139812966069973 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20299776 140728959267562 140728959267990 140728959267990 140728959270863 0 [pid=32364/tid=32383] ppid=32361 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/32364/task/32383/stat : 32383 (java) S 32361 32361 26425 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419223853 27969658880 26447 33554432000 4194304 4196468 140728959260192 139811482380848 139812966070914 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20299776 140728959267562 140728959267990 140728959267990 140728959270863 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 107184 KiB [startup+0.210217 s]* /proc/loadavg: 5.66 4.59 3.64 2/213 32383 /proc/meminfo: memFree=26961960/32770624 swapFree=67021672/67108860 [pid=32361] ppid=32358 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/32361/stat : 32361 (scop.sh) S 32358 32361 26425 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419223845 115843072 349 33554432000 4194304 5098028 140726490792272 140726490789528 139789262672508 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 29757440 140726490796836 140726490797164 140726490797164 140726490800077 0 /proc/32361/statm: 28282 349 296 221 0 87 0 [pid=32364] ppid=32361 vsize=27314120 memory=124888 CPUtime=0.24 cores=0-7 /proc/32364/stat : 32364 (java) S 32361 32361 26425 0 -1 1077944320 12151 0 0 0 21 3 0 0 20 0 20 0 419223845 27969658880 31222 33554432000 4194304 4196468 140728959260192 140728959242736 139812966059767 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20299776 140728959267562 140728959267990 140728959267990 140728959270863 0 /proc/32364/statm: 6828530 31222 2944 1 0 6790935 0 [pid=32364/tid=32365] ppid=32361 vsize=27314120 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/32364/task/32365/stat : 32365 (java) R 32361 32361 26425 0 -1 4202560 9855 0 0 0 17 3 0 0 20 0 20 0 419223846 27969658880 31222 33554432000 4194304 4196468 140728959260192 139812937859152 139812951225406 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20299776 140728959267562 140728959267990 140728959267990 140728959270863 0 [pid=32364/tid=32366] ppid=32361 vsize=27314120 memory=331 CPUtime=0 cores=0-7 /proc/32364/task/32366/stat : 32366 (java) S 32361 32361 26425 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419223848 27969658880 31222 33554432000 4194304 4196468 140728959260192 139812970302096 139812966069973 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20299776 140728959267562 140728959267990 140728959267990 140728959270863 0 [pid=32364/tid=32367] ppid=32361 vsize=27314120 memory=139714415843508 CPUtime=0 cores=0-7 /proc/32364/task/32367/stat : 32367 (java) S 32361 32361 26425 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419223848 27969658880 31222 33554432000 4194304 4196468 140728959260192 139812797118992 139812966069973 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20299776 140728959267562 140728959267990 140728959267990 140728959270863 0 [pid=32364/tid=32368] ppid=32361 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/32364/task/32368/stat : 32368 (java) S 32361 32361 26425 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419223848 27969658880 31222 33554432000 4194304 4196468 140728959260192 139812386982288 139812966069973 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20299776 140728959267562 140728959267990 140728959267990 140728959270863 0 [pid=32364/tid=32369] ppid=32361 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/32364/task/32369/stat : 32369 (java) S 32361 32361 26425 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419223848 27969658880 31222 33554432000 4194304 4196468 140728959260192 139812385929488 139812966069973 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20299776 140728959267562 140728959267990 140728959267990 140728959270863 0 [pid=32364/tid=32370] ppid=32361 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/32364/task/32370/stat : 32370 (java) S 32361 32361 26425 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419223848 27969658880 31222 33554432000 4194304 4196468 140728959260192 139812384877712 139812966069973 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20299776 140728959267562 140728959267990 140728959267990 140728959270863 0 [pid=32364/tid=32371] ppid=32361 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/32364/task/32371/stat : 32371 (java) S 32361 32361 26425 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419223848 27969658880 31222 33554432000 4194304 4196468 140728959260192 139812383824912 139812966069973 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20299776 140728959267562 140728959267990 140728959267990 140728959270863 0 [pid=32364/tid=32372] ppid=32361 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/32364/task/32372/stat : 32372 (java) S 32361 32361 26425 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419223848 27969658880 31222 33554432000 4194304 4196468 140728959260192 139812382772112 139812966069973 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20299776 140728959267562 140728959267990 140728959267990 140728959270863 0 [pid=32364/tid=32373] ppid=32361 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/32364/task/32373/stat : 32373 (java) S 32361 32361 26425 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419223848 27969658880 31222 33554432000 4194304 4196468 140728959260192 139812381719312 139812966069973 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20299776 140728959267562 140728959267990 140728959267990 140728959270863 0 [pid=32364/tid=32374] ppid=32361 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/32364/task/32374/stat : 32374 (java) S 32361 32361 26425 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419223850 27969658880 31222 33554432000 4194304 4196468 140728959260192 139811487644016 139812966070914 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20299776 140728959267562 140728959267990 140728959267990 140728959270863 0 [pid=32364/tid=32375] ppid=32361 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/32364/task/32375/stat : 32375 (java) S 32361 32361 26425 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419223850 27969658880 31222 33554432000 4194304 4196468 140728959260192 139810580718624 139812966069973 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20299776 140728959267562 140728959267990 140728959267990 140728959270863 0 [pid=32364/tid=32376] ppid=32361 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/32364/task/32376/stat : 32376 (java) S 32361 32361 26425 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419223850 27969658880 31222 33554432000 4194304 4196468 140728959260192 139810446496624 139812966069973 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20299776 140728959267562 140728959267990 140728959267990 140728959270863 0 [pid=32364/tid=32377] ppid=32361 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/32364/task/32377/stat : 32377 (java) S 32361 32361 26425 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419223853 27969658880 31222 33554432000 4194304 4196468 140728959260192 139810071992144 139812966078363 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20299776 140728959267562 140728959267990 140728959267990 140728959270863 0 [pid=32364/tid=32378] ppid=32361 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/32364/task/32378/stat : 32378 (java) S 32361 32361 26425 0 -1 1077944384 309 0 0 0 0 0 0 0 20 0 20 0 419223853 27969658880 31222 33554432000 4194304 4196468 140728959260192 139811486591856 139812966070914 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20299776 140728959267562 140728959267990 140728959267990 140728959270863 0 [pid=32364/tid=32379] ppid=32361 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/32364/task/32379/stat : 32379 (java) S 32361 32361 26425 0 -1 1077944384 134 0 0 0 0 0 0 0 20 0 20 0 419223853 27969658880 31222 33554432000 4194304 4196468 140728959260192 139811485539056 139812966070914 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20299776 140728959267562 140728959267990 140728959267990 140728959270863 0 [pid=32364/tid=32380] ppid=32361 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/32364/task/32380/stat : 32380 (java) S 32361 32361 26425 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 20 0 419223853 27969658880 31222 33554432000 4194304 4196468 140728959260192 139811484486256 139812966070914 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20299776 140728959267562 140728959267990 140728959267990 140728959270863 0 [pid=32364/tid=32381] ppid=32361 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7 /proc/32364/task/32381/stat : 32381 (java) S 32361 32361 26425 0 -1 1077944384 452 0 0 0 2 0 0 0 20 0 20 0 419223853 27969658880 31222 33554432000 4194304 4196468 140728959260192 139811483433456 139812966070914 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20299776 140728959267562 140728959267990 140728959267990 140728959270863 0 [pid=32364/tid=32382] ppid=32361 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/32364/task/32382/stat : 32382 (java) S 32361 32361 26425 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419223853 27969658880 31222 33554432000 4194304 4196468 140728959260192 139809574087264 139812966069973 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20299776 140728959267562 140728959267990 140728959267990 140728959270863 0 [pid=32364/tid=32383] ppid=32361 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/32364/task/32383/stat : 32383 (java) S 32361 32361 26425 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419223853 27969658880 31222 33554432000 4194304 4196468 140728959260192 139811482380848 139812966070914 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20299776 140728959267562 140728959267990 140728959267990 140728959270863 0 Current children cumulated CPU time: 0.24 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 126284 KiB [startup+0.309524 s]* /proc/loadavg: 5.66 4.59 3.64 2/213 32383 /proc/meminfo: memFree=26960148/32770624 swapFree=67021672/67108860 [pid=32361] ppid=32358 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/32361/stat : 32361 (scop.sh) S 32358 32361 26425 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419223845 115843072 349 33554432000 4194304 5098028 140726490792272 140726490789528 139789262672508 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 29757440 140726490796836 140726490797164 140726490797164 140726490800077 0 /proc/32361/statm: 28282 349 296 221 0 87 0 [pid=32364] ppid=32361 vsize=27314120 memory=128756 CPUtime=0.42 cores=0-7 /proc/32364/stat : 32364 (java) S 32361 32361 26425 0 -1 1077944320 12532 0 0 0 39 3 0 0 20 0 20 0 419223845 27969658880 32189 33554432000 4194304 4196468 140728959260192 140728959242736 139812966059767 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20299776 140728959267562 140728959267990 140728959267990 140728959270863 0 /proc/32364/statm: 6828530 32189 3062 1 0 6790935 0 [pid=32364/tid=32365] ppid=32361 vsize=27314120 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/32364/task/32365/stat : 32365 (java) R 32361 32361 26425 0 -1 4202560 10042 0 0 0 26 3 0 0 20 0 20 0 419223846 27969658880 32189 33554432000 4194304 4196468 140728959260192 139812937884928 139812947623327 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20299776 140728959267562 140728959267990 140728959267990 140728959270863 0 [pid=32364/tid=32366] ppid=32361 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/32364/task/32366/stat : 32366 (java) S 32361 32361 26425 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419223848 27969658880 32189 33554432000 4194304 4196468 140728959260192 139812970302096 139812966069973 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20299776 140728959267562 140728959267990 140728959267990 140728959270863 0 [pid=32364/tid=32367] ppid=32361 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/32364/task/32367/stat : 32367 (java) S 32361 32361 26425 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419223848 27969658880 32189 33554432000 4194304 4196468 140728959260192 139812797118992 139812966069973 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20299776 140728959267562 140728959267990 140728959267990 140728959270863 0 [pid=32364/tid=32368] ppid=32361 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/32364/task/32368/stat : 32368 (java) S 32361 32361 26425 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419223848 27969658880 32189 33554432000 4194304 4196468 140728959260192 139812386982288 139812966069973 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20299776 140728959267562 140728959267990 140728959267990 140728959270863 0 [pid=32364/tid=32369] ppid=32361 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/32364/task/32369/stat : 32369 (java) S 32361 32361 26425 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419223848 27969658880 32189 33554432000 4194304 4196468 140728959260192 139812385929488 139812966069973 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20299776 140728959267562 140728959267990 140728959267990 140728959270863 0 [pid=32364/tid=32370] ppid=32361 vsize=27314120 memory=2244 CPUtime=0 cores=0-7 /proc/32364/task/32370/stat : 32370 (java) S 32361 32361 26425 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419223848 27969658880 32189 33554432000 4194304 4196468 140728959260192 139812384877712 139812966069973 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20299776 140728959267562 140728959267990 140728959267990 140728959270863 0 [pid=32364/tid=32371] ppid=32361 vsize=27314120 memory=139714279601071 CPUtime=0 cores=0-7 /proc/32364/task/32371/stat : 32371 (java) S 32361 32361 26425 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419223848 27969658880 32189 33554432000 4194304 4196468 140728959260192 139812383824912 139812966069973 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20299776 140728959267562 140728959267990 140728959267990 140728959270863 0 [pid=32364/tid=32372] ppid=32361 vsize=27314120 memory=139714279603376 CPUtime=0 cores=0-7 /proc/32364/task/32372/stat : 32372 (java) S 32361 32361 26425 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419223848 27969658880 32189 33554432000 4194304 4196468 140728959260192 139812382772112 139812966069973 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20299776 140728959267562 140728959267990 140728959267990 140728959270863 0 [pid=32364/tid=32373] ppid=32361 vsize=27314120 memory=139714279605680 CPUtime=0 cores=0-7 /proc/32364/task/32373/stat : 32373 (java) S 32361 32361 26425 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419223848 27969658880 32189 33554432000 4194304 4196468 140728959260192 139812381719312 139812966069973 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20299776 140728959267562 140728959267990 140728959267990 140728959270863 0 [pid=32364/tid=32374] ppid=32361 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/32364/task/32374/stat : 32374 (java) S 32361 32361 26425 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419223850 27969658880 32189 33554432000 4194304 4196468 140728959260192 139811487644016 139812966070914 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20299776 140728959267562 140728959267990 140728959267990 140728959270863 0 [pid=32364/tid=32375] ppid=32361 vsize=27314120 memory=279428559218320 CPUtime=0 cores=0-7 /proc/32364/task/32375/stat : 32375 (java) S 32361 32361 26425 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419223850 27969658880 32189 33554432000 4194304 4196468 140728959260192 139810580718624 139812966069973 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20299776 140728959267562 140728959267990 140728959267990 140728959270863 0 [pid=32364/tid=32376] ppid=32361 vsize=27314120 memory=279428559225232 CPUtime=0 cores=0-7 /proc/32364/task/32376/stat : 32376 (java) S 32361 32361 26425 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419223850 27969658880 32189 33554432000 4194304 4196468 140728959260192 139810446496624 139812966069973 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20299776 140728959267562 140728959267990 140728959267990 140728959270863 0 [pid=32364/tid=32377] ppid=32361 vsize=27314120 memory=279428559166512 CPUtime=0 cores=0-7 /proc/32364/task/32377/stat : 32377 (java) S 32361 32361 26425 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419223853 27969658880 32189 33554432000 4194304 4196468 140728959260192 139810071992144 139812966078363 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20299776 140728959267562 140728959267990 140728959267990 140728959270863 0 [pid=32364/tid=32378] ppid=32361 vsize=27314120 memory=279428559239056 CPUtime=0.02 cores=0-7 /proc/32364/task/32378/stat : 32378 (java) S 32361 32361 26425 0 -1 1077944384 414 0 0 0 2 0 0 0 20 0 20 0 419223853 27969658880 32189 33554432000 4194304 4196468 140728959260192 139811486591856 139812966070914 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20299776 140728959267562 140728959267990 140728959267990 140728959270863 0 [pid=32364/tid=32379] ppid=32361 vsize=27314120 memory=279428559245968 CPUtime=0.01 cores=0-7 /proc/32364/task/32379/stat : 32379 (java) S 32361 32361 26425 0 -1 1077944384 164 0 0 0 1 0 0 0 20 0 20 0 419223853 27969658880 32189 33554432000 4194304 4196468 140728959260192 139811485539056 139812966070914 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20299776 140728959267562 140728959267990 140728959267990 140728959270863 0 [pid=32364/tid=32380] ppid=32361 vsize=27314120 memory=279428559243664 CPUtime=0.01 cores=0-7 /proc/32364/task/32380/stat : 32380 (java) R 32361 32361 26425 0 -1 4202560 78 0 0 0 1 0 0 0 20 0 20 0 419223853 27969658880 32189 33554432000 4194304 4196468 140728959260192 139811484486256 139812947584664 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20299776 140728959267562 140728959267990 140728959267990 140728959270863 0 [pid=32364/tid=32381] ppid=32361 vsize=27314120 memory=279428559259824 CPUtime=0.07 cores=0-7 /proc/32364/task/32381/stat : 32381 (java) S 32361 32361 26425 0 -1 1077944384 475 0 0 0 7 0 0 0 20 0 20 0 419223853 27969658880 32189 33554432000 4194304 4196468 140728959260192 139811483433456 139812966070914 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20299776 140728959267562 140728959267990 140728959267990 140728959270863 0 [pid=32364/tid=32382] ppid=32361 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/32364/task/32382/stat : 32382 (java) S 32361 32361 26425 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419223853 27969658880 32189 33554432000 4194304 4196468 140728959260192 139809574087264 139812966069973 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20299776 140728959267562 140728959267990 140728959267990 140728959270863 0 [pid=32364/tid=32383] ppid=32361 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/32364/task/32383/stat : 32383 (java) S 32361 32361 26425 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419223853 27969658880 32189 33554432000 4194304 4196468 140728959260192 139811482380848 139812966070914 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20299776 140728959267562 140728959267990 140728959267990 140728959270863 0 Current children cumulated CPU time: 0.42 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 130152 KiB [startup+0.700869 s] /proc/loadavg: 5.66 4.59 3.64 2/213 32383 /proc/meminfo: memFree=26939112/32770624 swapFree=67021672/67108860 [pid=32361] ppid=32358 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/32361/stat : 32361 (scop.sh) S 32358 32361 26425 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419223845 115843072 349 33554432000 4194304 5098028 140726490792272 140726490789528 139789262672508 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 29757440 140726490796836 140726490797164 140726490797164 140726490800077 0 /proc/32361/statm: 28282 349 296 221 0 87 0 [pid=32364] ppid=32361 vsize=27322516 memory=163612 CPUtime=0.98 cores=0-7 /proc/32364/stat : 32364 (java) S 32361 32361 26425 0 -1 1077944320 20029 0 0 0 92 6 0 0 20 0 20 0 419223845 27978256384 40903 33554432000 4194304 4196468 140728959260192 140728959242736 139812966059767 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20299776 140728959267562 140728959267990 140728959267990 140728959270863 0 /proc/32364/statm: 6830629 40903 3206 1 0 6791959 0 [pid=32364/tid=32365] ppid=32361 vsize=27322516 memory=279428559617712 CPUtime=0.67 cores=0-7 /proc/32364/task/32365/stat : 32365 (java) R 32361 32361 26425 0 -1 4202560 17142 0 0 0 62 5 0 0 20 0 20 0 419223846 27978256384 40903 33554432000 4194304 4196468 140728959260192 139812937891536 139812467970876 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20299776 140728959267562 140728959267990 140728959267990 140728959270863 0 [pid=32364/tid=32366] ppid=32361 vsize=27322516 memory=139714279809904 CPUtime=0 cores=0-7 /proc/32364/task/32366/stat : 32366 (java) S 32361 32361 26425 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419223848 27978256384 40903 33554432000 4194304 4196468 140728959260192 139812970302096 139812966069973 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20299776 140728959267562 140728959267990 140728959267990 140728959270863 0 [pid=32364/tid=32367] ppid=32361 vsize=27322516 memory=0 CPUtime=0 cores=0-7 /proc/32364/task/32367/stat : 32367 (java) S 32361 32361 26425 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419223848 27978256384 40903 33554432000 4194304 4196468 140728959260192 139812797118992 139812966069973 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20299776 140728959267562 140728959267990 140728959267990 140728959270863 0 [pid=32364/tid=32368] ppid=32361 vsize=27322516 memory=1224 CPUtime=0 cores=0-7 /proc/32364/task/32368/stat : 32368 (java) S 32361 32361 26425 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419223848 27978256384 40903 33554432000 4194304 4196468 140728959260192 139812386982288 139812966069973 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20299776 140728959267562 140728959267990 140728959267990 140728959270863 0 ################ # More data... # ################ [pid=32384/tid=32400] ppid=32361 vsize=8414124 memory=1736 CPUtime=0.03 cores=0-7 /proc/32384/task/32400/stat : 32400 (java) S 32361 32361 26425 0 -1 1077944384 125 0 0 0 3 0 0 0 20 0 24 0 419224234 8616062976 30583 33554432000 4194304 4196468 140730035023792 140563409786992 140564109703810 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9379840 140730035024887 140730035025046 140730035025046 140730035027919 0 [pid=32384/tid=32401] ppid=32361 vsize=8414124 memory=1784 CPUtime=0.2 cores=0-7 /proc/32384/task/32401/stat : 32401 (java) S 32361 32361 26425 0 -1 1077944384 985 0 0 0 20 0 0 0 20 0 24 0 419224234 8616062976 30583 33554432000 4194304 4196468 140730035023792 140563064023024 140564109703810 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9379840 140730035024887 140730035025046 140730035025046 140730035027919 0 [pid=32384/tid=32402] ppid=32361 vsize=8414124 memory=924 CPUtime=0 cores=0-7 /proc/32384/task/32402/stat : 32402 (java) S 32361 32361 26425 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419224235 8616062976 30583 33554432000 4194304 4196468 140730035023792 140561596017760 140564109702869 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9379840 140730035024887 140730035025046 140730035025046 140730035027919 0 [pid=32384/tid=32403] ppid=32361 vsize=8414124 memory=2344 CPUtime=0.23 cores=0-7 /proc/32384/task/32403/stat : 32403 (java) S 32361 32361 26425 0 -1 1077944384 27 0 0 0 0 23 0 0 20 0 24 0 419224235 8616062976 30583 33554432000 4194304 4196468 140730035023792 140563062971440 140564109703810 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9379840 140730035024887 140730035025046 140730035025046 140730035027919 0 [pid=32384/tid=32405] ppid=32361 vsize=8414124 memory=2064 CPUtime=0 cores=0-7 /proc/32384/task/32405/stat : 32405 (java) S 32361 32361 26425 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419224300 8616062976 30583 33554432000 4194304 4196468 140730035023792 140563055494720 140564109717273 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 9379840 140730035024887 140730035025046 140730035025046 140730035027919 0 [pid=32384/tid=32407] ppid=32361 vsize=8414124 memory=2876 CPUtime=0.02 cores=0-7 /proc/32384/task/32407/stat : 32407 (java) S 32361 32361 26425 0 -1 4202560 1681 0 0 0 0 2 0 0 20 0 24 0 419224300 8616062976 30583 33554432000 4194304 4196468 140730035023792 140560924917392 140564109714589 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 9379840 140730035024887 140730035025046 140730035025046 140730035027919 0 [pid=32384/tid=32408] ppid=32361 vsize=8414124 memory=1572 CPUtime=0 cores=0-7 /proc/32384/task/32408/stat : 32408 (java) S 32361 32361 26425 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 24 0 419224300 8616062976 30583 33554432000 4194304 4196468 140730035023792 140561193352720 140564109714589 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 9379840 140730035024887 140730035025046 140730035025046 140730035027919 0 [pid=32384/tid=32409] ppid=32361 vsize=8414124 memory=880 CPUtime=0 cores=0-7 /proc/32384/task/32409/stat : 32409 (java) S 32361 32361 26425 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419224302 8616062976 30583 33554432000 4194304 4196468 140730035023792 140560656489520 140564109702869 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9379840 140730035024887 140730035025046 140730035025046 140730035027919 0 Current children cumulated CPU time: 2847.59 s Current children cumulated vsize: 9918180 KiB Current children cumulated memory: 1223860 KiB [startup+376.001 s]* /proc/loadavg: 7.26 6.79 5.00 3/218 32440 /proc/meminfo: memFree=25857672/32770624 swapFree=67021676/67108860 [pid=32361] ppid=32358 vsize=113128 memory=1476 CPUtime=6.55 cores=0-7 /proc/32361/stat : 32361 (scop.sh) S 32358 32361 26425 0 -1 4202496 582 27175 0 0 0 0 618 37 20 0 1 0 419223845 115843072 369 33554432000 4194304 5098028 140726490792272 140726490789016 139789262672508 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29757440 140726490796836 140726490797164 140726490797164 140726490800077 0 /proc/32361/statm: 28282 369 311 221 0 87 0 [pid=32384] ppid=32361 vsize=8414124 memory=122332 CPUtime=1.44 cores=0-7 /proc/32384/stat : 32384 (java) S 32361 32361 26425 0 -1 1077944320 22672 0 0 0 132 12 0 0 20 0 24 0 419224228 8616062976 30583 33554432000 4194304 4196468 140730035023792 140730035006336 140564109692663 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9379840 140730035024887 140730035025046 140730035025046 140730035027919 0 /proc/32384/statm: 2103531 30583 3194 1 0 2064875 0 [pid=32404] ppid=32384 vsize=1390928 memory=1098080 CPUtime=2844.42 cores=0-7 /proc/32404/stat : 32404 (manyglucose-4.1) S 32384 32361 26425 0 -1 1077944320 1891436 0 0 0 284104 338 0 0 20 0 3 0 419224300 1424310272 274520 33554432000 4194304 4454172 140731322261552 140731322259936 140311181446903 0 4 0 8388610 18446744073709551615 0 0 17 2 0 0 0 0 0 6552832 6554400 30507008 140731322266473 140731322266672 140731322266672 140731322269626 0 /proc/32404/statm: 347732 274520 422 64 0 343400 0 [pid=32404/tid=32410] ppid=32384 vsize=1390928 memory=1736 CPUtime=368.94 cores=0-7 /proc/32404/task/32410/stat : 32410 (manyglucose-4.1) R 32384 32361 26425 0 -1 4202560 264980 0 0 0 36840 54 0 0 20 0 3 0 419224391 1424310272 274520 33554432000 4194304 4454172 140731322261552 140311154683016 4351725 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6552832 6554400 30507008 140731322266473 140731322266672 140731322266672 140731322269626 0 [pid=32404/tid=32414] ppid=32384 vsize=1390928 memory=1784 CPUtime=365.05 cores=0-7 /proc/32404/task/32414/stat : 32414 (manyglucose-4.1) R 32384 32361 26425 0 -1 4202560 230404 0 0 0 36462 43 0 0 20 0 3 0 419224391 1424310272 274520 33554432000 4194304 4454172 140731322261552 140311099075752 4351209 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6552832 6554400 30507008 140731322266473 140731322266672 140731322266672 140731322269626 0 [pid=32384/tid=32385] ppid=32361 vsize=8414124 memory=4206468019030876256 CPUtime=0.75 cores=0-7 /proc/32384/task/32385/stat : 32385 (java) S 32361 32361 26425 0 -1 1077944384 17453 0 0 0 69 6 0 0 20 0 24 0 419224228 8616062976 30583 33554432000 4194304 4196468 140730035023792 140564081532832 140564109702869 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9379840 140730035024887 140730035025046 140730035025046 140730035027919 0 [pid=32384/tid=32386] ppid=32361 vsize=8414124 memory=-7533229591096565664 CPUtime=0 cores=0-7 /proc/32384/task/32386/stat : 32386 (java) S 32361 32361 26425 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419224230 8616062976 30583 33554432000 4194304 4196468 140730035023792 140564113935504 140564109702869 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9379840 140730035024887 140730035025046 140730035025046 140730035027919 0 [pid=32384/tid=32387] ppid=32361 vsize=8414124 memory=-8887123146453578130 CPUtime=0 cores=0-7 /proc/32384/task/32387/stat : 32387 (java) S 32361 32361 26425 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419224230 8616062976 30583 33554432000 4194304 4196468 140730035023792 140563594980368 140564109702869 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9379840 140730035024887 140730035025046 140730035025046 140730035027919 0 [pid=32384/tid=32388] ppid=32361 vsize=8414124 memory=122332 CPUtime=0 cores=0-7 /proc/32384/task/32388/stat : 32388 (java) S 32361 32361 26425 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419224230 8616062976 30583 33554432000 4194304 4196468 140730035023792 140563593927568 140564109702869 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9379840 140730035024887 140730035025046 140730035025046 140730035027919 0 [pid=32384/tid=32389] ppid=32361 vsize=8414124 memory=1100052 CPUtime=0 cores=0-7 /proc/32384/task/32389/stat : 32389 (java) S 32361 32361 26425 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419224230 8616062976 30583 33554432000 4194304 4196468 140730035023792 140563592874768 140564109702869 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9379840 140730035024887 140730035025046 140730035025046 140730035027919 0 [pid=32384/tid=32390] ppid=32361 vsize=8414124 memory=500 CPUtime=0 cores=0-7 /proc/32384/task/32390/stat : 32390 (java) S 32361 32361 26425 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419224230 8616062976 30583 33554432000 4194304 4196468 140730035023792 140563591821968 140564109702869 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9379840 140730035024887 140730035025046 140730035025046 140730035027919 0 [pid=32384/tid=32391] ppid=32361 vsize=8414124 memory=122332 CPUtime=0 cores=0-7 /proc/32384/task/32391/stat : 32391 (java) S 32361 32361 26425 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419224230 8616062976 30583 33554432000 4194304 4196468 140730035023792 140563590769168 140564109702869 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9379840 140730035024887 140730035025046 140730035025046 140730035027919 0 [pid=32384/tid=32392] ppid=32361 vsize=8414124 memory=1100052 CPUtime=0 cores=0-7 /proc/32384/task/32392/stat : 32392 (java) S 32361 32361 26425 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419224230 8616062976 30583 33554432000 4194304 4196468 140730035023792 140563589716368 140564109702869 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9379840 140730035024887 140730035025046 140730035025046 140730035027919 0 [pid=32384/tid=32393] ppid=32361 vsize=8414124 memory=10092 CPUtime=0 cores=0-7 /proc/32384/task/32393/stat : 32393 (java) S 32361 32361 26425 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419224230 8616062976 30583 33554432000 4194304 4196468 140730035023792 140563588663568 140564109702869 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9379840 140730035024887 140730035025046 140730035025046 140730035027919 0 [pid=32384/tid=32394] ppid=32361 vsize=8414124 memory=1908 CPUtime=0.01 cores=0-7 /proc/32384/task/32394/stat : 32394 (java) S 32361 32361 26425 0 -1 1077944384 9 0 0 0 1 0 0 0 20 0 24 0 419224231 8616062976 30583 33554432000 4194304 4196468 140730035023792 140563412945776 140564109703810 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9379840 140730035024887 140730035025046 140730035025046 140730035027919 0 [pid=32384/tid=32395] ppid=32361 vsize=8414124 memory=-8887123146453578130 CPUtime=0 cores=0-7 /proc/32384/task/32395/stat : 32395 (java) S 32361 32361 26425 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419224232 8616062976 30583 33554432000 4194304 4196468 140730035023792 140562736866848 140564109702869 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9379840 140730035024887 140730035025046 140730035025046 140730035027919 0 [pid=32384/tid=32396] ppid=32361 vsize=8414124 memory=4104 CPUtime=0 cores=0-7 /proc/32384/task/32396/stat : 32396 (java) S 32361 32361 26425 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419224232 8616062976 30583 33554432000 4194304 4196468 140730035023792 140562468431216 140564109702869 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9379840 140730035024887 140730035025046 140730035025046 140730035027919 0 [pid=32384/tid=32397] ppid=32361 vsize=8414124 memory=1412 CPUtime=0 cores=0-7 /proc/32384/task/32397/stat : 32397 (java) S 32361 32361 26425 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419224234 8616062976 30583 33554432000 4194304 4196468 140730035023792 140562093922640 140564109711259 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9379840 140730035024887 140730035025046 140730035025046 140730035027919 0 [pid=32384/tid=32398] ppid=32361 vsize=8414124 memory=3832 CPUtime=0.05 cores=0-7 /proc/32384/task/32398/stat : 32398 (java) S 32361 32361 26425 0 -1 1077944384 697 0 0 0 5 0 0 0 20 0 24 0 419224234 8616062976 30583 33554432000 4194304 4196468 140730035023792 140563411892592 140564109703810 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9379840 140730035024887 140730035025046 140730035025046 140730035027919 0 [pid=32384/tid=32399] ppid=32361 vsize=8414124 memory=1476 CPUtime=0.08 cores=0-7 /proc/32384/task/32399/stat : 32399 (java) S 32361 32361 26425 0 -1 1077944384 309 0 0 0 8 0 0 0 20 0 24 0 419224234 8616062976 30583 33554432000 4194304 4196468 140730035023792 140563410839792 140564109703810 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9379840 140730035024887 140730035025046 140730035025046 140730035027919 0 [pid=32384/tid=32400] ppid=32361 vsize=8414124 memory=122332 CPUtime=0.03 cores=0-7 /proc/32384/task/32400/stat : 32400 (java) S 32361 32361 26425 0 -1 1077944384 125 0 0 0 3 0 0 0 20 0 24 0 419224234 8616062976 30583 33554432000 4194304 4196468 140730035023792 140563409786992 140564109703810 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9379840 140730035024887 140730035025046 140730035025046 140730035027919 0 [pid=32384/tid=32401] ppid=32361 vsize=8414124 memory=122332 CPUtime=0.2 cores=0-7 /proc/32384/task/32401/stat : 32401 (java) S 32361 32361 26425 0 -1 1077944384 985 0 0 0 20 0 0 0 20 0 24 0 419224234 8616062976 30583 33554432000 4194304 4196468 140730035023792 140563064023024 140564109703810 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9379840 140730035024887 140730035025046 140730035025046 140730035027919 0 [pid=32384/tid=32402] ppid=32361 vsize=8414124 memory=1100052 CPUtime=0 cores=0-7 /proc/32384/task/32402/stat : 32402 (java) S 32361 32361 26425 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419224235 8616062976 30583 33554432000 4194304 4196468 140730035023792 140561596017760 140564109702869 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9379840 140730035024887 140730035025046 140730035025046 140730035027919 0 [pid=32384/tid=32403] ppid=32361 vsize=8414124 memory=1476 CPUtime=0.24 cores=0-7 /proc/32384/task/32403/stat : 32403 (java) S 32361 32361 26425 0 -1 1077944384 27 0 0 0 0 24 0 0 20 0 24 0 419224235 8616062976 30583 33554432000 4194304 4196468 140730035023792 140563062971440 140564109703810 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9379840 140730035024887 140730035025046 140730035025046 140730035027919 0 [pid=32384/tid=32405] ppid=32361 vsize=8414124 memory=9824 CPUtime=0 cores=0-7 /proc/32384/task/32405/stat : 32405 (java) S 32361 32361 26425 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419224300 8616062976 30583 33554432000 4194304 4196468 140730035023792 140563055494720 140564109717273 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 9379840 140730035024887 140730035025046 140730035025046 140730035027919 0 [pid=32384/tid=32407] ppid=32361 vsize=8414124 memory=2676 CPUtime=0.02 cores=0-7 /proc/32384/task/32407/stat : 32407 (java) S 32361 32361 26425 0 -1 4202560 1681 0 0 0 0 2 0 0 20 0 24 0 419224300 8616062976 30583 33554432000 4194304 4196468 140730035023792 140560924917392 140564109714589 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 9379840 140730035024887 140730035025046 140730035025046 140730035027919 0 [pid=32384/tid=32408] ppid=32361 vsize=8414124 memory=13240 CPUtime=0 cores=0-7 /proc/32384/task/32408/stat : 32408 (java) S 32361 32361 26425 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 24 0 419224300 8616062976 30583 33554432000 4194304 4196468 140730035023792 140561193352720 140564109714589 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 9379840 140730035024887 140730035025046 140730035025046 140730035027919 0 [pid=32384/tid=32409] ppid=32361 vsize=8414124 memory=500 CPUtime=0 cores=0-7 /proc/32384/task/32409/stat : 32409 (java) S 32361 32361 26425 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419224302 8616062976 30583 33554432000 4194304 4196468 140730035023792 140560656489520 140564109702869 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9379840 140730035024887 140730035025046 140730035025046 140730035027919 0 Current children cumulated CPU time: 2852.41 s Current children cumulated vsize: 9918180 KiB Current children cumulated memory: 1221888 KiB [startup+376.801 s] /proc/loadavg: 7.26 6.79 5.00 3/218 32440 /proc/meminfo: memFree=25857672/32770624 swapFree=67021676/67108860 [pid=32361] ppid=32358 vsize=113128 memory=1476 CPUtime=6.55 cores=0-7 /proc/32361/stat : 32361 (scop.sh) S 32358 32361 26425 0 -1 4202496 582 27175 0 0 0 0 618 37 20 0 1 0 419223845 115843072 369 33554432000 4194304 5098028 140726490792272 140726490789016 139789262672508 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29757440 140726490796836 140726490797164 140726490797164 140726490800077 0 /proc/32361/statm: 28282 369 311 221 0 87 0 [pid=32384] ppid=32361 vsize=8414124 memory=122332 CPUtime=1.44 cores=0-7 /proc/32384/stat : 32384 (java) S 32361 32361 26425 0 -1 1077944320 22672 0 0 0 132 12 0 0 20 0 24 0 419224228 8616062976 30583 33554432000 4194304 4196468 140730035023792 140730035006336 140564109692663 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9379840 140730035024887 140730035025046 140730035025046 140730035027919 0 /proc/32384/statm: 2103531 30583 3194 1 0 2064875 0 [pid=32404] ppid=32384 vsize=1390928 memory=1098080 CPUtime=2845.71 cores=0-7 /proc/32404/stat : 32404 (manyglucose-4.1) S 32384 32361 26425 0 -1 1077944320 1891437 0 0 0 284233 338 0 0 20 0 2 0 419224300 1424310272 274520 33554432000 4194304 4454172 140731322261552 140731322259936 140311181446903 0 4 0 8388610 18446744073709551615 0 0 17 2 0 0 0 0 0 6552832 6554400 30507008 140731322266473 140731322266672 140731322266672 140731322269626 0 /proc/32404/statm: 347732 274520 422 64 0 343400 0 [pid=32404/tid=32410] ppid=32384 vsize=1390928 memory=-8887123146453578130 CPUtime=369.73 cores=0-7 /proc/32404/task/32410/stat : 32410 (manyglucose-4.1) R 32384 32361 26425 0 -1 4202560 264981 0 0 0 36919 54 0 0 20 0 2 0 419224391 1424310272 274520 33554432000 4194304 4454172 140731322261552 140311154683016 4351209 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6552832 6554400 30507008 140731322266473 140731322266672 140731322266672 140731322269626 0 [pid=32384/tid=32385] ppid=32361 vsize=8414124 memory=1098080 CPUtime=0.75 cores=0-7 /proc/32384/task/32385/stat : 32385 (java) S 32361 32361 26425 0 -1 1077944384 17453 0 0 0 69 6 0 0 20 0 24 0 419224228 8616062976 30583 33554432000 4194304 4196468 140730035023792 140564081532832 140564109702869 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9379840 140730035024887 140730035025046 140730035025046 140730035027919 0 [pid=32384/tid=32386] ppid=32361 vsize=8414124 memory=4964 CPUtime=0 cores=0-7 /proc/32384/task/32386/stat : 32386 (java) S 32361 32361 26425 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419224230 8616062976 30583 33554432000 4194304 4196468 140730035023792 140564113935504 140564109702869 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9379840 140730035024887 140730035025046 140730035025046 140730035027919 0 [pid=32384/tid=32387] ppid=32361 vsize=8414124 memory=1476 CPUtime=0 cores=0-7 /proc/32384/task/32387/stat : 32387 (java) S 32361 32361 26425 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419224230 8616062976 30583 33554432000 4194304 4196468 140730035023792 140563594980368 140564109702869 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9379840 140730035024887 140730035025046 140730035025046 140730035027919 0 [pid=32384/tid=32388] ppid=32361 vsize=8414124 memory=1476 CPUtime=0 cores=0-7 /proc/32384/task/32388/stat : 32388 (java) S 32361 32361 26425 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419224230 8616062976 30583 33554432000 4194304 4196468 140730035023792 140563593927568 140564109702869 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9379840 140730035024887 140730035025046 140730035025046 140730035027919 0 [pid=32384/tid=32389] ppid=32361 vsize=8414124 memory=122332 CPUtime=0 cores=0-7 /proc/32384/task/32389/stat : 32389 (java) S 32361 32361 26425 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419224230 8616062976 30583 33554432000 4194304 4196468 140730035023792 140563592874768 140564109702869 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9379840 140730035024887 140730035025046 140730035025046 140730035027919 0 [pid=32384/tid=32390] ppid=32361 vsize=8414124 memory=1098080 CPUtime=0 cores=0-7 /proc/32384/task/32390/stat : 32390 (java) S 32361 32361 26425 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419224230 8616062976 30583 33554432000 4194304 4196468 140730035023792 140563591821968 140564109702869 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9379840 140730035024887 140730035025046 140730035025046 140730035027919 0 [pid=32384/tid=32391] ppid=32361 vsize=8414124 memory=1100052 CPUtime=0 cores=0-7 /proc/32384/task/32391/stat : 32391 (java) S 32361 32361 26425 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419224230 8616062976 30583 33554432000 4194304 4196468 140730035023792 140563590769168 140564109702869 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9379840 140730035024887 140730035025046 140730035025046 140730035027919 0 [pid=32384/tid=32392] ppid=32361 vsize=8414124 memory=-8887123146453578130 CPUtime=0 cores=0-7 /proc/32384/task/32392/stat : 32392 (java) S 32361 32361 26425 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419224230 8616062976 30583 33554432000 4194304 4196468 140730035023792 140563589716368 140564109702869 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9379840 140730035024887 140730035025046 140730035025046 140730035027919 0 [pid=32384/tid=32393] ppid=32361 vsize=8414124 memory=1572 CPUtime=0 cores=0-7 /proc/32384/task/32393/stat : 32393 (java) S 32361 32361 26425 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419224230 8616062976 30583 33554432000 4194304 4196468 140730035023792 140563588663568 140564109702869 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9379840 140730035024887 140730035025046 140730035025046 140730035027919 0 [pid=32384/tid=32394] ppid=32361 vsize=8414124 memory=880 CPUtime=0.01 cores=0-7 /proc/32384/task/32394/stat : 32394 (java) S 32361 32361 26425 0 -1 1077944384 9 0 0 0 1 0 0 0 20 0 24 0 419224231 8616062976 30583 33554432000 4194304 4196468 140730035023792 140563412945776 140564109703810 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9379840 140730035024887 140730035025046 140730035025046 140730035027919 0 [pid=32384/tid=32395] ppid=32361 vsize=8414124 memory=1760 CPUtime=0 cores=0-7 /proc/32384/task/32395/stat : 32395 (java) S 32361 32361 26425 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419224232 8616062976 30583 33554432000 4194304 4196468 140730035023792 140562736866848 140564109702869 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9379840 140730035024887 140730035025046 140730035025046 140730035027919 0 [pid=32384/tid=32396] ppid=32361 vsize=8414124 memory=1476 CPUtime=0 cores=0-7 /proc/32384/task/32396/stat : 32396 (java) S 32361 32361 26425 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419224232 8616062976 30583 33554432000 4194304 4196468 140730035023792 140562468431216 140564109702869 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9379840 140730035024887 140730035025046 140730035025046 140730035027919 0 [pid=32384/tid=32397] ppid=32361 vsize=8414124 memory=-8887123146453578130 CPUtime=0 cores=0-7 /proc/32384/task/32397/stat : 32397 (java) S 32361 32361 26425 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419224234 8616062976 30583 33554432000 4194304 4196468 140730035023792 140562093922640 140564109711259 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9379840 140730035024887 140730035025046 140730035025046 140730035027919 0 [pid=32384/tid=32398] ppid=32361 vsize=8414124 memory=1908 CPUtime=0.05 cores=0-7 /proc/32384/task/32398/stat : 32398 (java) S 32361 32361 26425 0 -1 1077944384 697 0 0 0 5 0 0 0 20 0 24 0 419224234 8616062976 30583 33554432000 4194304 4196468 140730035023792 140563411892592 140564109703810 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9379840 140730035024887 140730035025046 140730035025046 140730035027919 0 [pid=32384/tid=32399] ppid=32361 vsize=8414124 memory=1360 CPUtime=0.08 cores=0-7 /proc/32384/task/32399/stat : 32399 (java) S 32361 32361 26425 0 -1 1077944384 309 0 0 0 8 0 0 0 20 0 24 0 419224234 8616062976 30583 33554432000 4194304 4196468 140730035023792 140563410839792 140564109703810 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9379840 140730035024887 140730035025046 140730035025046 140730035027919 0 [pid=32384/tid=32400] ppid=32361 vsize=8414124 memory=7432 CPUtime=0.03 cores=0-7 /proc/32384/task/32400/stat : 32400 (java) S 32361 32361 26425 0 -1 1077944384 125 0 0 0 3 0 0 0 20 0 24 0 419224234 8616062976 30583 33554432000 4194304 4196468 140730035023792 140563409786992 140564109703810 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9379840 140730035024887 140730035025046 140730035025046 140730035027919 0 [pid=32384/tid=32401] ppid=32361 vsize=8414124 memory=860 CPUtime=0.2 cores=0-7 /proc/32384/task/32401/stat : 32401 (java) S 32361 32361 26425 0 -1 1077944384 985 0 0 0 20 0 0 0 20 0 24 0 419224234 8616062976 30583 33554432000 4194304 4196468 140730035023792 140563064023024 140564109703810 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9379840 140730035024887 140730035025046 140730035025046 140730035027919 0 [pid=32384/tid=32402] ppid=32361 vsize=8414124 memory=776 CPUtime=0 cores=0-7 /proc/32384/task/32402/stat : 32402 (java) S 32361 32361 26425 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419224235 8616062976 30583 33554432000 4194304 4196468 140730035023792 140561596017760 140564109702869 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9379840 140730035024887 140730035025046 140730035025046 140730035027919 0 [pid=32384/tid=32403] ppid=32361 vsize=8414124 memory=1612 CPUtime=0.24 cores=0-7 /proc/32384/task/32403/stat : 32403 (java) S 32361 32361 26425 0 -1 1077944384 27 0 0 0 0 24 0 0 20 0 24 0 419224235 8616062976 30583 33554432000 4194304 4196468 140730035023792 140563062971440 140564109703810 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9379840 140730035024887 140730035025046 140730035025046 140730035027919 0 [pid=32384/tid=32405] ppid=32361 vsize=8414124 memory=1224 CPUtime=0 cores=0-7 /proc/32384/task/32405/stat : 32405 (java) S 32361 32361 26425 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419224300 8616062976 30583 33554432000 4194304 4196468 140730035023792 140563055494720 140564109717273 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 9379840 140730035024887 140730035025046 140730035025046 140730035027919 0 [pid=32384/tid=32407] ppid=32361 vsize=8414124 memory=3824 CPUtime=0.02 cores=0-7 /proc/32384/task/32407/stat : 32407 (java) S 32361 32361 26425 0 -1 4202560 1681 0 0 0 0 2 0 0 20 0 24 0 419224300 8616062976 30583 33554432000 4194304 4196468 140730035023792 140560924917392 140564109714589 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 9379840 140730035024887 140730035025046 140730035025046 140730035027919 0 [pid=32384/tid=32408] ppid=32361 vsize=8414124 memory=1384 CPUtime=0 cores=0-7 /proc/32384/task/32408/stat : 32408 (java) S 32361 32361 26425 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 24 0 419224300 8616062976 30583 33554432000 4194304 4196468 140730035023792 140561193352720 140564109714589 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 9379840 140730035024887 140730035025046 140730035025046 140730035027919 0 [pid=32384/tid=32409] ppid=32361 vsize=8414124 memory=111632 CPUtime=0 cores=0-7 /proc/32384/task/32409/stat : 32409 (java) S 32361 32361 26425 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419224302 8616062976 30583 33554432000 4194304 4196468 140730035023792 140560656489520 140564109702869 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9379840 140730035024887 140730035025046 140730035025046 140730035027919 0 Current children cumulated CPU time: 2853.7 s Current children cumulated vsize: 9918180 KiB Current children cumulated memory: 1221888 KiB [startup+377.001 s]* /proc/loadavg: 7.26 6.79 5.00 5/213 32440 /proc/meminfo: memFree=26942668/32770624 swapFree=67021676/67108860 [pid=32361] ppid=32358 vsize=113128 memory=1476 CPUtime=6.55 cores=0-7 /proc/32361/stat : 32361 (scop.sh) S 32358 32361 26425 0 -1 4202496 582 27175 0 0 0 0 618 37 20 0 1 0 419223845 115843072 369 33554432000 4194304 5098028 140726490792272 140726490789016 139789262672508 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29757440 140726490796836 140726490797164 140726490797164 140726490800077 0 /proc/32361/statm: 28282 369 311 221 0 87 0 Current children cumulated CPU time: 6.55 s Current children cumulated vsize: 113128 KiB Current children cumulated memory: 1476 KiB Child status: 0 Real time (s): 377.014 CPU time (s): 2854.27 CPU user time (s): 2850.33 CPU system time (s): 3.93591 CPU usage (%): 757.072 Max. virtual memory (cumulated for all children) (KiB): 27441876 Max. memory (cumulated for all children) (KiB): 1732276 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2850.33 system time used= 3.93591 maximum resident set size= 1736200 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1943859 page faults= 0 swaps= 0 block input operations= 0 block output operations= 17944 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 28817 involuntary context switches= 28885 # summary of solver processes directly reported to runsolver: # pid: 32361 # total CPU time (s): 2854.27 # total CPU user time (s): 2850.33 # total CPU system time (s): 3.93591 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 3.59771 second user time and 5.42524 second system time The end
Begin job on node150 at 2019-09-14 04:51:13 IDJOB=4392706 IDBENCH=127806 IDSOLVER=2839 FILE ID=node150/4392706-1568429512 RUNJOBID= node150-1568416728-26452 PBS_JOBID= 21702251 Free space on /tmp= 59360 MiB SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-06-15) BENCH NAME= XCSP17/RectPacking/RectPacking-m1-perf/RectPacking-perfect-154.xml COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -hybrid DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4392706-1568429512/watcher-4392706-1568429512 -o /tmp/evaluation-result-4392706-1568429512/solver-4392706-1568429512 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node150-1568416728-26452 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392706-1568429512.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 9c35d8cb8d03f0164c4f0b6ed4b5e670 RANDOM SEED=1237110491 node150.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.79 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.79 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.79 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.79 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: 27076432 kB MemAvailable: 31829604 kB Buffers: 205808 kB Cached: 4757960 kB SwapCached: 13676 kB Active: 1137544 kB Inactive: 3875208 kB Active(anon): 12556 kB Inactive(anon): 61656 kB Active(file): 1124988 kB Inactive(file): 3813552 kB Unevictable: 109232 kB Mlocked: 109232 kB SwapTotal: 67108860 kB SwapFree: 67021672 kB Dirty: 20580 kB Writeback: 0 kB AnonPages: 228108 kB Mapped: 39276 kB Shmem: 17004 kB Slab: 273644 kB SReclaimable: 243092 kB SUnreclaim: 30552 kB KernelStack: 3744 kB PageTables: 5836 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 498792 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 151552 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 99712 kB DirectMap2M: 33445888 kB Free space on /tmp at the end= 59340 MiB End job on node150 at 2019-09-14 04:57:30