| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| Fun-sCOP order+ManyGlucose (2019-06-15) | SAT | 310.942 | 42.605 |
| Name | RectPacking/RectPacking-m1-perf/ RectPacking-perfect-126.xml |
| MD5SUM | e5b164a238094fc306b5fb8652aa9c45 |
| 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 | 45.9191 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 50 |
| Number of constraints | 53 |
| Number of domains | 1 |
| Minimum domain size | 398 |
| Maximum domain size | 398 |
| Distribution of domain sizes | [{"size":398,"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-6525-serial-file.bin HOME/instance-4392303-1568429243.xml 0.65/0.54 0.65/0.54 Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15) 0.65/0.54 0.65/0.56 c BEGIN-Prog: Sat Sep 14 04:46:34 CEST 2019 0.65/0.56 c PID: 6528 0.65/0.56 c IP: 172.20.3.132 0.65/0.56 c HOST: node132.alineos.net 0.65/0.57 c (0,0) Parsing Begin 1.40/0.90 c (0,0) Parsing End 1.40/0.91 c (0,0) CSP: 50 int (0 aux), 0 bool (0 aux), 53 ctr, max domain size 398 1.40/0.91 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB) 1.40/0.91 c (0,0) Constraint Name Generate Begin 1.40/0.92 c (0,0) Ctr:HOME/instance-4392303-1568429243.xml,Le:NoOverlap:Num:Var 1.40/0.92 c (0,0) Constraint Name Generate End 1.40/0.92 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB) 1.40/0.92 c (0,0) CSP to CSPinCNF Begin 1.40/1.00 c (0,0) translated 6 (10%) constraints 1.40/1.00 c (0,0) translated 11 (20%) constraints 1.40/1.00 c (0,0) translated 16 (30%) constraints 1.40/1.00 c (0,0) translated 22 (40%) constraints 1.56/1.01 c (0,0) translated 27 (50%) constraints 1.56/1.01 c (0,0) translated 32 (60%) constraints 1.56/1.01 c (0,0) translated 38 (70%) constraints 1.56/1.02 c (0,0) translated 43 (80%) constraints 1.56/1.02 c (0,0) translated 48 (90%) constraints 2.17/1.27 c (0,0) translated 53 (100%) constraints 2.17/1.27 c (0,0) =========================================== 2.17/1.28 c (0,0) Order 2.17/1.28 c (0,0) =========================================== 2.17/1.28 c (0,0) translated 36 (10%) constraints 2.17/1.29 c (0,0) translated 71 (20%) constraints 2.17/1.30 c (0,0) translated 106 (30%) constraints 2.50/1.30 c (0,0) translated 141 (40%) constraints 2.50/1.30 c (0,0) translated 176 (50%) constraints 2.50/1.31 c (0,0) translated 212 (60%) constraints 2.50/1.31 c (0,0) translated 247 (70%) constraints 2.50/1.32 c (0,0) translated 282 (80%) constraints 2.50/1.32 c (0,0) translated 317 (90%) constraints 2.50/1.32 c (0,0) translated 352 (100%) constraints 2.50/1.33 c (0,0) CSP to CSPinCNF End 2.50/1.33 c (0,0) CSP: 50 int (0 aux), 0 bool (0 aux), 352 ctr, max domain size 397 2.50/1.33 c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB) 2.50/1.33 c (0,0) CSPinCNF Propagation Begin 2.50/1.36 c (0,0) 0 values, 6 unsatisfiable literals, and 51 valid clauses are removed 2.50/1.36 c (0,0) CSPinCNF Propagation End 2.50/1.36 c (0,0) CSP: 50 int (0 aux), 0 bool (0 aux), 301 ctr, max domain size 397 2.50/1.36 c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB) 2.50/1.36 c (0,0) Simplify CSPinCNF Begin 2.86/1.46 c (0,0) Simplify CSPinCNF End 2.86/1.46 c (0,0) CSP: 50 int (0 aux), 1194 bool (1194 aux), 1495 ctr, max domain size 397 2.86/1.46 c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB) 2.86/1.46 c (0,0) Calculate Precise Domain Begin 2.86/1.46 c (0,0) 0 values are removed by re-calculation 2.86/1.46 c (0,0) Calculate Precise Domain End 2.86/1.47 c (0,0) CSP: 50 int (0 aux), 1194 bool (1194 aux), 1495 ctr, max domain size 397 2.86/1.47 c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB) 2.86/1.47 c (0,0) CSPinCNF to SatSolver Begin 4.67/1.91 c (1,1) 150 (10 %) CSP clauses are encoded (0 SAT variables, 56560 SAT clauses) 4.83/2.06 c (1,1) 299 (20 %) CSP clauses are encoded (0 SAT variables, 95222 SAT clauses) 5.05/2.20 c (1,1) 449 (30 %) CSP clauses are encoded (0 SAT variables, 130996 SAT clauses) 5.16/2.35 c (1,1) 598 (40 %) CSP clauses are encoded (0 SAT variables, 168040 SAT clauses) 5.26/2.48 c (1,1) 748 (50 %) CSP clauses are encoded (0 SAT variables, 201752 SAT clauses) 5.48/2.61 c (2,2) 897 (60 %) CSP clauses are encoded (0 SAT variables, 234820 SAT clauses) 5.59/2.72 c (2,2) 1047 (70 %) CSP clauses are encoded (0 SAT variables, 265004 SAT clauses) 5.70/2.84 c (2,2) 1196 (80 %) CSP clauses are encoded (0 SAT variables, 294327 SAT clauses) 5.80/2.93 c (2,2) 1346 (90 %) CSP clauses are encoded (0 SAT variables, 319405 SAT clauses) 5.80/3.00 c (2,2) 1495 (100 %) CSP clauses are encoded (0 SAT variables, 335960 SAT clauses) 5.80/3.00 c (2,2) CSPinCNF to SatSolver End 5.80/3.00 c (2,2) Heap : 1464 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB) 5.80/3.00 c (2,2) 17686 bool, 336082 clause 5.80/3.00 c (2,2) Export Begin 5.93/3.08 c (2,2) Export to HOME/scop-6525-serial-file.bin 5.93/3.08 c (2,2) Export End 5.93/3.08 c (2,2) Export File Size: 0.01 MB 5.93/3.08 c (2,2) 0,0,0,0,0,0,2,STOP-AFTER(DIMACS) 5.93/3.08 c END-Prog: Sat Sep 14 04:46:37 CEST 2019 5.93/3.10 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-6525-serial-file.bin 6.09/3.56 c (0,0) Read Serial File Begin 6.09/3.56 c (0,0) HOME/scop-6525-serial-file.bin 6.09/3.75 c (0,0) Read Serial File End 6.09/3.76 6.09/3.76 Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15) 6.09/3.76 (Solving Process) 6.09/3.76 6.09/3.79 c BEGIN-Prog: Sat Sep 14 04:46:37 CEST 2019 6.09/3.79 c PID: 6548 6.09/3.79 c IP: 172.20.3.132 6.09/3.79 c HOST: node132.alineos.net 6.09/3.79 c (0,0) SatSolver.solve Begin 6.09/3.79 c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392303-1568429243.xml-scop-6528.cnf 6.09/3.82 c (0,0) c 6.09/3.82 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) 6.09/3.82 c (0,0) c 6.09/3.82 c (0,0) c WARNING: for repeatability, setting FPU to use double precision 6.09/3.82 c (0,0) c 8 solvers engines and 1 companion as a blackboard created. 6.09/3.82 c (0,0) c ========================================[ Problem Statistics ]=========================================== 6.09/3.82 c (0,0) c | | 6.09/3.93 c (0,0) c | Number of variables: 17686 | 6.09/3.93 c (0,0) c | Number of clauses: 336082 | 6.09/3.93 c (0,0) c | Parse time: 0.12 s | 6.09/3.93 c (0,0) c | | 7.69/4.32 c (0,0) c | Simplification time: 0.39 s | 7.69/4.32 c (0,0) c | | 7.69/4.32 c (0,0) c | Generating clones | 7.80/4.41 c (0,0) c | all clones generated. Memory = 220.21Mb. | 7.80/4.41 c (0,0) c ========================================================================================================| 7.80/4.41 c (0,0) c 7.80/4.41 c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 7.80/4.41 c (0,0) c 7.80/4.41 c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 7.80/4.41 c (0,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 7.80/4.41 c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 7.80/4.42 c (0,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 7.80/4.42 c (0,0) c | adaptStrategeis | True | False | True | False | True | False | True | False | 7.80/4.42 c (0,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 7.80/4.42 c (0,0) c | Initial random_seed | 91648253 | 91648254 | 91648255 | 91648256 | 91648257 | 91648258 | 91648259 | 91648260 | 7.80/4.42 c (0,0) c | chanseokStrategy | False | False | False | False | False | False | False | False | 7.80/4.42 c (0,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 7.80/4.42 c (0,0) c | glureduce | True | True | True | True | True | True | True | True | 7.80/4.42 c (0,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 7.80/4.42 c (0,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 7.80/4.42 c (0,0) c | luby_restart | False | False | False | False | False | False | False | False | 7.80/4.42 c (0,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 7.80/4.42 c (0,0) c | var_decay | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 7.80/4.42 c (0,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 7.80/4.42 c (0,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 7.80/4.42 c (0,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 7.80/4.42 c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 241.13/33.78 c (30,0) c 241.13/33.78 c (30,0) c |------------------------------------------------------------------------------------------------------------------------| 241.13/33.78 c (30,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 241.13/33.78 c (30,0) c |------------------------------------------------------------------------------------------------------------------------| 241.13/33.78 c (30,0) c | 0 | 238 | 145785 | 69870 | 59623 | 16138 | 10507 | 70918 | 9031 | 205 | 20 | 0.486 | 241.13/33.78 c (30,0) c | 1 | 213 | 141401 | 68600 | 60615 | 14676 | 10914 | 69393 | 8896 | 204 | 20 | 0.283 | 241.13/33.78 c (30,0) c | 2 | 226 | 145088 | 70734 | 59591 | 17054 | 11168 | 71377 | 8865 | 210 | 20 | 0.283 | 241.13/33.78 c (30,0) c | 3 | 226 | 147263 | 72356 | 59896 | 18453 | 11163 | 71241 | 8827 | 211 | 20 | 0.283 | 241.13/33.78 c (30,0) c | 4 | 234 | 144317 | 70708 | 58037 | 17023 | 10329 | 72248 | 9111 | 211 | 20 | 0.283 | 241.13/33.78 c (30,0) c | 5 | 231 | 146165 | 70184 | 60829 | 16552 | 11222 | 70942 | 8991 | 208 | 20 | 0.283 | 241.13/33.78 c (30,0) c | 6 | 224 | 138792 | 68666 | 56877 | 15088 | 10904 | 69809 | 8860 | 205 | 20 | 0.277 | 241.13/33.78 c (30,0) c | 7 | 216 | 141932 | 68313 | 62371 | 29696 | 10094 | 70821 | 8653 | 203 | 20 | 0.277 | 241.13/33.78 c (30,0) c 241.13/33.78 c (30,0) c synthesis 559431 conflicts 385506582 propagations 2391 conflicts/sec 1647902 propagations/sec 241.13/33.78 c (30,0) c real: 29.9652 s, cpu: 233.938 s, memory: 795.34 Mb 310.37/42.43 c (38,0) c 310.37/42.43 c (38,0) c real time : 38.6213 s 310.37/42.43 c (38,0) c cpu time : 302.585 s 310.37/42.43 c (38,0) c 310.37/42.43 c (38,0) c 310.37/42.43 c (38,0) c 310.37/42.43 c (38,0) c |---------------------------------------- FINAL STATS --------------------------------------------------| 310.37/42.43 c (38,0) c 310.37/42.43 c (38,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 310.37/42.44 c (38,0) c | Threads | Total | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 310.37/42.44 c (38,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 310.37/42.44 c (38,0) c | Conflicts | 681999 | 85043 | 84363 | 85689 | 87456 | 86396 | 85621 | 83947 | 83484 | 310.37/42.44 c (38,0) c | Decisions | 1383327 | 172865 | 172413 | 172891 | 176150 | 175273 | 174292 | 168098 | 171345 | 310.37/42.44 c (38,0) c | Propagations | 484375250 | 59725075 | 59771539 | 61470734 | 61414498 | 61076620 | 60777692 | 60349032 | 59790060 | 310.37/42.44 c (38,0) c | ReduceDBs | 56 | 7 | 7 | 7 | 7 | 7 | 7 | 7 | 7 | 310.37/42.44 c (38,0) c | SimpDBs | 77 | 9 | 10 | 10 | 10 | 10 | 10 | 9 | 9 | 310.37/42.44 c (38,0) c | Restarts | 2266 | 293 | 252 | 294 | 276 | 289 | 281 | 299 | 282 | 310.37/42.44 c (38,0) c | ForcedImports | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 310.37/42.44 c (38,0) c | PropBinClauses| 596710129 | 73313109 | 73695466 | 76086425 | 75687792 | 75118856 | 74959712 | 74543296 | 73305473 | 310.37/42.44 c (38,0) c | PropPreBlocker| 6587594263 | 817418924 | 810457781 | 834546563 | 837286974 | 833712110 | 828339448 | 814748954 | 811083509 | 310.37/42.44 c (38,0) c | PropNotBlocker| 2267492102 | 279784160 | 276646734 | 288038545 | 286141353 | 290380006 | 289145345 | 280664002 | 276691957 | 310.37/42.44 c (38,0) c | LitFullScans | 12777269116 | 1584299497 | 1570286963 | 1620276393 | 1624725135 | 1625038268 | 1608131199 | 1578191707 | 1566319954 | 310.37/42.44 c (38,0) c | LitScanFracts | 1537166 | 287393 | 116583 | 272303 | 128762 | 112252 | 127376 | 186649 | 305848 | 310.37/42.44 c (38,0) c | DecisionLevel0| 2290 | 296 | 258 | 299 | 279 | 290 | 283 | 302 | 283 | 310.37/42.44 c (38,0) c | Periods | 2127 | 264 | 261 | 270 | 270 | 270 | 268 | 263 | 261 | 310.37/42.44 c (38,0) c | Margin | 160 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 310.37/42.44 c (38,0) c | Avg_Trail | | 6755 | 6764 | 6689 | 6695 | 6640 | 6686 | 6610 | 6807 | 310.37/42.44 c (38,0) c | Avg_DL | | 20 | 20 | 21 | 21 | 21 | 21 | 21 | 21 | 310.37/42.44 c (38,0) c | Avg_Res | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 310.37/42.44 c (38,0) c | Avg_Res_Seen | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 310.37/42.44 c (38,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 310.37/42.44 c (38,0) c | Exported | 101035 | 12517 | 12899 | 12968 | 12890 | 12185 | 13145 | 12641 | 11790 | 310.37/42.44 c (38,0) c | Imported | 670142 | 83735 | 82212 | 84324 | 84680 | 85598 | 83801 | 82281 | 83511 | 310.37/42.44 c (38,0) c | Good | 1555 | 188 | 176 | 202 | 204 | 212 | 190 | 186 | 197 | 310.37/42.44 c (38,0) c | Purge | 668587 | 83547 | 82036 | 84122 | 84476 | 85386 | 83611 | 82095 | 83314 | 310.37/42.44 c (38,0) c | Promoted | 87492 | 10990 | 10994 | 10848 | 10856 | 11199 | 11059 | 10940 | 10606 | 310.37/42.44 c (38,0) c | Remove_Imp | 316729 | 39619 | 39557 | 39356 | 38725 | 40268 | 39261 | 39419 | 40524 | 310.37/42.44 c (38,0) c | Blocked_Reuse | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 310.37/42.44 c (38,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 310.37/42.44 c (38,0) c | Unaries | | 3 | 6 | 5 | 3 | 1 | 2 | 3 | 1 | 310.37/42.44 c (38,0) c | Binaries | | 39 | 46 | 27 | 31 | 24 | 38 | 29 | 20 | 310.37/42.44 c (38,0) c | Glues | | 261 | 246 | 226 | 220 | 265 | 261 | 231 | 207 | 310.37/42.44 c (38,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 310.37/42.44 c (38,0) c | Orig_Seen | 19 % | 63754 | 66768 | 64360 | 65860 | 64317 | 65677 | 62070 | 66997 | 310.37/42.44 c (38,0) c | Diff Orig seen| | - 3014 | X | - 2408 | - 908 | - 2451 | - 1091 | - 4698 | 229 | 310.37/42.44 c (38,0) c | Hamming | 21 % | 4831 | X | 4671 | 77 | 4725 | 4612 | 4974 | 2309 | 310.37/42.44 c (38,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 310.37/42.44 c (38,0) c | RunningTime | | 38.0 100%| 37.9 100%| 37.9 100%| 37.9 100%| 37.9 100%| 37.9 100%| 38.0 100%| 37.9 100%| 310.37/42.44 c (38,0) c | WaitingTime | | 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 310.37/42.44 c (38,0) c | ExchangingTime| | 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 310.37/42.44 c (38,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%| 310.37/42.44 c (38,0) c | SolvingTime | | 38.0 | 37.9 | 38.0 | 38.0 | 37.9 | 37.9 | 38.0 | 38.0 | 310.37/42.44 c (38,0) c | PropagationTim| | 31.6 83%| 31.1 82%| 31.5 83%| 31.4 83%| 31.5 83%| 31.4 83%| 31.0 82%| 31.1 82%| 310.37/42.44 c (38,0) c | AnalysisTime | | 5.1 13%| 5.5 14%| 5.1 13%| 5.2 14%| 5.1 13%| 5.2 14%| 5.6 15%| 5.5 15%| 310.37/42.44 c (38,0) c | ReductionTime | | 0.2 0%| 0.1 0%| 0.2 0%| 0.1 0%| 0.2 1%| 0.2 1%| 0.2 0%| 0.2 1%| 310.37/42.44 c (38,0) c | SimplifyTime | | 0.1 0%| 0.1 0%| 0.1 0%| 0.1 0%| 0.1 0%| 0.1 0%| 0.1 0%| 0.1 0%| 310.37/42.44 c (38,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%| 310.37/42.44 c (38,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%| 310.37/42.44 c (38,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 310.37/42.44 c (38,0) c 310.37/42.44 c (38,0) c 310.37/42.44 c (38,0) c Threads : 8 310.37/42.44 c (38,0) c Winner : 1 310.37/42.44 c (38,0) c Conflicts_0 : 85043 310.37/42.44 c (38,0) c Conflicts_1 : 84363 310.37/42.44 c (38,0) c Conflicts_2 : 85689 310.37/42.44 c (38,0) c Conflicts_3 : 87456 310.37/42.44 c (38,0) c Conflicts_4 : 86396 310.37/42.44 c (38,0) c Conflicts_5 : 85621 310.37/42.44 c (38,0) c Conflicts_6 : 83947 310.37/42.44 c (38,0) c Conflicts_7 : 83484 310.37/42.44 c (38,0) c Conflicts_total : 681999 310.37/42.44 c (38,0) c Conflicts_winner : 84363 310.37/42.44 c (38,0) c Decisions_0 : 172865 310.37/42.44 c (38,0) c Decisions_1 : 172413 310.37/42.44 c (38,0) c Decisions_2 : 172891 310.37/42.44 c (38,0) c Decisions_3 : 176150 310.37/42.44 c (38,0) c Decisions_4 : 175273 310.37/42.44 c (38,0) c Decisions_5 : 174292 310.37/42.44 c (38,0) c Decisions_6 : 168098 310.37/42.44 c (38,0) c Decisions_7 : 171345 310.37/42.44 c (38,0) c Decisions_total : 1383327 310.37/42.44 c (38,0) c Decisions_winner : 172413 310.37/42.44 c (38,0) c Propagations_0 : 59725075 310.37/42.44 c (38,0) c Propagations_1 : 59771539 310.37/42.44 c (38,0) c Propagations_2 : 61470734 310.37/42.44 c (38,0) c Propagations_3 : 61414498 310.37/42.44 c (38,0) c Propagations_4 : 61076620 310.37/42.44 c (38,0) c Propagations_5 : 60777692 310.37/42.44 c (38,0) c Propagations_6 : 60349032 310.37/42.44 c (38,0) c Propagations_7 : 59790060 310.37/42.44 c (38,0) c Propagations_total : 484375250 310.37/42.44 c (38,0) c Propagations_winner : 59771539 310.37/42.44 c (38,0) c ReduceDBs_0 : 7 310.37/42.44 c (38,0) c ReduceDBs_1 : 7 310.37/42.44 c (38,0) c ReduceDBs_2 : 7 310.37/42.44 c (38,0) c ReduceDBs_3 : 7 310.37/42.44 c (38,0) c ReduceDBs_4 : 7 310.37/42.44 c (38,0) c ReduceDBs_5 : 7 310.37/42.44 c (38,0) c ReduceDBs_6 : 7 310.37/42.44 c (38,0) c ReduceDBs_7 : 7 310.37/42.44 c (38,0) c ReduceDBs_total : 56 310.37/42.44 c (38,0) c ReduceDBs_winner : 7 310.37/42.44 c (38,0) c SimpDBs_0 : 9 310.37/42.44 c (38,0) c SimpDBs_1 : 10 310.37/42.44 c (38,0) c SimpDBs_2 : 10 310.37/42.44 c (38,0) c SimpDBs_3 : 10 310.37/42.44 c (38,0) c SimpDBs_4 : 10 310.37/42.44 c (38,0) c SimpDBs_5 : 10 310.37/42.44 c (38,0) c SimpDBs_6 : 9 310.37/42.44 c (38,0) c SimpDBs_7 : 9 310.37/42.44 c (38,0) c SimpDBs_total : 77 310.37/42.44 c (38,0) c SimpDBs_winner : 10 310.37/42.44 c (38,0) c Restarts_0 : 293 310.37/42.44 c (38,0) c Restarts_1 : 252 310.37/42.44 c (38,0) c Restarts_2 : 294 310.37/42.44 c (38,0) c Restarts_3 : 276 310.37/42.44 c (38,0) c Restarts_4 : 289 310.37/42.44 c (38,0) c Restarts_5 : 281 310.37/42.44 c (38,0) c Restarts_6 : 299 310.37/42.44 c (38,0) c Restarts_7 : 282 310.37/42.44 c (38,0) c Restarts_total : 2266 310.37/42.44 c (38,0) c Restarts_winner : 252 310.37/42.44 c (38,0) c ForcedImports_0 : 0 310.37/42.44 c (38,0) c ForcedImports_1 : 0 310.37/42.44 c (38,0) c ForcedImports_2 : 0 310.37/42.44 c (38,0) c ForcedImports_3 : 0 310.37/42.44 c (38,0) c ForcedImports_4 : 0 310.37/42.44 c (38,0) c ForcedImports_5 : 0 310.37/42.44 c (38,0) c ForcedImports_6 : 0 310.37/42.44 c (38,0) c ForcedImports_7 : 0 310.37/42.44 c (38,0) c ForcedImports_total : 0 310.37/42.44 c (38,0) c ForcedImports_winner : 0 310.37/42.44 c (38,0) c PropsBinClauses_0 : 73313109 310.37/42.44 c (38,0) c PropsBinClauses_1 : 73695466 310.37/42.44 c (38,0) c PropsBinClauses_2 : 76086425 310.37/42.44 c (38,0) c PropsBinClauses_3 : 75687792 310.37/42.44 c (38,0) c PropsBinClauses_4 : 75118856 310.37/42.44 c (38,0) c PropsBinClauses_5 : 74959712 310.37/42.44 c (38,0) c PropsBinClauses_6 : 74543296 310.37/42.44 c (38,0) c PropsBinClauses_7 : 73305473 310.37/42.44 c (38,0) c PropsBinClauses_total : 596710129 310.37/42.44 c (38,0) c PropsBinClauses_winner : 73695466 310.37/42.44 c (38,0) c PropsPreBlocker_0 : 817418924 310.37/42.44 c (38,0) c PropsPreBlocker_1 : 810457781 310.37/42.44 c (38,0) c PropsPreBlocker_2 : 834546563 310.37/42.44 c (38,0) c PropsPreBlocker_3 : 837286974 310.37/42.44 c (38,0) c PropsPreBlocker_4 : 833712110 310.37/42.44 c (38,0) c PropsPreBlocker_5 : 828339448 310.37/42.44 c (38,0) c PropsPreBlocker_6 : 814748954 310.37/42.44 c (38,0) c PropsPreBlocker_7 : 811083509 310.37/42.44 c (38,0) c PropsPreBlocker_total : 6587594263 310.37/42.44 c (38,0) c PropsPreBlocker_winner : 810457781 310.37/42.44 c (38,0) c PropsNotBlocker_0 : 279784160 310.37/42.44 c (38,0) c PropsNotBlocker_1 : 276646734 310.37/42.44 c (38,0) c PropsNotBlocker_2 : 288038545 310.37/42.44 c (38,0) c PropsNotBlocker_3 : 286141353 310.37/42.44 c (38,0) c PropsNotBlocker_4 : 290380006 310.37/42.44 c (38,0) c PropsNotBlocker_5 : 289145345 310.37/42.44 c (38,0) c PropsNotBlocker_6 : 280664002 310.37/42.44 c (38,0) c PropsNotBlocker_7 : 276691957 310.37/42.44 c (38,0) c PropsNotBlocker_total : 2267492102 310.37/42.44 c (38,0) c PropsNotBlocker_winner : 276646734 310.37/42.44 c (38,0) c PropsLitFullScans_0 : 1584299497 310.37/42.44 c (38,0) c PropsLitFullScans_1 : 1570286963 310.37/42.44 c (38,0) c PropsLitFullScans_2 : 1620276393 310.37/42.44 c (38,0) c PropsLitFullScans_3 : 1624725135 310.37/42.44 c (38,0) c PropsLitFullScans_4 : 1625038268 310.37/42.44 c (38,0) c PropsLitFullScans_5 : 1608131199 310.37/42.44 c (38,0) c PropsLitFullScans_6 : 1578191707 310.37/42.44 c (38,0) c PropsLitFullScans_7 : 1566319954 310.37/42.44 c (38,0) c PropsLitFullScans_total : 12777269116 310.37/42.44 c (38,0) c PropsLitFullScans_winner : 1570286963 310.37/42.44 c (38,0) c LitScanFractions_0 : 287393 310.37/42.44 c (38,0) c LitScanFractions_1 : 116583 310.37/42.44 c (38,0) c LitScanFractions_2 : 272303 310.37/42.44 c (38,0) c LitScanFractions_3 : 128762 310.37/42.44 c (38,0) c LitScanFractions_4 : 112252 310.37/42.44 c (38,0) c LitScanFractions_5 : 127376 310.37/42.44 c (38,0) c LitScanFractions_6 : 186649 310.37/42.44 c (38,0) c LitScanFractions_7 : 305848 310.37/42.44 c (38,0) c LitScanFractions_total : 1537166 310.37/42.44 c (38,0) c LitScanFractions_winner : 116583 310.37/42.44 c (38,0) c DecisionLevel0_0 : 296 310.37/42.44 c (38,0) c DecisionLevel0_1 : 258 310.37/42.44 c (38,0) c DecisionLevel0_2 : 299 310.37/42.44 c (38,0) c DecisionLevel0_3 : 279 310.37/42.44 c (38,0) c DecisionLevel0_4 : 290 310.37/42.44 c (38,0) c DecisionLevel0_5 : 283 310.37/42.44 c (38,0) c DecisionLevel0_6 : 302 310.37/42.44 c (38,0) c DecisionLevel0_7 : 283 310.37/42.44 c (38,0) c DecisionLevel0_total : 2290 310.37/42.44 c (38,0) c DecisionLevel0_winner : 258 310.37/42.44 c (38,0) c Periods_0 : 264 310.37/42.44 c (38,0) c Periods_1 : 261 310.37/42.44 c (38,0) c Periods_2 : 270 310.37/42.44 c (38,0) c Periods_3 : 270 310.37/42.44 c (38,0) c Periods_4 : 270 310.37/42.44 c (38,0) c Periods_5 : 268 310.37/42.44 c (38,0) c Periods_6 : 263 310.37/42.44 c (38,0) c Periods_7 : 261 310.37/42.44 c (38,0) c Periods_total : 2127 310.37/42.44 c (38,0) c Periods_winner : 261 310.37/42.44 c (38,0) c Margin_0 : 20 310.37/42.44 c (38,0) c Margin_1 : 20 310.37/42.44 c (38,0) c Margin_2 : 20 310.37/42.44 c (38,0) c Margin_3 : 20 310.37/42.44 c (38,0) c Margin_4 : 20 310.37/42.44 c (38,0) c Margin_5 : 20 310.37/42.44 c (38,0) c Margin_6 : 20 310.37/42.44 c (38,0) c Margin_7 : 20 310.37/42.44 c (38,0) c Margin_total : 160 310.37/42.44 c (38,0) c Margin_winner : 20 310.37/42.44 c (38,0) c Exported_0 : 12517 310.37/42.44 c (38,0) c Exported_1 : 12899 310.37/42.44 c (38,0) c Exported_2 : 12968 310.37/42.44 c (38,0) c Exported_3 : 12890 310.37/42.44 c (38,0) c Exported_4 : 12185 310.37/42.44 c (38,0) c Exported_5 : 13145 310.37/42.44 c (38,0) c Exported_6 : 12641 310.37/42.44 c (38,0) c Exported_7 : 11790 310.37/42.44 c (38,0) c Exported_total : 101035 310.37/42.44 c (38,0) c Exported_winner : 12899 310.37/42.44 c (38,0) c Imported_0 : 83735 310.37/42.44 c (38,0) c Imported_1 : 82212 310.37/42.44 c (38,0) c Imported_2 : 84324 310.37/42.44 c (38,0) c Imported_3 : 84680 310.37/42.44 c (38,0) c Imported_4 : 85598 310.37/42.44 c (38,0) c Imported_5 : 83801 310.37/42.44 c (38,0) c Imported_6 : 82281 310.37/42.44 c (38,0) c Imported_7 : 83511 310.37/42.44 c (38,0) c Imported_total : 670142 310.37/42.44 c (38,0) c Imported_winner : 82212 310.37/42.44 c (38,0) c Good_0 : 188 310.37/42.44 c (38,0) c Good_1 : 176 310.37/42.44 c (38,0) c Good_2 : 202 310.37/42.44 c (38,0) c Good_3 : 204 310.37/42.44 c (38,0) c Good_4 : 212 310.37/42.44 c (38,0) c Good_5 : 190 310.37/42.44 c (38,0) c Good_6 : 186 310.37/42.44 c (38,0) c Good_7 : 197 310.37/42.44 c (38,0) c Good_total : 1555 310.37/42.44 c (38,0) c Good_winner : 176 310.37/42.44 c (38,0) c Purge_0 : 83547 310.37/42.44 c (38,0) c Purge_1 : 82036 310.37/42.44 c (38,0) c Purge_2 : 84122 310.37/42.44 c (38,0) c Purge_3 : 84476 310.37/42.44 c (38,0) c Purge_4 : 85386 310.37/42.44 c (38,0) c Purge_5 : 83611 310.37/42.44 c (38,0) c Purge_6 : 82095 310.37/42.44 c (38,0) c Purge_7 : 83314 310.37/42.44 c (38,0) c Purge_total : 668587 310.37/42.44 c (38,0) c Purge_winner : 82036 310.37/42.44 c (38,0) c Promoted_0 : 10990 310.37/42.44 c (38,0) c Promoted_1 : 10994 310.37/42.44 c (38,0) c Promoted_2 : 10848 310.37/42.44 c (38,0) c Promoted_3 : 10856 310.37/42.44 c (38,0) c Promoted_4 : 11199 310.37/42.44 c (38,0) c Promoted_5 : 11059 310.37/42.44 c (38,0) c Promoted_6 : 10940 310.37/42.44 c (38,0) c Promoted_7 : 10606 310.37/42.44 c (38,0) c Promoted_total : 87492 310.37/42.44 c (38,0) c Promoted_winner : 10994 310.37/42.44 c (38,0) c Remove_Imp_0 : 39619 310.37/42.44 c (38,0) c Remove_Imp_1 : 39557 310.37/42.44 c (38,0) c Remove_Imp_2 : 39356 310.37/42.45 c (38,0) c Remove_Imp_3 : 38725 310.37/42.45 c (38,0) c Remove_Imp_4 : 40268 310.37/42.45 c (38,0) c Remove_Imp_5 : 39261 310.37/42.45 c (38,0) c Remove_Imp_6 : 39419 310.37/42.45 c (38,0) c Remove_Imp_7 : 40524 310.37/42.45 c (38,0) c Remove_Imp_total : 316729 310.37/42.45 c (38,0) c Remove_Imp_winner : 39557 310.37/42.45 c (38,0) c Blocked_Reuse_0 : 0 310.37/42.45 c (38,0) c Blocked_Reuse_1 : 0 310.37/42.45 c (38,0) c Blocked_Reuse_2 : 0 310.37/42.45 c (38,0) c Blocked_Reuse_3 : 0 310.37/42.45 c (38,0) c Blocked_Reuse_4 : 0 310.37/42.45 c (38,0) c Blocked_Reuse_5 : 0 310.37/42.45 c (38,0) c Blocked_Reuse_6 : 0 310.37/42.45 c (38,0) c Blocked_Reuse_7 : 0 310.37/42.45 c (38,0) c Blocked_Reuse_total : 0 310.37/42.45 c (38,0) c Blocked_Reuse_winner : 0 310.37/42.45 c (38,0) c Unaries_0 : 3 310.37/42.45 c (38,0) c Unaries_1 : 6 310.37/42.45 c (38,0) c Unaries_2 : 5 310.37/42.45 c (38,0) c Unaries_3 : 3 310.37/42.45 c (38,0) c Unaries_4 : 1 310.37/42.45 c (38,0) c Unaries_5 : 2 310.37/42.45 c (38,0) c Unaries_6 : 3 310.37/42.45 c (38,0) c Unaries_7 : 1 310.37/42.45 c (38,0) c Unaries_total : 24 310.37/42.45 c (38,0) c Unaries_winner : 6 310.37/42.45 c (38,0) c Binaries_0 : 39 310.37/42.45 c (38,0) c Binaries_1 : 46 310.37/42.45 c (38,0) c Binaries_2 : 27 310.37/42.45 c (38,0) c Binaries_3 : 31 310.37/42.45 c (38,0) c Binaries_4 : 24 310.37/42.45 c (38,0) c Binaries_5 : 38 310.37/42.45 c (38,0) c Binaries_6 : 29 310.37/42.45 c (38,0) c Binaries_7 : 20 310.37/42.45 c (38,0) c Binaries_total : 254 310.37/42.45 c (38,0) c Binaries_winner : 46 310.37/42.45 c (38,0) c Glues_0 : 261 310.37/42.45 c (38,0) c Glues_1 : 246 310.37/42.45 c (38,0) c Glues_2 : 226 310.37/42.45 c (38,0) c Glues_3 : 220 310.37/42.45 c (38,0) c Glues_4 : 265 310.37/42.45 c (38,0) c Glues_5 : 261 310.37/42.45 c (38,0) c Glues_6 : 231 310.37/42.45 c (38,0) c Glues_7 : 207 310.37/42.45 c (38,0) c Glues_total : 1917 310.37/42.45 c (38,0) c Glues_winner : 246 310.37/42.45 c (38,0) c RunningTime_0 : 37.957560 310.37/42.45 c (38,0) c RunningTime_1 : 37.887864 310.37/42.45 c (38,0) c RunningTime_2 : 37.931341 310.37/42.45 c (38,0) c RunningTime_3 : 37.904191 310.37/42.45 c (38,0) c RunningTime_4 : 37.897944 310.37/42.45 c (38,0) c RunningTime_5 : 37.891309 310.37/42.45 c (38,0) c RunningTime_6 : 37.951908 310.37/42.45 c (38,0) c RunningTime_7 : 37.947644 310.37/42.45 c (38,0) c RunningTime_total : 303.369762 310.37/42.45 c (38,0) c RunningTime_winner : 37.887864 310.37/42.45 c (38,0) c WaitingTime_0 : 0.000327 310.37/42.45 c (38,0) c WaitingTime_1 : 0.000342 310.37/42.45 c (38,0) c WaitingTime_2 : 0.000403 310.37/42.45 c (38,0) c WaitingTime_3 : 0.000462 310.37/42.45 c (38,0) c WaitingTime_4 : 0.000420 310.37/42.45 c (38,0) c WaitingTime_5 : 0.000391 310.37/42.45 c (38,0) c WaitingTime_6 : 0.000359 310.37/42.45 c (38,0) c WaitingTime_7 : 0.000358 310.37/42.45 c (38,0) c WaitingTime_total : 0.003063 310.37/42.45 c (38,0) c WaitingTime_winner : 0.000342 310.37/42.45 c (38,0) c ExchangingTime_0 : 0.047360 310.37/42.45 c (38,0) c ExchangingTime_1 : 0.035806 310.37/42.45 c (38,0) c ExchangingTime_2 : 0.048936 310.37/42.45 c (38,0) c ExchangingTime_3 : 0.047488 310.37/42.45 c (38,0) c ExchangingTime_4 : 0.042897 310.37/42.45 c (38,0) c ExchangingTime_5 : 0.042995 310.37/42.45 c (38,0) c ExchangingTime_6 : 0.036873 310.37/42.45 c (38,0) c ExchangingTime_7 : 0.037698 310.37/42.45 c (38,0) c ExchangingTime_total : 0.340055 310.37/42.45 c (38,0) c ExchangingTime_winner : 0.035806 310.37/42.45 c (38,0) c PeriodProcTime_0 : 0.002203 310.37/42.45 c (38,0) c PeriodProcTime_1 : 0.002088 310.37/42.45 c (38,0) c PeriodProcTime_2 : 0.002755 310.37/42.45 c (38,0) c PeriodProcTime_3 : 0.002715 310.37/42.45 c (38,0) c PeriodProcTime_4 : 0.002151 310.37/42.45 c (38,0) c PeriodProcTime_5 : 0.002164 310.37/42.45 c (38,0) c PeriodProcTime_6 : 0.003030 310.37/42.45 c (38,0) c PeriodProcTime_7 : 0.003248 310.37/42.45 c (38,0) c PeriodProcTime_total : 0.020355 310.37/42.45 c (38,0) c PeriodProcTime_winner : 0.002088 310.37/42.45 c (38,0) c SolvingTime_0 : 38.007451 310.37/42.45 c (38,0) c SolvingTime_1 : 37.926100 310.37/42.45 c (38,0) c SolvingTime_2 : 37.983436 310.37/42.45 c (38,0) c SolvingTime_3 : 37.954856 310.37/42.45 c (38,0) c SolvingTime_4 : 37.943412 310.37/42.45 c (38,0) c SolvingTime_5 : 37.936860 310.37/42.45 c (38,0) c SolvingTime_6 : 37.992171 310.37/42.45 c (38,0) c SolvingTime_7 : 37.988949 310.37/42.45 c (38,0) c SolvingTime_total : 303.733235 310.37/42.45 c (38,0) c SolvingTime_winner : 37.926100 310.37/42.45 c (38,0) c PropagationTime_0 : 31.591962 310.37/42.45 c (38,0) c PropagationTime_1 : 31.149545 310.37/42.45 c (38,0) c PropagationTime_2 : 31.532579 310.37/42.45 c (38,0) c PropagationTime_3 : 31.423916 310.37/42.45 c (38,0) c PropagationTime_4 : 31.523605 310.37/42.45 c (38,0) c PropagationTime_5 : 31.406209 310.37/42.45 c (38,0) c PropagationTime_6 : 31.044539 310.37/42.45 c (38,0) c PropagationTime_7 : 31.118893 310.37/42.45 c (38,0) c PropagationTime_total : 250.791248 310.37/42.45 c (38,0) c PropagationTime_winner : 31.149545 310.37/42.45 c (38,0) c AnalysisTime_0 : 5.086391 310.37/42.45 c (38,0) c AnalysisTime_1 : 5.488433 310.37/42.45 c (38,0) c AnalysisTime_2 : 5.122885 310.37/42.45 c (38,0) c AnalysisTime_3 : 5.203054 310.37/42.45 c (38,0) c AnalysisTime_4 : 5.061260 310.37/42.45 c (38,0) c AnalysisTime_5 : 5.194936 310.37/42.45 c (38,0) c AnalysisTime_6 : 5.648554 310.37/42.45 c (38,0) c AnalysisTime_7 : 5.524721 310.37/42.45 c (38,0) c AnalysisTime_total : 42.330235 310.37/42.45 c (38,0) c AnalysisTime_winner : 5.488433 310.37/42.45 c (38,0) c ReductionTime_0 : 0.186973 310.37/42.45 c (38,0) c ReductionTime_1 : 0.149944 310.37/42.45 c (38,0) c ReductionTime_2 : 0.189726 310.37/42.45 c (38,0) c ReductionTime_3 : 0.147990 310.37/42.45 c (38,0) c ReductionTime_4 : 0.192850 310.37/42.45 c (38,0) c ReductionTime_5 : 0.192087 310.37/42.45 c (38,0) c ReductionTime_6 : 0.152053 310.37/42.45 c (38,0) c ReductionTime_7 : 0.205231 310.37/42.45 c (38,0) c ReductionTime_total : 1.416855 310.37/42.45 c (38,0) c ReductionTime_winner : 0.149944 310.37/42.45 c (38,0) c SimplifyTime_0 : 0.099638 310.37/42.45 c (38,0) c SimplifyTime_1 : 0.118237 310.37/42.45 c (38,0) c SimplifyTime_2 : 0.119545 310.37/42.45 c (38,0) c SimplifyTime_3 : 0.125172 310.37/42.45 c (38,0) c SimplifyTime_4 : 0.123701 310.37/42.45 c (38,0) c SimplifyTime_5 : 0.119917 310.37/42.45 c (38,0) c SimplifyTime_6 : 0.106739 310.37/42.45 c (38,0) c SimplifyTime_7 : 0.106975 310.37/42.45 c (38,0) c SimplifyTime_total : 0.919923 310.37/42.45 c (38,0) c SimplifyTime_winner : 0.118237 310.37/42.45 c (38,0) c UsedRateTime_0 : 0.000000 310.37/42.45 c (38,0) c UsedRateTime_1 : 0.000000 310.37/42.45 c (38,0) c UsedRateTime_2 : 0.000000 310.37/42.45 c (38,0) c UsedRateTime_3 : 0.000000 310.37/42.45 c (38,0) c UsedRateTime_4 : 0.000000 310.37/42.45 c (38,0) c UsedRateTime_5 : 0.000000 310.37/42.45 c (38,0) c UsedRateTime_6 : 0.000000 310.37/42.45 c (38,0) c UsedRateTime_7 : 0.000000 310.37/42.45 c (38,0) c UsedRateTime_total : 0.000000 310.37/42.45 c (38,0) c UsedRateTime_winner : 0.000000 310.37/42.45 c (38,0) c OverlapRateTime_0 : 0.000000 310.37/42.45 c (38,0) c OverlapRateTime_1 : 0.000000 310.37/42.45 c (38,0) c OverlapRateTime_2 : 0.000000 310.37/42.45 c (38,0) c OverlapRateTime_3 : 0.000000 310.37/42.45 c (38,0) c OverlapRateTime_4 : 0.000000 310.37/42.45 c (38,0) c OverlapRateTime_5 : 0.000000 310.37/42.45 c (38,0) c OverlapRateTime_6 : 0.000000 310.37/42.45 c (38,0) c OverlapRateTime_7 : 0.000000 310.37/42.45 c (38,0) c OverlapRateTime_total : 0.000000 310.37/42.45 c (38,0) c OverlapRateTime_winner : 0.000000 310.37/42.45 c (38,0) c 310.37/42.45 c (38,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 310.37/42.45 c (38,0) c 310.37/42.45 c (38,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 310.37/42.45 c (38,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 310.37/42.45 c (38,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 310.37/42.45 c (38,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 310.37/42.45 c (38,0) c | adaptStrategeis | True | False | True | False | True | False | True | False | 310.37/42.45 c (38,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 310.37/42.45 c (38,0) c | Initial random_seed | 53959535 | 715270011 | 1420326182 | 1734361336 | 189773698 | 1810357751 | 395013003 | 1752130992 | 310.37/42.45 c (38,0) c | chanseokStrategy | False | False | False | False | False | False | False | False | 310.37/42.45 c (38,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 310.37/42.45 c (38,0) c | glureduce | True | True | True | True | True | True | True | True | 310.37/42.45 c (38,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 310.37/42.45 c (38,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 310.37/42.45 c (38,0) c | luby_restart | False | False | False | False | False | False | False | False | 310.37/42.45 c (38,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 310.37/42.45 c (38,0) c | var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 310.37/42.45 c (38,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 310.37/42.45 c (38,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 310.37/42.45 c (38,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 310.37/42.45 c (38,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 310.37/42.45 c (38,0) 310.37/42.45 c (38,0) s SATISFIABLE 310.37/42.49 c (39,0) SatSolver.solve End 310.37/42.49 c (39,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB) 310.37/42.49 c (39,0) Show results Begin 310.68/42.59 c (39,0) x[0] = 152 310.68/42.59 c (39,0) x[1] = 249 310.68/42.59 c (39,0) x[2] = 145 310.68/42.59 c (39,0) x[3] = 238 310.68/42.59 c (39,0) x[4] = 249 310.68/42.59 c (39,0) x[5] = 238 310.68/42.59 c (39,0) x[6] = 255 310.68/42.59 c (39,0) x[7] = 210 310.68/42.59 c (39,0) x[8] = 249 310.68/42.59 c (39,0) x[9] = 210 310.68/42.59 c (39,0) x[10] = 210 310.68/42.59 c (39,0) x[11] = 99 310.68/42.59 c (39,0) x[12] = 99 310.68/42.59 c (39,0) x[13] = 154 310.68/42.59 c (39,0) x[14] = 152 310.68/42.59 c (39,0) x[15] = 145 310.68/42.59 c (39,0) x[16] = 210 310.68/42.59 c (39,0) x[17] = 0 310.68/42.59 c (39,0) x[18] = 154 310.68/42.59 c (39,0) x[19] = 145 310.68/42.59 c (39,0) x[20] = 278 310.68/42.59 c (39,0) x[21] = 264 310.68/42.59 c (39,0) x[22] = 254 310.68/42.59 c (39,0) x[23] = 0 310.68/42.59 c (39,0) x[24] = 0 310.68/42.59 c (39,0) y[0] = 154 310.68/42.59 c (39,0) y[1] = 229 310.68/42.59 c (39,0) y[2] = 207 310.68/42.59 c (39,0) y[3] = 229 310.68/42.59 c (39,0) y[4] = 264 310.68/42.59 c (39,0) y[5] = 212 310.68/42.59 c (39,0) y[6] = 212 310.68/42.59 c (39,0) y[7] = 212 310.68/42.59 c (39,0) y[8] = 235 310.68/42.59 c (39,0) y[9] = 240 310.68/42.59 c (39,0) y[10] = 100 310.68/42.59 c (39,0) y[11] = 207 310.68/42.59 c (39,0) y[12] = 154 310.68/42.59 c (39,0) y[13] = 100 310.68/42.59 c (39,0) y[14] = 156 310.68/42.59 c (39,0) y[15] = 214 310.68/42.59 c (39,0) y[16] = 144 310.68/42.59 c (39,0) y[17] = 154 310.68/42.59 c (39,0) y[18] = 0 310.68/42.59 c (39,0) y[19] = 279 310.68/42.59 c (39,0) y[20] = 144 310.68/42.59 c (39,0) y[21] = 264 310.68/42.59 c (39,0) y[22] = 0 310.68/42.59 c (39,0) y[23] = 253 310.68/42.59 c (39,0) y[24] = 0 310.68/42.59 s SATISFIABLE 310.68/42.59 v <instantiation> 310.68/42.59 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> 310.68/42.59 v <values>152 249 145 238 249 238 255 210 249 210 210 99 99 154 152 145 210 0 154 145 278 264 254 0 0 154 229 207 229 264 212 212 212 235 240 100 207 154 100 156 214 144 154 0 279 144 264 0 253 0</values> 310.68/42.59 v </instantiation> 310.68/42.59 c (39,0) Show results End 310.68/42.59 c (39,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB) 310.68/42.59 c (39,0) 39,39,STOP-AFTER(ALL) 310.68/42.59 c END-Prog: Sat Sep 14 04:47:16 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 (15259 MiB free)
memory of node 1: 16384 MiB (15635 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392303-1568429243/watcher-4392303-1568429243 -o /tmp/evaluation-result-4392303-1568429243/solver-4392303-1568429243 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node132-1568428013-6295 --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-4392303-1568429243.xml
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=6525, runsolver pid=6522
[startup+0.100153 s]*
/proc/loadavg: 0.95 1.14 2.92 2/217 6547
/proc/meminfo: memFree=31540972/32770624 swapFree=67009652/67108860
[pid=6525] ppid=6522 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/6525/stat : 6525 (scop.sh) S 6522 6525 6268 0 -1 4202496 554 319 0 0 0 0 0 0 20 0 1 0 418847037 115843072 348 33554432000 4194304 5098028 140729207479136 140729207476392 140290354541180 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 32247808 140729207485221 140729207485548 140729207485548 140729207488461 0
/proc/6525/statm: 28282 348 296 221 0 87 0
[pid=6528] ppid=6525 vsize=27314120 memory=107728 CPUtime=0.1 cores=0-7
/proc/6528/stat : 6528 (java) S 6525 6525 6268 0 -1 1077944320 6423 0 0 0 8 2 0 0 20 0 20 0 418847037 27969658880 26932 33554432000 4194304 4196468 140731479975472 140731479958016 140427021696759 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28614656 140731479982828 140731479983254 140731479983254 140731479986127 0
/proc/6528/statm: 6828530 26932 2796 1 0 6790935 0
[pid=6528/tid=6529] ppid=6525 vsize=27314120 memory=-7024592270288534718 CPUtime=0.09 cores=0-7
/proc/6528/task/6529/stat : 6529 (java) R 6525 6525 6268 0 -1 4202560 4534 0 0 0 7 2 0 0 20 0 20 0 418847037 27969658880 26932 33554432000 4194304 4196468 140731479975472 140426993523472 140427007391760 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28614656 140731479982828 140731479983254 140731479983254 140731479986127 0
[pid=6528/tid=6530] ppid=6525 vsize=27314120 memory=6735269665564437106 CPUtime=0 cores=0-7
/proc/6528/task/6530/stat : 6530 (java) S 6525 6525 6268 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418847040 27969658880 26932 33554432000 4194304 4196468 140731479975472 140427025939600 140427021706965 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28614656 140731479982828 140731479983254 140731479983254 140731479986127 0
[pid=6528/tid=6531] ppid=6525 vsize=27314120 memory=140390337730176 CPUtime=0 cores=0-7
/proc/6528/task/6531/stat : 6531 (java) S 6525 6525 6268 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418847040 27969658880 26932 33554432000 4194304 4196468 140731479975472 140426844027920 140427021706965 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28614656 140731479982828 140731479983254 140731479983254 140731479986127 0
[pid=6528/tid=6532] ppid=6525 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6528/task/6532/stat : 6532 (java) S 6525 6525 6268 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418847040 27969658880 26932 33554432000 4194304 4196468 140731479975472 140426842975120 140427021706965 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28614656 140731479982828 140731479983254 140731479983254 140731479986127 0
[pid=6528/tid=6533] ppid=6525 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6528/task/6533/stat : 6533 (java) S 6525 6525 6268 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418847040 27969658880 26932 33554432000 4194304 4196468 140731479975472 140426441816848 140427021706965 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28614656 140731479982828 140731479983254 140731479983254 140731479986127 0
[pid=6528/tid=6534] ppid=6525 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6528/task/6534/stat : 6534 (java) S 6525 6525 6268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418847040 27969658880 26932 33554432000 4194304 4196468 140731479975472 140426440764048 140427021706965 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28614656 140731479982828 140731479983254 140731479983254 140731479986127 0
[pid=6528/tid=6535] ppid=6525 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/6528/task/6535/stat : 6535 (java) S 6525 6525 6268 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418847040 27969658880 26932 33554432000 4194304 4196468 140731479975472 140426439711248 140427021706965 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28614656 140731479982828 140731479983254 140731479983254 140731479986127 0
[pid=6528/tid=6536] ppid=6525 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6528/task/6536/stat : 6536 (java) S 6525 6525 6268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418847040 27969658880 26932 33554432000 4194304 4196468 140731479975472 140426438658448 140427021706965 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28614656 140731479982828 140731479983254 140731479983254 140731479986127 0
[pid=6528/tid=6537] ppid=6525 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6528/task/6537/stat : 6537 (java) S 6525 6525 6268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418847040 27969658880 26932 33554432000 4194304 4196468 140731479975472 140426437605648 140427021706965 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28614656 140731479982828 140731479983254 140731479983254 140731479986127 0
[pid=6528/tid=6538] ppid=6525 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6528/task/6538/stat : 6538 (java) S 6525 6525 6268 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418847041 27969658880 26932 33554432000 4194304 4196468 140731479975472 140425409080176 140427021707906 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28614656 140731479982828 140731479983254 140731479983254 140731479986127 0
[pid=6528/tid=6539] ppid=6525 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6528/task/6539/stat : 6539 (java) S 6525 6525 6268 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418847042 27969658880 26932 33554432000 4194304 4196468 140731479975472 140424895260192 140427021706965 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28614656 140731479982828 140731479983254 140731479983254 140731479986127 0
[pid=6528/tid=6540] ppid=6525 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6528/task/6540/stat : 6540 (java) S 6525 6525 6268 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418847042 27969658880 26932 33554432000 4194304 4196468 140731479975472 140424626824560 140427021706965 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28614656 140731479982828 140731479983254 140731479983254 140731479986127 0
[pid=6528/tid=6541] ppid=6525 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6528/task/6541/stat : 6541 (java) S 6525 6525 6268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418847044 27969658880 26932 33554432000 4194304 4196468 140731479975472 140424252315984 140427021715355 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28614656 140731479982828 140731479983254 140731479983254 140731479986127 0
[pid=6528/tid=6542] ppid=6525 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6528/task/6542/stat : 6542 (java) S 6525 6525 6268 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 20 0 418847044 27969658880 26932 33554432000 4194304 4196468 140731479975472 140425408026992 140427021707906 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28614656 140731479982828 140731479983254 140731479983254 140731479986127 0
[pid=6528/tid=6543] ppid=6525 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6528/task/6543/stat : 6543 (java) S 6525 6525 6268 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418847044 27969658880 26932 33554432000 4194304 4196468 140731479975472 140425406974192 140427021707906 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28614656 140731479982828 140731479983254 140731479983254 140731479986127 0
[pid=6528/tid=6544] ppid=6525 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6528/task/6544/stat : 6544 (java) S 6525 6525 6268 0 -1 1077944384 274 0 0 0 0 0 0 0 20 0 20 0 418847044 27969658880 26932 33554432000 4194304 4196468 140731479975472 140425405921392 140427021707906 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28614656 140731479982828 140731479983254 140731479983254 140731479986127 0
[pid=6528/tid=6545] ppid=6525 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6528/task/6545/stat : 6545 (java) S 6525 6525 6268 0 -1 1077944384 274 0 0 0 0 0 0 0 20 0 20 0 418847044 27969658880 26932 33554432000 4194304 4196468 140731479975472 140425404868592 140427021707906 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28614656 140731479982828 140731479983254 140731479983254 140731479986127 0
[pid=6528/tid=6546] ppid=6525 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6528/task/6546/stat : 6546 (java) S 6525 6525 6268 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418847045 27969658880 26932 33554432000 4194304 4196468 140731479975472 140423754411104 140427021706965 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28614656 140731479982828 140731479983254 140731479983254 140731479986127 0
[pid=6528/tid=6547] ppid=6525 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/6528/task/6547/stat : 6547 (java) S 6525 6525 6268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418847045 27969658880 26932 33554432000 4194304 4196468 140731479975472 140425403817008 140427021707906 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28614656 140731479982828 140731479983254 140731479983254 140731479986127 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 109120 KiB
[startup+0.210794 s]*
/proc/loadavg: 0.95 1.14 2.92 3/217 6547
/proc/meminfo: memFree=31519760/32770624 swapFree=67009652/67108860
[pid=6525] ppid=6522 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/6525/stat : 6525 (scop.sh) S 6522 6525 6268 0 -1 4202496 554 319 0 0 0 0 0 0 20 0 1 0 418847037 115843072 348 33554432000 4194304 5098028 140729207479136 140729207476392 140290354541180 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 32247808 140729207485221 140729207485548 140729207485548 140729207488461 0
/proc/6525/statm: 28282 348 296 221 0 87 0
[pid=6528] ppid=6525 vsize=27314120 memory=126688 CPUtime=0.24 cores=0-7
/proc/6528/stat : 6528 (java) S 6525 6525 6268 0 -1 1077944320 12044 0 0 0 21 3 0 0 20 0 20 0 418847037 27969658880 31672 33554432000 4194304 4196468 140731479975472 140731479958016 140427021696759 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28614656 140731479982828 140731479983254 140731479983254 140731479986127 0
/proc/6528/statm: 6828530 31672 2920 1 0 6790935 0
[pid=6528/tid=6529] ppid=6525 vsize=27314120 memory=8390339637985935414 CPUtime=0.2 cores=0-7
/proc/6528/task/6529/stat : 6529 (java) R 6525 6525 6268 0 -1 4202560 9725 0 0 0 17 3 0 0 20 0 20 0 418847037 27969658880 31672 33554432000 4194304 4196468 140731479975472 140426993516000 140427006862327 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28614656 140731479982828 140731479983254 140731479983254 140731479986127 0
[pid=6528/tid=6530] ppid=6525 vsize=27314120 memory=288230613314710904 CPUtime=0 cores=0-7
/proc/6528/task/6530/stat : 6530 (java) S 6525 6525 6268 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418847040 27969658880 31672 33554432000 4194304 4196468 140731479975472 140427025939600 140427021706965 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28614656 140731479982828 140731479983254 140731479983254 140731479986127 0
[pid=6528/tid=6531] ppid=6525 vsize=27314120 memory=3834736902980359840 CPUtime=0 cores=0-7
/proc/6528/task/6531/stat : 6531 (java) S 6525 6525 6268 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418847040 27969658880 31672 33554432000 4194304 4196468 140731479975472 140426844027920 140427021706965 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28614656 140731479982828 140731479983254 140731479983254 140731479986127 0
[pid=6528/tid=6532] ppid=6525 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/6528/task/6532/stat : 6532 (java) S 6525 6525 6268 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418847040 27969658880 31672 33554432000 4194304 4196468 140731479975472 140426842975120 140427021706965 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28614656 140731479982828 140731479983254 140731479983254 140731479986127 0
[pid=6528/tid=6533] ppid=6525 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6528/task/6533/stat : 6533 (java) S 6525 6525 6268 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418847040 27969658880 31672 33554432000 4194304 4196468 140731479975472 140426441816848 140427021706965 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28614656 140731479982828 140731479983254 140731479983254 140731479986127 0
[pid=6528/tid=6534] ppid=6525 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6528/task/6534/stat : 6534 (java) S 6525 6525 6268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418847040 27969658880 31672 33554432000 4194304 4196468 140731479975472 140426440764048 140427021706965 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28614656 140731479982828 140731479983254 140731479983254 140731479986127 0
[pid=6528/tid=6535] ppid=6525 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/6528/task/6535/stat : 6535 (java) S 6525 6525 6268 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418847040 27969658880 31672 33554432000 4194304 4196468 140731479975472 140426439711248 140427021706965 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28614656 140731479982828 140731479983254 140731479983254 140731479986127 0
[pid=6528/tid=6536] ppid=6525 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6528/task/6536/stat : 6536 (java) S 6525 6525 6268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418847040 27969658880 31672 33554432000 4194304 4196468 140731479975472 140426438658448 140427021706965 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28614656 140731479982828 140731479983254 140731479983254 140731479986127 0
[pid=6528/tid=6537] ppid=6525 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6528/task/6537/stat : 6537 (java) S 6525 6525 6268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418847040 27969658880 31672 33554432000 4194304 4196468 140731479975472 140426437605648 140427021706965 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28614656 140731479982828 140731479983254 140731479983254 140731479986127 0
[pid=6528/tid=6538] ppid=6525 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6528/task/6538/stat : 6538 (java) S 6525 6525 6268 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418847041 27969658880 31672 33554432000 4194304 4196468 140731479975472 140425409080176 140427021707906 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28614656 140731479982828 140731479983254 140731479983254 140731479986127 0
[pid=6528/tid=6539] ppid=6525 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6528/task/6539/stat : 6539 (java) S 6525 6525 6268 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418847042 27969658880 31672 33554432000 4194304 4196468 140731479975472 140424895260192 140427021706965 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28614656 140731479982828 140731479983254 140731479983254 140731479986127 0
[pid=6528/tid=6540] ppid=6525 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6528/task/6540/stat : 6540 (java) S 6525 6525 6268 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418847042 27969658880 31672 33554432000 4194304 4196468 140731479975472 140424626824560 140427021706965 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28614656 140731479982828 140731479983254 140731479983254 140731479986127 0
[pid=6528/tid=6541] ppid=6525 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6528/task/6541/stat : 6541 (java) S 6525 6525 6268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418847044 27969658880 31672 33554432000 4194304 4196468 140731479975472 140424252315984 140427021715355 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28614656 140731479982828 140731479983254 140731479983254 140731479986127 0
[pid=6528/tid=6542] ppid=6525 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6528/task/6542/stat : 6542 (java) S 6525 6525 6268 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 20 0 418847044 27969658880 31672 33554432000 4194304 4196468 140731479975472 140425408026992 140427021707906 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28614656 140731479982828 140731479983254 140731479983254 140731479986127 0
[pid=6528/tid=6543] ppid=6525 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6528/task/6543/stat : 6543 (java) S 6525 6525 6268 0 -1 1077944384 142 0 0 0 0 0 0 0 20 0 20 0 418847044 27969658880 31672 33554432000 4194304 4196468 140731479975472 140425406974192 140427021707906 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28614656 140731479982828 140731479983254 140731479983254 140731479986127 0
[pid=6528/tid=6544] ppid=6525 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6528/task/6544/stat : 6544 (java) S 6525 6525 6268 0 -1 1077944384 288 0 0 0 0 0 0 0 20 0 20 0 418847044 27969658880 31672 33554432000 4194304 4196468 140731479975472 140425405921392 140427021707906 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28614656 140731479982828 140731479983254 140731479983254 140731479986127 0
[pid=6528/tid=6545] ppid=6525 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7
/proc/6528/task/6545/stat : 6545 (java) S 6525 6525 6268 0 -1 1077944384 485 0 0 0 2 0 0 0 20 0 20 0 418847044 27969658880 31672 33554432000 4194304 4196468 140731479975472 140425404868592 140427021707906 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28614656 140731479982828 140731479983254 140731479983254 140731479986127 0
[pid=6528/tid=6546] ppid=6525 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6528/task/6546/stat : 6546 (java) S 6525 6525 6268 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418847045 27969658880 31672 33554432000 4194304 4196468 140731479975472 140423754411104 140427021706965 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28614656 140731479982828 140731479983254 140731479983254 140731479986127 0
[pid=6528/tid=6547] ppid=6525 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/6528/task/6547/stat : 6547 (java) S 6525 6525 6268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418847045 27969658880 31672 33554432000 4194304 4196468 140731479975472 140425403817008 140427021707906 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28614656 140731479982828 140731479983254 140731479983254 140731479986127 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 128080 KiB
[startup+0.310137 s]*
/proc/loadavg: 0.95 1.14 2.92 2/217 6547
/proc/meminfo: memFree=31517816/32770624 swapFree=67009652/67108860
[pid=6525] ppid=6522 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/6525/stat : 6525 (scop.sh) S 6522 6525 6268 0 -1 4202496 554 319 0 0 0 0 0 0 20 0 1 0 418847037 115843072 348 33554432000 4194304 5098028 140729207479136 140729207476392 140290354541180 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 32247808 140729207485221 140729207485548 140729207485548 140729207488461 0
/proc/6525/statm: 28282 348 296 221 0 87 0
[pid=6528] ppid=6525 vsize=27314120 memory=130024 CPUtime=0.43 cores=0-7
/proc/6528/stat : 6528 (java) S 6525 6525 6268 0 -1 1077944320 12400 0 0 0 39 4 0 0 20 0 20 0 418847037 27969658880 32506 33554432000 4194304 4196468 140731479975472 140731479958016 140427021696759 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28614656 140731479982828 140731479983254 140731479983254 140731479986127 0
/proc/6528/statm: 6828530 32506 3020 1 0 6790935 0
[pid=6528/tid=6529] ppid=6525 vsize=27314120 memory=1398722017469774279 CPUtime=0.29 cores=0-7
/proc/6528/task/6529/stat : 6529 (java) R 6525 6525 6268 0 -1 4202560 9912 0 0 0 26 3 0 0 20 0 20 0 418847037 27969658880 32506 33554432000 4194304 4196468 140731479975472 140426993521920 140427001972089 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28614656 140731479982828 140731479983254 140731479983254 140731479986127 0
[pid=6528/tid=6530] ppid=6525 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/6528/task/6530/stat : 6530 (java) S 6525 6525 6268 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418847040 27969658880 32506 33554432000 4194304 4196468 140731479975472 140427025939600 140427021706965 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28614656 140731479982828 140731479983254 140731479983254 140731479986127 0
[pid=6528/tid=6531] ppid=6525 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6528/task/6531/stat : 6531 (java) S 6525 6525 6268 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418847040 27969658880 32506 33554432000 4194304 4196468 140731479975472 140426844027920 140427021706965 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28614656 140731479982828 140731479983254 140731479983254 140731479986127 0
[pid=6528/tid=6532] ppid=6525 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6528/task/6532/stat : 6532 (java) S 6525 6525 6268 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418847040 27969658880 32506 33554432000 4194304 4196468 140731479975472 140426842975120 140427021706965 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28614656 140731479982828 140731479983254 140731479983254 140731479986127 0
[pid=6528/tid=6533] ppid=6525 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6528/task/6533/stat : 6533 (java) S 6525 6525 6268 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418847040 27969658880 32506 33554432000 4194304 4196468 140731479975472 140426441816848 140427021706965 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28614656 140731479982828 140731479983254 140731479983254 140731479986127 0
[pid=6528/tid=6534] ppid=6525 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6528/task/6534/stat : 6534 (java) S 6525 6525 6268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418847040 27969658880 32506 33554432000 4194304 4196468 140731479975472 140426440764048 140427021706965 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28614656 140731479982828 140731479983254 140731479983254 140731479986127 0
[pid=6528/tid=6535] ppid=6525 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6528/task/6535/stat : 6535 (java) S 6525 6525 6268 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418847040 27969658880 32506 33554432000 4194304 4196468 140731479975472 140426439711248 140427021706965 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28614656 140731479982828 140731479983254 140731479983254 140731479986127 0
[pid=6528/tid=6536] ppid=6525 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/6528/task/6536/stat : 6536 (java) S 6525 6525 6268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418847040 27969658880 32506 33554432000 4194304 4196468 140731479975472 140426438658448 140427021706965 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28614656 140731479982828 140731479983254 140731479983254 140731479986127 0
[pid=6528/tid=6537] ppid=6525 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/6528/task/6537/stat : 6537 (java) S 6525 6525 6268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418847040 27969658880 32506 33554432000 4194304 4196468 140731479975472 140426437605648 140427021706965 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28614656 140731479982828 140731479983254 140731479983254 140731479986127 0
[pid=6528/tid=6538] ppid=6525 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6528/task/6538/stat : 6538 (java) S 6525 6525 6268 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418847041 27969658880 32506 33554432000 4194304 4196468 140731479975472 140425409080176 140427021707906 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28614656 140731479982828 140731479983254 140731479983254 140731479986127 0
[pid=6528/tid=6539] ppid=6525 vsize=27314120 memory=140390200074703 CPUtime=0 cores=0-7
/proc/6528/task/6539/stat : 6539 (java) S 6525 6525 6268 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418847042 27969658880 32506 33554432000 4194304 4196468 140731479975472 140424895260192 140427021706965 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28614656 140731479982828 140731479983254 140731479983254 140731479986127 0
[pid=6528/tid=6540] ppid=6525 vsize=27314120 memory=280780400177040 CPUtime=0 cores=0-7
/proc/6528/task/6540/stat : 6540 (java) S 6525 6525 6268 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418847042 27969658880 32506 33554432000 4194304 4196468 140731479975472 140424626824560 140427021706965 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28614656 140731479982828 140731479983254 140731479983254 140731479986127 0
[pid=6528/tid=6541] ppid=6525 vsize=27314120 memory=280780400174736 CPUtime=0 cores=0-7
/proc/6528/task/6541/stat : 6541 (java) S 6525 6525 6268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418847044 27969658880 32506 33554432000 4194304 4196468 140731479975472 140424252315984 140427021715355 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28614656 140731479982828 140731479983254 140731479983254 140731479986127 0
[pid=6528/tid=6542] ppid=6525 vsize=27314120 memory=280780400181648 CPUtime=0.01 cores=0-7
/proc/6528/task/6542/stat : 6542 (java) S 6525 6525 6268 0 -1 1077944384 99 0 0 0 1 0 0 0 20 0 20 0 418847044 27969658880 32506 33554432000 4194304 4196468 140731479975472 140425408026992 140427021707906 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28614656 140731479982828 140731479983254 140731479983254 140731479986127 0
[pid=6528/tid=6543] ppid=6525 vsize=27314120 memory=280780400122928 CPUtime=0.01 cores=0-7
/proc/6528/task/6543/stat : 6543 (java) S 6525 6525 6268 0 -1 1077944384 175 0 0 0 1 0 0 0 20 0 20 0 418847044 27969658880 32506 33554432000 4194304 4196468 140731479975472 140425406974192 140427021707906 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28614656 140731479982828 140731479983254 140731479983254 140731479986127 0
[pid=6528/tid=6544] ppid=6525 vsize=27314120 memory=280780400195472 CPUtime=0.02 cores=0-7
/proc/6528/task/6544/stat : 6544 (java) R 6525 6525 6268 0 -1 4202560 367 0 0 0 2 0 0 0 20 0 20 0 418847044 27969658880 32506 33554432000 4194304 4196468 140731479975472 140425405921392 140427006820758 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28614656 140731479982828 140731479983254 140731479983254 140731479986127 0
[pid=6528/tid=6545] ppid=6525 vsize=27314120 memory=280780400202352 CPUtime=0.07 cores=0-7
/proc/6528/task/6545/stat : 6545 (java) S 6525 6525 6268 0 -1 1077944384 507 0 0 0 7 0 0 0 20 0 20 0 418847044 27969658880 32506 33554432000 4194304 4196468 140731479975472 140425404868592 140427021707906 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28614656 140731479982828 140731479983254 140731479983254 140731479986127 0
[pid=6528/tid=6546] ppid=6525 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6528/task/6546/stat : 6546 (java) S 6525 6525 6268 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418847045 27969658880 32506 33554432000 4194304 4196468 140731479975472 140423754411104 140427021706965 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28614656 140731479982828 140731479983254 140731479983254 140731479986127 0
[pid=6528/tid=6547] ppid=6525 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/6528/task/6547/stat : 6547 (java) S 6525 6525 6268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418847045 27969658880 32506 33554432000 4194304 4196468 140731479975472 140425403817008 140427021707906 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28614656 140731479982828 140731479983254 140731479983254 140731479986127 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 131416 KiB
[startup+0.700911 s]
/proc/loadavg: 0.95 1.14 2.92 2/217 6547
/proc/meminfo: memFree=31489816/32770624 swapFree=67009652/67108860
[pid=6525] ppid=6522 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/6525/stat : 6525 (scop.sh) S 6522 6525 6268 0 -1 4202496 554 319 0 0 0 0 0 0 20 0 1 0 418847037 115843072 348 33554432000 4194304 5098028 140729207479136 140729207476392 140290354541180 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 32247808 140729207485221 140729207485548 140729207485548 140729207488461 0
/proc/6525/statm: 28282 348 296 221 0 87 0
[pid=6528] ppid=6525 vsize=27322516 memory=167560 CPUtime=1 cores=0-7
/proc/6528/stat : 6528 (java) S 6525 6525 6268 0 -1 1077944320 20025 0 0 0 93 7 0 0 20 0 20 0 418847037 27978256384 41890 33554432000 4194304 4196468 140731479975472 140731479958016 140427021696759 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28614656 140731479982828 140731479983254 140731479983254 140731479986127 0
/proc/6528/statm: 6830629 41890 3202 1 0 6791959 0
[pid=6528/tid=6529] ppid=6525 vsize=27322516 memory=2244 CPUtime=0.68 cores=0-7
/proc/6528/task/6529/stat : 6529 (java) R 6525 6525 6268 0 -1 4202560 16992 0 0 0 62 6 0 0 20 0 20 0 418847037 27978256384 41890 33554432000 4194304 4196468 140731479975472 140426993528496 140427021718685 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28614656 140731479982828 140731479983254 140731479983254 140731479986127 0
[pid=6528/tid=6530] ppid=6525 vsize=27322516 memory=0 CPUtime=0 cores=0-7
/proc/6528/task/6530/stat : 6530 (java) S 6525 6525 6268 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418847040 27978256384 41890 33554432000 4194304 4196468 140731479975472 140427025939600 140427021706965 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28614656 140731479982828 140731479983254 140731479983254 140731479986127 0
[pid=6528/tid=6531] ppid=6525 vsize=27322516 memory=0 CPUtime=0 cores=0-7
/proc/6528/task/6531/stat : 6531 (java) S 6525 6525 6268 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418847040 27978256384 41890 33554432000 4194304 4196468 140731479975472 140426844027920 140427021706965 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28614656 140731479982828 140731479983254 140731479983254 140731479986127 0
[pid=6528/tid=6532] ppid=6525 vsize=27322516 memory=14008 CPUtime=0 cores=0-7
/proc/6528/task/6532/stat : 6532 (java) S 6525 6525 6268 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418847040 27978256384 41890 33554432000 4194304 4196468 140731479975472 140426842975120 140427021706965 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28614656 140731479982828 140731479983254 140731479983254 140731479986127 0
################
# More data... #
################
Current children cumulated memory: 692464 KiB
[startup+41.6019 s]
/proc/loadavg: 4.15 1.91 3.10 9/230 6583
/proc/meminfo: memFree=30935516/32770624 swapFree=67009652/67108860
[pid=6525] ppid=6522 vsize=113128 memory=1472 CPUtime=6.09 cores=0-7
/proc/6525/stat : 6525 (scop.sh) S 6522 6525 6268 0 -1 4202496 581 26886 0 0 0 0 578 31 20 0 1 0 418847037 115843072 368 33554432000 4194304 5098028 140729207479136 140729207475880 140290354541180 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 32247808 140729207485221 140729207485548 140729207485548 140729207488461 0
/proc/6525/statm: 28282 368 311 221 0 87 0
[pid=6548] ppid=6525 vsize=8414124 memory=119812 CPUtime=1.16 cores=0-7
/proc/6548/stat : 6548 (java) S 6525 6525 6268 0 -1 1077944320 19850 0 0 0 109 7 0 0 20 0 24 0 418847347 8616062976 29953 33554432000 4194304 4196468 140724490585136 140724490567680 140225732198135 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19443712 140724490589176 140724490589334 140724490589334 140724490592207 0
/proc/6548/statm: 2103531 29953 3198 1 0 2064875 0
[pid=6568] ppid=6548 vsize=905484 memory=611700 CPUtime=296.87 cores=0-7
/proc/6568/stat : 6568 (manyglucose-4.1) S 6548 6525 6268 0 -1 1077944320 231268 0 0 0 29625 62 0 0 20 0 9 0 418847418 927215616 152925 33554432000 4194304 4454172 140730527271632 140730527270032 140578632501890 0 4 0 8388610 18446744073709551615 0 0 17 0 0 0 0 0 0 6552832 6554400 17596416 140730527273834 140730527274032 140730527274032 140730527276986 0
/proc/6568/statm: 226371 152925 410 64 0 222039 0
[pid=6568/tid=6574] ppid=6548 vsize=905484 memory=1472 CPUtime=37.13 cores=0-7
/proc/6568/task/6574/stat : 6574 (manyglucose-4.1) R 6548 6525 6268 0 -1 4202560 26217 0 0 0 3707 6 0 0 20 0 9 0 418847479 927215616 152925 33554432000 4194304 4454172 140730527271632 140578612030312 4351209 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6552832 6554400 17596416 140730527273834 140730527274032 140730527274032 140730527276986 0
[pid=6568/tid=6575] ppid=6548 vsize=905484 memory=119812 CPUtime=37.13 cores=0-7
/proc/6568/task/6575/stat : 6575 (manyglucose-4.1) R 6548 6525 6268 0 -1 4202560 28234 0 0 0 3708 5 0 0 20 0 9 0 418847479 927215616 152925 33554432000 4194304 4454172 140730527271632 140578603637640 4349976 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6552832 6554400 17596416 140730527273834 140730527274032 140730527274032 140730527276986 0
[pid=6568/tid=6576] ppid=6548 vsize=905484 memory=565040 CPUtime=37.14 cores=0-7
/proc/6568/task/6576/stat : 6576 (manyglucose-4.1) R 6548 6525 6268 0 -1 4202560 24183 0 0 0 3706 8 0 0 20 0 9 0 418847479 927215616 152925 33554432000 4194304 4454172 140730527271632 140578578205800 4349922 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6552832 6554400 17596416 140730527273834 140730527274032 140730527274032 140730527276986 0
[pid=6568/tid=6577] ppid=6548 vsize=905484 memory=1792 CPUtime=37.04 cores=0-7
/proc/6568/task/6577/stat : 6577 (manyglucose-4.1) R 6548 6525 6268 0 -1 4202560 22007 0 0 0 3695 9 0 0 20 0 9 0 418847479 927215616 152925 33554432000 4194304 4454172 140730527271632 140578569813080 4349826 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6552832 6554400 17596416 140730527273834 140730527274032 140730527274032 140730527276986 0
[pid=6568/tid=6578] ppid=6548 vsize=905484 memory=2200 CPUtime=37.15 cores=0-7
/proc/6568/task/6578/stat : 6578 (manyglucose-4.1) R 6548 6525 6268 0 -1 4202560 26408 0 0 0 3710 5 0 0 20 0 9 0 418847479 927215616 152925 33554432000 4194304 4454172 140730527271632 140578561420392 4351186 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6552832 6554400 17596416 140730527273834 140730527274032 140730527274032 140730527276986 0
[pid=6568/tid=6579] ppid=6548 vsize=905484 memory=0 CPUtime=37.15 cores=0-7
/proc/6568/task/6579/stat : 6579 (manyglucose-4.1) R 6548 6525 6268 0 -1 4202560 25382 0 0 0 3710 5 0 0 20 0 9 0 418847479 927215616 152925 33554432000 4194304 4454172 140730527271632 140578553027432 4351209 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6552832 6554400 17596416 140730527273834 140730527274032 140730527274032 140730527276986 0
[pid=6568/tid=6580] ppid=6548 vsize=905484 memory=0 CPUtime=37.12 cores=0-7
/proc/6568/task/6580/stat : 6580 (manyglucose-4.1) R 6548 6525 6268 0 -1 4202560 22892 0 0 0 3704 8 0 0 20 0 9 0 418847479 927215616 152925 33554432000 4194304 4454172 140730527271632 140578544634760 4351584 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6552832 6554400 17596416 140730527273834 140730527274032 140730527274032 140730527276986 0
[pid=6568/tid=6581] ppid=6548 vsize=905484 memory=0 CPUtime=36.35 cores=0-7
/proc/6568/task/6581/stat : 6581 (manyglucose-4.1) R 6548 6525 6268 0 -1 4202560 23730 0 0 0 3627 8 0 0 20 0 9 0 418847479 927215616 152925 33554432000 4194304 4454172 140730527271632 140578536242280 4351286 0 4 0 8388610 0 0 0 -1 7 0 0 0 0 0 6552832 6554400 17596416 140730527273834 140730527274032 140730527274032 140730527276986 0
[pid=6548/tid=6549] ppid=6525 vsize=8414124 memory=0 CPUtime=0.74 cores=0-7
/proc/6548/task/6549/stat : 6549 (java) S 6525 6525 6268 0 -1 1077944384 16761 0 0 0 69 5 0 0 20 0 24 0 418847347 8616062976 29953 33554432000 4194304 4196468 140724490585136 140225704038304 140225732208341 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19443712 140724490589176 140724490589334 140724490589334 140724490592207 0
[pid=6548/tid=6550] ppid=6525 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/6548/task/6550/stat : 6550 (java) S 6525 6525 6268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418847348 8616062976 29953 33554432000 4194304 4196468 140724490585136 140225736440464 140225732208341 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19443712 140724490589176 140724490589334 140724490589334 140724490592207 0
[pid=6548/tid=6551] ppid=6525 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/6548/task/6551/stat : 6551 (java) S 6525 6525 6268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418847348 8616062976 29953 33554432000 4194304 4196468 140724490585136 140225536608784 140225732208341 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19443712 140724490589176 140724490589334 140724490589334 140724490592207 0
[pid=6548/tid=6552] ppid=6525 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/6548/task/6552/stat : 6552 (java) S 6525 6525 6268 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418847348 8616062976 29953 33554432000 4194304 4196468 140724490585136 140225535555984 140225732208341 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19443712 140724490589176 140724490589334 140724490589334 140724490592207 0
[pid=6548/tid=6553] ppid=6525 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/6548/task/6553/stat : 6553 (java) S 6525 6525 6268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418847348 8616062976 29953 33554432000 4194304 4196468 140724490585136 140225534503184 140225732208341 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19443712 140724490589176 140724490589334 140724490589334 140724490592207 0
[pid=6548/tid=6554] ppid=6525 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/6548/task/6554/stat : 6554 (java) S 6525 6525 6268 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418847348 8616062976 29953 33554432000 4194304 4196468 140724490585136 140225533451408 140225732208341 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19443712 140724490589176 140724490589334 140724490589334 140724490592207 0
[pid=6548/tid=6555] ppid=6525 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/6548/task/6555/stat : 6555 (java) S 6525 6525 6268 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418847348 8616062976 29953 33554432000 4194304 4196468 140724490585136 140225532398608 140225732208341 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19443712 140724490589176 140724490589334 140724490589334 140724490592207 0
[pid=6548/tid=6556] ppid=6525 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/6548/task/6556/stat : 6556 (java) S 6525 6525 6268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418847348 8616062976 29953 33554432000 4194304 4196468 140724490585136 140225531345808 140225732208341 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19443712 140724490589176 140724490589334 140724490589334 140724490592207 0
[pid=6548/tid=6557] ppid=6525 vsize=8414124 memory=4420 CPUtime=0 cores=0-7
/proc/6548/task/6557/stat : 6557 (java) S 6525 6525 6268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418847348 8616062976 29953 33554432000 4194304 4196468 140724490585136 140225530293008 140225732208341 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19443712 140724490589176 140724490589334 140724490589334 140724490592207 0
[pid=6548/tid=6558] ppid=6525 vsize=8414124 memory=6628 CPUtime=0 cores=0-7
/proc/6548/task/6558/stat : 6558 (java) S 6525 6525 6268 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 418847350 8616062976 29953 33554432000 4194304 4196468 140724490585136 140224825571696 140225732209282 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19443712 140724490589176 140724490589334 140724490589334 140724490592207 0
[pid=6548/tid=6559] ppid=6525 vsize=8414124 memory=8836 CPUtime=0 cores=0-7
/proc/6548/task/6559/stat : 6559 (java) S 6525 6525 6268 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 418847350 8616062976 29953 33554432000 4194304 4196468 140724490585136 140224306865184 140225732208341 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19443712 140724490589176 140724490589334 140724490589334 140724490592207 0
[pid=6548/tid=6560] ppid=6525 vsize=8414124 memory=11044 CPUtime=0 cores=0-7
/proc/6548/task/6560/stat : 6560 (java) S 6525 6525 6268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418847350 8616062976 29953 33554432000 4194304 4196468 140724490585136 140224038429552 140225732208341 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19443712 140724490589176 140724490589334 140724490589334 140724490592207 0
[pid=6548/tid=6561] ppid=6525 vsize=8414124 memory=13252 CPUtime=0 cores=0-7
/proc/6548/task/6561/stat : 6561 (java) S 6525 6525 6268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418847353 8616062976 29953 33554432000 4194304 4196468 140724490585136 140223663920976 140225732216731 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19443712 140724490589176 140724490589334 140724490589334 140724490592207 0
[pid=6548/tid=6562] ppid=6525 vsize=8414124 memory=15460 CPUtime=0.06 cores=0-7
/proc/6548/task/6562/stat : 6562 (java) S 6525 6525 6268 0 -1 1077944384 553 0 0 0 6 0 0 0 20 0 24 0 418847353 8616062976 29953 33554432000 4194304 4196468 140724490585136 140224824519536 140225732209282 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19443712 140724490589176 140724490589334 140724490589334 140724490592207 0
[pid=6548/tid=6563] ppid=6525 vsize=8414124 memory=17668 CPUtime=0.04 cores=0-7
/proc/6548/task/6563/stat : 6563 (java) S 6525 6525 6268 0 -1 1077944384 194 0 0 0 4 0 0 0 20 0 24 0 418847353 8616062976 29953 33554432000 4194304 4196468 140724490585136 140224823466736 140225732209282 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19443712 140724490589176 140724490589334 140724490589334 140724490592207 0
[pid=6548/tid=6564] ppid=6525 vsize=8414124 memory=19876 CPUtime=0.06 cores=0-7
/proc/6548/task/6564/stat : 6564 (java) S 6525 6525 6268 0 -1 1077944384 409 0 0 0 6 0 0 0 20 0 24 0 418847353 8616062976 29953 33554432000 4194304 4196468 140724490585136 140224822413936 140225732209282 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19443712 140724490589176 140724490589334 140724490589334 140724490592207 0
[pid=6548/tid=6565] ppid=6525 vsize=8414124 memory=22084 CPUtime=0.19 cores=0-7
/proc/6548/task/6565/stat : 6565 (java) S 6525 6525 6268 0 -1 1077944384 526 0 0 0 19 0 0 0 20 0 24 0 418847353 8616062976 29953 33554432000 4194304 4196468 140724490585136 140224821361136 140225732209282 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19443712 140724490589176 140724490589334 140724490589334 140724490592207 0
[pid=6548/tid=6566] ppid=6525 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/6548/task/6566/stat : 6566 (java) S 6525 6525 6268 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418847353 8616062976 29953 33554432000 4194304 4196468 140724490585136 140223166016096 140225732208341 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19443712 140724490589176 140724490589334 140724490589334 140724490592207 0
[pid=6548/tid=6567] ppid=6525 vsize=8414124 memory=13709683148026568 CPUtime=0.02 cores=0-7
/proc/6548/task/6567/stat : 6567 (java) S 6525 6525 6268 0 -1 1077944384 5 0 0 0 0 2 0 0 20 0 24 0 418847353 8616062976 29953 33554432000 4194304 4196468 140724490585136 140224820308528 140225732209282 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19443712 140724490589176 140724490589334 140724490589334 140724490592207 0
[pid=6548/tid=6569] ppid=6525 vsize=8414124 memory=140390200079056 CPUtime=0 cores=0-7
/proc/6548/task/6569/stat : 6569 (java) S 6525 6525 6268 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 418847418 8616062976 29953 33554432000 4194304 4196468 140724490585136 140224812274752 140225732222745 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 19443712 140724490589176 140724490589334 140724490589334 140724490592207 0
[pid=6548/tid=6571] ppid=6525 vsize=8414124 memory=140390200079088 CPUtime=0 cores=0-7
/proc/6548/task/6571/stat : 6571 (java) S 6525 6525 6268 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 418847418 8616062976 29953 33554432000 4194304 4196468 140724490585136 140222494916752 140225732220061 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 19443712 140724490589176 140724490589334 140724490589334 140724490592207 0
[pid=6548/tid=6572] ppid=6525 vsize=8414124 memory=140390200079120 CPUtime=0 cores=0-7
/proc/6548/task/6572/stat : 6572 (java) S 6525 6525 6268 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 418847419 8616062976 29953 33554432000 4194304 4196468 140724490585136 140222763352080 140225732220061 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 19443712 140724490589176 140724490589334 140724490589334 140724490592207 0
[pid=6548/tid=6573] ppid=6525 vsize=8414124 memory=140390200079152 CPUtime=0 cores=0-7
/proc/6548/task/6573/stat : 6573 (java) S 6525 6525 6268 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 418847421 8616062976 29953 33554432000 4194304 4196468 140724490585136 140222226488880 140225732208341 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19443712 140724490589176 140724490589334 140724490589334 140724490592207 0
Current children cumulated CPU time: 304.12 s
Current children cumulated vsize: 9432736 KiB
Current children cumulated memory: 732984 KiB
[startup+42.4019 s]
/proc/loadavg: 4.15 1.91 3.10 10/230 6583
/proc/meminfo: memFree=30915224/32770624 swapFree=67009652/67108860
[pid=6525] ppid=6522 vsize=113128 memory=1472 CPUtime=6.09 cores=0-7
/proc/6525/stat : 6525 (scop.sh) S 6522 6525 6268 0 -1 4202496 581 26886 0 0 0 0 578 31 20 0 1 0 418847037 115843072 368 33554432000 4194304 5098028 140729207479136 140729207475880 140290354541180 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 32247808 140729207485221 140729207485548 140729207485548 140729207488461 0
/proc/6525/statm: 28282 368 311 221 0 87 0
[pid=6548] ppid=6525 vsize=8414124 memory=119812 CPUtime=1.16 cores=0-7
/proc/6548/stat : 6548 (java) S 6525 6525 6268 0 -1 1077944320 19850 0 0 0 109 7 0 0 20 0 24 0 418847347 8616062976 29953 33554432000 4194304 4196468 140724490585136 140724490567680 140225732198135 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19443712 140724490589176 140724490589334 140724490589334 140724490592207 0
/proc/6548/statm: 2103531 29953 3198 1 0 2064875 0
[pid=6568] ppid=6548 vsize=905484 memory=611924 CPUtime=303.12 cores=0-7
/proc/6568/stat : 6568 (manyglucose-4.1) S 6548 6525 6268 0 -1 1077944320 231800 0 0 0 30250 62 0 0 20 0 5 0 418847418 927215616 152981 33554432000 4194304 4454172 140730527271632 140730527270016 140578632490743 0 4 0 8388610 18446744073709551615 0 0 17 4 0 0 0 0 0 6552832 6554400 17596416 140730527273834 140730527274032 140730527274032 140730527276986 0
/proc/6568/statm: 226371 152981 423 64 0 222039 0
[pid=6568/tid=6574] ppid=6548 vsize=905484 memory=0 CPUtime=37.92 cores=0-7
/proc/6568/task/6574/stat : 6574 (manyglucose-4.1) R 6548 6525 6268 0 -1 4202560 26218 0 0 0 3786 6 0 0 20 0 5 0 418847479 927215616 152981 33554432000 4194304 4454172 140730527271632 140578612030312 4350297 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6552832 6554400 17596416 140730527273834 140730527274032 140730527274032 140730527276986 0
[pid=6568/tid=6576] ppid=6548 vsize=905484 memory=140390200559293 CPUtime=37.94 cores=0-7
/proc/6568/task/6576/stat : 6576 (manyglucose-4.1) R 6548 6525 6268 0 -1 4202560 24184 0 0 0 3786 8 0 0 20 0 5 0 418847479 927215616 152981 33554432000 4194304 4454172 140730527271632 140578578205800 4351209 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6552832 6554400 17596416 140730527273834 140730527274032 140730527274032 140730527276986 0
[pid=6568/tid=6580] ppid=6548 vsize=905484 memory=6208 CPUtime=37.92 cores=0-7
/proc/6568/task/6580/stat : 6580 (manyglucose-4.1) R 6548 6525 6268 0 -1 4202560 22894 0 0 0 3784 8 0 0 20 0 5 0 418847479 927215616 152981 33554432000 4194304 4454172 140730527271632 140578544634760 4349826 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6552832 6554400 17596416 140730527273834 140730527274032 140730527274032 140730527276986 0
[pid=6568/tid=6581] ppid=6548 vsize=905484 memory=13948 CPUtime=37.13 cores=0-7
/proc/6568/task/6581/stat : 6581 (manyglucose-4.1) R 6548 6525 6268 0 -1 4202560 23730 0 0 0 3705 8 0 0 20 0 5 0 418847479 927215616 152981 33554432000 4194304 4454172 140730527271632 140578536242280 4349826 0 4 0 8388610 0 0 0 -1 7 0 0 0 0 0 6552832 6554400 17596416 140730527273834 140730527274032 140730527274032 140730527276986 0
[pid=6548/tid=6549] ppid=6525 vsize=8414124 memory=2120 CPUtime=0.74 cores=0-7
/proc/6548/task/6549/stat : 6549 (java) S 6525 6525 6268 0 -1 1077944384 16761 0 0 0 69 5 0 0 20 0 24 0 418847347 8616062976 29953 33554432000 4194304 4196468 140724490585136 140225704038304 140225732208341 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19443712 140724490589176 140724490589334 140724490589334 140724490592207 0
[pid=6548/tid=6550] ppid=6525 vsize=8414124 memory=2241 CPUtime=0 cores=0-7
/proc/6548/task/6550/stat : 6550 (java) S 6525 6525 6268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418847348 8616062976 29953 33554432000 4194304 4196468 140724490585136 140225736440464 140225732208341 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19443712 140724490589176 140724490589334 140724490589334 140724490592207 0
[pid=6548/tid=6551] ppid=6525 vsize=8414124 memory=2244 CPUtime=0 cores=0-7
/proc/6548/task/6551/stat : 6551 (java) S 6525 6525 6268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418847348 8616062976 29953 33554432000 4194304 4196468 140724490585136 140225536608784 140225732208341 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19443712 140724490589176 140724490589334 140724490589334 140724490592207 0
[pid=6548/tid=6552] ppid=6525 vsize=8414124 memory=7014751519717675623 CPUtime=0 cores=0-7
/proc/6548/task/6552/stat : 6552 (java) S 6525 6525 6268 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418847348 8616062976 29953 33554432000 4194304 4196468 140724490585136 140225535555984 140225732208341 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19443712 140724490589176 140724490589334 140724490589334 140724490592207 0
[pid=6548/tid=6553] ppid=6525 vsize=8414124 memory=6944656591801717918 CPUtime=0 cores=0-7
/proc/6548/task/6553/stat : 6553 (java) S 6525 6525 6268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418847348 8616062976 29953 33554432000 4194304 4196468 140724490585136 140225534503184 140225732208341 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19443712 140724490589176 140724490589334 140724490589334 140724490592207 0
[pid=6548/tid=6554] ppid=6525 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/6548/task/6554/stat : 6554 (java) S 6525 6525 6268 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418847348 8616062976 29953 33554432000 4194304 4196468 140724490585136 140225533451408 140225732208341 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19443712 140724490589176 140724490589334 140724490589334 140724490592207 0
[pid=6548/tid=6555] ppid=6525 vsize=8414124 memory=6944652177228980320 CPUtime=0 cores=0-7
/proc/6548/task/6555/stat : 6555 (java) S 6525 6525 6268 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418847348 8616062976 29953 33554432000 4194304 4196468 140724490585136 140225532398608 140225732208341 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19443712 140724490589176 140724490589334 140724490589334 140724490592207 0
[pid=6548/tid=6556] ppid=6525 vsize=8414124 memory=7740775261659809312 CPUtime=0 cores=0-7
/proc/6548/task/6556/stat : 6556 (java) S 6525 6525 6268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418847348 8616062976 29953 33554432000 4194304 4196468 140724490585136 140225531345808 140225732208341 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19443712 140724490589176 140724490589334 140724490589334 140724490592207 0
[pid=6548/tid=6557] ppid=6525 vsize=8414124 memory=-4075877051373423736 CPUtime=0 cores=0-7
/proc/6548/task/6557/stat : 6557 (java) S 6525 6525 6268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418847348 8616062976 29953 33554432000 4194304 4196468 140724490585136 140225530293008 140225732208341 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19443712 140724490589176 140724490589334 140724490589334 140724490592207 0
[pid=6548/tid=6558] ppid=6525 vsize=8414124 memory=567088 CPUtime=0 cores=0-7
/proc/6548/task/6558/stat : 6558 (java) S 6525 6525 6268 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 418847350 8616062976 29953 33554432000 4194304 4196468 140724490585136 140224825571696 140225732209282 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19443712 140724490589176 140724490589334 140724490589334 140724490592207 0
[pid=6548/tid=6559] ppid=6525 vsize=8414124 memory=3484 CPUtime=0 cores=0-7
/proc/6548/task/6559/stat : 6559 (java) S 6525 6525 6268 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 418847350 8616062976 29953 33554432000 4194304 4196468 140724490585136 140224306865184 140225732208341 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19443712 140724490589176 140724490589334 140724490589334 140724490592207 0
[pid=6548/tid=6560] ppid=6525 vsize=8414124 memory=1472 CPUtime=0 cores=0-7
/proc/6548/task/6560/stat : 6560 (java) S 6525 6525 6268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418847350 8616062976 29953 33554432000 4194304 4196468 140724490585136 140224038429552 140225732208341 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19443712 140724490589176 140724490589334 140724490589334 140724490592207 0
[pid=6548/tid=6561] ppid=6525 vsize=8414124 memory=-4075877051373423736 CPUtime=0 cores=0-7
/proc/6548/task/6561/stat : 6561 (java) S 6525 6525 6268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418847353 8616062976 29953 33554432000 4194304 4196468 140724490585136 140223663920976 140225732216731 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19443712 140724490589176 140724490589334 140724490589334 140724490592207 0
[pid=6548/tid=6562] ppid=6525 vsize=8414124 memory=119812 CPUtime=0.06 cores=0-7
/proc/6548/task/6562/stat : 6562 (java) S 6525 6525 6268 0 -1 1077944384 553 0 0 0 6 0 0 0 20 0 24 0 418847353 8616062976 29953 33554432000 4194304 4196468 140724490585136 140224824519536 140225732209282 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19443712 140724490589176 140724490589334 140724490589334 140724490592207 0
[pid=6548/tid=6563] ppid=6525 vsize=8414124 memory=447960 CPUtime=0.04 cores=0-7
/proc/6548/task/6563/stat : 6563 (java) S 6525 6525 6268 0 -1 1077944384 194 0 0 0 4 0 0 0 20 0 24 0 418847353 8616062976 29953 33554432000 4194304 4196468 140724490585136 140224823466736 140225732209282 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19443712 140724490589176 140724490589334 140724490589334 140724490592207 0
[pid=6548/tid=6564] ppid=6525 vsize=8414124 memory=2120 CPUtime=0.06 cores=0-7
/proc/6548/task/6564/stat : 6564 (java) S 6525 6525 6268 0 -1 1077944384 409 0 0 0 6 0 0 0 20 0 24 0 418847353 8616062976 29953 33554432000 4194304 4196468 140724490585136 140224822413936 140225732209282 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19443712 140724490589176 140724490589334 140724490589334 140724490592207 0
[pid=6548/tid=6565] ppid=6525 vsize=8414124 memory=7686721470367963801 CPUtime=0.19 cores=0-7
/proc/6548/task/6565/stat : 6565 (java) S 6525 6525 6268 0 -1 1077944384 526 0 0 0 19 0 0 0 20 0 24 0 418847353 8616062976 29953 33554432000 4194304 4196468 140724490585136 140224821361136 140225732209282 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19443712 140724490589176 140724490589334 140724490589334 140724490592207 0
[pid=6548/tid=6566] ppid=6525 vsize=8414124 memory=1560 CPUtime=0 cores=0-7
/proc/6548/task/6566/stat : 6566 (java) S 6525 6525 6268 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418847353 8616062976 29953 33554432000 4194304 4196468 140724490585136 140223166016096 140225732208341 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19443712 140724490589176 140724490589334 140724490589334 140724490592207 0
[pid=6548/tid=6567] ppid=6525 vsize=8414124 memory=928 CPUtime=0.02 cores=0-7
/proc/6548/task/6567/stat : 6567 (java) S 6525 6525 6268 0 -1 1077944384 5 0 0 0 0 2 0 0 20 0 24 0 418847353 8616062976 29953 33554432000 4194304 4196468 140724490585136 140224820308528 140225732209282 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19443712 140724490589176 140724490589334 140724490589334 140724490592207 0
[pid=6548/tid=6569] ppid=6525 vsize=8414124 memory=1616 CPUtime=0 cores=0-7
/proc/6548/task/6569/stat : 6569 (java) S 6525 6525 6268 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 418847418 8616062976 29953 33554432000 4194304 4196468 140724490585136 140224812274752 140225732222745 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 19443712 140724490589176 140724490589334 140724490589334 140724490592207 0
[pid=6548/tid=6571] ppid=6525 vsize=8414124 memory=592004 CPUtime=0 cores=0-7
/proc/6548/task/6571/stat : 6571 (java) S 6525 6525 6268 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 418847418 8616062976 29953 33554432000 4194304 4196468 140724490585136 140222494916752 140225732220061 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 19443712 140724490589176 140724490589334 140724490589334 140724490592207 0
[pid=6548/tid=6572] ppid=6525 vsize=8414124 memory=1472 CPUtime=0 cores=0-7
/proc/6548/task/6572/stat : 6572 (java) S 6525 6525 6268 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 418847419 8616062976 29953 33554432000 4194304 4196468 140724490585136 140222763352080 140225732220061 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 19443712 140724490589176 140724490589334 140724490589334 140724490592207 0
[pid=6548/tid=6573] ppid=6525 vsize=8414124 memory=1472 CPUtime=0 cores=0-7
/proc/6548/task/6573/stat : 6573 (java) S 6525 6525 6268 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 418847421 8616062976 29953 33554432000 4194304 4196468 140724490585136 140222226488880 140225732208341 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19443712 140724490589176 140724490589334 140724490589334 140724490592207 0
Current children cumulated CPU time: 310.37 s
Current children cumulated vsize: 9432736 KiB
Current children cumulated memory: 733208 KiB
[startup+42.6011 s]
/proc/loadavg: 4.15 1.91 3.10 10/230 6583
/proc/meminfo: memFree=30915224/32770624 swapFree=67009652/67108860
[pid=6525] ppid=6522 vsize=113128 memory=1472 CPUtime=6.09 cores=0-7
/proc/6525/stat : 6525 (scop.sh) S 6522 6525 6268 0 -1 4202496 581 26886 0 0 0 0 578 31 20 0 1 0 418847037 115843072 368 33554432000 4194304 5098028 140729207479136 140729207475880 140290354541180 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 32247808 140729207485221 140729207485548 140729207485548 140729207488461 0
/proc/6525/statm: 28282 368 311 221 0 87 0
Current children cumulated CPU time: 6.09 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1472 KiB
Child status: 0
Real time (s): 42.605
CPU time (s): 310.942
CPU user time (s): 309.885
CPU system time (s): 1.05766
CPU usage (%): 729.825
Max. virtual memory (cumulated for all children) (KiB): 27441856
Max. memory (cumulated for all children) (KiB): 1398964
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 309.885
system time used= 1.05766
maximum resident set size= 1403936
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 280890
page faults= 0
swaps= 0
block input operations= 0
block output operations= 13640
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 17725
involuntary context switches= 3692
# summary of solver processes directly reported to runsolver:
# pid: 6525
# total CPU time (s): 310.942
# total CPU user time (s): 309.885
# total CPU system time (s): 1.05766
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.427113 second user time and 0.628805 second system time
The end
Begin job on node132 at 2019-09-14 04:46:34 IDJOB=4392303 IDBENCH=127773 IDSOLVER=2838 FILE ID=node132/4392303-1568429243 RUNJOBID= node132-1568428013-6295 PBS_JOBID= 21702303 Free space on /tmp= 61624 MiB SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-06-15) BENCH NAME= XCSP17/RectPacking/RectPacking-m1-perf/RectPacking-perfect-126.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-4392303-1568429243/watcher-4392303-1568429243 -o /tmp/evaluation-result-4392303-1568429243/solver-4392303-1568429243 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node132-1568428013-6295 --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-4392303-1568429243.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= e5b164a238094fc306b5fb8652aa9c45 RANDOM SEED=1932807676 node132.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.95 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.95 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.95 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.95 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: 31636520 kB MemAvailable: 31916100 kB Buffers: 65688 kB Cached: 492496 kB SwapCached: 6296 kB Active: 403920 kB Inactive: 162252 kB Active(anon): 4196 kB Inactive(anon): 31572 kB Active(file): 399724 kB Inactive(file): 130680 kB Unevictable: 109404 kB Mlocked: 109404 kB SwapTotal: 67108860 kB SwapFree: 67009652 kB Dirty: 20560 kB Writeback: 0 kB AnonPages: 292388 kB Mapped: 32352 kB Shmem: 19500 kB Slab: 158884 kB SReclaimable: 130020 kB SUnreclaim: 28864 kB KernelStack: 4064 kB PageTables: 5144 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 475640 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 247808 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 136576 kB DirectMap2M: 33409024 kB Free space on /tmp at the end= 61604 MiB End job on node132 at 2019-09-14 04:47:16