Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
Fun-sCOP order+ManyGlucose (2019-06-15) | SAT | 1177.68 | 153.11 |
Name | RectPacking/RectPacking-m1-perf/ RectPacking-perfect-152.xml |
MD5SUM | 95353c685d9c4a971cd57b59ef19ccd8 |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 69.0695 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 50 |
Number of constraints | 53 |
Number of domains | 1 |
Minimum domain size | 513 |
Maximum domain size | 513 |
Distribution of domain sizes | [{"size":513,"count":50}] |
Minimum variable degree | 2 |
Maximum variable degree | 4 |
Distribution of variable degrees | [{"degree":2,"count":48},{"degree":3,"count":1},{"degree":4,"count":1}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 50 |
Distribution of constraint arities | [{"arity":1,"count":51},{"arity":2,"count":1},{"arity":50,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 52 |
Distribution of constraint types | [{"type":"intension","count":52},{"type":"noOverlap","count":1}] |
Optimization problem | NO |
Type of objective |
0.00/0.00 c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -order -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-14931-serial-file.bin HOME/instance-4392417-1568430440.xml 0.61/0.76 0.61/0.76 Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15) 0.61/0.76 0.61/0.79 c BEGIN-Prog: Sat Sep 14 05:06:41 CEST 2019 0.61/0.79 c PID: 14934 0.61/0.79 c IP: 172.20.3.140 0.61/0.79 c HOST: node140.alineos.net 0.61/0.79 c (0,0) Parsing Begin 1.36/1.12 c (0,0) Parsing End 1.36/1.13 c (0,0) CSP: 50 int (0 aux), 0 bool (0 aux), 53 ctr, max domain size 513 1.36/1.13 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB) 1.36/1.13 c (0,0) Constraint Name Generate Begin 1.36/1.14 c (0,0) Ctr:HOME/instance-4392417-1568430440.xml,Le:NoOverlap:Num:Var 1.36/1.14 c (0,0) Constraint Name Generate End 1.36/1.14 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB) 1.36/1.14 c (0,0) CSP to CSPinCNF Begin 1.51/1.22 c (0,0) translated 6 (10%) constraints 1.51/1.22 c (0,0) translated 11 (20%) constraints 1.51/1.22 c (0,0) translated 16 (30%) constraints 1.51/1.22 c (0,0) translated 22 (40%) constraints 1.51/1.23 c (0,0) translated 27 (50%) constraints 1.51/1.23 c (0,0) translated 32 (60%) constraints 1.51/1.23 c (0,0) translated 38 (70%) constraints 1.51/1.23 c (0,0) translated 43 (80%) constraints 1.51/1.24 c (0,0) translated 48 (90%) constraints 2.09/1.49 c (0,0) translated 53 (100%) constraints 2.09/1.49 c (0,0) =========================================== 2.09/1.49 c (0,0) Order 2.09/1.49 c (0,0) =========================================== 2.41/1.50 c (0,0) translated 36 (10%) constraints 2.41/1.50 c (0,0) translated 71 (20%) constraints 2.41/1.51 c (0,0) translated 106 (30%) constraints 2.41/1.52 c (0,0) translated 141 (40%) constraints 2.41/1.52 c (0,0) translated 176 (50%) constraints 2.41/1.52 c (0,0) translated 212 (60%) constraints 2.41/1.53 c (0,0) translated 247 (70%) constraints 2.41/1.53 c (0,0) translated 282 (80%) constraints 2.41/1.54 c (0,0) translated 317 (90%) constraints 2.41/1.54 c (0,0) translated 352 (100%) constraints 2.41/1.55 c (0,0) CSP to CSPinCNF End 2.41/1.55 c (0,0) CSP: 50 int (0 aux), 0 bool (0 aux), 352 ctr, max domain size 508 2.41/1.55 c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB) 2.41/1.55 c (0,0) CSPinCNF Propagation Begin 2.41/1.58 c (0,0) 0 values, 6 unsatisfiable literals, and 51 valid clauses are removed 2.41/1.58 c (0,0) CSPinCNF Propagation End 2.41/1.58 c (0,0) CSP: 50 int (0 aux), 0 bool (0 aux), 301 ctr, max domain size 508 2.41/1.58 c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB) 2.41/1.58 c (0,0) Simplify CSPinCNF Begin 2.79/1.67 c (0,0) Simplify CSPinCNF End 2.79/1.67 c (0,0) CSP: 50 int (0 aux), 1194 bool (1194 aux), 1495 ctr, max domain size 508 2.79/1.67 c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB) 2.79/1.67 c (0,0) Calculate Precise Domain Begin 2.79/1.68 c (0,0) 0 values are removed by re-calculation 2.79/1.68 c (0,0) Calculate Precise Domain End 2.79/1.68 c (0,0) CSP: 50 int (0 aux), 1194 bool (1194 aux), 1495 ctr, max domain size 508 2.79/1.68 c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB) 2.79/1.68 c (0,0) CSPinCNF to SatSolver Begin 4.65/2.18 c (1,1) 150 (10 %) CSP clauses are encoded (0 SAT variables, 72337 SAT clauses) 4.95/2.37 c (1,1) 299 (20 %) CSP clauses are encoded (0 SAT variables, 121712 SAT clauses) 5.20/2.55 c (1,1) 449 (30 %) CSP clauses are encoded (0 SAT variables, 167458 SAT clauses) 5.41/2.73 c (1,1) 598 (40 %) CSP clauses are encoded (0 SAT variables, 214878 SAT clauses) 5.52/2.89 c (2,2) 748 (50 %) CSP clauses are encoded (0 SAT variables, 258354 SAT clauses) 5.74/3.06 c (2,2) 897 (60 %) CSP clauses are encoded (0 SAT variables, 301074 SAT clauses) 5.94/3.20 c (2,2) 1047 (70 %) CSP clauses are encoded (0 SAT variables, 339878 SAT clauses) 6.03/3.34 c (2,2) 1196 (80 %) CSP clauses are encoded (0 SAT variables, 376717 SAT clauses) 6.14/3.46 c (2,2) 1346 (90 %) CSP clauses are encoded (0 SAT variables, 407421 SAT clauses) 6.25/3.55 c (2,2) 1495 (100 %) CSP clauses are encoded (0 SAT variables, 429532 SAT clauses) 6.25/3.55 c (2,2) CSPinCNF to SatSolver End 6.25/3.55 c (2,2) Heap : 1802 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB) 6.25/3.55 c (2,2) 22394 bool, 429688 clause 6.25/3.55 c (2,2) Export Begin 6.41/3.63 c (2,2) Export to HOME/scop-14931-serial-file.bin 6.41/3.63 c (2,2) Export End 6.41/3.63 c (2,2) Export File Size: 0.01 MB 6.41/3.63 c (2,2) 0,0,0,0,0,0,2,STOP-AFTER(DIMACS) 6.41/3.63 c END-Prog: Sat Sep 14 05:06:44 CEST 2019 6.41/3.65 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-14931-serial-file.bin 7.06/4.13 c (0,0) Read Serial File Begin 7.06/4.13 c (0,0) HOME/scop-14931-serial-file.bin 7.31/4.33 c (0,0) Read Serial File End 7.31/4.34 7.31/4.34 Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15) 7.31/4.34 (Solving Process) 7.31/4.34 7.31/4.36 c BEGIN-Prog: Sat Sep 14 05:06:44 CEST 2019 7.31/4.36 c PID: 14954 7.31/4.36 c IP: 172.20.3.140 7.31/4.36 c HOST: node140.alineos.net 7.31/4.37 c (0,0) SatSolver.solve Begin 7.31/4.37 c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392417-1568430440.xml-scop-14934.cnf 7.31/4.39 c (0,0) c 7.31/4.39 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.31/4.39 c (0,0) c 7.31/4.39 c (0,0) c WARNING: for repeatability, setting FPU to use double precision 7.31/4.39 c (0,0) c 8 solvers engines and 1 companion as a blackboard created. 7.31/4.39 c (0,0) c ========================================[ Problem Statistics ]=========================================== 7.31/4.39 c (0,0) c | | 7.62/4.55 c (0,0) c | Number of variables: 22394 | 7.62/4.55 c (0,0) c | Number of clauses: 429688 | 7.62/4.55 c (0,0) c | Parse time: 0.14 s | 7.62/4.55 c (0,0) c | | 8.33/5.14 c (1,0) c | Simplification time: 0.59 s | 8.33/5.14 c (1,0) c | | 8.42/5.28 c (1,0) c | Generating clones | 8.42/5.28 c (1,0) c | all clones generated. Memory = 303.90Mb. | 8.42/5.28 c (1,0) c ========================================================================================================| 8.42/5.28 c (1,0) c 8.42/5.28 c (1,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 8.42/5.28 c (1,0) c 8.42/5.28 c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 8.42/5.28 c (1,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8.42/5.28 c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 8.42/5.28 c (1,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 8.42/5.28 c (1,0) c | adaptStrategeis | True | False | True | False | True | False | True | False | 8.42/5.28 c (1,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 8.42/5.28 c (1,0) c | Initial random_seed | 91648253 | 91648254 | 91648255 | 91648256 | 91648257 | 91648258 | 91648259 | 91648260 | 8.42/5.28 c (1,0) c | chanseokStrategy | False | False | False | False | False | False | False | False | 8.42/5.28 c (1,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 8.42/5.28 c (1,0) c | glureduce | True | True | True | True | True | True | True | True | 8.42/5.28 c (1,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 8.42/5.28 c (1,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 8.42/5.28 c (1,0) c | luby_restart | False | False | False | False | False | False | False | False | 8.42/5.28 c (1,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 8.42/5.28 c (1,0) c | var_decay | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 8.42/5.28 c (1,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 8.42/5.28 c (1,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 8.42/5.28 c (1,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 8.42/5.28 c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 241.52/34.56 c (30,0) c 241.52/34.56 c (30,0) c |------------------------------------------------------------------------------------------------------------------------| 241.52/34.56 c (30,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 241.52/34.56 c (30,0) c |------------------------------------------------------------------------------------------------------------------------| 241.52/34.56 c (30,0) c | 0 | 181 | 107223 | 57252 | 35678 | 18707 | 9950 | 59776 | 7179 | 187 | 20 | 0.147 | 241.52/34.56 c (30,0) c | 1 | 210 | 111965 | 58519 | 35644 | 19985 | 9893 | 61003 | 7258 | 190 | 20 | 0.147 | 241.52/34.56 c (30,0) c | 2 | 189 | 110242 | 59554 | 38375 | 21012 | 9679 | 62955 | 7787 | 197 | 20 | 0.147 | 241.52/34.56 c (30,0) c | 3 | 206 | 109588 | 58433 | 35690 | 19888 | 9374 | 61777 | 7394 | 192 | 20 | 0.147 | 241.52/34.56 c (30,0) c | 4 | 233 | 111989 | 59815 | 36672 | 21270 | 9147 | 62398 | 7652 | 196 | 20 | 0.147 | 241.52/34.56 c (30,0) c | 5 | 211 | 111385 | 59940 | 38413 | 21398 | 9567 | 62252 | 7622 | 198 | 20 | 0.147 | 241.52/34.56 c (30,0) c | 6 | 224 | 108279 | 57462 | 36470 | 18921 | 9217 | 61221 | 7298 | 190 | 20 | 0.147 | 241.52/34.56 c (30,0) c | 7 | 232 | 116162 | 59812 | 38190 | 21271 | 9323 | 63378 | 7753 | 198 | 20 | 0.147 | 241.52/34.56 c (30,0) c 241.52/34.56 c (30,0) c synthesis 470788 conflicts 371616078 propagations 2015 conflicts/sec 1590279 propagations/sec 241.52/34.56 c (30,0) c real: 30.1721 s, cpu: 233.68 s, memory: 878.10 Mb 472.77/63.56 c (59,0) c 472.77/63.56 c (59,0) c |------------------------------------------------------------------------------------------------------------------------| 472.77/63.56 c (59,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 472.77/63.56 c (59,0) c |------------------------------------------------------------------------------------------------------------------------| 472.77/63.56 c (59,0) c | 0 | 324 | 166561 | 95239 | 41993 | 24060 | 14835 | 92633 | 12336 | 357 | 20 | 0.147 | 472.77/63.56 c (59,0) c | 1 | 427 | 174371 | 96323 | 42274 | 25142 | 13989 | 94724 | 12835 | 362 | 20 | 0.147 | 472.77/63.56 c (59,0) c | 2 | 363 | 172172 | 98512 | 45757 | 27335 | 14531 | 96526 | 13080 | 374 | 20 | 0.147 | 472.77/63.56 c (59,0) c | 3 | 367 | 171922 | 97176 | 44178 | 25997 | 14181 | 95206 | 12703 | 366 | 20 | 0.147 | 472.77/63.56 c (59,0) c | 4 | 357 | 173596 | 98443 | 44450 | 27272 | 13756 | 96580 | 12800 | 371 | 20 | 0.147 | 472.77/63.56 c (59,0) c | 5 | 336 | 171497 | 98492 | 44163 | 27310 | 13929 | 96800 | 12945 | 374 | 20 | 0.147 | 472.77/63.56 c (59,0) c | 6 | 338 | 163882 | 93796 | 43549 | 22619 | 14306 | 93317 | 12194 | 358 | 20 | 0.147 | 472.77/63.56 c (59,0) c | 7 | 400 | 176767 | 97650 | 45115 | 26474 | 13604 | 97457 | 12926 | 373 | 20 | 0.147 | 472.77/63.56 c (59,0) c 472.77/63.56 c (59,0) c synthesis 775631 conflicts 641352040 propagations 1669 conflicts/sec 1380171 propagations/sec 472.77/63.56 c (59,0) c real: 59.1721 s, cpu: 464.69 s, memory: 1326.10 Mb 709.00/93.57 c (89,0) c 709.00/93.57 c (89,0) c |------------------------------------------------------------------------------------------------------------------------| 709.00/93.57 c (89,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 709.00/93.57 c (89,0) c |------------------------------------------------------------------------------------------------------------------------| 709.00/93.57 c (89,0) c | 0 | 486 | 217911 | 128452 | 46346 | 37068 | 18934 | 120700 | 16577 | 529 | 20 | 0.147 | 709.00/93.57 c (89,0) c | 1 | 600 | 227977 | 129113 | 52320 | 37731 | 17528 | 122730 | 16884 | 531 | 20 | 0.147 | 709.00/93.57 c (89,0) c | 2 | 452 | 220300 | 131269 | 49643 | 39888 | 18578 | 123063 | 17304 | 540 | 20 | 0.147 | 709.00/93.57 c (89,0) c | 3 | 526 | 226695 | 132098 | 50494 | 40711 | 18307 | 124210 | 17175 | 546 | 20 | 0.147 | 709.00/93.57 c (89,0) c | 4 | 497 | 226420 | 133180 | 48673 | 41797 | 17772 | 121323 | 17074 | 549 | 20 | 0.147 | 709.00/93.57 c (89,0) c | 5 | 441 | 223306 | 133376 | 48030 | 41992 | 18137 | 123696 | 16916 | 547 | 20 | 0.147 | 709.00/93.57 c (89,0) c | 6 | 430 | 214383 | 127958 | 47867 | 36576 | 18248 | 122109 | 16297 | 533 | 20 | 0.147 | 709.00/93.57 c (89,0) c | 7 | 506 | 227837 | 132047 | 48819 | 40661 | 17509 | 125578 | 17188 | 548 | 20 | 0.147 | 709.00/93.57 c (89,0) c 709.00/93.57 c (89,0) c synthesis 1047493 conflicts 885955356 propagations 1495 conflicts/sec 1264081 propagations/sec 709.00/93.57 c (89,0) c real: 89.1801 s, cpu: 700.869 s, memory: 1326.10 Mb 945.16/123.56 c (119,0) c 945.16/123.56 c (119,0) c |------------------------------------------------------------------------------------------------------------------------| 945.16/123.56 c (119,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 945.16/123.56 c (119,0) c |------------------------------------------------------------------------------------------------------------------------| 945.16/123.56 c (119,0) c | 0 | 568 | 264816 | 161147 | 49706 | 45953 | 22960 | 146503 | 20350 | 708 | 20 | 0.263 | 945.16/123.56 c (119,0) c | 1 | 716 | 272737 | 158912 | 55702 | 44725 | 20578 | 146852 | 20330 | 699 | 20 | 0.147 | 945.16/123.56 c (119,0) c | 2 | 547 | 264402 | 161503 | 52743 | 46988 | 22080 | 146320 | 20553 | 708 | 20 | 0.264 | 945.16/123.56 c (119,0) c | 3 | 597 | 268443 | 161516 | 53117 | 47328 | 21479 | 145774 | 20240 | 707 | 20 | 0.147 | 945.16/123.56 c (119,0) c | 4 | 610 | 272345 | 163496 | 52944 | 49072 | 21444 | 148949 | 20595 | 715 | 20 | 0.263 | 945.16/123.56 c (119,0) c | 5 | 580 | 269189 | 163787 | 51080 | 49477 | 21343 | 148939 | 20579 | 718 | 20 | 0.264 | 945.16/123.56 c (119,0) c | 6 | 531 | 262996 | 160924 | 51828 | 46214 | 21977 | 147318 | 20390 | 717 | 20 | 0.264 | 945.16/123.56 c (119,0) c | 7 | 627 | 271328 | 161718 | 51391 | 47079 | 20366 | 150438 | 20762 | 719 | 20 | 0.263 | 945.16/123.56 c (119,0) c 945.16/123.56 c (119,0) c synthesis 1293003 conflicts 1110083171 propagations 1380 conflicts/sec 1185058 propagations/sec 945.16/123.56 c (119,0) c real: 119.172 s, cpu: 936.733 s, memory: 1390.10 Mb 1174.17/152.56 c (148,0) c 1174.17/152.56 c (148,0) c |------------------------------------------------------------------------------------------------------------------------| 1174.17/152.56 c (148,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 1174.17/152.56 c (148,0) c |------------------------------------------------------------------------------------------------------------------------| 1174.17/152.56 c (148,0) c | 0 | 658 | 306578 | 189151 | 52902 | 49061 | 25422 | 167184 | 23491 | 872 | 20 | 0.263 | 1174.17/152.56 c (148,0) c | 1 | 762 | 314490 | 187679 | 58467 | 47985 | 23138 | 167446 | 23185 | 868 | 20 | 0.263 | 1174.17/152.56 c (148,0) c | 2 | 634 | 310270 | 191963 | 55194 | 52210 | 25233 | 168839 | 23900 | 884 | 20 | 0.263 | 1174.17/152.56 c (148,0) c | 3 | 644 | 310713 | 190348 | 56123 | 50664 | 24718 | 168473 | 23081 | 874 | 20 | 0.263 | 1174.17/152.56 c (148,0) c | 4 | 722 | 314582 | 193073 | 54978 | 52364 | 25099 | 169790 | 23830 | 888 | 20 | 0.344 | 1174.17/152.56 c (148,0) c | 5 | 649 | 313141 | 193182 | 54536 | 53536 | 24708 | 170260 | 23602 | 888 | 20 | 0.263 | 1174.17/152.56 c (148,0) c | 6 | 626 | 305026 | 190551 | 54514 | 50701 | 25229 | 169627 | 23470 | 887 | 20 | 0.263 | 1174.17/152.56 c (148,0) c | 7 | 724 | 315347 | 190547 | 54011 | 50730 | 22760 | 171912 | 23870 | 888 | 20 | 0.263 | 1174.17/152.56 c (148,0) c 1174.17/152.56 c (148,0) c synthesis 1526494 conflicts 1323131879 propagations 1310 conflicts/sec 1135082 propagations/sec 1174.17/152.56 c (148,0) c real: 148.172 s, cpu: 1165.67 s, memory: 1390.10 Mb 1177.10/152.92 c (148,0) c 1177.10/152.92 c (148,0) c real time : 148.527 s 1177.10/152.92 c (148,0) c cpu time : 1168.11 s 1177.10/152.92 c (148,0) c 1177.10/152.92 c (148,0) c 1177.10/152.92 c (148,0) c 1177.10/152.92 c (148,0) c |---------------------------------------- FINAL STATS --------------------------------------------------| 1177.10/152.92 c (148,0) c 1177.10/152.92 c (148,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 1177.10/152.92 c (148,0) c | Threads | Total | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 1177.10/152.92 c (148,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 1177.10/152.92 c (148,0) c | Conflicts | 1529128 | 189555 | 188201 | 192235 | 190592 | 193396 | 193447 | 190909 | 190793 | 1177.10/152.92 c (148,0) c | Decisions | 2495293 | 307142 | 316728 | 310630 | 311051 | 314988 | 313572 | 305511 | 315671 | 1177.10/152.92 c (148,0) c | Propagations | 1325650668 | 163648617 | 162874376 | 168160758 | 164323973 | 166254960 | 167302126 | 166105909 | 166979949 | 1177.10/152.92 c (148,0) c | ReduceDBs | 88 | 11 | 11 | 11 | 11 | 11 | 11 | 11 | 11 | 1177.10/152.92 c (148,0) c | SimpDBs | 25 | 3 | 3 | 3 | 3 | 4 | 3 | 3 | 3 | 1177.10/152.92 c (148,0) c | Restarts | 5425 | 658 | 762 | 634 | 645 | 722 | 652 | 628 | 724 | 1177.10/152.92 c (148,0) c | ForcedImports | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1177.10/152.92 c (148,0) c | PropBinClauses| 1913861973 | 235454506 | 234297318 | 242310404 | 240499802 | 238421103 | 240943222 | 241786325 | 240149293 | 1177.10/152.92 c (148,0) c | PropPreBlocker| 21029845967 | 2604121512 | 2577084601 | 2644945376 | 2602268699 | 2646273015 | 2658874071 | 2653457795 | 2642820898 | 1177.10/152.92 c (148,0) c | PropNotBlocker| 8348942589 | 1034301933 | 1036804865 | 1046482143 | 1036793759 | 1047129415 | 1042545763 | 1050708054 | 1054176657 | 1177.10/152.92 c (148,0) c | LitFullScans | 42413718590 | 5250396909 | 5222504412 | 5322373272 | 5256592109 | 5340547631 | 5340434546 | 5340397859 | 5340471852 | 1177.10/152.92 c (148,0) c | LitScanFracts | 3418074 | 394844 | 405653 | 336038 | 564573 | 543088 | 409858 | 364529 | 399491 | 1177.10/152.92 c (148,0) c | DecisionLevel0| 5435 | 660 | 763 | 635 | 646 | 724 | 653 | 629 | 725 | 1177.10/152.92 c (148,0) c | Periods | 7068 | 875 | 870 | 887 | 876 | 890 | 890 | 890 | 890 | 1177.10/152.92 c (148,0) c | Margin | 160 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 1177.10/152.92 c (148,0) c | Avg_Trail | | 6171 | 6181 | 6150 | 6118 | 6195 | 6196 | 6156 | 6175 | 1177.10/152.92 c (148,0) c | Avg_DL | | 21 | 22 | 22 | 22 | 21 | 21 | 22 | 22 | 1177.10/152.92 c (148,0) c | Avg_Res | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1177.10/152.92 c (148,0) c | Avg_Res_Seen | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1177.10/152.92 c (148,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 1177.10/152.92 c (148,0) c | Exported | 196633 | 25465 | 23260 | 25268 | 24748 | 25135 | 24722 | 25259 | 22776 | 1177.10/152.92 c (148,0) c | Imported | 1353869 | 167184 | 167446 | 168839 | 168602 | 169790 | 170366 | 169730 | 171912 | 1177.10/152.92 c (148,0) c | Good | 322 | 37 | 45 | 39 | 42 | 36 | 43 | 42 | 38 | 1177.10/152.92 c (148,0) c | Purge | 1353547 | 167147 | 167401 | 168800 | 168560 | 169754 | 170323 | 169688 | 171874 | 1177.10/152.92 c (148,0) c | Promoted | 188718 | 23520 | 23196 | 23931 | 23119 | 23873 | 23652 | 23522 | 23905 | 1177.10/152.92 c (148,0) c | Remove_Imp | 794112 | 98297 | 100855 | 98450 | 98645 | 98613 | 98499 | 99919 | 100834 | 1177.10/152.92 c (148,0) c | Blocked_Reuse | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1177.10/152.92 c (148,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 1177.10/152.92 c (148,0) c | Unaries | | 2 | 1 | 1 | 1 | 2 | 1 | 1 | 1 | 1177.10/152.92 c (148,0) c | Binaries | | 9 | 1 | 7 | 4 | 15 | 3 | 4 | 8 | 1177.10/152.92 c (148,0) c | Glues | | 128 | 142 | 145 | 142 | 169 | 150 | 131 | 151 | 1177.10/152.92 c (148,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 1177.10/152.92 c (148,0) c | Orig_Seen | 12 % | 52965 | 60637 | 55216 | 56137 | 54989 | 54548 | 54528 | 54025 | 1177.10/152.92 c (148,0) c | Diff Orig seen| | - 7672 | X | - 5421 | - 4500 | - 5648 | - 6089 | - 6109 | - 6612 | 1177.10/152.92 c (148,0) c | Hamming | 30 % | 5719 | X | 7475 | 7877 | 7184 | 6770 | 6035 | 6250 | 1177.10/152.92 c (148,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 1177.10/152.92 c (148,0) c | RunningTime | | 147.5 100%| 147.4 100%| 146.8 99%| 146.6 99%| 145.8 99%| 145.4 99%| 147.3 100%| 145.2 98%| 1177.10/152.92 c (148,0) c | WaitingTime | | 0.0 0%| 0.0 0%| 0.7 0%| 0.9 1%| 1.6 1%| 2.1 1%| 0.2 0%| 2.3 2%| 1177.10/152.92 c (148,0) c | ExchangingTime| | 0.1 0%| 0.1 0%| 0.1 0%| 0.1 0%| 0.1 0%| 0.1 0%| 0.1 0%| 0.1 0%| 1177.10/152.92 c (148,0) c | PeriodProcTime| | 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 1177.10/152.92 c (148,0) c | SolvingTime | | 147.6 | 147.5 | 147.6 | 147.6 | 147.5 | 147.5 | 147.6 | 147.6 | 1177.10/152.92 c (148,0) c | PropagationTim| | 128.1 87%| 127.5 86%| 127.7 86%| 127.3 86%| 127.1 86%| 126.2 86%| 127.6 86%| 128.1 87%| 1177.10/152.92 c (148,0) c | AnalysisTime | | 16.7 11%| 17.0 12%| 17.0 12%| 17.4 12%| 17.5 12%| 18.4 12%| 17.1 12%| 16.6 11%| 1177.10/152.92 c (148,0) c | ReductionTime | | 0.4 0%| 0.5 0%| 0.5 0%| 0.5 0%| 0.5 0%| 0.4 0%| 0.5 0%| 0.4 0%| 1177.10/152.92 c (148,0) c | SimplifyTime | | 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.1 0%| 0.1 0%| 0.0 0%| 0.0 0%| 1177.10/152.92 c (148,0) c | UsedRateTime | | 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 1177.10/152.92 c (148,0) c | OverlapRateTim| | 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 1177.10/152.92 c (148,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 1177.10/152.92 c (148,0) c 1177.10/152.92 c (148,0) c 1177.10/152.92 c (148,0) c Threads : 8 1177.10/152.92 c (148,0) c Winner : 1 1177.10/152.92 c (148,0) c Conflicts_0 : 189555 1177.10/152.92 c (148,0) c Conflicts_1 : 188201 1177.10/152.92 c (148,0) c Conflicts_2 : 192235 1177.10/152.92 c (148,0) c Conflicts_3 : 190592 1177.10/152.92 c (148,0) c Conflicts_4 : 193396 1177.10/152.92 c (148,0) c Conflicts_5 : 193447 1177.10/152.92 c (148,0) c Conflicts_6 : 190909 1177.10/152.92 c (148,0) c Conflicts_7 : 190793 1177.10/152.92 c (148,0) c Conflicts_total : 1529128 1177.10/152.92 c (148,0) c Conflicts_winner : 188201 1177.10/152.92 c (148,0) c Decisions_0 : 307142 1177.10/152.92 c (148,0) c Decisions_1 : 316728 1177.10/152.92 c (148,0) c Decisions_2 : 310630 1177.10/152.92 c (148,0) c Decisions_3 : 311051 1177.10/152.92 c (148,0) c Decisions_4 : 314988 1177.10/152.92 c (148,0) c Decisions_5 : 313572 1177.10/152.92 c (148,0) c Decisions_6 : 305511 1177.10/152.92 c (148,0) c Decisions_7 : 315671 1177.10/152.92 c (148,0) c Decisions_total : 2495293 1177.10/152.92 c (148,0) c Decisions_winner : 316728 1177.10/152.92 c (148,0) c Propagations_0 : 163648617 1177.10/152.92 c (148,0) c Propagations_1 : 162874376 1177.10/152.92 c (148,0) c Propagations_2 : 168160758 1177.10/152.92 c (148,0) c Propagations_3 : 164323973 1177.10/152.92 c (148,0) c Propagations_4 : 166254960 1177.10/152.92 c (148,0) c Propagations_5 : 167302126 1177.10/152.92 c (148,0) c Propagations_6 : 166105909 1177.10/152.92 c (148,0) c Propagations_7 : 166979949 1177.10/152.92 c (148,0) c Propagations_total : 1325650668 1177.10/152.92 c (148,0) c Propagations_winner : 162874376 1177.10/152.92 c (148,0) c ReduceDBs_0 : 11 1177.10/152.92 c (148,0) c ReduceDBs_1 : 11 1177.10/152.92 c (148,0) c ReduceDBs_2 : 11 1177.10/152.92 c (148,0) c ReduceDBs_3 : 11 1177.10/152.92 c (148,0) c ReduceDBs_4 : 11 1177.10/152.92 c (148,0) c ReduceDBs_5 : 11 1177.10/152.92 c (148,0) c ReduceDBs_6 : 11 1177.10/152.92 c (148,0) c ReduceDBs_7 : 11 1177.10/152.92 c (148,0) c ReduceDBs_total : 88 1177.10/152.92 c (148,0) c ReduceDBs_winner : 11 1177.10/152.92 c (148,0) c SimpDBs_0 : 3 1177.10/152.92 c (148,0) c SimpDBs_1 : 3 1177.10/152.92 c (148,0) c SimpDBs_2 : 3 1177.10/152.92 c (148,0) c SimpDBs_3 : 3 1177.10/152.92 c (148,0) c SimpDBs_4 : 4 1177.10/152.92 c (148,0) c SimpDBs_5 : 3 1177.10/152.92 c (148,0) c SimpDBs_6 : 3 1177.10/152.92 c (148,0) c SimpDBs_7 : 3 1177.10/152.92 c (148,0) c SimpDBs_total : 25 1177.10/152.92 c (148,0) c SimpDBs_winner : 3 1177.10/152.92 c (148,0) c Restarts_0 : 658 1177.10/152.92 c (148,0) c Restarts_1 : 762 1177.10/152.92 c (148,0) c Restarts_2 : 634 1177.10/152.92 c (148,0) c Restarts_3 : 645 1177.10/152.92 c (148,0) c Restarts_4 : 722 1177.10/152.92 c (148,0) c Restarts_5 : 652 1177.10/152.92 c (148,0) c Restarts_6 : 628 1177.10/152.92 c (148,0) c Restarts_7 : 724 1177.10/152.92 c (148,0) c Restarts_total : 5425 1177.10/152.92 c (148,0) c Restarts_winner : 762 1177.10/152.92 c (148,0) c ForcedImports_0 : 0 1177.10/152.92 c (148,0) c ForcedImports_1 : 0 1177.10/152.92 c (148,0) c ForcedImports_2 : 0 1177.10/152.92 c (148,0) c ForcedImports_3 : 0 1177.10/152.92 c (148,0) c ForcedImports_4 : 0 1177.10/152.92 c (148,0) c ForcedImports_5 : 0 1177.10/152.92 c (148,0) c ForcedImports_6 : 0 1177.10/152.92 c (148,0) c ForcedImports_7 : 0 1177.10/152.92 c (148,0) c ForcedImports_total : 0 1177.10/152.92 c (148,0) c ForcedImports_winner : 0 1177.10/152.92 c (148,0) c PropsBinClauses_0 : 235454506 1177.10/152.92 c (148,0) c PropsBinClauses_1 : 234297318 1177.10/152.92 c (148,0) c PropsBinClauses_2 : 242310404 1177.10/152.92 c (148,0) c PropsBinClauses_3 : 240499802 1177.10/152.92 c (148,0) c PropsBinClauses_4 : 238421103 1177.10/152.92 c (148,0) c PropsBinClauses_5 : 240943222 1177.10/152.92 c (148,0) c PropsBinClauses_6 : 241786325 1177.10/152.92 c (148,0) c PropsBinClauses_7 : 240149293 1177.10/152.92 c (148,0) c PropsBinClauses_total : 1913861973 1177.10/152.92 c (148,0) c PropsBinClauses_winner : 234297318 1177.10/152.92 c (148,0) c PropsPreBlocker_0 : 2604121512 1177.10/152.92 c (148,0) c PropsPreBlocker_1 : 2577084601 1177.10/152.92 c (148,0) c PropsPreBlocker_2 : 2644945376 1177.10/152.92 c (148,0) c PropsPreBlocker_3 : 2602268699 1177.10/152.92 c (148,0) c PropsPreBlocker_4 : 2646273015 1177.10/152.92 c (148,0) c PropsPreBlocker_5 : 2658874071 1177.10/152.92 c (148,0) c PropsPreBlocker_6 : 2653457795 1177.10/152.92 c (148,0) c PropsPreBlocker_7 : 2642820898 1177.10/152.92 c (148,0) c PropsPreBlocker_total : 21029845967 1177.10/152.92 c (148,0) c PropsPreBlocker_winner : 2577084601 1177.10/152.92 c (148,0) c PropsNotBlocker_0 : 1034301933 1177.10/152.92 c (148,0) c PropsNotBlocker_1 : 1036804865 1177.10/152.92 c (148,0) c PropsNotBlocker_2 : 1046482143 1177.10/152.92 c (148,0) c PropsNotBlocker_3 : 1036793759 1177.10/152.92 c (148,0) c PropsNotBlocker_4 : 1047129415 1177.10/152.92 c (148,0) c PropsNotBlocker_5 : 1042545763 1177.10/152.92 c (148,0) c PropsNotBlocker_6 : 1050708054 1177.10/152.92 c (148,0) c PropsNotBlocker_7 : 1054176657 1177.10/152.92 c (148,0) c PropsNotBlocker_total : 8348942589 1177.10/152.92 c (148,0) c PropsNotBlocker_winner : 1036804865 1177.10/152.92 c (148,0) c PropsLitFullScans_0 : 5250396909 1177.10/152.92 c (148,0) c PropsLitFullScans_1 : 5222504412 1177.10/152.92 c (148,0) c PropsLitFullScans_2 : 5322373272 1177.10/152.92 c (148,0) c PropsLitFullScans_3 : 5256592109 1177.10/152.92 c (148,0) c PropsLitFullScans_4 : 5340547631 1177.10/152.92 c (148,0) c PropsLitFullScans_5 : 5340434546 1177.10/152.92 c (148,0) c PropsLitFullScans_6 : 5340397859 1177.10/152.92 c (148,0) c PropsLitFullScans_7 : 5340471852 1177.10/152.92 c (148,0) c PropsLitFullScans_total : 42413718590 1177.10/152.92 c (148,0) c PropsLitFullScans_winner : 5222504412 1177.10/152.92 c (148,0) c LitScanFractions_0 : 394844 1177.10/152.92 c (148,0) c LitScanFractions_1 : 405653 1177.10/152.92 c (148,0) c LitScanFractions_2 : 336038 1177.10/152.92 c (148,0) c LitScanFractions_3 : 564573 1177.10/152.92 c (148,0) c LitScanFractions_4 : 543088 1177.10/152.92 c (148,0) c LitScanFractions_5 : 409858 1177.10/152.92 c (148,0) c LitScanFractions_6 : 364529 1177.10/152.92 c (148,0) c LitScanFractions_7 : 399491 1177.10/152.92 c (148,0) c LitScanFractions_total : 3418074 1177.10/152.92 c (148,0) c LitScanFractions_winner : 405653 1177.10/152.92 c (148,0) c DecisionLevel0_0 : 660 1177.10/152.92 c (148,0) c DecisionLevel0_1 : 763 1177.10/152.92 c (148,0) c DecisionLevel0_2 : 635 1177.10/152.92 c (148,0) c DecisionLevel0_3 : 646 1177.10/152.92 c (148,0) c DecisionLevel0_4 : 724 1177.10/152.92 c (148,0) c DecisionLevel0_5 : 653 1177.10/152.92 c (148,0) c DecisionLevel0_6 : 629 1177.10/152.92 c (148,0) c DecisionLevel0_7 : 725 1177.10/152.92 c (148,0) c DecisionLevel0_total : 5435 1177.10/152.92 c (148,0) c DecisionLevel0_winner : 763 1177.10/152.92 c (148,0) c Periods_0 : 875 1177.10/152.92 c (148,0) c Periods_1 : 870 1177.10/152.92 c (148,0) c Periods_2 : 887 1177.10/152.92 c (148,0) c Periods_3 : 876 1177.10/152.92 c (148,0) c Periods_4 : 890 1177.10/152.92 c (148,0) c Periods_5 : 890 1177.10/152.92 c (148,0) c Periods_6 : 890 1177.10/152.92 c (148,0) c Periods_7 : 890 1177.10/152.92 c (148,0) c Periods_total : 7068 1177.10/152.92 c (148,0) c Periods_winner : 870 1177.10/152.92 c (148,0) c Margin_0 : 20 1177.10/152.93 c (148,0) c Margin_1 : 20 1177.10/152.93 c (148,0) c Margin_2 : 20 1177.10/152.93 c (148,0) c Margin_3 : 20 1177.10/152.93 c (148,0) c Margin_4 : 20 1177.10/152.93 c (148,0) c Margin_5 : 20 1177.10/152.93 c (148,0) c Margin_6 : 20 1177.10/152.93 c (148,0) c Margin_7 : 20 1177.10/152.93 c (148,0) c Margin_total : 160 1177.10/152.93 c (148,0) c Margin_winner : 20 1177.10/152.93 c (148,0) c Exported_0 : 25465 1177.10/152.93 c (148,0) c Exported_1 : 23260 1177.10/152.93 c (148,0) c Exported_2 : 25268 1177.10/152.93 c (148,0) c Exported_3 : 24748 1177.10/152.93 c (148,0) c Exported_4 : 25135 1177.10/152.93 c (148,0) c Exported_5 : 24722 1177.10/152.93 c (148,0) c Exported_6 : 25259 1177.10/152.93 c (148,0) c Exported_7 : 22776 1177.10/152.93 c (148,0) c Exported_total : 196633 1177.10/152.93 c (148,0) c Exported_winner : 23260 1177.10/152.93 c (148,0) c Imported_0 : 167184 1177.10/152.93 c (148,0) c Imported_1 : 167446 1177.10/152.93 c (148,0) c Imported_2 : 168839 1177.10/152.93 c (148,0) c Imported_3 : 168602 1177.10/152.93 c (148,0) c Imported_4 : 169790 1177.10/152.93 c (148,0) c Imported_5 : 170366 1177.10/152.93 c (148,0) c Imported_6 : 169730 1177.10/152.93 c (148,0) c Imported_7 : 171912 1177.10/152.93 c (148,0) c Imported_total : 1353869 1177.10/152.93 c (148,0) c Imported_winner : 167446 1177.10/152.93 c (148,0) c Good_0 : 37 1177.10/152.93 c (148,0) c Good_1 : 45 1177.10/152.93 c (148,0) c Good_2 : 39 1177.10/152.93 c (148,0) c Good_3 : 42 1177.10/152.93 c (148,0) c Good_4 : 36 1177.10/152.93 c (148,0) c Good_5 : 43 1177.10/152.93 c (148,0) c Good_6 : 42 1177.10/152.93 c (148,0) c Good_7 : 38 1177.10/152.93 c (148,0) c Good_total : 322 1177.10/152.93 c (148,0) c Good_winner : 45 1177.10/152.93 c (148,0) c Purge_0 : 167147 1177.10/152.93 c (148,0) c Purge_1 : 167401 1177.10/152.93 c (148,0) c Purge_2 : 168800 1177.10/152.93 c (148,0) c Purge_3 : 168560 1177.10/152.93 c (148,0) c Purge_4 : 169754 1177.10/152.93 c (148,0) c Purge_5 : 170323 1177.10/152.93 c (148,0) c Purge_6 : 169688 1177.10/152.93 c (148,0) c Purge_7 : 171874 1177.10/152.93 c (148,0) c Purge_total : 1353547 1177.10/152.93 c (148,0) c Purge_winner : 167401 1177.10/152.93 c (148,0) c Promoted_0 : 23520 1177.10/152.93 c (148,0) c Promoted_1 : 23196 1177.10/152.93 c (148,0) c Promoted_2 : 23931 1177.10/152.93 c (148,0) c Promoted_3 : 23119 1177.10/152.93 c (148,0) c Promoted_4 : 23873 1177.10/152.93 c (148,0) c Promoted_5 : 23652 1177.10/152.93 c (148,0) c Promoted_6 : 23522 1177.10/152.93 c (148,0) c Promoted_7 : 23905 1177.10/152.93 c (148,0) c Promoted_total : 188718 1177.10/152.93 c (148,0) c Promoted_winner : 23196 1177.10/152.93 c (148,0) c Remove_Imp_0 : 98297 1177.10/152.93 c (148,0) c Remove_Imp_1 : 100855 1177.10/152.93 c (148,0) c Remove_Imp_2 : 98450 1177.10/152.93 c (148,0) c Remove_Imp_3 : 98645 1177.10/152.93 c (148,0) c Remove_Imp_4 : 98613 1177.10/152.93 c (148,0) c Remove_Imp_5 : 98499 1177.10/152.93 c (148,0) c Remove_Imp_6 : 99919 1177.10/152.93 c (148,0) c Remove_Imp_7 : 100834 1177.10/152.93 c (148,0) c Remove_Imp_total : 794112 1177.10/152.93 c (148,0) c Remove_Imp_winner : 100855 1177.10/152.93 c (148,0) c Blocked_Reuse_0 : 0 1177.10/152.93 c (148,0) c Blocked_Reuse_1 : 0 1177.10/152.93 c (148,0) c Blocked_Reuse_2 : 0 1177.10/152.93 c (148,0) c Blocked_Reuse_3 : 0 1177.10/152.93 c (148,0) c Blocked_Reuse_4 : 0 1177.10/152.93 c (148,0) c Blocked_Reuse_5 : 0 1177.10/152.93 c (148,0) c Blocked_Reuse_6 : 0 1177.10/152.93 c (148,0) c Blocked_Reuse_7 : 0 1177.10/152.93 c (148,0) c Blocked_Reuse_total : 0 1177.10/152.93 c (148,0) c Blocked_Reuse_winner : 0 1177.10/152.93 c (148,0) c Unaries_0 : 2 1177.10/152.93 c (148,0) c Unaries_1 : 1 1177.10/152.93 c (148,0) c Unaries_2 : 1 1177.10/152.93 c (148,0) c Unaries_3 : 1 1177.10/152.93 c (148,0) c Unaries_4 : 2 1177.10/152.93 c (148,0) c Unaries_5 : 1 1177.10/152.93 c (148,0) c Unaries_6 : 1 1177.10/152.93 c (148,0) c Unaries_7 : 1 1177.10/152.93 c (148,0) c Unaries_total : 10 1177.10/152.93 c (148,0) c Unaries_winner : 1 1177.10/152.93 c (148,0) c Binaries_0 : 9 1177.10/152.93 c (148,0) c Binaries_1 : 1 1177.10/152.93 c (148,0) c Binaries_2 : 7 1177.10/152.93 c (148,0) c Binaries_3 : 4 1177.10/152.93 c (148,0) c Binaries_4 : 15 1177.10/152.93 c (148,0) c Binaries_5 : 3 1177.10/152.93 c (148,0) c Binaries_6 : 4 1177.10/152.93 c (148,0) c Binaries_7 : 8 1177.10/152.93 c (148,0) c Binaries_total : 51 1177.10/152.93 c (148,0) c Binaries_winner : 1 1177.10/152.93 c (148,0) c Glues_0 : 128 1177.10/152.93 c (148,0) c Glues_1 : 142 1177.10/152.93 c (148,0) c Glues_2 : 145 1177.10/152.93 c (148,0) c Glues_3 : 142 1177.10/152.93 c (148,0) c Glues_4 : 169 1177.10/152.93 c (148,0) c Glues_5 : 150 1177.10/152.93 c (148,0) c Glues_6 : 131 1177.10/152.93 c (148,0) c Glues_7 : 151 1177.10/152.93 c (148,0) c Glues_total : 1158 1177.10/152.93 c (148,0) c Glues_winner : 142 1177.10/152.93 c (148,0) c RunningTime_0 : 147.482582 1177.10/152.93 c (148,0) c RunningTime_1 : 147.406227 1177.10/152.93 c (148,0) c RunningTime_2 : 146.843908 1177.10/152.93 c (148,0) c RunningTime_3 : 146.574212 1177.10/152.93 c (148,0) c RunningTime_4 : 145.810606 1177.10/152.93 c (148,0) c RunningTime_5 : 145.392751 1177.10/152.93 c (148,0) c RunningTime_6 : 147.292921 1177.10/152.93 c (148,0) c RunningTime_7 : 145.188457 1177.10/152.93 c (148,0) c RunningTime_total : 1171.991665 1177.10/152.93 c (148,0) c RunningTime_winner : 147.406227 1177.10/152.93 c (148,0) c WaitingTime_0 : 0.001204 1177.10/152.93 c (148,0) c WaitingTime_1 : 0.001259 1177.10/152.93 c (148,0) c WaitingTime_2 : 0.651206 1177.10/152.93 c (148,0) c WaitingTime_3 : 0.903939 1177.10/152.93 c (148,0) c WaitingTime_4 : 1.610633 1177.10/152.93 c (148,0) c WaitingTime_5 : 2.052336 1177.10/152.93 c (148,0) c WaitingTime_6 : 0.222338 1177.10/152.93 c (148,0) c WaitingTime_7 : 2.280959 1177.10/152.93 c (148,0) c WaitingTime_total : 7.723875 1177.10/152.93 c (148,0) c WaitingTime_winner : 0.001259 1177.10/152.93 c (148,0) c ExchangingTime_0 : 0.115824 1177.10/152.93 c (148,0) c ExchangingTime_1 : 0.106626 1177.10/152.93 c (148,0) c ExchangingTime_2 : 0.104473 1177.10/152.93 c (148,0) c ExchangingTime_3 : 0.098202 1177.10/152.93 c (148,0) c ExchangingTime_4 : 0.112545 1177.10/152.93 c (148,0) c ExchangingTime_5 : 0.090861 1177.10/152.93 c (148,0) c ExchangingTime_6 : 0.101385 1177.10/152.93 c (148,0) c ExchangingTime_7 : 0.097669 1177.10/152.93 c (148,0) c ExchangingTime_total : 0.827584 1177.10/152.93 c (148,0) c ExchangingTime_winner : 0.106626 1177.10/152.93 c (148,0) c PeriodProcTime_0 : 0.009113 1177.10/152.93 c (148,0) c PeriodProcTime_1 : 0.009879 1177.10/152.93 c (148,0) c PeriodProcTime_2 : 0.009040 1177.10/152.93 c (148,0) c PeriodProcTime_3 : 0.008863 1177.10/152.93 c (148,0) c PeriodProcTime_4 : 0.009108 1177.10/152.93 c (148,0) c PeriodProcTime_5 : 0.009027 1177.10/152.93 c (148,0) c PeriodProcTime_6 : 0.009393 1177.10/152.93 c (148,0) c PeriodProcTime_7 : 0.009592 1177.10/152.93 c (148,0) c PeriodProcTime_total : 0.074015 1177.10/152.93 c (148,0) c PeriodProcTime_winner : 0.009879 1177.10/152.93 c (148,0) c SolvingTime_0 : 147.608722 1177.10/152.93 c (148,0) c SolvingTime_1 : 147.523991 1177.10/152.93 c (148,0) c SolvingTime_2 : 147.608627 1177.10/152.93 c (148,0) c SolvingTime_3 : 147.585216 1177.10/152.93 c (148,0) c SolvingTime_4 : 147.542892 1177.10/152.93 c (148,0) c SolvingTime_5 : 147.544976 1177.10/152.93 c (148,0) c SolvingTime_6 : 147.626037 1177.10/152.93 c (148,0) c SolvingTime_7 : 147.576677 1177.10/152.93 c (148,0) c SolvingTime_total : 1180.617139 1177.10/152.93 c (148,0) c SolvingTime_winner : 147.523991 1177.10/152.93 c (148,0) c PropagationTime_0 : 128.072764 1177.10/152.93 c (148,0) c PropagationTime_1 : 127.545493 1177.10/152.93 c (148,0) c PropagationTime_2 : 127.675468 1177.10/152.93 c (148,0) c PropagationTime_3 : 127.285036 1177.10/152.93 c (148,0) c PropagationTime_4 : 127.116332 1177.10/152.93 c (148,0) c PropagationTime_5 : 126.187643 1177.10/152.93 c (148,0) c PropagationTime_6 : 127.561524 1177.10/152.93 c (148,0) c PropagationTime_7 : 128.125664 1177.10/152.93 c (148,0) c PropagationTime_total : 1019.569925 1177.10/152.93 c (148,0) c PropagationTime_winner : 127.545493 1177.10/152.93 c (148,0) c AnalysisTime_0 : 16.710364 1177.10/152.93 c (148,0) c AnalysisTime_1 : 16.997791 1177.10/152.93 c (148,0) c AnalysisTime_2 : 16.983540 1177.10/152.93 c (148,0) c AnalysisTime_3 : 17.355721 1177.10/152.93 c (148,0) c AnalysisTime_4 : 17.485604 1177.10/152.93 c (148,0) c AnalysisTime_5 : 18.428211 1177.10/152.93 c (148,0) c AnalysisTime_6 : 17.070240 1177.10/152.93 c (148,0) c AnalysisTime_7 : 16.628306 1177.10/152.93 c (148,0) c AnalysisTime_total : 137.659777 1177.10/152.93 c (148,0) c AnalysisTime_winner : 16.997791 1177.10/152.93 c (148,0) c ReductionTime_0 : 0.423901 1177.10/152.93 c (148,0) c ReductionTime_1 : 0.480058 1177.10/152.93 c (148,0) c ReductionTime_2 : 0.470176 1177.10/152.93 c (148,0) c ReductionTime_3 : 0.462962 1177.10/152.93 c (148,0) c ReductionTime_4 : 0.471591 1177.10/152.93 c (148,0) c ReductionTime_5 : 0.426875 1177.10/152.93 c (148,0) c ReductionTime_6 : 0.467320 1177.10/152.93 c (148,0) c ReductionTime_7 : 0.399149 1177.10/152.93 c (148,0) c ReductionTime_total : 3.602032 1177.10/152.93 c (148,0) c ReductionTime_winner : 0.480058 1177.10/152.93 c (148,0) c SimplifyTime_0 : 0.038550 1177.10/152.93 c (148,0) c SimplifyTime_1 : 0.039691 1177.10/152.93 c (148,0) c SimplifyTime_2 : 0.039350 1177.10/152.93 c (148,0) c SimplifyTime_3 : 0.036524 1177.10/152.93 c (148,0) c SimplifyTime_4 : 0.062279 1177.10/152.93 c (148,0) c SimplifyTime_5 : 0.094661 1177.10/152.93 c (148,0) c SimplifyTime_6 : 0.039479 1177.10/152.93 c (148,0) c SimplifyTime_7 : 0.038818 1177.10/152.93 c (148,0) c SimplifyTime_total : 0.389353 1177.10/152.93 c (148,0) c SimplifyTime_winner : 0.039691 1177.10/152.93 c (148,0) c UsedRateTime_0 : 0.000000 1177.10/152.93 c (148,0) c UsedRateTime_1 : 0.000000 1177.10/152.93 c (148,0) c UsedRateTime_2 : 0.000000 1177.10/152.93 c (148,0) c UsedRateTime_3 : 0.000000 1177.10/152.93 c (148,0) c UsedRateTime_4 : 0.000000 1177.10/152.93 c (148,0) c UsedRateTime_5 : 0.000000 1177.10/152.93 c (148,0) c UsedRateTime_6 : 0.000000 1177.10/152.93 c (148,0) c UsedRateTime_7 : 0.000000 1177.10/152.93 c (148,0) c UsedRateTime_total : 0.000000 1177.10/152.93 c (148,0) c UsedRateTime_winner : 0.000000 1177.10/152.93 c (148,0) c OverlapRateTime_0 : 0.000000 1177.10/152.93 c (148,0) c OverlapRateTime_1 : 0.000000 1177.10/152.93 c (148,0) c OverlapRateTime_2 : 0.000000 1177.10/152.93 c (148,0) c OverlapRateTime_3 : 0.000000 1177.10/152.93 c (148,0) c OverlapRateTime_4 : 0.000000 1177.10/152.93 c (148,0) c OverlapRateTime_5 : 0.000000 1177.10/152.93 c (148,0) c OverlapRateTime_6 : 0.000000 1177.10/152.93 c (148,0) c OverlapRateTime_7 : 0.000000 1177.10/152.93 c (148,0) c OverlapRateTime_total : 0.000000 1177.10/152.93 c (148,0) c OverlapRateTime_winner : 0.000000 1177.10/152.93 c (148,0) c 1177.10/152.93 c (148,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 1177.10/152.93 c (148,0) c 1177.10/152.93 c (148,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 1177.10/152.93 c (148,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 1177.10/152.93 c (148,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 1177.10/152.93 c (148,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 1177.10/152.93 c (148,0) c | adaptStrategeis | False | False | False | False | False | False | False | False | 1177.10/152.93 c (148,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 1177.10/152.93 c (148,0) c | Initial random_seed | 366460512 | 2032600084 | 294387387 | 686780382 | 313049960 | 340715467 | 708454356 | 421400138 | 1177.10/152.93 c (148,0) c | chanseokStrategy | False | False | False | False | False | False | False | False | 1177.10/152.93 c (148,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 1177.10/152.93 c (148,0) c | glureduce | True | True | True | True | True | True | True | True | 1177.10/152.93 c (148,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 1177.10/152.93 c (148,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 1177.10/152.93 c (148,0) c | luby_restart | False | False | False | False | False | False | False | False | 1177.10/152.93 c (148,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 1177.10/152.93 c (148,0) c | var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 1177.10/152.93 c (148,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 1177.10/152.93 c (148,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 1177.10/152.93 c (148,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 1177.10/152.93 c (148,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 1177.10/152.93 c (148,0) 1177.10/152.93 c (148,0) s SATISFIABLE 1177.10/152.98 c (148,0) SatSolver.solve End 1177.10/152.98 c (148,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB) 1177.10/152.98 c (148,0) Show results Begin 1177.39/153.08 c (149,0) x[0] = 348 1177.39/153.08 c (149,0) x[1] = 93 1177.39/153.08 c (149,0) x[2] = 102 1177.39/153.08 c (149,0) x[3] = 209 1177.39/153.08 c (149,0) x[4] = 93 1177.39/153.08 c (149,0) x[5] = 324 1177.39/153.08 c (149,0) x[6] = 65 1177.39/153.08 c (149,0) x[7] = 112 1177.39/153.08 c (149,0) x[8] = 65 1177.39/153.08 c (149,0) x[9] = 102 1177.39/153.08 c (149,0) x[10] = 145 1177.39/153.09 c (149,0) x[11] = 0 1177.39/153.09 c (149,0) x[12] = 141 1177.39/153.09 c (149,0) x[13] = 145 1177.39/153.09 c (149,0) x[14] = 226 1177.39/153.09 c (149,0) x[15] = 102 1177.39/153.09 c (149,0) x[16] = 0 1177.39/153.09 c (149,0) x[17] = 209 1177.39/153.09 c (149,0) x[18] = 0 1177.39/153.09 c (149,0) x[19] = 201 1177.39/153.09 c (149,0) x[20] = 201 1177.39/153.09 c (149,0) x[21] = 354 1177.39/153.09 c (149,0) x[22] = 348 1177.39/153.09 c (149,0) x[23] = 324 1177.39/153.09 c (149,0) x[24] = 0 1177.39/153.09 c (149,0) y[0] = 153 1177.39/153.09 c (149,0) y[1] = 340 1177.39/153.09 c (149,0) y[2] = 339 1177.39/153.09 c (149,0) y[3] = 415 1177.39/153.09 c (149,0) y[4] = 349 1177.39/153.09 c (149,0) y[5] = 300 1177.39/153.09 c (149,0) y[6] = 340 1177.39/153.09 c (149,0) y[7] = 339 1177.39/153.09 c (149,0) y[8] = 303 1177.39/153.09 c (149,0) y[9] = 300 1177.39/153.09 c (149,0) y[10] = 368 1177.39/153.09 c (149,0) y[11] = 303 1177.39/153.09 c (149,0) y[12] = 300 1177.39/153.09 c (149,0) y[13] = 432 1177.39/153.09 c (149,0) y[14] = 415 1177.39/153.09 c (149,0) y[15] = 201 1177.39/153.09 c (149,0) y[16] = 201 1177.39/153.09 c (149,0) y[17] = 300 1177.39/153.09 c (149,0) y[18] = 368 1177.39/153.09 c (149,0) y[19] = 153 1177.39/153.09 c (149,0) y[20] = 0 1177.39/153.09 c (149,0) y[21] = 0 1177.39/153.09 c (149,0) y[22] = 159 1177.39/153.09 c (149,0) y[23] = 324 1177.39/153.09 c (149,0) y[24] = 0 1177.39/153.09 s SATISFIABLE 1177.39/153.10 v <instantiation> 1177.39/153.10 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> 1177.39/153.10 v <values>348 93 102 209 93 324 65 112 65 102 145 0 141 145 226 102 0 209 0 201 201 354 348 324 0 153 340 339 415 349 300 340 339 303 300 368 303 300 432 415 201 201 300 368 153 0 0 159 324 0</values> 1177.39/153.10 v </instantiation> 1177.39/153.10 c (149,0) Show results End 1177.39/153.10 c (149,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB) 1177.39/153.10 c (149,0) 148,149,STOP-AFTER(ALL) 1177.39/153.10 c END-Prog: Sat Sep 14 05:09:13 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 (10596 MiB free) memory of node 1: 16384 MiB (13431 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392417-1568430440/watcher-4392417-1568430440 -o /tmp/evaluation-result-4392417-1568430440/solver-4392417-1568430440 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node140-1568430400-14914 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392417-1568430440.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=14931, runsolver pid=14928 Current StackSize limit: 8192 KiB [startup+0.100132 s]* /proc/loadavg: 7.73 7.87 7.61 1/193 14935 /proc/meminfo: memFree=24596084/32770624 swapFree=66999292/67108860 [pid=14931] ppid=14928 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/14931/stat : 14931 (scop.sh) S 14928 14931 14887 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 418982458 115843072 349 33554432000 4194304 5098028 140733701542160 140733701539416 139970752844412 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32370688 140733701550885 140733701551212 140733701551212 140733701554125 0 /proc/14931/statm: 28282 349 296 221 0 87 0 [pid=14934] ppid=14931 vsize=239456 memory=5292 CPUtime=0 cores=0-7 /proc/14934/stat : 14934 (java) S 14931 14931 14887 0 -1 1077944320 1621 0 0 0 0 0 0 0 20 0 2 0 418982458 245202944 1323 33554432000 4194304 4196468 140730373682736 140730373665280 139928892280567 0 0 6 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14827520 140730373690091 140730373690518 140730373690518 140730373693391 0 /proc/14934/statm: 59864 1323 993 1 0 49322 0 [pid=14934/tid=14935] ppid=14931 vsize=239456 memory=8329577318937697690 CPUtime=0 cores=0-7 /proc/14934/task/14935/stat : 14935 (java) D 14931 14931 14887 0 -1 4202560 317 0 0 0 0 0 0 0 20 0 2 0 418982459 245202944 1323 33554432000 4194304 4196468 140730373682736 139928864123184 139928884771733 0 0 6 16784584 18446744072100539525 0 0 -1 0 0 0 0 0 0 6293624 6294260 14827520 140730373690091 140730373690518 140730373690518 140730373693391 0 Current children cumulated CPU time: 0 s Current children cumulated vsize: 352584 KiB Current children cumulated memory: 6688 KiB [startup+0.209424 s]* /proc/loadavg: 7.73 7.87 7.61 1/193 14935 /proc/meminfo: memFree=24600296/32770624 swapFree=66999292/67108860 [pid=14931] ppid=14928 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/14931/stat : 14931 (scop.sh) S 14928 14931 14887 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 418982458 115843072 349 33554432000 4194304 5098028 140733701542160 140733701539416 139970752844412 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32370688 140733701550885 140733701551212 140733701551212 140733701554125 0 /proc/14931/statm: 28282 349 296 221 0 87 0 [pid=14934] ppid=14931 vsize=239456 memory=5292 CPUtime=0 cores=0-7 /proc/14934/stat : 14934 (java) S 14931 14931 14887 0 -1 1077944320 1621 0 0 0 0 0 0 0 20 0 2 0 418982458 245202944 1323 33554432000 4194304 4196468 140730373682736 140730373665280 139928892280567 0 0 6 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14827520 140730373690091 140730373690518 140730373690518 140730373693391 0 /proc/14934/statm: 59864 1323 993 1 0 49322 0 [pid=14934/tid=14935] ppid=14931 vsize=239456 memory=-4116735710718344508 CPUtime=0 cores=0-7 /proc/14934/task/14935/stat : 14935 (java) D 14931 14931 14887 0 -1 4202560 317 0 0 0 0 0 0 0 20 0 2 0 418982459 245202944 1323 33554432000 4194304 4196468 140730373682736 139928864123184 139928884771733 0 0 6 16784584 18446744072100539525 0 0 -1 0 0 0 0 0 0 6293624 6294260 14827520 140730373690091 140730373690518 140730373690518 140730373693391 0 Current children cumulated CPU time: 0 s Current children cumulated vsize: 352584 KiB Current children cumulated memory: 6688 KiB [startup+0.308654 s]* /proc/loadavg: 7.73 7.87 7.61 2/211 14953 /proc/meminfo: memFree=24510596/32770624 swapFree=66999292/67108860 [pid=14931] ppid=14928 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/14931/stat : 14931 (scop.sh) S 14928 14931 14887 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 418982458 115843072 349 33554432000 4194304 5098028 140733701542160 140733701539416 139970752844412 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32370688 140733701550885 140733701551212 140733701551212 140733701554125 0 /proc/14931/statm: 28282 349 296 221 0 87 0 [pid=14934] ppid=14931 vsize=27314120 memory=104444 CPUtime=0.09 cores=0-7 /proc/14934/stat : 14934 (java) S 14931 14931 14887 0 -1 1077944320 6677 0 0 0 7 2 0 0 20 0 20 0 418982458 27969658880 26111 33554432000 4194304 4196468 140730373682736 140730373665280 139928892280567 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14827520 140730373690091 140730373690518 140730373690518 140730373693391 0 /proc/14934/statm: 6828530 26111 2757 1 0 6790935 0 [pid=14934/tid=14935] ppid=14931 vsize=27314120 memory=12769 CPUtime=0.08 cores=0-7 /proc/14934/task/14935/stat : 14935 (java) R 14931 14931 14887 0 -1 4202560 4781 0 0 0 6 2 0 0 20 0 20 0 418982459 27969658880 26111 33554432000 4194304 4196468 140730373682736 139928864106896 139928892302493 0 4 2 16800973 0 0 0 -1 6 0 0 21 0 0 6293624 6294260 14827520 140730373690091 140730373690518 140730373690518 140730373693391 0 [pid=14934/tid=14936] ppid=14931 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/14934/task/14936/stat : 14936 (java) S 14931 14931 14887 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418982483 27969658880 26111 33554432000 4194304 4196468 140730373682736 139928896522640 139928892290773 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14827520 140730373690091 140730373690518 140730373690518 140730373693391 0 [pid=14934/tid=14937] ppid=14931 vsize=27314120 memory=140043606808192 CPUtime=0 cores=0-7 /proc/14934/task/14937/stat : 14937 (java) S 14931 14931 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418982483 27969658880 26111 33554432000 4194304 4196468 140730373682736 139928710678800 139928892290773 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14827520 140730373690091 140730373690518 140730373690518 140730373693391 0 [pid=14934/tid=14938] ppid=14931 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/14934/task/14938/stat : 14938 (java) S 14931 14931 14887 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418982483 27969658880 26111 33554432000 4194304 4196468 140730373682736 139928709626512 139928892290773 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14827520 140730373690091 140730373690518 140730373690518 140730373693391 0 [pid=14934/tid=14939] ppid=14931 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/14934/task/14939/stat : 14939 (java) S 14931 14931 14887 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418982483 27969658880 26111 33554432000 4194304 4196468 140730373682736 139928708573712 139928892290773 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14827520 140730373690091 140730373690518 140730373690518 140730373693391 0 [pid=14934/tid=14940] ppid=14931 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/14934/task/14940/stat : 14940 (java) S 14931 14931 14887 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418982483 27969658880 26111 33554432000 4194304 4196468 140730373682736 139928707521424 139928892290773 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14827520 140730373690091 140730373690518 140730373690518 140730373693391 0 [pid=14934/tid=14941] ppid=14931 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/14934/task/14941/stat : 14941 (java) S 14931 14931 14887 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418982483 27969658880 26111 33554432000 4194304 4196468 140730373682736 139928706468624 139928892290773 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14827520 140730373690091 140730373690518 140730373690518 140730373693391 0 [pid=14934/tid=14942] ppid=14931 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/14934/task/14942/stat : 14942 (java) S 14931 14931 14887 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418982483 27969658880 26111 33554432000 4194304 4196468 140730373682736 139928705416336 139928892290773 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14827520 140730373690091 140730373690518 140730373690518 140730373693391 0 [pid=14934/tid=14943] ppid=14931 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/14934/task/14943/stat : 14943 (java) S 14931 14931 14887 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418982483 27969658880 26111 33554432000 4194304 4196468 140730373682736 139928704363536 139928892290773 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14827520 140730373690091 140730373690518 140730373690518 140730373693391 0 [pid=14934/tid=14944] ppid=14931 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/14934/task/14944/stat : 14944 (java) S 14931 14931 14887 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418982484 27969658880 26111 33554432000 4194304 4196468 140730373682736 139927211714672 139928892291714 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14827520 140730373690091 140730373690518 140730373690518 140730373693391 0 [pid=14934/tid=14945] ppid=14931 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/14934/task/14945/stat : 14945 (java) S 14931 14931 14887 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418982485 27969658880 26111 33554432000 4194304 4196468 140730373682736 139926679053088 139928892290773 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14827520 140730373690091 140730373690518 140730373690518 140730373693391 0 [pid=14934/tid=14946] ppid=14931 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/14934/task/14946/stat : 14946 (java) S 14931 14931 14887 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418982485 27969658880 26111 33554432000 4194304 4196468 140730373682736 139926544831600 139928892290773 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14827520 140730373690091 140730373690518 140730373690518 140730373693391 0 [pid=14934/tid=14947] ppid=14931 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/14934/task/14947/stat : 14947 (java) S 14931 14931 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418982487 27969658880 26111 33554432000 4194304 4196468 140730373682736 139926170327120 139928892299163 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14827520 140730373690091 140730373690518 140730373690518 140730373693391 0 [pid=14934/tid=14948] ppid=14931 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/14934/task/14948/stat : 14948 (java) S 14931 14931 14887 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 20 0 418982487 27969658880 26111 33554432000 4194304 4196468 140730373682736 139927210662512 139928892291714 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14827520 140730373690091 140730373690518 140730373690518 140730373693391 0 [pid=14934/tid=14949] ppid=14931 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/14934/task/14949/stat : 14949 (java) S 14931 14931 14887 0 -1 1077944384 273 0 0 0 0 0 0 0 20 0 20 0 418982487 27969658880 26111 33554432000 4194304 4196468 140730373682736 139927209609712 139928892291714 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14827520 140730373690091 140730373690518 140730373690518 140730373693391 0 [pid=14934/tid=14950] ppid=14931 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/14934/task/14950/stat : 14950 (java) S 14931 14931 14887 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418982488 27969658880 26111 33554432000 4194304 4196468 140730373682736 139927208557424 139928892291714 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14827520 140730373690091 140730373690518 140730373690518 140730373693391 0 [pid=14934/tid=14951] ppid=14931 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/14934/task/14951/stat : 14951 (java) S 14931 14931 14887 0 -1 1077944384 230 0 0 0 0 0 0 0 20 0 20 0 418982488 27969658880 26111 33554432000 4194304 4196468 140730373682736 139927207504624 139928892291714 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14827520 140730373690091 140730373690518 140730373690518 140730373693391 0 [pid=14934/tid=14952] ppid=14931 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/14934/task/14952/stat : 14952 (java) S 14931 14931 14887 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418982488 27969658880 26111 33554432000 4194304 4196468 140730373682736 139925672421728 139928892290773 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14827520 140730373690091 140730373690518 140730373690518 140730373693391 0 [pid=14934/tid=14953] ppid=14931 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/14934/task/14953/stat : 14953 (java) S 14931 14931 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418982488 27969658880 26111 33554432000 4194304 4196468 140730373682736 139927206451504 139928892291714 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14827520 140730373690091 140730373690518 140730373690518 140730373693391 0 Current children cumulated CPU time: 0.09 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 105840 KiB [startup+0.700912 s] /proc/loadavg: 7.73 7.87 7.61 2/211 14953 /proc/meminfo: memFree=24487484/32770624 swapFree=66999292/67108860 [pid=14931] ppid=14928 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/14931/stat : 14931 (scop.sh) S 14928 14931 14887 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 418982458 115843072 349 33554432000 4194304 5098028 140733701542160 140733701539416 139970752844412 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32370688 140733701550885 140733701551212 140733701551212 140733701554125 0 /proc/14931/statm: 28282 349 296 221 0 87 0 [pid=14934] ppid=14931 vsize=27314120 memory=146868 CPUtime=0.61 cores=0-7 /proc/14934/stat : 14934 (java) S 14931 14931 14887 0 -1 1077944320 17295 0 0 0 56 5 0 0 20 0 20 0 418982458 27969658880 36717 33554432000 4194304 4196468 140730373682736 140730373665280 139928892280567 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14827520 140730373690091 140730373690518 140730373690518 140730373693391 0 /proc/14934/statm: 6828530 36717 3018 1 0 6790935 0 [pid=14934/tid=14935] ppid=14931 vsize=27314120 memory=3977717039595883991 CPUtime=0.46 cores=0-7 /proc/14934/task/14935/stat : 14935 (java) R 14931 14931 14887 0 -1 4202560 14754 0 0 0 42 4 0 0 20 0 20 0 418982459 27969658880 36717 33554432000 4194304 4196468 140730373682736 139928864098224 139928892302493 0 4 2 25189581 0 0 0 -1 6 0 0 21 0 0 6293624 6294260 14827520 140730373690091 140730373690518 140730373690518 140730373693391 0 [pid=14934/tid=14936] ppid=14931 vsize=27314120 memory=427195448 CPUtime=0 cores=0-7 /proc/14934/task/14936/stat : 14936 (java) S 14931 14931 14887 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418982483 27969658880 36717 33554432000 4194304 4196468 140730373682736 139928896522640 139928892290773 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14827520 140730373690091 140730373690518 140730373690518 140730373693391 0 [pid=14934/tid=14937] ppid=14931 vsize=27314120 memory=1113 CPUtime=0 cores=0-7 /proc/14934/task/14937/stat : 14937 (java) S 14931 14931 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418982483 27969658880 36717 33554432000 4194304 4196468 140730373682736 139928710678800 139928892290773 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14827520 140730373690091 140730373690518 140730373690518 140730373693391 0 [pid=14934/tid=14938] ppid=14931 vsize=27314120 memory=280086897189232 CPUtime=0 cores=0-7 /proc/14934/task/14938/stat : 14938 (java) S 14931 14931 14887 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418982483 27969658880 36717 33554432000 4194304 4196468 140730373682736 139928709626512 139928892290773 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14827520 140730373690091 140730373690518 140730373690518 140730373693391 0 [pid=14934/tid=14939] ppid=14931 vsize=27314120 memory=140043448580708 CPUtime=0 cores=0-7 /proc/14934/task/14939/stat : 14939 (java) S 14931 14931 14887 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418982483 27969658880 36717 33554432000 4194304 4196468 140730373682736 139928708573712 139928892290773 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14827520 140730373690091 140730373690518 140730373690518 140730373693391 0 [pid=14934/tid=14940] ppid=14931 vsize=27314120 memory=280086897163792 CPUtime=0 cores=0-7 /proc/14934/task/14940/stat : 14940 (java) S 14931 14931 14887 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418982483 27969658880 36717 33554432000 4194304 4196468 140730373682736 139928707521424 139928892290773 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14827520 140730373690091 140730373690518 140730373690518 140730373693391 0 [pid=14934/tid=14941] ppid=14931 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/14934/task/14941/stat : 14941 (java) S 14931 14931 14887 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418982483 27969658880 36717 33554432000 4194304 4196468 140730373682736 139928706468624 139928892290773 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14827520 140730373690091 140730373690518 140730373690518 140730373693391 0 [pid=14934/tid=14942] ppid=14931 vsize=27314120 memory=2241 CPUtime=0 cores=0-7 /proc/14934/task/14942/stat : 14942 (java) S 14931 14931 14887 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418982483 27969658880 36717 33554432000 4194304 4196468 140730373682736 139928705416336 139928892290773 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14827520 140730373690091 140730373690518 140730373690518 140730373693391 0 [pid=14934/tid=14943] ppid=14931 vsize=27314120 memory=2244 CPUtime=0 cores=0-7 /proc/14934/task/14943/stat : 14943 (java) S 14931 14931 14887 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418982483 27969658880 36717 33554432000 4194304 4196468 140730373682736 139928704363536 139928892290773 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14827520 140730373690091 140730373690518 140730373690518 140730373693391 0 [pid=14934/tid=14944] ppid=14931 vsize=27314120 memory=7596543863863404376 CPUtime=0 cores=0-7 /proc/14934/task/14944/stat : 14944 (java) S 14931 14931 14887 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418982484 27969658880 36717 33554432000 4194304 4196468 140730373682736 139927211714672 139928892291714 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14827520 140730373690091 140730373690518 140730373690518 140730373693391 0 [pid=14934/tid=14945] ppid=14931 vsize=27314120 memory=4 CPUtime=0 cores=0-7 /proc/14934/task/14945/stat : 14945 (java) S 14931 14931 14887 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418982485 27969658880 36717 33554432000 4194304 4196468 140730373682736 139926679053088 139928892290773 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14827520 140730373690091 140730373690518 140730373690518 140730373693391 0 [pid=14934/tid=14946] ppid=14931 vsize=27314120 memory=280086897193728 CPUtime=0 cores=0-7 /proc/14934/task/14946/stat : 14946 (java) S 14931 14931 14887 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418982485 27969658880 36717 33554432000 4194304 4196468 140730373682736 139926544831600 139928892290773 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14827520 140730373690091 140730373690518 140730373690518 140730373693391 0 [pid=14934/tid=14947] ppid=14931 vsize=27314120 memory=280086897083112 CPUtime=0 cores=0-7 /proc/14934/task/14947/stat : 14947 (java) S 14931 14931 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418982487 27969658880 36717 33554432000 4194304 4196468 140730373682736 139926170327120 139928892299163 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14827520 140730373690091 140730373690518 140730373690518 140730373693391 0 [pid=14934/tid=14948] ppid=14931 vsize=27314120 memory=3472328296227687841 CPUtime=0.01 cores=0-7 /proc/14934/task/14948/stat : 14948 (java) S 14931 14931 14887 0 -1 1077944384 250 0 0 0 1 0 0 0 20 0 20 0 418982487 27969658880 36717 33554432000 4194304 4196468 140730373682736 139927210662512 139928892291714 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14827520 140730373690091 140730373690518 140730373690518 140730373693391 0 [pid=14934/tid=14949] ppid=14931 vsize=27314120 memory=6655300316396806240 CPUtime=0.01 cores=0-7 /proc/14934/task/14949/stat : 14949 (java) S 14931 14931 14887 0 -1 1077944384 364 0 0 0 1 0 0 0 20 0 20 0 418982487 27969658880 36717 33554432000 4194304 4196468 140730373682736 139927209609712 139928892291714 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14827520 140730373690091 140730373690518 140730373690518 140730373693391 0 [pid=14934/tid=14950] ppid=14931 vsize=27314120 memory=6655300316396806240 CPUtime=0.01 cores=0-7 /proc/14934/task/14950/stat : 14950 (java) S 14931 14931 14887 0 -1 1077944384 48 0 0 0 1 0 0 0 20 0 20 0 418982488 27969658880 36717 33554432000 4194304 4196468 140730373682736 139927208557424 139928892291714 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14827520 140730373690091 140730373690518 140730373690518 140730373693391 0 [pid=14934/tid=14951] ppid=14931 vsize=27314120 memory=612 CPUtime=0.09 cores=0-7 /proc/14934/task/14951/stat : 14951 (java) S 14931 14931 14887 0 -1 1077944384 518 0 0 0 9 0 0 0 20 0 20 0 418982488 27969658880 36717 33554432000 4194304 4196468 140730373682736 139927207504624 139928892291714 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14827520 140730373690091 140730373690518 140730373690518 140730373693391 0 [pid=14934/tid=14952] ppid=14931 vsize=27314120 memory=1220 CPUtime=0 cores=0-7 /proc/14934/task/14952/stat : 14952 (java) S 14931 14931 14887 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418982488 27969658880 36717 33554432000 4194304 4196468 140730373682736 139925672421728 139928892290773 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14827520 140730373690091 140730373690518 140730373690518 140730373693391 0 [pid=14934/tid=14953] ppid=14931 vsize=27314120 memory=14004 CPUtime=0 cores=0-7 /proc/14934/task/14953/stat : 14953 (java) S 14931 14931 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418982488 27969658880 36717 33554432000 4194304 4196468 140730373682736 139927206451504 139928892291714 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14827520 140730373690091 140730373690518 140730373690518 140730373693391 0 Current children cumulated CPU time: 0.61 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 148264 KiB [startup+1.50103 s] /proc/loadavg: 7.73 7.87 7.61 3/211 14953 /proc/meminfo: memFree=24449756/32770624 swapFree=66999292/67108860 [pid=14931] ppid=14928 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/14931/stat : 14931 (scop.sh) S 14928 14931 14887 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 418982458 115843072 349 33554432000 4194304 5098028 140733701542160 140733701539416 139970752844412 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32370688 140733701550885 140733701551212 140733701551212 140733701554125 0 /proc/14931/statm: 28282 349 296 221 0 87 0 [pid=14934] ppid=14931 vsize=27324564 memory=199840 CPUtime=2.41 cores=0-7 /proc/14934/stat : 14934 (java) S 14931 14931 14887 0 -1 1077944320 23512 0 0 0 232 9 0 0 20 0 20 0 418982458 27980353536 49960 33554432000 4194304 4196468 140730373682736 140730373665280 139928892280567 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14827520 140730373690091 140730373690518 140730373690518 140730373693391 0 /proc/14934/statm: 6831141 49960 3246 1 0 6792471 0 [pid=14934/tid=14935] ppid=14931 vsize=27324564 memory=1396 CPUtime=1.25 cores=0-7 /proc/14934/task/14935/stat : 14935 (java) R 14931 14931 14887 0 -1 4202560 18638 0 0 0 119 6 0 0 20 0 20 0 418982459 27980353536 49960 33554432000 4194304 4196468 140730373682736 139928864117328 139928373695748 0 4 2 25189581 0 0 0 -1 2 0 0 21 0 0 6293624 6294260 14827520 140730373690091 140730373690518 140730373690518 140730373693391 0 [pid=14934/tid=14936] ppid=14931 vsize=27324564 memory=180808 CPUtime=0 cores=0-7 /proc/14934/task/14936/stat : 14936 (java) S 14931 14931 14887 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418982483 27980353536 49960 33554432000 4194304 4196468 140730373682736 139928896522640 139928892290773 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14827520 140730373690091 140730373690518 140730373690518 140730373693391 0 [pid=14934/tid=14937] ppid=14931 vsize=27324564 memory=280086897464672 CPUtime=0 cores=0-7 /proc/14934/task/14937/stat : 14937 (java) S 14931 14931 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418982483 27980353536 49960 33554432000 4194304 4196468 140730373682736 139928710678800 139928892290773 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14827520 140730373690091 140730373690518 140730373690518 140730373693391 0 [pid=14934/tid=14938] ppid=14931 vsize=27324564 memory=0 CPUtime=0 cores=0-7 /proc/14934/task/14938/stat : 14938 (java) S 14931 14931 14887 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418982483 27980353536 49960 33554432000 4194304 4196468 140730373682736 139928709626512 139928892290773 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14827520 140730373690091 140730373690518 140730373690518 140730373693391 0 [pid=14934/tid=14939] ppid=14931 vsize=27324564 memory=0 CPUtime=0 cores=0-7 /proc/14934/task/14939/stat : 14939 (java) S 14931 14931 14887 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418982483 27980353536 49960 33554432000 4194304 4196468 140730373682736 139928708573712 139928892290773 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14827520 140730373690091 140730373690518 140730373690518 140730373693391 0 [pid=14934/tid=14940] ppid=14931 vsize=27324564 memory=0 CPUtime=0 cores=0-7 /proc/14934/task/14940/stat : 14940 (java) S 14931 14931 14887 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418982483 27980353536 49960 33554432000 4194304 4196468 140730373682736 139928707521424 139928892290773 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14827520 140730373690091 140730373690518 140730373690518 140730373693391 0 [pid=14934/tid=14941] ppid=14931 vsize=27324564 memory=3624 CPUtime=0 cores=0-7 /proc/14934/task/14941/stat : 14941 (java) S 14931 14931 14887 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418982483 27980353536 49960 33554432000 4194304 4196468 140730373682736 139928706468624 139928892290773 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14827520 140730373690091 140730373690518 140730373690518 140730373693391 0 [pid=14934/tid=14942] ppid=14931 vsize=27324564 memory=0 CPUtime=0 cores=0-7 /proc/14934/task/14942/stat : 14942 (java) S 14931 14931 14887 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418982483 27980353536 49960 33554432000 4194304 4196468 140730373682736 139928705416336 139928892290773 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14827520 140730373690091 140730373690518 140730373690518 140730373693391 0 [pid=14934/tid=14943] ppid=14931 vsize=27324564 memory=140043448764368 CPUtime=0 cores=0-7 /proc/14934/task/14943/stat : 14943 (java) S 14931 14931 14887 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418982483 27980353536 49960 33554432000 4194304 4196468 140730373682736 139928704363536 139928892290773 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14827520 140730373690091 140730373690518 140730373690518 140730373693391 0 [pid=14934/tid=14944] ppid=14931 vsize=27324564 memory=140043448764464 CPUtime=0 cores=0-7 /proc/14934/task/14944/stat : 14944 (java) S 14931 14931 14887 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 418982484 27980353536 49960 33554432000 4194304 4196468 140730373682736 139927211714672 139928892291714 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14827520 140730373690091 140730373690518 140730373690518 140730373693391 0 [pid=14934/tid=14945] ppid=14931 vsize=27324564 memory=140043448764560 CPUtime=0 cores=0-7 /proc/14934/task/14945/stat : 14945 (java) S 14931 14931 14887 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418982485 27980353536 49960 33554432000 4194304 4196468 140730373682736 139926679053088 139928892290773 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14827520 140730373690091 140730373690518 140730373690518 140730373693391 0 [pid=14934/tid=14946] ppid=14931 vsize=27324564 memory=140043448764656 CPUtime=0 cores=0-7 /proc/14934/task/14946/stat : 14946 (java) S 14931 14931 14887 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418982485 27980353536 49960 33554432000 4194304 4196468 140730373682736 139926544831600 139928892290773 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14827520 140730373690091 140730373690518 140730373690518 140730373693391 0 [pid=14934/tid=14947] ppid=14931 vsize=27324564 memory=140043448764752 CPUtime=0 cores=0-7 /proc/14934/task/14947/stat : 14947 (java) S 14931 14931 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418982487 27980353536 49960 33554432000 4194304 4196468 140730373682736 139926170327120 139928892299163 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14827520 140730373690091 140730373690518 140730373690518 140730373693391 0 [pid=14934/tid=14948] ppid=14931 vsize=27324564 memory=280086897217760 CPUtime=0.21 cores=0-7 /proc/14934/task/14948/stat : 14948 (java) R 14931 14931 14887 0 -1 4202560 742 0 0 0 21 0 0 0 20 0 20 0 418982487 27980353536 49960 33554432000 4194304 4196468 140730373682736 139927210662512 139928878604945 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14827520 140730373690091 140730373690518 140730373690518 140730373693391 0 [pid=14934/tid=14949] ppid=14931 vsize=27324564 memory=2129121 CPUtime=0.2 cores=0-7 ################ # More data... # ################ /proc/14954/task/14966/stat : 14966 (java) S 14931 14931 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418982827 8616062976 30140 33554432000 4194304 4196468 140736012742160 140300072773232 140301655832277 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33980416 140736012747767 140736012747926 140736012747926 140736012750799 0 [pid=14954/tid=14967] ppid=14931 vsize=8414124 memory=861704 CPUtime=0 cores=0-7 /proc/14954/task/14967/stat : 14967 (java) S 14931 14931 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418982829 8616062976 30140 33554432000 4194304 4196468 140736012742160 140299698264656 140301655840667 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33980416 140736012747767 140736012747926 140736012747926 140736012750799 0 [pid=14954/tid=14968] ppid=14931 vsize=8414124 memory=-8887960965757563282 CPUtime=0.03 cores=0-7 /proc/14954/task/14968/stat : 14968 (java) S 14931 14931 14887 0 -1 1077944384 594 0 0 0 3 0 0 0 20 0 24 0 418982831 8616062976 30140 33554432000 4194304 4196468 140736012742160 140300949649520 140301655833218 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33980416 140736012747767 140736012747926 140736012747926 140736012750799 0 [pid=14954/tid=14969] ppid=14931 vsize=8414124 memory=-7003737579269690708 CPUtime=0.06 cores=0-7 /proc/14954/task/14969/stat : 14969 (java) S 14931 14931 14887 0 -1 1077944384 284 0 0 0 6 0 0 0 20 0 24 0 418982831 8616062976 30140 33554432000 4194304 4196468 140736012742160 140300948596720 140301655833218 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33980416 140736012747767 140736012747926 140736012747926 140736012750799 0 [pid=14954/tid=14970] ppid=14931 vsize=8414124 memory=120560 CPUtime=0.06 cores=0-7 /proc/14954/task/14970/stat : 14970 (java) S 14931 14931 14887 0 -1 1077944384 226 0 0 0 6 0 0 0 20 0 24 0 418982831 8616062976 30140 33554432000 4194304 4196468 140736012742160 140300947544432 140301655833218 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33980416 140736012747767 140736012747926 140736012747926 140736012750799 0 [pid=14954/tid=14971] ppid=14931 vsize=8414124 memory=3624 CPUtime=0.19 cores=0-7 /proc/14954/task/14971/stat : 14971 (java) S 14931 14931 14887 0 -1 1077944384 719 0 0 0 19 0 0 0 20 0 24 0 418982831 8616062976 30140 33554432000 4194304 4196468 140736012742160 140300946491632 140301655833218 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 13 0 0 6293624 6294260 33980416 140736012747767 140736012747926 140736012747926 140736012750799 0 [pid=14954/tid=14972] ppid=14931 vsize=8414124 memory=1476 CPUtime=0 cores=0-7 /proc/14954/task/14972/stat : 14972 (java) S 14931 14931 14887 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418982831 8616062976 30140 33554432000 4194304 4196468 140736012742160 140299200359264 140301655832277 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33980416 140736012747767 140736012747926 140736012747926 140736012750799 0 [pid=14954/tid=14973] ppid=14931 vsize=8414124 memory=4104 CPUtime=0.08 cores=0-7 /proc/14954/task/14973/stat : 14973 (java) S 14931 14931 14887 0 -1 1077944384 11 0 0 0 0 8 0 0 20 0 24 0 418982832 8616062976 30140 33554432000 4194304 4196468 140736012742160 140300206988080 140301655833218 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 13 0 0 6293624 6294260 33980416 140736012747767 140736012747926 140736012747926 140736012750799 0 [pid=14954/tid=14975] ppid=14931 vsize=8414124 memory=1804 CPUtime=0 cores=0-7 /proc/14954/task/14975/stat : 14975 (java) S 14931 14931 14887 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 418982897 8616062976 30140 33554432000 4194304 4196468 140736012742160 140300945438528 140301655846681 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 33980416 140736012747767 140736012747926 140736012747926 140736012750799 0 [pid=14954/tid=14977] ppid=14931 vsize=8414124 memory=916 CPUtime=0 cores=0-7 /proc/14954/task/14977/stat : 14977 (java) S 14931 14931 14887 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 418982898 8616062976 30140 33554432000 4194304 4196468 140736012742160 140298529258896 140301655843997 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 33980416 140736012747767 140736012747926 140736012747926 140736012750799 0 [pid=14954/tid=14978] ppid=14931 vsize=8414124 memory=3908 CPUtime=0 cores=0-7 /proc/14954/task/14978/stat : 14978 (java) S 14931 14931 14887 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 418982898 8616062976 30140 33554432000 4194304 4196468 140736012742160 140298797694224 140301655843997 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 33980416 140736012747767 140736012747926 140736012747926 140736012750799 0 [pid=14954/tid=14979] ppid=14931 vsize=8414124 memory=1412 CPUtime=0 cores=0-7 /proc/14954/task/14979/stat : 14979 (java) S 14931 14931 14887 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 418982900 8616062976 30140 33554432000 4194304 4196468 140736012742160 140298260831536 140301655832277 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33980416 140736012747767 140736012747926 140736012747926 140736012750799 0 Current children cumulated CPU time: 1170.3 s Current children cumulated vsize: 9950708 KiB Current children cumulated memory: 1049708 KiB [startup+152.802 s] /proc/loadavg: 8.14 8.00 7.70 9/225 14998 /proc/meminfo: memFree=23562316/32770624 swapFree=66999292/67108860 [pid=14931] ppid=14928 vsize=113128 memory=1476 CPUtime=6.49 cores=0-7 /proc/14931/stat : 14931 (scop.sh) S 14928 14931 14887 0 -1 4202496 582 27777 0 0 0 0 614 35 20 0 1 0 418982458 115843072 369 33554432000 4194304 5098028 140733701542160 140733701538904 139970752844412 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32370688 140733701550885 140733701551212 140733701551212 140733701554125 0 /proc/14931/statm: 28282 369 311 221 0 87 0 [pid=14954] ppid=14931 vsize=8414124 memory=120560 CPUtime=1.24 cores=0-7 /proc/14954/stat : 14954 (java) S 14931 14931 14887 0 -1 1077944320 20111 0 0 0 114 10 0 0 20 0 24 0 418982823 8616062976 30140 33554432000 4194304 4196468 140736012742160 140736012724704 140301655822071 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33980416 140736012747767 140736012747926 140736012747926 140736012750799 0 /proc/14954/statm: 2103531 30140 3203 1 0 2064875 0 [pid=14974] ppid=14954 vsize=1423456 memory=927672 CPUtime=1168.83 cores=0-7 /proc/14974/stat : 14974 (manyglucose-4.1) S 14954 14931 14887 0 -1 1077944320 542913 0 0 0 116754 129 0 0 20 0 9 0 418982897 1457618944 231918 33554432000 4194304 4454172 140723142912048 140723142910448 139781299149442 0 4 0 8388610 18446744073709551615 0 0 17 2 0 0 0 0 0 6552832 6554400 13271040 140723142919017 140723142919216 140723142919216 140723142922170 0 /proc/14974/statm: 355864 231918 410 64 0 351532 0 [pid=14974/tid=14982] ppid=14954 vsize=1423456 memory=1476 CPUtime=147.43 cores=0-7 /proc/14974/task/14982/stat : 14982 (manyglucose-4.1) R 14954 14931 14887 0 -1 4202560 69086 0 0 0 14725 18 0 0 20 0 9 0 418982985 1457618944 231918 33554432000 4194304 4454172 140723142912048 139781272374168 4351231 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6552832 6554400 13271040 140723142919017 140723142919216 140723142919216 140723142922170 0 [pid=14974/tid=14983] ppid=14954 vsize=1423456 memory=120560 CPUtime=147.13 cores=0-7 /proc/14974/task/14983/stat : 14983 (manyglucose-4.1) R 14954 14931 14887 0 -1 4202560 70595 0 0 0 14693 20 0 0 20 0 9 0 418982985 1457618944 231918 33554432000 4194304 4454172 140723142912048 139781263981704 4349826 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6552832 6554400 13271040 140723142919017 140723142919216 140723142919216 140723142922170 0 [pid=14974/tid=14984] ppid=14954 vsize=1423456 memory=925624 CPUtime=146.49 cores=0-7 /proc/14974/task/14984/stat : 14984 (manyglucose-4.1) R 14954 14931 14887 0 -1 4202560 62831 0 0 0 14640 9 0 0 20 0 9 0 418982985 1457618944 231918 33554432000 4194304 4454172 140723142912048 139781255588968 4351209 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6552832 6554400 13271040 140723142919017 140723142919216 140723142919216 140723142922170 0 [pid=14974/tid=14985] ppid=14954 vsize=1423456 memory=1220 CPUtime=145.68 cores=0-7 /proc/14974/task/14985/stat : 14985 (manyglucose-4.1) R 14954 14931 14887 0 -1 4202560 61304 0 0 0 14549 19 0 0 20 0 9 0 418982985 1457618944 231918 33554432000 4194304 4454172 140723142912048 139781247196264 4351219 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6552832 6554400 13271040 140723142919017 140723142919216 140723142919216 140723142922170 0 [pid=14974/tid=14986] ppid=14954 vsize=1423456 memory=14004 CPUtime=145.65 cores=0-7 /proc/14974/task/14986/stat : 14986 (manyglucose-4.1) R 14954 14931 14887 0 -1 4202560 60827 0 0 0 14554 11 0 0 20 0 9 0 418982985 1457618944 231918 33554432000 4194304 4454172 140723142912048 139781216767008 4321746 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6552832 6554400 13271040 140723142919017 140723142919216 140723142919216 140723142922170 0 [pid=14974/tid=14987] ppid=14954 vsize=1423456 memory=14060 CPUtime=145.2 cores=0-7 /proc/14974/task/14987/stat : 14987 (manyglucose-4.1) R 14954 14931 14887 0 -1 4202560 61343 0 0 0 14508 12 0 0 20 0 9 0 418982985 1457618944 231918 33554432000 4194304 4454172 140723142912048 139781208374304 4321746 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6552832 6554400 13271040 140723142919017 140723142919216 140723142919216 140723142922170 0 [pid=14974/tid=14988] ppid=14954 vsize=1423456 memory=2116 CPUtime=145.38 cores=0-7 /proc/14974/task/14988/stat : 14988 (manyglucose-4.1) R 14954 14931 14887 0 -1 4202560 55664 0 0 0 14522 16 0 0 20 0 9 0 418982985 1457618944 231918 33554432000 4194304 4454172 140723142912048 139781199981600 4351789 0 4 0 8388610 0 0 0 -1 7 0 0 0 0 0 6552832 6554400 13271040 140723142919017 140723142919216 140723142919216 140723142922170 0 [pid=14974/tid=14989] ppid=14954 vsize=1423456 memory=19468 CPUtime=144.91 cores=0-7 /proc/14974/task/14989/stat : 14989 (manyglucose-4.1) R 14954 14931 14887 0 -1 4202560 61915 0 0 0 14478 13 0 0 20 0 9 0 418982985 1457618944 231918 33554432000 4194304 4454172 140723142912048 139781119929376 4351209 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6552832 6554400 13271040 140723142919017 140723142919216 140723142919216 140723142922170 0 [pid=14954/tid=14955] ppid=14931 vsize=8414124 memory=532 CPUtime=0.74 cores=0-7 /proc/14954/task/14955/stat : 14955 (java) S 14931 14931 14887 0 -1 1077944384 16873 0 0 0 67 7 0 0 20 0 24 0 418982823 8616062976 30140 33554432000 4194304 4196468 140736012742160 140301627662240 140301655832277 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 33980416 140736012747767 140736012747926 140736012747926 140736012750799 0 [pid=14954/tid=14956] ppid=14931 vsize=8414124 memory=1556 CPUtime=0 cores=0-7 /proc/14954/task/14956/stat : 14956 (java) S 14931 14931 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418982824 8616062976 30140 33554432000 4194304 4196468 140736012742160 140301660064656 140301655832277 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33980416 140736012747767 140736012747926 140736012747926 140736012750799 0 [pid=14954/tid=14957] ppid=14931 vsize=8414124 memory=932 CPUtime=0 cores=0-7 /proc/14954/task/14957/stat : 14957 (java) S 14931 14931 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418982824 8616062976 30140 33554432000 4194304 4196468 140736012742160 140301140966160 140301655832277 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33980416 140736012747767 140736012747926 140736012747926 140736012750799 0 [pid=14954/tid=14958] ppid=14931 vsize=8414124 memory=-8887960965757563282 CPUtime=0 cores=0-7 /proc/14954/task/14958/stat : 14958 (java) S 14931 14931 14887 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418982824 8616062976 30140 33554432000 4194304 4196468 140736012742160 140301139913872 140301655832277 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33980416 140736012747767 140736012747926 140736012747926 140736012750799 0 [pid=14954/tid=14959] ppid=14931 vsize=8414124 memory=1436 CPUtime=0 cores=0-7 /proc/14954/task/14959/stat : 14959 (java) S 14931 14931 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418982824 8616062976 30140 33554432000 4194304 4196468 140736012742160 140301138861072 140301655832277 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33980416 140736012747767 140736012747926 140736012747926 140736012750799 0 [pid=14954/tid=14960] ppid=14931 vsize=8414124 memory=1652 CPUtime=0 cores=0-7 /proc/14954/task/14960/stat : 14960 (java) S 14931 14931 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418982824 8616062976 30140 33554432000 4194304 4196468 140736012742160 140301137807760 140301655832277 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33980416 140736012747767 140736012747926 140736012747926 140736012750799 0 [pid=14954/tid=14961] ppid=14931 vsize=8414124 memory=1980 CPUtime=0 cores=0-7 /proc/14954/task/14961/stat : 14961 (java) S 14931 14931 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418982824 8616062976 30140 33554432000 4194304 4196468 140736012742160 140301136754960 140301655832277 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33980416 140736012747767 140736012747926 140736012747926 140736012750799 0 [pid=14954/tid=14962] ppid=14931 vsize=8414124 memory=2540 CPUtime=0 cores=0-7 /proc/14954/task/14962/stat : 14962 (java) S 14931 14931 14887 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418982825 8616062976 30140 33554432000 4194304 4196468 140736012742160 140301135702672 140301655832277 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33980416 140736012747767 140736012747926 140736012747926 140736012750799 0 [pid=14954/tid=14963] ppid=14931 vsize=8414124 memory=1760 CPUtime=0 cores=0-7 /proc/14954/task/14963/stat : 14963 (java) S 14931 14931 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418982825 8616062976 30140 33554432000 4194304 4196468 140736012742160 140301134649872 140301655832277 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33980416 140736012747767 140736012747926 140736012747926 140736012750799 0 [pid=14954/tid=14964] ppid=14931 vsize=8414124 memory=111636 CPUtime=0 cores=0-7 /proc/14954/task/14964/stat : 14964 (java) S 14931 14931 14887 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 418982826 8616062976 30140 33554432000 4194304 4196468 140736012742160 140300950702704 140301655833218 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33980416 140736012747767 140736012747926 140736012747926 140736012750799 0 [pid=14954/tid=14965] ppid=14931 vsize=8414124 memory=804 CPUtime=0 cores=0-7 /proc/14954/task/14965/stat : 14965 (java) S 14931 14931 14887 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 418982826 8616062976 30140 33554432000 4194304 4196468 140736012742160 140300341208352 140301655832277 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33980416 140736012747767 140736012747926 140736012747926 140736012750799 0 [pid=14954/tid=14966] ppid=14931 vsize=8414124 memory=4104 CPUtime=0 cores=0-7 /proc/14954/task/14966/stat : 14966 (java) S 14931 14931 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418982827 8616062976 30140 33554432000 4194304 4196468 140736012742160 140300072773232 140301655832277 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33980416 140736012747767 140736012747926 140736012747926 140736012750799 0 [pid=14954/tid=14967] ppid=14931 vsize=8414124 memory=1804 CPUtime=0 cores=0-7 /proc/14954/task/14967/stat : 14967 (java) S 14931 14931 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418982829 8616062976 30140 33554432000 4194304 4196468 140736012742160 140299698264656 140301655840667 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33980416 140736012747767 140736012747926 140736012747926 140736012750799 0 [pid=14954/tid=14968] ppid=14931 vsize=8414124 memory=988 CPUtime=0.03 cores=0-7 /proc/14954/task/14968/stat : 14968 (java) S 14931 14931 14887 0 -1 1077944384 594 0 0 0 3 0 0 0 20 0 24 0 418982831 8616062976 30140 33554432000 4194304 4196468 140736012742160 140300949649520 140301655833218 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33980416 140736012747767 140736012747926 140736012747926 140736012750799 0 [pid=14954/tid=14969] ppid=14931 vsize=8414124 memory=2016 CPUtime=0.06 cores=0-7 /proc/14954/task/14969/stat : 14969 (java) S 14931 14931 14887 0 -1 1077944384 284 0 0 0 6 0 0 0 20 0 24 0 418982831 8616062976 30140 33554432000 4194304 4196468 140736012742160 140300948596720 140301655833218 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33980416 140736012747767 140736012747926 140736012747926 140736012750799 0 [pid=14954/tid=14970] ppid=14931 vsize=8414124 memory=1424 CPUtime=0.06 cores=0-7 /proc/14954/task/14970/stat : 14970 (java) S 14931 14931 14887 0 -1 1077944384 226 0 0 0 6 0 0 0 20 0 24 0 418982831 8616062976 30140 33554432000 4194304 4196468 140736012742160 140300947544432 140301655833218 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33980416 140736012747767 140736012747926 140736012747926 140736012750799 0 [pid=14954/tid=14971] ppid=14931 vsize=8414124 memory=1540 CPUtime=0.2 cores=0-7 /proc/14954/task/14971/stat : 14971 (java) S 14931 14931 14887 0 -1 1077944384 721 0 0 0 20 0 0 0 20 0 24 0 418982831 8616062976 30140 33554432000 4194304 4196468 140736012742160 140300946491632 140301655833218 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 13 0 0 6293624 6294260 33980416 140736012747767 140736012747926 140736012747926 140736012750799 0 [pid=14954/tid=14972] ppid=14931 vsize=8414124 memory=772 CPUtime=0 cores=0-7 /proc/14954/task/14972/stat : 14972 (java) S 14931 14931 14887 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418982831 8616062976 30140 33554432000 4194304 4196468 140736012742160 140299200359264 140301655832277 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33980416 140736012747767 140736012747926 140736012747926 140736012750799 0 [pid=14954/tid=14973] ppid=14931 vsize=8414124 memory=10596 CPUtime=0.09 cores=0-7 /proc/14954/task/14973/stat : 14973 (java) S 14931 14931 14887 0 -1 1077944384 11 0 0 0 0 9 0 0 20 0 24 0 418982832 8616062976 30140 33554432000 4194304 4196468 140736012742160 140300206988080 140301655833218 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 13 0 0 6293624 6294260 33980416 140736012747767 140736012747926 140736012747926 140736012750799 0 [pid=14954/tid=14975] ppid=14931 vsize=8414124 memory=1712 CPUtime=0 cores=0-7 /proc/14954/task/14975/stat : 14975 (java) S 14931 14931 14887 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 418982897 8616062976 30140 33554432000 4194304 4196468 140736012742160 140300945438528 140301655846681 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 33980416 140736012747767 140736012747926 140736012747926 140736012750799 0 [pid=14954/tid=14977] ppid=14931 vsize=8414124 memory=988 CPUtime=0 cores=0-7 /proc/14954/task/14977/stat : 14977 (java) S 14931 14931 14887 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 418982898 8616062976 30140 33554432000 4194304 4196468 140736012742160 140298529258896 140301655843997 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 33980416 140736012747767 140736012747926 140736012747926 140736012750799 0 [pid=14954/tid=14978] ppid=14931 vsize=8414124 memory=4004 CPUtime=0 cores=0-7 /proc/14954/task/14978/stat : 14978 (java) S 14931 14931 14887 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 418982898 8616062976 30140 33554432000 4194304 4196468 140736012742160 140298797694224 140301655843997 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 33980416 140736012747767 140736012747926 140736012747926 140736012750799 0 [pid=14954/tid=14979] ppid=14931 vsize=8414124 memory=2828 CPUtime=0 cores=0-7 /proc/14954/task/14979/stat : 14979 (java) S 14931 14931 14887 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 418982900 8616062976 30140 33554432000 4194304 4196468 140736012742160 140298260831536 140301655832277 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33980416 140736012747767 140736012747926 140736012747926 140736012750799 0 Current children cumulated CPU time: 1176.56 s Current children cumulated vsize: 9950708 KiB Current children cumulated memory: 1049708 KiB [startup+153.001 s]* /proc/loadavg: 8.14 8.00 7.70 2/214 14998 /proc/meminfo: memFree=24480512/32770624 swapFree=66999292/67108860 [pid=14931] ppid=14928 vsize=113128 memory=1476 CPUtime=6.49 cores=0-7 /proc/14931/stat : 14931 (scop.sh) S 14928 14931 14887 0 -1 4202496 582 27777 0 0 0 0 614 35 20 0 1 0 418982458 115843072 369 33554432000 4194304 5098028 140733701542160 140733701538904 139970752844412 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32370688 140733701550885 140733701551212 140733701551212 140733701554125 0 /proc/14931/statm: 28282 369 311 221 0 87 0 [pid=14954] ppid=14931 vsize=8283048 memory=128788 CPUtime=1170.9 cores=0-7 /proc/14954/stat : 14954 (java) S 14931 14931 14887 0 -1 1077944320 21676 542960 0 0 137 11 116811 131 20 0 22 0 418982823 8481841152 32197 33554432000 4194304 4196468 140736012742160 140736012724704 140301655822071 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33980416 140736012747767 140736012747926 140736012747926 140736012750799 0 /proc/14954/statm: 2070762 32197 3222 1 0 2032106 0 [pid=14954/tid=14955] ppid=14931 vsize=8283048 memory=6791534058613427641 CPUtime=1170.19 cores=0-7 /proc/14954/task/14955/stat : 14955 (java) R 14931 14931 14887 0 -1 4202560 17013 542960 0 0 70 7 116811 131 20 0 22 0 418982823 8481841152 32197 33554432000 4194304 4196468 140736012742160 140301627662240 140301639902558 0 4 2 25189581 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 33980416 140736012747767 140736012747926 140736012747926 140736012750799 0 [pid=14954/tid=14956] ppid=14931 vsize=8283048 memory=0 CPUtime=1169.42 cores=0-7 /proc/14954/task/14956/stat : 14956 (java) S 14931 14931 14887 0 -1 1077944384 1 542960 0 0 0 0 116811 131 20 0 22 0 418982824 8481841152 32197 33554432000 4194304 4196468 140736012742160 140301660064656 140301655832277 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33980416 140736012747767 140736012747926 140736012747926 140736012750799 0 [pid=14954/tid=14957] ppid=14931 vsize=8283048 memory=0 CPUtime=1169.42 cores=0-7 /proc/14954/task/14957/stat : 14957 (java) S 14931 14931 14887 0 -1 1077944384 1 542960 0 0 0 0 116811 131 20 0 22 0 418982824 8481841152 32197 33554432000 4194304 4196468 140736012742160 140301140966160 140301655832277 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33980416 140736012747767 140736012747926 140736012747926 140736012750799 0 [pid=14954/tid=14958] ppid=14931 vsize=8283048 memory=0 CPUtime=1169.42 cores=0-7 /proc/14954/task/14958/stat : 14958 (java) S 14931 14931 14887 0 -1 1077944384 3 542960 0 0 0 0 116811 131 20 0 22 0 418982824 8481841152 32197 33554432000 4194304 4196468 140736012742160 140301139913872 140301655832277 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33980416 140736012747767 140736012747926 140736012747926 140736012750799 0 [pid=14954/tid=14959] ppid=14931 vsize=8283048 memory=-1 CPUtime=1169.42 cores=0-7 /proc/14954/task/14959/stat : 14959 (java) S 14931 14931 14887 0 -1 1077944384 1 542960 0 0 0 0 116811 131 20 0 22 0 418982824 8481841152 32197 33554432000 4194304 4196468 140736012742160 140301138861072 140301655832277 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33980416 140736012747767 140736012747926 140736012747926 140736012750799 0 [pid=14954/tid=14960] ppid=14931 vsize=8283048 memory=0 CPUtime=1169.42 cores=0-7 /proc/14954/task/14960/stat : 14960 (java) S 14931 14931 14887 0 -1 1077944384 1 542960 0 0 0 0 116811 131 20 0 22 0 418982824 8481841152 32197 33554432000 4194304 4196468 140736012742160 140301137807760 140301655832277 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33980416 140736012747767 140736012747926 140736012747926 140736012750799 0 [pid=14954/tid=14961] ppid=14931 vsize=8283048 memory=-1 CPUtime=1169.42 cores=0-7 /proc/14954/task/14961/stat : 14961 (java) S 14931 14931 14887 0 -1 1077944384 1 542960 0 0 0 0 116811 131 20 0 22 0 418982824 8481841152 32197 33554432000 4194304 4196468 140736012742160 140301136754960 140301655832277 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33980416 140736012747767 140736012747926 140736012747926 140736012750799 0 [pid=14954/tid=14962] ppid=14931 vsize=8283048 memory=0 CPUtime=1169.42 cores=0-7 /proc/14954/task/14962/stat : 14962 (java) S 14931 14931 14887 0 -1 1077944384 2 542960 0 0 0 0 116811 131 20 0 22 0 418982825 8481841152 32197 33554432000 4194304 4196468 140736012742160 140301135702672 140301655832277 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33980416 140736012747767 140736012747926 140736012747926 140736012750799 0 [pid=14954/tid=14963] ppid=14931 vsize=8283048 memory=0 CPUtime=1169.42 cores=0-7 /proc/14954/task/14963/stat : 14963 (java) S 14931 14931 14887 0 -1 1077944384 1 542960 0 0 0 0 116811 131 20 0 22 0 418982825 8481841152 32197 33554432000 4194304 4196468 140736012742160 140301134649872 140301655832277 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33980416 140736012747767 140736012747926 140736012747926 140736012750799 0 [pid=14954/tid=14964] ppid=14931 vsize=8283048 memory=0 CPUtime=1169.42 cores=0-7 /proc/14954/task/14964/stat : 14964 (java) S 14931 14931 14887 0 -1 1077944384 9 542960 0 0 0 0 116811 131 20 0 22 0 418982826 8481841152 32197 33554432000 4194304 4196468 140736012742160 140300950702704 140301655833218 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33980416 140736012747767 140736012747926 140736012747926 140736012750799 0 [pid=14954/tid=14965] ppid=14931 vsize=8283048 memory=0 CPUtime=1169.42 cores=0-7 /proc/14954/task/14965/stat : 14965 (java) S 14931 14931 14887 0 -1 1077944384 13 542960 0 0 0 0 116811 131 20 0 22 0 418982826 8481841152 32197 33554432000 4194304 4196468 140736012742160 140300341208352 140301655832277 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33980416 140736012747767 140736012747926 140736012747926 140736012750799 0 [pid=14954/tid=14966] ppid=14931 vsize=8283048 memory=0 CPUtime=1169.42 cores=0-7 /proc/14954/task/14966/stat : 14966 (java) S 14931 14931 14887 0 -1 1077944384 1 542960 0 0 0 0 116811 131 20 0 22 0 418982827 8481841152 32197 33554432000 4194304 4196468 140736012742160 140300072773232 140301655832277 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33980416 140736012747767 140736012747926 140736012747926 140736012750799 0 [pid=14954/tid=14967] ppid=14931 vsize=8283048 memory=0 CPUtime=1169.42 cores=0-7 /proc/14954/task/14967/stat : 14967 (java) S 14931 14931 14887 0 -1 1077944384 1 542960 0 0 0 0 116811 131 20 0 22 0 418982829 8481841152 32197 33554432000 4194304 4196468 140736012742160 140299698264656 140301655840667 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33980416 140736012747767 140736012747926 140736012747926 140736012750799 0 [pid=14954/tid=14968] ppid=14931 vsize=8283048 memory=0 CPUtime=1169.49 cores=0-7 /proc/14954/task/14968/stat : 14968 (java) S 14931 14931 14887 0 -1 1077944384 874 542960 0 0 7 0 116811 131 20 0 22 0 418982831 8481841152 32197 33554432000 4194304 4196468 140736012742160 140300949649520 140301655833218 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33980416 140736012747767 140736012747926 140736012747926 140736012750799 0 [pid=14954/tid=14969] ppid=14931 vsize=8283048 memory=0 CPUtime=1169.52 cores=0-7 /proc/14954/task/14969/stat : 14969 (java) S 14931 14931 14887 0 -1 1077944384 538 542960 0 0 10 0 116811 131 20 0 22 0 418982831 8481841152 32197 33554432000 4194304 4196468 140736012742160 140300948596720 140301655833218 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33980416 140736012747767 140736012747926 140736012747926 140736012750799 0 [pid=14954/tid=14970] ppid=14931 vsize=8283048 memory=0 CPUtime=1169.51 cores=0-7 /proc/14954/task/14970/stat : 14970 (java) S 14931 14931 14887 0 -1 1077944384 322 542960 0 0 9 0 116811 131 20 0 22 0 418982831 8481841152 32197 33554432000 4194304 4196468 140736012742160 140300947544432 140301655833218 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33980416 140736012747767 140736012747926 140736012747926 140736012750799 0 [pid=14954/tid=14971] ppid=14931 vsize=8283048 memory=0 CPUtime=1169.66 cores=0-7 /proc/14954/task/14971/stat : 14971 (java) S 14931 14931 14887 0 -1 1077944384 953 542960 0 0 24 0 116811 131 20 0 22 0 418982831 8481841152 32197 33554432000 4194304 4196468 140736012742160 140300946491632 140301655833218 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 13 0 0 6293624 6294260 33980416 140736012747767 140736012747926 140736012747926 140736012750799 0 [pid=14954/tid=14972] ppid=14931 vsize=8283048 memory=14931 CPUtime=1169.42 cores=0-7 /proc/14954/task/14972/stat : 14972 (java) S 14931 14931 14887 0 -1 1077944384 3 542960 0 0 0 0 116811 131 20 0 22 0 418982831 8481841152 32197 33554432000 4194304 4196468 140736012742160 140299200359264 140301655832277 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33980416 140736012747767 140736012747926 140736012747926 140736012750799 0 [pid=14954/tid=14973] ppid=14931 vsize=8283048 memory=3472328296227680299 CPUtime=1169.51 cores=0-7 /proc/14954/task/14973/stat : 14973 (java) S 14931 14931 14887 0 -1 1077944384 11 542960 0 0 0 9 116811 131 20 0 22 0 418982832 8481841152 32197 33554432000 4194304 4196468 140736012742160 140300206988080 140301655833218 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 13 0 0 6293624 6294260 33980416 140736012747767 140736012747926 140736012747926 140736012750799 0 [pid=14954/tid=14975] ppid=14931 vsize=8283048 memory=-1 CPUtime=1169.42 cores=0-7 /proc/14954/task/14975/stat : 14975 (java) S 14931 14931 14887 0 -1 1077944384 25 542960 0 0 0 0 116811 131 20 0 22 0 418982897 8481841152 32197 33554432000 4194304 4196468 140736012742160 140300945437712 140301655833218 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33980416 140736012747767 140736012747926 140736012747926 140736012750799 0 [pid=14954/tid=14979] ppid=14931 vsize=8283048 memory=0 CPUtime=1169.42 cores=0-7 /proc/14954/task/14979/stat : 14979 (java) S 14931 14931 14887 0 -1 1077944384 15 542960 0 0 0 0 116811 131 20 0 22 0 418982900 8481841152 32197 33554432000 4194304 4196468 140736012742160 140298260833328 140301655833218 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33980416 140736012747767 140736012747926 140736012747926 140736012750799 0 Current children cumulated CPU time: 1177.39 s Current children cumulated vsize: 8396176 KiB Current children cumulated memory: 130264 KiB Child status: 0 Real time (s): 153.11 CPU time (s): 1177.68 CPU user time (s): 1175.87 CPU system time (s): 1.80847 CPU usage (%): 769.169 Max. virtual memory (cumulated for all children) (KiB): 27441876 Max. memory (cumulated for all children) (KiB): 1726696 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1175.87 system time used= 1.80847 maximum resident set size= 1728424 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 594363 page faults= 0 swaps= 0 block input operations= 8 block output operations= 17656 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 21014 involuntary context switches= 12978 # summary of solver processes directly reported to runsolver: # pid: 14931 # total CPU time (s): 1177.68 # total CPU user time (s): 1175.87 # total CPU system time (s): 1.80847 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 1.35086 second user time and 2.33929 second system time The end
Begin job on node140 at 2019-09-14 05:06:40 IDJOB=4392417 IDBENCH=127942 IDSOLVER=2838 FILE ID=node140/4392417-1568430440 RUNJOBID= node140-1568430400-14914 PBS_JOBID= 21702310 Free space on /tmp= 58140 MiB SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-06-15) BENCH NAME= XCSP17/RectPacking/RectPacking-m1-perf/RectPacking-perfect-152.xml COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -order DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4392417-1568430440/watcher-4392417-1568430440 -o /tmp/evaluation-result-4392417-1568430440/solver-4392417-1568430440 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node140-1568430400-14914 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392417-1568430440.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 95353c685d9c4a971cd57b59ef19ccd8 RANDOM SEED=1440408530 node140.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.43 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.43 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.43 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.43 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 24605200 kB MemAvailable: 31857100 kB Buffers: 171784 kB Cached: 7288076 kB SwapCached: 2728 kB Active: 1517208 kB Inactive: 5949780 kB Active(anon): 2292 kB Inactive(anon): 45860 kB Active(file): 1514916 kB Inactive(file): 5903920 kB Unevictable: 107996 kB Mlocked: 107996 kB SwapTotal: 67108860 kB SwapFree: 66999292 kB Dirty: 20576 kB Writeback: 0 kB AnonPages: 111624 kB Mapped: 43828 kB Shmem: 32268 kB Slab: 291020 kB SReclaimable: 261524 kB SUnreclaim: 29496 kB KernelStack: 3280 kB PageTables: 5208 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 498052 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 69632 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 105856 kB DirectMap2M: 33439744 kB Free space on /tmp at the end= 58120 MiB End job on node140 at 2019-09-14 05:09:13