Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
Fun-sCOP hybrid+ManyGlucose (2019-09-22) | SAT | 216.322 | 158.033 |
Name | Subisomorphism/Subisomorphism-m1-SF/ Subisomorphism-A-20.xml |
MD5SUM | c3d3968bb4d1a566be21f2b70665db2a |
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 | 0.041556 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 180 |
Number of constraints | 563 |
Number of domains | 1 |
Minimum domain size | 200 |
Maximum domain size | 200 |
Distribution of domain sizes | [{"size":200,"count":180}] |
Minimum variable degree | 3 |
Maximum variable degree | 10 |
Distribution of variable degrees | [{"degree":3,"count":1},{"degree":4,"count":11},{"degree":5,"count":27},{"degree":6,"count":64},{"degree":8,"count":42},{"degree":9,"count":25},{"degree":10,"count":10}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 180 |
Distribution of constraint arities | [{"arity":1,"count":77},{"arity":2,"count":485},{"arity":180,"count":1}] |
Number of extensional constraints | 562 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":562},{"type":"allDifferent","count":1}] |
Optimization problem | NO |
Type of objective |
0.00/0.00 c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -hybrid -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-5818-serial-file.bin HOME/instance-4405432-1569338767.xml 0.66/0.54 0.66/0.54 Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15) 0.66/0.54 0.66/0.57 c BEGIN-Prog: Tue Sep 24 16:15:44 CEST 2019 0.66/0.57 c PID: 5821 0.66/0.57 c IP: 172.20.3.104 0.66/0.57 c HOST: node104.alineos.net 0.66/0.58 c (0,0) Parsing Begin 1.69/1.07 c (0,0) Parsing End 1.69/1.07 c (0,0) CSP: 180 int (0 aux), 0 bool (0 aux), 563 ctr, max domain size 200 1.69/1.07 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB) 1.69/1.07 c (0,0) Constraint Name Generate Begin 1.69/1.09 c (0,0) Ctr:HOME/instance-4405432-1569338767.xml,AllDifferent:ExtensionConflict:ExtensionSupport:Var 1.69/1.09 c (0,0) Constraint Name Generate End 1.69/1.09 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB) 1.69/1.09 c (0,0) CSP to CSPinCNF Begin 17.78/10.17 c (9,9) translated 57 (10%) constraints 27.83/18.35 c (17,17) translated 113 (20%) constraints 35.35/25.84 c (25,25) translated 169 (30%) constraints 42.89/33.38 c (32,32) translated 226 (40%) constraints 53.79/41.26 c (40,40) translated 282 (50%) constraints 61.29/48.67 c (48,47) translated 338 (60%) constraints 72.59/56.70 c (56,54) translated 395 (70%) constraints 80.02/64.12 c (63,62) translated 451 (80%) constraints 88.98/69.45 c (68,67) translated 507 (90%) constraints 88.98/69.47 c (68,67) translated 563 (100%) constraints 88.98/69.47 c (68,67) =========================================== 89.82/69.88 c (69,67) Hybrid: #OE=97180, #LE=0 89.82/69.88 c (69,67) Hybrid 89.82/69.88 c (69,67) =========================================== 93.81/72.68 c (72,70) translated 132181 (10%) constraints 96.48/75.25 c (74,73) translated 264362 (20%) constraints 99.08/77.81 c (77,75) translated 396543 (30%) constraints 101.58/80.36 c (79,78) translated 528724 (40%) constraints 104.18/82.92 c (82,80) translated 660905 (50%) constraints 106.68/85.48 c (84,83) translated 793086 (60%) constraints 117.40/89.10 c (88,85) translated 925267 (70%) constraints 120.02/91.66 c (91,88) translated 1057448 (80%) constraints 122.69/94.29 c (93,90) translated 1189629 (90%) constraints 125.49/96.92 c (96,93) translated 1321810 (100%) constraints 125.49/96.92 c (96,93) CSP to CSPinCNF End 125.49/96.97 c (96,93) CSP: 180 int (0 aux), 97000 bool (97000 aux), 1321810 ctr, max domain size 200 125.49/96.97 c (96,93) Heap : 3658 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB) 125.49/96.97 c (96,93) CSPinCNF Propagation Begin 147.32/108.19 c (107,103) 5705 values, 397423 unsatisfiable literals, and 359277 valid clauses are removed 147.32/108.19 c (107,103) CSPinCNF Propagation End 147.42/108.24 c (107,103) CSP: 180 int (0 aux), 97000 bool (97000 aux), 962533 ctr, max domain size 200 147.42/108.24 c (107,103) Heap : 2252 MiB used (max 21075 MiB), NonHeap : 30 MiB used (max 0 MiB) 147.79/108.51 c (107,103) Hybrid: #OE=97180, #LE=0 147.79/108.51 c (107,103) Simplify CSPinCNF Begin 150.31/110.25 c (109,105) Simplify CSPinCNF End 150.41/110.31 c (109,105) CSP: 180 int (0 aux), 129220 bool (129220 aux), 994753 ctr, max domain size 200 150.41/110.31 c (109,105) Heap : 3443 MiB used (max 21075 MiB), NonHeap : 30 MiB used (max 0 MiB) 150.41/110.31 c (109,105) Calculate Precise Domain Begin 150.41/110.31 c (109,105) 0 values are removed by re-calculation 150.41/110.31 c (109,105) Calculate Precise Domain End 150.41/110.36 c (109,105) CSP: 180 int (0 aux), 129220 bool (129220 aux), 994753 ctr, max domain size 200 150.41/110.36 c (109,105) Heap : 3443 MiB used (max 21075 MiB), NonHeap : 30 MiB used (max 0 MiB) 150.41/110.36 c (109,105) CSPinCNF to SatSolver Begin 181.41/129.38 c (128,123) 99476 (10 %) CSP clauses are encoded (0 SAT variables, 3895957 SAT clauses) 182.57/130.42 c (129,124) 198951 (20 %) CSP clauses are encoded (0 SAT variables, 3995432 SAT clauses) 183.58/131.44 c (130,125) 298426 (30 %) CSP clauses are encoded (0 SAT variables, 4094907 SAT clauses) 184.56/132.47 c (131,126) 397902 (40 %) CSP clauses are encoded (0 SAT variables, 4194383 SAT clauses) 186.14/133.57 c (133,127) 497377 (50 %) CSP clauses are encoded (0 SAT variables, 4293858 SAT clauses) 187.24/134.60 c (134,128) 596852 (60 %) CSP clauses are encoded (0 SAT variables, 4393333 SAT clauses) 188.24/135.63 c (135,129) 696328 (70 %) CSP clauses are encoded (0 SAT variables, 4492809 SAT clauses) 189.24/136.67 c (136,130) 795803 (80 %) CSP clauses are encoded (0 SAT variables, 4592284 SAT clauses) 190.25/137.70 c (137,131) 895278 (90 %) CSP clauses are encoded (0 SAT variables, 4691759 SAT clauses) 191.34/138.73 c (138,132) 994753 (100 %) CSP clauses are encoded (0 SAT variables, 4791234 SAT clauses) 191.34/138.73 c (138,132) CSPinCNF to SatSolver End 191.34/138.73 c (138,132) Heap : 5669 MiB used (max 20025 MiB), NonHeap : 31 MiB used (max 0 MiB) 191.34/138.73 c (138,132) 150378 bool, 4791235 clause 191.34/138.73 c (138,132) Export Begin 191.49/138.83 c (138,132) Export to HOME/scop-5818-serial-file.bin 191.49/138.83 c (138,132) Export End 191.49/138.83 c (138,132) Export File Size: 0.04 MB 191.49/138.83 c (138,132) 0,0,96,107,109,109,138,STOP-AFTER(DIMACS) 191.49/138.83 c END-Prog: Tue Sep 24 16:18:02 CEST 2019 191.49/138.88 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-5818-serial-file.bin 192.18/139.36 c (0,0) Read Serial File Begin 192.18/139.36 c (0,0) HOME/scop-5818-serial-file.bin 192.44/139.59 c (0,0) Read Serial File End 192.63/139.60 192.63/139.60 Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15) 192.63/139.60 (Solving Process) 192.63/139.60 192.63/139.62 c BEGIN-Prog: Tue Sep 24 16:18:03 CEST 2019 192.63/139.62 c PID: 5849 192.63/139.62 c IP: 172.20.3.104 192.63/139.62 c HOST: node104.alineos.net 192.63/139.63 c (0,0) SatSolver.solve Begin 192.63/139.63 c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405432-1569338767.xml-scop-5821.cnf 192.63/139.65 c (0,0) c 192.63/139.65 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) 192.63/139.65 c (0,0) c 192.63/139.65 c (0,0) c WARNING: for repeatability, setting FPU to use double precision 192.63/139.65 c (0,0) c 8 solvers engines and 1 companion as a blackboard created. 192.63/139.65 c (0,0) c ========================================[ Problem Statistics ]=========================================== 192.63/139.65 c (0,0) c | | 194.40/141.22 c (1,0) c | Number of variables: 150378 | 194.40/141.22 c (1,0) c | Number of clauses: 4791235 | 194.40/141.22 c (1,0) c | Parse time: 1.43 s | 194.40/141.22 c (1,0) c | | 208.90/155.73 c (16,0) c | Simplification time: 14.33 s | 208.90/155.73 c (16,0) c | | 208.90/155.73 c (16,0) c | Generating clones | 209.90/156.72 c (17,0) c | all clones generated. Memory = 2468.30Mb. | 209.90/156.72 c (17,0) c ========================================================================================================| 209.90/156.72 c (17,0) c 209.90/156.72 c (17,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 209.90/156.72 c (17,0) c 209.90/156.72 c (17,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 209.90/156.72 c (17,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 209.90/156.72 c (17,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 209.90/156.72 c (17,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 209.90/156.72 c (17,0) c | adaptStrategeis | True | False | True | False | True | False | True | False | 209.90/156.72 c (17,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 209.90/156.72 c (17,0) c | Initial random_seed | 91648253 | 91648254 | 91648255 | 91648256 | 91648257 | 91648258 | 91648259 | 91648260 | 209.90/156.72 c (17,0) c | chanseokStrategy | False | False | False | False | False | False | False | False | 209.90/156.72 c (17,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 209.90/156.72 c (17,0) c | glureduce | True | True | True | True | True | True | True | True | 209.90/156.72 c (17,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 209.90/156.72 c (17,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 209.90/156.72 c (17,0) c | luby_restart | False | False | False | False | False | False | False | False | 209.90/156.72 c (17,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 209.90/156.72 c (17,0) c | var_decay | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 209.90/156.72 c (17,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 209.90/156.72 c (17,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 209.90/156.72 c (17,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 209.90/156.72 c (17,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 215.28/157.70 c (18,0) c 215.28/157.70 c (18,0) c real time : 18.0443 s 215.28/157.70 c (18,0) c cpu time : 21.486 s 215.28/157.70 c (18,0) c 215.28/157.70 c (18,0) c 215.28/157.70 c (18,0) c 215.28/157.70 c (18,0) c |---------------------------------------- FINAL STATS --------------------------------------------------| 215.28/157.70 c (18,0) c 215.28/157.70 c (18,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 215.28/157.70 c (18,0) c | Threads | Total | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 215.28/157.70 c (18,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 215.28/157.70 c (18,0) c | Conflicts | 918 | 55 | 207 | 93 | 281 | 160 | 30 | 13 | 79 | 215.28/157.70 c (18,0) c | Decisions | 2090 | 100 | 461 | 254 | 481 | 266 | 170 | 108 | 250 | 215.28/157.70 c (18,0) c | Propagations | 2631013 | 210224 | 453033 | 331108 | 613202 | 436971 | 191485 | 156533 | 238457 | 215.28/157.70 c (18,0) c | ReduceDBs | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 215.28/157.70 c (18,0) c | SimpDBs | 8 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 215.28/157.70 c (18,0) c | Restarts | 8 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 215.28/157.70 c (18,0) c | ForcedImports | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 215.28/157.70 c (18,0) c | PropBinClauses| 3061300 | 199861 | 564243 | 383744 | 838821 | 485032 | 170062 | 167807 | 251730 | 215.28/157.70 c (18,0) c | PropPreBlocker| 60471484 | 6076961 | 9099244 | 7949326 | 10425500 | 7884496 | 6263416 | 6028582 | 6743959 | 215.28/157.70 c (18,0) c | PropNotBlocker| 32873673 | 3323890 | 5117060 | 4479628 | 5236144 | 4234658 | 3475394 | 3221083 | 3785816 | 215.28/157.70 c (18,0) c | LitFullScans | 98587315 | 9769127 | 15183641 | 13110470 | 17015355 | 12923960 | 10070251 | 9551270 | 10963241 | 215.28/157.70 c (18,0) c | LitScanFracts | 10607 | 1632 | 574 | 1034 | 30 | 1592 | 1051 | 2571 | 2123 | 215.28/157.70 c (18,0) c | DecisionLevel0| 23 | 4 | 2 | 4 | 3 | 3 | 2 | 2 | 3 | 215.28/157.70 c (18,0) c | Periods | 12 | 1 | 2 | 2 | 2 | 2 | 1 | 1 | 1 | 215.28/157.70 c (18,0) c | Margin | 160 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 215.28/157.70 c (18,0) c | Avg_Trail | | 3585 | 4885 | 5406 | 7718 | 5426 | 5186 | 7603 | 5371 | 215.28/157.70 c (18,0) c | Avg_DL | | 5 | 21 | 8 | 40 | 28 | 21 | 39 | 34 | 215.28/157.70 c (18,0) c | Avg_Res | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 215.28/157.70 c (18,0) c | Avg_Res_Seen | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 215.28/157.70 c (18,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 215.28/157.70 c (18,0) c | Exported | 169 | 11 | 42 | 27 | 36 | 33 | 10 | 5 | 5 | 215.28/157.70 c (18,0) c | Imported | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 215.28/157.70 c (18,0) c | Good | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 215.28/157.70 c (18,0) c | Purge | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 215.28/157.70 c (18,0) c | Promoted | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 215.28/157.70 c (18,0) c | Remove_Imp | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 215.28/157.70 c (18,0) c | Blocked_Reuse | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 215.28/157.70 c (18,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 215.28/157.70 c (18,0) c | Unaries | | 3 | 1 | 3 | 2 | 2 | 1 | 1 | 2 | 215.28/157.70 c (18,0) c | Binaries | | 6 | 19 | 10 | 13 | 12 | 3 | 1 | 2 | 215.28/157.70 c (18,0) c | Glues | | 11 | 42 | 27 | 36 | 33 | 10 | 5 | 5 | 215.28/157.70 c (18,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 215.28/157.70 c (18,0) c | Orig_Seen | 0 % | 1768 | 6079 | 6229 | 6156 | 3712 | 2734 | 1155 | 1185 | 215.28/157.70 c (18,0) c | Diff Orig seen| | X | 4311 | 4461 | 4388 | 1944 | 966 | - 613 | - 583 | 215.28/157.70 c (18,0) c | Hamming | 1 % | X | 15874 | 63 | 44 | 38 | 40 | 40 | 75 | 215.28/157.70 c (18,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 215.28/157.70 c (18,0) c | RunningTime | | 0.6 100%| 0.9 100%| 0.7 100%| 1.0 100%| 0.7 100%| 0.7 100%| 0.6 100%| 0.6 100%| 215.28/157.70 c (18,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%| 215.28/157.70 c (18,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%| 215.28/157.70 c (18,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%| 215.28/157.70 c (18,0) c | SolvingTime | | 0.6 | 0.9 | 0.7 | 1.0 | 0.7 | 0.7 | 0.6 | 0.6 | 215.28/157.70 c (18,0) c | PropagationTim| | 0.6 99%| 0.9 98%| 0.7 98%| 0.9 97%| 0.7 98%| 0.7 99%| 0.6 100%| 0.6 99%| 215.28/157.70 c (18,0) c | AnalysisTime | | 0.0 0%| 0.0 1%| 0.0 1%| 0.0 1%| 0.0 1%| 0.0 0%| 0.0 0%| 0.0 0%| 215.28/157.70 c (18,0) c | ReductionTime | | 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 215.28/157.70 c (18,0) c | SimplifyTime | | 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 215.28/157.70 c (18,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%| 215.28/157.70 c (18,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%| 215.28/157.70 c (18,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 215.28/157.70 c (18,0) c 215.28/157.70 c (18,0) c 215.28/157.70 c (18,0) c Threads : 8 215.28/157.70 c (18,0) c Winner : 0 215.28/157.70 c (18,0) c Conflicts_0 : 55 215.28/157.70 c (18,0) c Conflicts_1 : 207 215.28/157.70 c (18,0) c Conflicts_2 : 93 215.28/157.70 c (18,0) c Conflicts_3 : 281 215.28/157.70 c (18,0) c Conflicts_4 : 160 215.28/157.70 c (18,0) c Conflicts_5 : 30 215.28/157.70 c (18,0) c Conflicts_6 : 13 215.28/157.70 c (18,0) c Conflicts_7 : 79 215.28/157.70 c (18,0) c Conflicts_total : 918 215.28/157.70 c (18,0) c Conflicts_winner : 55 215.28/157.70 c (18,0) c Decisions_0 : 100 215.28/157.70 c (18,0) c Decisions_1 : 461 215.28/157.70 c (18,0) c Decisions_2 : 254 215.28/157.70 c (18,0) c Decisions_3 : 481 215.28/157.70 c (18,0) c Decisions_4 : 266 215.28/157.70 c (18,0) c Decisions_5 : 170 215.28/157.70 c (18,0) c Decisions_6 : 108 215.28/157.70 c (18,0) c Decisions_7 : 250 215.28/157.70 c (18,0) c Decisions_total : 2090 215.28/157.70 c (18,0) c Decisions_winner : 100 215.28/157.70 c (18,0) c Propagations_0 : 210224 215.28/157.70 c (18,0) c Propagations_1 : 453033 215.28/157.70 c (18,0) c Propagations_2 : 331108 215.28/157.70 c (18,0) c Propagations_3 : 613202 215.28/157.70 c (18,0) c Propagations_4 : 436971 215.28/157.70 c (18,0) c Propagations_5 : 191485 215.28/157.70 c (18,0) c Propagations_6 : 156533 215.28/157.70 c (18,0) c Propagations_7 : 238457 215.28/157.70 c (18,0) c Propagations_total : 2631013 215.28/157.70 c (18,0) c Propagations_winner : 210224 215.28/157.70 c (18,0) c ReduceDBs_0 : 0 215.28/157.70 c (18,0) c ReduceDBs_1 : 0 215.28/157.70 c (18,0) c ReduceDBs_2 : 0 215.28/157.70 c (18,0) c ReduceDBs_3 : 0 215.28/157.70 c (18,0) c ReduceDBs_4 : 0 215.28/157.70 c (18,0) c ReduceDBs_5 : 0 215.28/157.70 c (18,0) c ReduceDBs_6 : 0 215.28/157.70 c (18,0) c ReduceDBs_7 : 0 215.28/157.70 c (18,0) c ReduceDBs_total : 0 215.28/157.70 c (18,0) c ReduceDBs_winner : 0 215.28/157.70 c (18,0) c SimpDBs_0 : 1 215.28/157.70 c (18,0) c SimpDBs_1 : 1 215.28/157.70 c (18,0) c SimpDBs_2 : 1 215.28/157.70 c (18,0) c SimpDBs_3 : 1 215.28/157.70 c (18,0) c SimpDBs_4 : 1 215.28/157.70 c (18,0) c SimpDBs_5 : 1 215.28/157.70 c (18,0) c SimpDBs_6 : 1 215.28/157.70 c (18,0) c SimpDBs_7 : 1 215.28/157.70 c (18,0) c SimpDBs_total : 8 215.28/157.70 c (18,0) c SimpDBs_winner : 1 215.28/157.70 c (18,0) c Restarts_0 : 1 215.28/157.70 c (18,0) c Restarts_1 : 1 215.28/157.70 c (18,0) c Restarts_2 : 1 215.28/157.70 c (18,0) c Restarts_3 : 1 215.28/157.70 c (18,0) c Restarts_4 : 1 215.28/157.70 c (18,0) c Restarts_5 : 1 215.28/157.70 c (18,0) c Restarts_6 : 1 215.28/157.70 c (18,0) c Restarts_7 : 1 215.28/157.70 c (18,0) c Restarts_total : 8 215.28/157.70 c (18,0) c Restarts_winner : 1 215.28/157.70 c (18,0) c ForcedImports_0 : 0 215.28/157.70 c (18,0) c ForcedImports_1 : 0 215.28/157.70 c (18,0) c ForcedImports_2 : 0 215.28/157.70 c (18,0) c ForcedImports_3 : 0 215.28/157.70 c (18,0) c ForcedImports_4 : 0 215.28/157.70 c (18,0) c ForcedImports_5 : 0 215.28/157.70 c (18,0) c ForcedImports_6 : 0 215.43/157.70 c (18,0) c ForcedImports_7 : 0 215.43/157.70 c (18,0) c ForcedImports_total : 0 215.43/157.70 c (18,0) c ForcedImports_winner : 0 215.43/157.70 c (18,0) c PropsBinClauses_0 : 199861 215.43/157.70 c (18,0) c PropsBinClauses_1 : 564243 215.43/157.70 c (18,0) c PropsBinClauses_2 : 383744 215.43/157.70 c (18,0) c PropsBinClauses_3 : 838821 215.43/157.70 c (18,0) c PropsBinClauses_4 : 485032 215.43/157.70 c (18,0) c PropsBinClauses_5 : 170062 215.43/157.70 c (18,0) c PropsBinClauses_6 : 167807 215.43/157.70 c (18,0) c PropsBinClauses_7 : 251730 215.43/157.70 c (18,0) c PropsBinClauses_total : 3061300 215.43/157.70 c (18,0) c PropsBinClauses_winner : 199861 215.43/157.70 c (18,0) c PropsPreBlocker_0 : 6076961 215.43/157.70 c (18,0) c PropsPreBlocker_1 : 9099244 215.43/157.70 c (18,0) c PropsPreBlocker_2 : 7949326 215.43/157.70 c (18,0) c PropsPreBlocker_3 : 10425500 215.43/157.70 c (18,0) c PropsPreBlocker_4 : 7884496 215.43/157.70 c (18,0) c PropsPreBlocker_5 : 6263416 215.43/157.70 c (18,0) c PropsPreBlocker_6 : 6028582 215.43/157.70 c (18,0) c PropsPreBlocker_7 : 6743959 215.43/157.70 c (18,0) c PropsPreBlocker_total : 60471484 215.43/157.70 c (18,0) c PropsPreBlocker_winner : 6076961 215.43/157.70 c (18,0) c PropsNotBlocker_0 : 3323890 215.43/157.70 c (18,0) c PropsNotBlocker_1 : 5117060 215.43/157.70 c (18,0) c PropsNotBlocker_2 : 4479628 215.43/157.70 c (18,0) c PropsNotBlocker_3 : 5236144 215.43/157.70 c (18,0) c PropsNotBlocker_4 : 4234658 215.43/157.70 c (18,0) c PropsNotBlocker_5 : 3475394 215.43/157.70 c (18,0) c PropsNotBlocker_6 : 3221083 215.43/157.70 c (18,0) c PropsNotBlocker_7 : 3785816 215.43/157.70 c (18,0) c PropsNotBlocker_total : 32873673 215.43/157.70 c (18,0) c PropsNotBlocker_winner : 3323890 215.43/157.70 c (18,0) c PropsLitFullScans_0 : 9769127 215.43/157.70 c (18,0) c PropsLitFullScans_1 : 15183641 215.43/157.70 c (18,0) c PropsLitFullScans_2 : 13110470 215.43/157.70 c (18,0) c PropsLitFullScans_3 : 17015355 215.43/157.70 c (18,0) c PropsLitFullScans_4 : 12923960 215.43/157.70 c (18,0) c PropsLitFullScans_5 : 10070251 215.43/157.70 c (18,0) c PropsLitFullScans_6 : 9551270 215.43/157.70 c (18,0) c PropsLitFullScans_7 : 10963241 215.43/157.70 c (18,0) c PropsLitFullScans_total : 98587315 215.43/157.70 c (18,0) c PropsLitFullScans_winner : 9769127 215.43/157.70 c (18,0) c LitScanFractions_0 : 1632 215.43/157.70 c (18,0) c LitScanFractions_1 : 574 215.43/157.70 c (18,0) c LitScanFractions_2 : 1034 215.43/157.70 c (18,0) c LitScanFractions_3 : 30 215.43/157.70 c (18,0) c LitScanFractions_4 : 1592 215.43/157.70 c (18,0) c LitScanFractions_5 : 1051 215.43/157.70 c (18,0) c LitScanFractions_6 : 2571 215.43/157.70 c (18,0) c LitScanFractions_7 : 2123 215.43/157.70 c (18,0) c LitScanFractions_total : 10607 215.43/157.70 c (18,0) c LitScanFractions_winner : 1632 215.43/157.70 c (18,0) c DecisionLevel0_0 : 4 215.43/157.70 c (18,0) c DecisionLevel0_1 : 2 215.43/157.70 c (18,0) c DecisionLevel0_2 : 4 215.43/157.70 c (18,0) c DecisionLevel0_3 : 3 215.43/157.70 c (18,0) c DecisionLevel0_4 : 3 215.43/157.70 c (18,0) c DecisionLevel0_5 : 2 215.43/157.70 c (18,0) c DecisionLevel0_6 : 2 215.43/157.70 c (18,0) c DecisionLevel0_7 : 3 215.43/157.70 c (18,0) c DecisionLevel0_total : 23 215.43/157.70 c (18,0) c DecisionLevel0_winner : 4 215.43/157.70 c (18,0) c Periods_0 : 1 215.43/157.70 c (18,0) c Periods_1 : 2 215.43/157.70 c (18,0) c Periods_2 : 2 215.43/157.70 c (18,0) c Periods_3 : 2 215.43/157.70 c (18,0) c Periods_4 : 2 215.43/157.70 c (18,0) c Periods_5 : 1 215.43/157.70 c (18,0) c Periods_6 : 1 215.43/157.70 c (18,0) c Periods_7 : 1 215.43/157.70 c (18,0) c Periods_total : 12 215.43/157.70 c (18,0) c Periods_winner : 1 215.43/157.70 c (18,0) c Margin_0 : 20 215.43/157.70 c (18,0) c Margin_1 : 20 215.43/157.70 c (18,0) c Margin_2 : 20 215.43/157.70 c (18,0) c Margin_3 : 20 215.43/157.70 c (18,0) c Margin_4 : 20 215.43/157.70 c (18,0) c Margin_5 : 20 215.43/157.70 c (18,0) c Margin_6 : 20 215.43/157.70 c (18,0) c Margin_7 : 20 215.43/157.70 c (18,0) c Margin_total : 160 215.43/157.70 c (18,0) c Margin_winner : 20 215.43/157.71 c (18,0) c Exported_0 : 11 215.43/157.71 c (18,0) c Exported_1 : 42 215.43/157.71 c (18,0) c Exported_2 : 27 215.43/157.71 c (18,0) c Exported_3 : 36 215.43/157.71 c (18,0) c Exported_4 : 33 215.43/157.71 c (18,0) c Exported_5 : 10 215.43/157.71 c (18,0) c Exported_6 : 5 215.43/157.71 c (18,0) c Exported_7 : 5 215.43/157.71 c (18,0) c Exported_total : 169 215.43/157.71 c (18,0) c Exported_winner : 11 215.43/157.71 c (18,0) c Imported_0 : 0 215.43/157.71 c (18,0) c Imported_1 : 0 215.43/157.71 c (18,0) c Imported_2 : 0 215.43/157.71 c (18,0) c Imported_3 : 0 215.43/157.71 c (18,0) c Imported_4 : 0 215.43/157.71 c (18,0) c Imported_5 : 0 215.43/157.71 c (18,0) c Imported_6 : 0 215.43/157.71 c (18,0) c Imported_7 : 0 215.43/157.71 c (18,0) c Imported_total : 0 215.43/157.71 c (18,0) c Imported_winner : 0 215.43/157.71 c (18,0) c Good_0 : 0 215.43/157.71 c (18,0) c Good_1 : 0 215.43/157.71 c (18,0) c Good_2 : 0 215.43/157.71 c (18,0) c Good_3 : 0 215.43/157.71 c (18,0) c Good_4 : 0 215.43/157.71 c (18,0) c Good_5 : 0 215.43/157.71 c (18,0) c Good_6 : 0 215.43/157.71 c (18,0) c Good_7 : 0 215.43/157.71 c (18,0) c Good_total : 0 215.43/157.71 c (18,0) c Good_winner : 0 215.43/157.71 c (18,0) c Purge_0 : 0 215.43/157.71 c (18,0) c Purge_1 : 0 215.43/157.71 c (18,0) c Purge_2 : 0 215.43/157.71 c (18,0) c Purge_3 : 0 215.43/157.71 c (18,0) c Purge_4 : 0 215.43/157.71 c (18,0) c Purge_5 : 0 215.43/157.71 c (18,0) c Purge_6 : 0 215.43/157.71 c (18,0) c Purge_7 : 0 215.43/157.71 c (18,0) c Purge_total : 0 215.43/157.71 c (18,0) c Purge_winner : 0 215.43/157.71 c (18,0) c Promoted_0 : 0 215.43/157.71 c (18,0) c Promoted_1 : 0 215.43/157.71 c (18,0) c Promoted_2 : 0 215.43/157.71 c (18,0) c Promoted_3 : 0 215.43/157.71 c (18,0) c Promoted_4 : 0 215.43/157.71 c (18,0) c Promoted_5 : 0 215.43/157.71 c (18,0) c Promoted_6 : 0 215.43/157.71 c (18,0) c Promoted_7 : 0 215.43/157.71 c (18,0) c Promoted_total : 0 215.43/157.71 c (18,0) c Promoted_winner : 0 215.43/157.71 c (18,0) c Remove_Imp_0 : 0 215.43/157.71 c (18,0) c Remove_Imp_1 : 0 215.43/157.71 c (18,0) c Remove_Imp_2 : 0 215.43/157.71 c (18,0) c Remove_Imp_3 : 0 215.43/157.71 c (18,0) c Remove_Imp_4 : 0 215.43/157.71 c (18,0) c Remove_Imp_5 : 0 215.43/157.71 c (18,0) c Remove_Imp_6 : 0 215.43/157.71 c (18,0) c Remove_Imp_7 : 0 215.43/157.71 c (18,0) c Remove_Imp_total : 0 215.43/157.71 c (18,0) c Remove_Imp_winner : 0 215.43/157.71 c (18,0) c Blocked_Reuse_0 : 0 215.43/157.71 c (18,0) c Blocked_Reuse_1 : 0 215.43/157.71 c (18,0) c Blocked_Reuse_2 : 0 215.43/157.71 c (18,0) c Blocked_Reuse_3 : 0 215.43/157.71 c (18,0) c Blocked_Reuse_4 : 0 215.43/157.71 c (18,0) c Blocked_Reuse_5 : 0 215.43/157.71 c (18,0) c Blocked_Reuse_6 : 0 215.43/157.71 c (18,0) c Blocked_Reuse_7 : 0 215.43/157.71 c (18,0) c Blocked_Reuse_total : 0 215.43/157.71 c (18,0) c Blocked_Reuse_winner : 0 215.43/157.71 c (18,0) c Unaries_0 : 3 215.43/157.71 c (18,0) c Unaries_1 : 1 215.43/157.71 c (18,0) c Unaries_2 : 3 215.43/157.71 c (18,0) c Unaries_3 : 2 215.43/157.71 c (18,0) c Unaries_4 : 2 215.43/157.71 c (18,0) c Unaries_5 : 1 215.43/157.71 c (18,0) c Unaries_6 : 1 215.43/157.71 c (18,0) c Unaries_7 : 2 215.43/157.71 c (18,0) c Unaries_total : 15 215.43/157.71 c (18,0) c Unaries_winner : 3 215.43/157.71 c (18,0) c Binaries_0 : 6 215.43/157.71 c (18,0) c Binaries_1 : 19 215.43/157.71 c (18,0) c Binaries_2 : 10 215.43/157.71 c (18,0) c Binaries_3 : 13 215.43/157.71 c (18,0) c Binaries_4 : 12 215.43/157.71 c (18,0) c Binaries_5 : 3 215.43/157.71 c (18,0) c Binaries_6 : 1 215.43/157.71 c (18,0) c Binaries_7 : 2 215.43/157.71 c (18,0) c Binaries_total : 66 215.43/157.71 c (18,0) c Binaries_winner : 6 215.43/157.71 c (18,0) c Glues_0 : 11 215.43/157.71 c (18,0) c Glues_1 : 42 215.43/157.71 c (18,0) c Glues_2 : 27 215.43/157.71 c (18,0) c Glues_3 : 36 215.43/157.71 c (18,0) c Glues_4 : 33 215.43/157.71 c (18,0) c Glues_5 : 10 215.43/157.71 c (18,0) c Glues_6 : 5 215.43/157.71 c (18,0) c Glues_7 : 5 215.43/157.71 c (18,0) c Glues_total : 169 215.43/157.71 c (18,0) c Glues_winner : 11 215.43/157.71 c (18,0) c RunningTime_0 : 0.582874 215.43/157.71 c (18,0) c RunningTime_1 : 0.914701 215.43/157.71 c (18,0) c RunningTime_2 : 0.715436 215.43/157.71 c (18,0) c RunningTime_3 : 0.965980 215.43/157.71 c (18,0) c RunningTime_4 : 0.708749 215.43/157.71 c (18,0) c RunningTime_5 : 0.665142 215.43/157.71 c (18,0) c RunningTime_6 : 0.631138 215.43/157.71 c (18,0) c RunningTime_7 : 0.627513 215.43/157.71 c (18,0) c RunningTime_total : 5.811534 215.43/157.71 c (18,0) c RunningTime_winner : 0.582874 215.43/157.71 c (18,0) c WaitingTime_0 : 0.000000 215.43/157.71 c (18,0) c WaitingTime_1 : 0.000000 215.43/157.71 c (18,0) c WaitingTime_2 : 0.000000 215.43/157.71 c (18,0) c WaitingTime_3 : 0.000000 215.43/157.71 c (18,0) c WaitingTime_4 : 0.000000 215.43/157.71 c (18,0) c WaitingTime_5 : 0.000000 215.43/157.71 c (18,0) c WaitingTime_6 : 0.000000 215.43/157.71 c (18,0) c WaitingTime_7 : 0.000000 215.43/157.71 c (18,0) c WaitingTime_total : 0.000000 215.43/157.71 c (18,0) c WaitingTime_winner : 0.000000 215.43/157.71 c (18,0) c ExchangingTime_0 : 0.000463 215.43/157.71 c (18,0) c ExchangingTime_1 : 0.000443 215.43/157.71 c (18,0) c ExchangingTime_2 : 0.000507 215.43/157.71 c (18,0) c ExchangingTime_3 : 0.000436 215.43/157.71 c (18,0) c ExchangingTime_4 : 0.000126 215.43/157.71 c (18,0) c ExchangingTime_5 : 0.000476 215.43/157.71 c (18,0) c ExchangingTime_6 : 0.000015 215.43/157.71 c (18,0) c ExchangingTime_7 : 0.000022 215.43/157.71 c (18,0) c ExchangingTime_total : 0.002488 215.43/157.71 c (18,0) c ExchangingTime_winner : 0.000463 215.43/157.71 c (18,0) c PeriodProcTime_0 : 0.000015 215.43/157.71 c (18,0) c PeriodProcTime_1 : 0.000029 215.43/157.71 c (18,0) c PeriodProcTime_2 : 0.000023 215.43/157.71 c (18,0) c PeriodProcTime_3 : 0.000018 215.43/157.71 c (18,0) c PeriodProcTime_4 : 0.000060 215.43/157.71 c (18,0) c PeriodProcTime_5 : 0.000013 215.43/157.71 c (18,0) c PeriodProcTime_6 : 0.000019 215.43/157.71 c (18,0) c PeriodProcTime_7 : 0.000016 215.43/157.71 c (18,0) c PeriodProcTime_total : 0.000192 215.43/157.71 c (18,0) c PeriodProcTime_winner : 0.000015 215.43/157.71 c (18,0) c SolvingTime_0 : 0.583352 215.43/157.71 c (18,0) c SolvingTime_1 : 0.915173 215.43/157.71 c (18,0) c SolvingTime_2 : 0.715966 215.43/157.71 c (18,0) c SolvingTime_3 : 0.966434 215.43/157.71 c (18,0) c SolvingTime_4 : 0.708935 215.43/157.71 c (18,0) c SolvingTime_5 : 0.665631 215.43/157.71 c (18,0) c SolvingTime_6 : 0.631172 215.43/157.71 c (18,0) c SolvingTime_7 : 0.627551 215.43/157.71 c (18,0) c SolvingTime_total : 5.814214 215.43/157.71 c (18,0) c SolvingTime_winner : 0.583352 215.43/157.71 c (18,0) c PropagationTime_0 : 0.577362 215.43/157.71 c (18,0) c PropagationTime_1 : 0.894854 215.43/157.71 c (18,0) c PropagationTime_2 : 0.704989 215.43/157.71 c (18,0) c PropagationTime_3 : 0.936462 215.43/157.71 c (18,0) c PropagationTime_4 : 0.696484 215.43/157.71 c (18,0) c PropagationTime_5 : 0.661231 215.43/157.71 c (18,0) c PropagationTime_6 : 0.629120 215.43/157.71 c (18,0) c PropagationTime_7 : 0.623061 215.43/157.71 c (18,0) c PropagationTime_total : 5.723564 215.43/157.71 c (18,0) c PropagationTime_winner : 0.577362 215.43/157.71 c (18,0) c AnalysisTime_0 : 0.001462 215.43/157.71 c (18,0) c AnalysisTime_1 : 0.009594 215.43/157.71 c (18,0) c AnalysisTime_2 : 0.005583 215.43/157.71 c (18,0) c AnalysisTime_3 : 0.013855 215.43/157.71 c (18,0) c AnalysisTime_4 : 0.005227 215.43/157.71 c (18,0) c AnalysisTime_5 : 0.002259 215.43/157.71 c (18,0) c AnalysisTime_6 : 0.000940 215.43/157.71 c (18,0) c AnalysisTime_7 : 0.001793 215.43/157.71 c (18,0) c AnalysisTime_total : 0.040713 215.43/157.71 c (18,0) c AnalysisTime_winner : 0.001462 215.43/157.71 c (18,0) c ReductionTime_0 : 0.000000 215.43/157.71 c (18,0) c ReductionTime_1 : 0.000000 215.43/157.71 c (18,0) c ReductionTime_2 : 0.000000 215.43/157.71 c (18,0) c ReductionTime_3 : 0.000000 215.43/157.71 c (18,0) c ReductionTime_4 : 0.000000 215.43/157.71 c (18,0) c ReductionTime_5 : 0.000000 215.43/157.71 c (18,0) c ReductionTime_6 : 0.000000 215.43/157.71 c (18,0) c ReductionTime_7 : 0.000000 215.43/157.71 c (18,0) c ReductionTime_total : 0.000000 215.43/157.71 c (18,0) c ReductionTime_winner : 0.000000 215.43/157.71 c (18,0) c SimplifyTime_0 : 0.000000 215.43/157.71 c (18,0) c SimplifyTime_1 : 0.000000 215.43/157.71 c (18,0) c SimplifyTime_2 : 0.000001 215.43/157.71 c (18,0) c SimplifyTime_3 : 0.000000 215.43/157.71 c (18,0) c SimplifyTime_4 : 0.000000 215.43/157.71 c (18,0) c SimplifyTime_5 : 0.000000 215.43/157.71 c (18,0) c SimplifyTime_6 : 0.000001 215.43/157.71 c (18,0) c SimplifyTime_7 : 0.000000 215.43/157.71 c (18,0) c SimplifyTime_total : 0.000002 215.43/157.71 c (18,0) c SimplifyTime_winner : 0.000000 215.43/157.71 c (18,0) c UsedRateTime_0 : 0.000000 215.43/157.71 c (18,0) c UsedRateTime_1 : 0.000000 215.43/157.71 c (18,0) c UsedRateTime_2 : 0.000000 215.43/157.71 c (18,0) c UsedRateTime_3 : 0.000000 215.43/157.71 c (18,0) c UsedRateTime_4 : 0.000000 215.43/157.71 c (18,0) c UsedRateTime_5 : 0.000000 215.43/157.71 c (18,0) c UsedRateTime_6 : 0.000000 215.43/157.71 c (18,0) c UsedRateTime_7 : 0.000000 215.43/157.71 c (18,0) c UsedRateTime_total : 0.000000 215.43/157.71 c (18,0) c UsedRateTime_winner : 0.000000 215.43/157.71 c (18,0) c OverlapRateTime_0 : 0.000000 215.43/157.71 c (18,0) c OverlapRateTime_1 : 0.000000 215.43/157.71 c (18,0) c OverlapRateTime_2 : 0.000000 215.43/157.71 c (18,0) c OverlapRateTime_3 : 0.000000 215.43/157.71 c (18,0) c OverlapRateTime_4 : 0.000000 215.43/157.71 c (18,0) c OverlapRateTime_5 : 0.000000 215.43/157.71 c (18,0) c OverlapRateTime_6 : 0.000000 215.43/157.71 c (18,0) c OverlapRateTime_7 : 0.000000 215.43/157.71 c (18,0) c OverlapRateTime_total : 0.000000 215.43/157.71 c (18,0) c OverlapRateTime_winner : 0.000000 215.43/157.71 c (18,0) c 215.43/157.71 c (18,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 215.43/157.71 c (18,0) c 215.43/157.71 c (18,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 215.43/157.71 c (18,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 215.43/157.71 c (18,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 215.43/157.71 c (18,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 215.43/157.71 c (18,0) c | adaptStrategeis | True | False | True | False | True | False | True | False | 215.43/157.71 c (18,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 215.43/157.71 c (18,0) c | Initial random_seed | 1955997034 | 1649264595 | 1947758402 | 1230290352 | 1377101331 | 1973543584 | 1487668017 | 1646618488 | 215.43/157.71 c (18,0) c | chanseokStrategy | False | False | False | False | False | False | False | False | 215.43/157.71 c (18,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 215.43/157.71 c (18,0) c | glureduce | True | True | True | True | True | True | True | True | 215.43/157.71 c (18,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 215.43/157.71 c (18,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 215.43/157.71 c (18,0) c | luby_restart | False | False | False | False | False | False | False | False | 215.43/157.71 c (18,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 215.43/157.71 c (18,0) c | var_decay | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 215.43/157.71 c (18,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 215.43/157.71 c (18,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 215.43/157.71 c (18,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 215.43/157.71 c (18,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 215.43/157.71 c (18,0) 215.43/157.71 c (18,0) s SATISFIABLE 193.14/157.84 c (18,0) SatSolver.solve End 193.14/157.84 c (18,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB) 193.14/157.84 c (18,0) Show results Begin 216.00/157.98 c (18,0) x[0] = 136 216.00/157.98 c (18,0) x[1] = 138 216.00/157.98 c (18,0) x[2] = 168 216.00/157.98 c (18,0) x[3] = 182 216.00/157.98 c (18,0) x[4] = 2 216.00/157.98 c (18,0) x[5] = 167 216.00/157.98 c (18,0) x[6] = 173 216.00/157.98 c (18,0) x[7] = 171 216.00/157.98 c (18,0) x[8] = 97 216.00/157.98 c (18,0) x[9] = 3 216.00/157.98 c (18,0) x[10] = 11 216.00/157.98 c (18,0) x[11] = 128 216.00/157.98 c (18,0) x[12] = 148 216.00/157.98 c (18,0) x[13] = 186 216.00/157.98 c (18,0) x[14] = 21 216.00/157.98 c (18,0) x[15] = 131 216.00/157.98 c (18,0) x[16] = 135 216.00/157.98 c (18,0) x[17] = 71 216.00/157.98 c (18,0) x[18] = 98 216.00/157.98 c (18,0) x[19] = 35 216.00/157.98 c (18,0) x[20] = 1 216.00/157.98 c (18,0) x[21] = 73 216.00/157.98 c (18,0) x[22] = 81 216.00/157.98 c (18,0) x[23] = 31 216.00/157.98 c (18,0) x[24] = 157 216.00/157.98 c (18,0) x[25] = 20 216.00/157.98 c (18,0) x[26] = 80 216.00/157.98 c (18,0) x[27] = 91 216.00/157.98 c (18,0) x[28] = 188 216.00/157.98 c (18,0) x[29] = 33 216.00/157.98 c (18,0) x[30] = 107 216.00/157.98 c (18,0) x[31] = 30 216.00/157.98 c (18,0) x[32] = 114 216.00/157.98 c (18,0) x[33] = 77 216.00/157.98 c (18,0) x[34] = 105 216.00/157.98 c (18,0) x[35] = 122 216.00/157.98 c (18,0) x[36] = 121 216.00/157.98 c (18,0) x[37] = 115 216.00/157.98 c (18,0) x[38] = 103 216.00/157.98 c (18,0) x[39] = 193 216.00/157.98 c (18,0) x[40] = 65 216.00/157.98 c (18,0) x[41] = 43 216.00/157.98 c (18,0) x[42] = 67 216.00/157.98 c (18,0) x[43] = 28 216.00/157.98 c (18,0) x[44] = 143 216.00/157.98 c (18,0) x[45] = 17 216.00/157.98 c (18,0) x[46] = 124 216.00/157.98 c (18,0) x[47] = 96 216.00/157.98 c (18,0) x[48] = 118 216.00/157.98 c (18,0) x[49] = 176 216.00/157.98 c (18,0) x[50] = 32 216.00/157.98 c (18,0) x[51] = 66 216.00/157.98 c (18,0) x[52] = 190 216.00/157.98 c (18,0) x[53] = 16 216.00/157.98 c (18,0) x[54] = 111 216.00/157.98 c (18,0) x[55] = 25 216.00/157.98 c (18,0) x[56] = 146 216.00/157.98 c (18,0) x[57] = 184 216.00/157.98 c (18,0) x[58] = 93 216.00/157.98 c (18,0) x[59] = 116 216.00/157.98 c (18,0) x[60] = 22 216.00/157.98 c (18,0) x[61] = 191 216.00/157.98 c (18,0) x[62] = 44 216.00/157.98 c (18,0) x[63] = 76 216.00/157.98 c (18,0) x[64] = 159 216.00/157.98 c (18,0) x[65] = 88 216.00/157.98 c (18,0) x[66] = 123 216.00/157.98 c (18,0) x[67] = 140 216.00/157.98 c (18,0) x[68] = 166 216.00/157.98 c (18,0) x[69] = 53 216.00/157.98 c (18,0) x[70] = 109 216.00/157.98 c (18,0) x[71] = 192 216.00/157.98 c (18,0) x[72] = 180 216.00/157.98 c (18,0) x[73] = 175 216.00/157.98 c (18,0) x[74] = 189 216.00/157.98 c (18,0) x[75] = 110 216.00/157.98 c (18,0) x[76] = 12 216.00/157.98 c (18,0) x[77] = 54 216.00/157.98 c (18,0) x[78] = 155 216.00/157.98 c (18,0) x[79] = 160 216.00/157.98 c (18,0) x[80] = 137 216.00/157.98 c (18,0) x[81] = 130 216.00/157.98 c (18,0) x[82] = 104 216.00/157.98 c (18,0) x[83] = 75 216.00/157.98 c (18,0) x[84] = 90 216.00/157.98 c (18,0) x[85] = 45 216.00/157.99 c (18,0) x[86] = 181 216.00/157.99 c (18,0) x[87] = 165 216.00/157.99 c (18,0) x[88] = 153 216.00/157.99 c (18,0) x[89] = 64 216.00/157.99 c (18,0) x[90] = 82 216.00/157.99 c (18,0) x[91] = 47 216.00/157.99 c (18,0) x[92] = 84 216.00/157.99 c (18,0) x[93] = 24 216.00/157.99 c (18,0) x[94] = 142 216.00/157.99 c (18,0) x[95] = 87 216.00/157.99 c (18,0) x[96] = 198 216.00/157.99 c (18,0) x[97] = 29 216.00/157.99 c (18,0) x[98] = 179 216.00/157.99 c (18,0) x[99] = 26 216.00/157.99 c (18,0) x[100] = 117 216.00/157.99 c (18,0) x[101] = 174 216.00/157.99 c (18,0) x[102] = 37 216.00/157.99 c (18,0) x[103] = 100 216.00/157.99 c (18,0) x[104] = 41 216.00/157.99 c (18,0) x[105] = 52 216.00/157.99 c (18,0) x[106] = 183 216.00/157.99 c (18,0) x[107] = 5 216.00/157.99 c (18,0) x[108] = 152 216.00/157.99 c (18,0) x[109] = 154 216.00/157.99 c (18,0) x[110] = 120 216.00/157.99 c (18,0) x[111] = 127 216.00/157.99 c (18,0) x[112] = 134 216.00/157.99 c (18,0) x[113] = 145 216.00/157.99 c (18,0) x[114] = 108 216.00/157.99 c (18,0) x[115] = 63 216.00/157.99 c (18,0) x[116] = 14 216.00/157.99 c (18,0) x[117] = 19 216.00/157.99 c (18,0) x[118] = 58 216.00/157.99 c (18,0) x[119] = 62 216.00/157.99 c (18,0) x[120] = 7 216.00/157.99 c (18,0) x[121] = 59 216.00/157.99 c (18,0) x[122] = 196 216.00/157.99 c (18,0) x[123] = 18 216.00/157.99 c (18,0) x[124] = 86 216.00/157.99 c (18,0) x[125] = 119 216.00/157.99 c (18,0) x[126] = 27 216.00/157.99 c (18,0) x[127] = 94 216.00/157.99 c (18,0) x[128] = 38 216.00/157.99 c (18,0) x[129] = 92 216.00/157.99 c (18,0) x[130] = 57 216.00/157.99 c (18,0) x[131] = 36 216.00/157.99 c (18,0) x[132] = 113 216.00/157.99 c (18,0) x[133] = 89 216.00/157.99 c (18,0) x[134] = 101 216.00/157.99 c (18,0) x[135] = 23 216.00/157.99 c (18,0) x[136] = 150 216.00/157.99 c (18,0) x[137] = 83 216.00/157.99 c (18,0) x[138] = 56 216.00/157.99 c (18,0) x[139] = 132 216.00/157.99 c (18,0) x[140] = 151 216.00/157.99 c (18,0) x[141] = 195 216.00/157.99 c (18,0) x[142] = 60 216.00/157.99 c (18,0) x[143] = 39 216.00/157.99 c (18,0) x[144] = 161 216.00/157.99 c (18,0) x[145] = 162 216.00/157.99 c (18,0) x[146] = 126 216.00/157.99 c (18,0) x[147] = 106 216.00/157.99 c (18,0) x[148] = 185 216.00/157.99 c (18,0) x[149] = 4 216.00/157.99 c (18,0) x[150] = 149 216.00/157.99 c (18,0) x[151] = 61 216.00/157.99 c (18,0) x[152] = 194 216.00/157.99 c (18,0) x[153] = 187 216.00/157.99 c (18,0) x[154] = 9 216.00/157.99 c (18,0) x[155] = 141 216.00/157.99 c (18,0) x[156] = 133 216.00/157.99 c (18,0) x[157] = 50 216.00/157.99 c (18,0) x[158] = 15 216.00/157.99 c (18,0) x[159] = 177 216.00/157.99 c (18,0) x[160] = 112 216.00/157.99 c (18,0) x[161] = 8 216.00/157.99 c (18,0) x[162] = 70 216.00/157.99 c (18,0) x[163] = 69 216.00/157.99 c (18,0) x[164] = 169 216.00/157.99 c (18,0) x[165] = 85 216.00/157.99 c (18,0) x[166] = 6 216.00/157.99 c (18,0) x[167] = 55 216.00/157.99 c (18,0) x[168] = 78 216.00/157.99 c (18,0) x[169] = 51 216.00/157.99 c (18,0) x[170] = 40 216.00/157.99 c (18,0) x[171] = 34 216.00/157.99 c (18,0) x[172] = 139 216.00/157.99 c (18,0) x[173] = 95 216.00/157.99 c (18,0) x[174] = 199 216.00/157.99 c (18,0) x[175] = 48 216.00/157.99 c (18,0) x[176] = 163 216.00/157.99 c (18,0) x[177] = 178 216.00/157.99 c (18,0) x[178] = 144 216.00/157.99 c (18,0) x[179] = 125 216.00/157.99 s SATISFIABLE 216.00/158.00 v <instantiation> 216.00/158.00 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179]</list> 216.00/158.00 v <values>136 138 168 182 2 167 173 171 97 3 11 128 148 186 21 131 135 71 98 35 1 73 81 31 157 20 80 91 188 33 107 30 114 77 105 122 121 115 103 193 65 43 67 28 143 17 124 96 118 176 32 66 190 16 111 25 146 184 93 116 22 191 44 76 159 88 123 140 166 53 109 192 180 175 189 110 12 54 155 160 137 130 104 75 90 45 181 165 153 64 82 47 84 24 142 87 198 29 179 26 117 174 37 100 41 52 183 5 152 154 120 127 134 145 108 63 14 19 58 62 7 59 196 18 86 119 27 94 38 92 57 36 113 89 101 23 150 83 56 132 151 195 60 39 161 162 126 106 185 4 149 61 194 187 9 141 133 50 15 177 112 8 70 69 169 85 6 55 78 51 40 34 139 95 199 48 163 178 144 125</values> 216.00/158.00 v </instantiation> 216.00/158.00 c (18,0) Show results End 216.00/158.00 c (18,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB) 216.00/158.00 c (18,0) 18,18,STOP-AFTER(ALL) 216.00/158.00 c END-Prog: Tue Sep 24 16:18:21 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 (13182 MiB free) memory of node 1: 16384 MiB (11715 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4405432-1569338767/watcher-4405432-1569338767 -o /tmp/evaluation-result-4405432-1569338767/solver-4405432-1569338767 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node104-1569331756-4801 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405432-1569338767.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=5818, runsolver pid=5815 [startup+0.100114 s]* /proc/loadavg: 1.80 4.50 6.06 2/211 5840 /proc/meminfo: memFree=25402604/32770624 swapFree=66986396/67108860 [pid=5818] ppid=5815 vsize=113128 memory=1392 CPUtime=0 cores=0-7 /proc/5818/stat : 5818 (scop.sh) S 5815 5818 4774 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 510133313 115843072 348 33554432000 4194304 5098028 140724892163120 140724892160376 139645410243196 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 38404096 140724892164900 140724892165228 140724892165228 140724892168141 0 /proc/5818/statm: 28282 348 296 221 0 87 0 [pid=5821] ppid=5818 vsize=27314120 memory=104088 CPUtime=0.11 cores=0-7 /proc/5821/stat : 5821 (java) S 5818 5818 4774 0 -1 1077944320 6145 0 0 0 8 3 0 0 20 0 20 0 510133313 27969658880 26022 33554432000 4194304 4196468 140729896400288 140729896382832 140121988108023 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23490560 140729896407787 140729896408214 140729896408214 140729896411087 0 /proc/5821/statm: 6828530 26022 2780 1 0 6790935 0 [pid=5821/tid=5822] ppid=5818 vsize=27314120 memory=576460756329955445 CPUtime=0.08 cores=0-7 /proc/5821/task/5822/stat : 5822 (java) R 5818 5818 4774 0 -1 4202560 4213 0 0 0 6 2 0 0 20 0 20 0 510133313 27969658880 26534 33554432000 4194304 4196468 140729896400288 140121959921536 140121972188510 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23490560 140729896407787 140729896408214 140729896408214 140729896411087 0 [pid=5821/tid=5823] ppid=5818 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5821/task/5823/stat : 5823 (java) S 5818 5818 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510133316 27969658880 26534 33554432000 4194304 4196468 140729896400288 140121992350224 140121988118229 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23490560 140729896407787 140729896408214 140729896408214 140729896411087 0 [pid=5821/tid=5824] ppid=5818 vsize=27314120 memory=15956943478744728 CPUtime=0 cores=0-7 /proc/5821/task/5824/stat : 5824 (java) S 5818 5818 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510133316 27969658880 26534 33554432000 4194304 4196468 140729896400288 140121775745680 140121988118229 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23490560 140729896407787 140729896408214 140729896408214 140729896411087 0 [pid=5821/tid=5825] ppid=5818 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5821/task/5825/stat : 5825 (java) S 5818 5818 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510133316 27969658880 26534 33554432000 4194304 4196468 140729896400288 140121774692624 140121988118229 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23490560 140729896407787 140729896408214 140729896408214 140729896411087 0 [pid=5821/tid=5826] ppid=5818 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5821/task/5826/stat : 5826 (java) S 5818 5818 4774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510133316 27969658880 26534 33554432000 4194304 4196468 140729896400288 140121773640080 140121988118229 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23490560 140729896407787 140729896408214 140729896408214 140729896411087 0 [pid=5821/tid=5827] ppid=5818 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5821/task/5827/stat : 5827 (java) S 5818 5818 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510133316 27969658880 26534 33554432000 4194304 4196468 140729896400288 140121772588048 140121988118229 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23490560 140729896407787 140729896408214 140729896408214 140729896411087 0 [pid=5821/tid=5828] ppid=5818 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/5821/task/5828/stat : 5828 (java) S 5818 5818 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510133316 27969658880 26534 33554432000 4194304 4196468 140729896400288 140121771535504 140121988118229 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23490560 140729896407787 140729896408214 140729896408214 140729896411087 0 [pid=5821/tid=5829] ppid=5818 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5821/task/5829/stat : 5829 (java) S 5818 5818 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510133316 27969658880 26534 33554432000 4194304 4196468 140729896400288 140121770482448 140121988118229 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23490560 140729896407787 140729896408214 140729896408214 140729896411087 0 [pid=5821/tid=5830] ppid=5818 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5821/task/5830/stat : 5830 (java) S 5818 5818 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510133316 27969658880 26534 33554432000 4194304 4196468 140729896400288 140121769429904 140121988118229 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23490560 140729896407787 140729896408214 140729896408214 140729896411087 0 [pid=5821/tid=5831] ppid=5818 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5821/task/5831/stat : 5831 (java) S 5818 5818 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510133317 27969658880 26534 33554432000 4194304 4196468 140729896400288 140120375154928 140121988119170 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23490560 140729896407787 140729896408214 140729896408214 140729896411087 0 [pid=5821/tid=5832] ppid=5818 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5821/task/5832/stat : 5832 (java) S 5818 5818 4774 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510133318 27969658880 26534 33554432000 4194304 4196468 140729896400288 140119751255200 140121988118229 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23490560 140729896407787 140729896408214 140729896408214 140729896411087 0 [pid=5821/tid=5833] ppid=5818 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5821/task/5833/stat : 5833 (java) S 5818 5818 4774 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510133318 27969658880 26534 33554432000 4194304 4196468 140729896400288 140119617032944 140121988118229 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23490560 140729896407787 140729896408214 140729896408214 140729896411087 0 [pid=5821/tid=5834] ppid=5818 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5821/task/5834/stat : 5834 (java) S 5818 5818 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510133320 27969658880 26534 33554432000 4194304 4196468 140729896400288 140119242528720 140121988126619 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23490560 140729896407787 140729896408214 140729896408214 140729896411087 0 [pid=5821/tid=5835] ppid=5818 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5821/task/5835/stat : 5835 (java) S 5818 5818 4774 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 20 0 510133320 27969658880 26534 33554432000 4194304 4196468 140729896400288 140120374102768 140121988119170 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23490560 140729896407787 140729896408214 140729896408214 140729896411087 0 [pid=5821/tid=5836] ppid=5818 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5821/task/5836/stat : 5836 (java) S 5818 5818 4774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510133320 27969658880 26534 33554432000 4194304 4196468 140729896400288 140120373050224 140121988119170 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23490560 140729896407787 140729896408214 140729896408214 140729896411087 0 [pid=5821/tid=5837] ppid=5818 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5821/task/5837/stat : 5837 (java) S 5818 5818 4774 0 -1 1077944384 288 0 0 0 0 0 0 0 20 0 20 0 510133320 27969658880 26534 33554432000 4194304 4196468 140729896400288 140120371997168 140121988119170 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23490560 140729896407787 140729896408214 140729896408214 140729896411087 0 [pid=5821/tid=5838] ppid=5818 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5821/task/5838/stat : 5838 (java) S 5818 5818 4774 0 -1 1077944384 259 0 0 0 0 0 0 0 20 0 20 0 510133320 27969658880 26534 33554432000 4194304 4196468 140729896400288 140120370944624 140121988119170 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23490560 140729896407787 140729896408214 140729896408214 140729896411087 0 [pid=5821/tid=5839] ppid=5818 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5821/task/5839/stat : 5839 (java) S 5818 5818 4774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510133320 27969658880 26534 33554432000 4194304 4196468 140729896400288 140118744623584 140121988118229 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23490560 140729896407787 140729896408214 140729896408214 140729896411087 0 [pid=5821/tid=5840] ppid=5818 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/5821/task/5840/stat : 5840 (java) S 5818 5818 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510133321 27969658880 26534 33554432000 4194304 4196468 140729896400288 140120369892016 140121988119170 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23490560 140729896407787 140729896408214 140729896408214 140729896411087 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 105480 KiB [startup+0.210281 s]* /proc/loadavg: 1.80 4.50 6.06 2/211 5840 /proc/meminfo: memFree=25380452/32770624 swapFree=66986396/67108860 [pid=5818] ppid=5815 vsize=113128 memory=1392 CPUtime=0 cores=0-7 /proc/5818/stat : 5818 (scop.sh) S 5815 5818 4774 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 510133313 115843072 348 33554432000 4194304 5098028 140724892163120 140724892160376 139645410243196 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 38404096 140724892164900 140724892165228 140724892165228 140724892168141 0 /proc/5818/statm: 28282 348 296 221 0 87 0 [pid=5821] ppid=5818 vsize=27314120 memory=123184 CPUtime=0.24 cores=0-7 /proc/5821/stat : 5821 (java) S 5818 5818 4774 0 -1 1077944320 11747 0 0 0 20 4 0 0 20 0 20 0 510133313 27969658880 30796 33554432000 4194304 4196468 140729896400288 140729896382832 140121988108023 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23490560 140729896407787 140729896408214 140729896408214 140729896411087 0 /proc/5821/statm: 6828530 30796 2926 1 0 6790935 0 [pid=5821/tid=5822] ppid=5818 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/5821/task/5822/stat : 5822 (java) R 5818 5818 4774 0 -1 4202560 9428 0 0 0 16 3 0 0 20 0 20 0 510133313 27969658880 30796 33554432000 4194304 4196468 140729896400288 140121959907408 140121968383783 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23490560 140729896407787 140729896408214 140729896408214 140729896411087 0 [pid=5821/tid=5823] ppid=5818 vsize=27314120 memory=288230604707987820 CPUtime=0 cores=0-7 /proc/5821/task/5823/stat : 5823 (java) S 5818 5818 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510133316 27969658880 30796 33554432000 4194304 4196468 140729896400288 140121992350224 140121988118229 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23490560 140729896407787 140729896408214 140729896408214 140729896411087 0 [pid=5821/tid=5824] ppid=5818 vsize=27314120 memory=15112522843580056 CPUtime=0 cores=0-7 /proc/5821/task/5824/stat : 5824 (java) S 5818 5818 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510133316 27969658880 30796 33554432000 4194304 4196468 140729896400288 140121775745680 140121988118229 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23490560 140729896407787 140729896408214 140729896408214 140729896411087 0 [pid=5821/tid=5825] ppid=5818 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/5821/task/5825/stat : 5825 (java) S 5818 5818 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510133316 27969658880 30796 33554432000 4194304 4196468 140729896400288 140121774692624 140121988118229 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23490560 140729896407787 140729896408214 140729896408214 140729896411087 0 [pid=5821/tid=5826] ppid=5818 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5821/task/5826/stat : 5826 (java) S 5818 5818 4774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510133316 27969658880 30796 33554432000 4194304 4196468 140729896400288 140121773640080 140121988118229 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23490560 140729896407787 140729896408214 140729896408214 140729896411087 0 [pid=5821/tid=5827] ppid=5818 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5821/task/5827/stat : 5827 (java) S 5818 5818 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510133316 27969658880 30796 33554432000 4194304 4196468 140729896400288 140121772588048 140121988118229 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23490560 140729896407787 140729896408214 140729896408214 140729896411087 0 [pid=5821/tid=5828] ppid=5818 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/5821/task/5828/stat : 5828 (java) S 5818 5818 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510133316 27969658880 30796 33554432000 4194304 4196468 140729896400288 140121771535504 140121988118229 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23490560 140729896407787 140729896408214 140729896408214 140729896411087 0 [pid=5821/tid=5829] ppid=5818 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5821/task/5829/stat : 5829 (java) S 5818 5818 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510133316 27969658880 30796 33554432000 4194304 4196468 140729896400288 140121770482448 140121988118229 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23490560 140729896407787 140729896408214 140729896408214 140729896411087 0 [pid=5821/tid=5830] ppid=5818 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5821/task/5830/stat : 5830 (java) S 5818 5818 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510133316 27969658880 30796 33554432000 4194304 4196468 140729896400288 140121769429904 140121988118229 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23490560 140729896407787 140729896408214 140729896408214 140729896411087 0 [pid=5821/tid=5831] ppid=5818 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5821/task/5831/stat : 5831 (java) S 5818 5818 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510133317 27969658880 30796 33554432000 4194304 4196468 140729896400288 140120375154928 140121988119170 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23490560 140729896407787 140729896408214 140729896408214 140729896411087 0 [pid=5821/tid=5832] ppid=5818 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5821/task/5832/stat : 5832 (java) S 5818 5818 4774 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510133318 27969658880 30796 33554432000 4194304 4196468 140729896400288 140119751255200 140121988118229 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23490560 140729896407787 140729896408214 140729896408214 140729896411087 0 [pid=5821/tid=5833] ppid=5818 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5821/task/5833/stat : 5833 (java) S 5818 5818 4774 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510133318 27969658880 30796 33554432000 4194304 4196468 140729896400288 140119617032944 140121988118229 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23490560 140729896407787 140729896408214 140729896408214 140729896411087 0 [pid=5821/tid=5834] ppid=5818 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5821/task/5834/stat : 5834 (java) S 5818 5818 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510133320 27969658880 30796 33554432000 4194304 4196468 140729896400288 140119242528720 140121988126619 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23490560 140729896407787 140729896408214 140729896408214 140729896411087 0 [pid=5821/tid=5835] ppid=5818 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5821/task/5835/stat : 5835 (java) S 5818 5818 4774 0 -1 1077944384 192 0 0 0 0 0 0 0 20 0 20 0 510133320 27969658880 30796 33554432000 4194304 4196468 140729896400288 140120374102768 140121988119170 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23490560 140729896407787 140729896408214 140729896408214 140729896411087 0 [pid=5821/tid=5836] ppid=5818 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5821/task/5836/stat : 5836 (java) S 5818 5818 4774 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 20 0 510133320 27969658880 30796 33554432000 4194304 4196468 140729896400288 140120373050224 140121988119170 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23490560 140729896407787 140729896408214 140729896408214 140729896411087 0 [pid=5821/tid=5837] ppid=5818 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/5821/task/5837/stat : 5837 (java) S 5818 5818 4774 0 -1 1077944384 288 0 0 0 0 0 0 0 20 0 20 0 510133320 27969658880 30796 33554432000 4194304 4196468 140729896400288 140120371997168 140121988119170 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23490560 140729896407787 140729896408214 140729896408214 140729896411087 0 [pid=5821/tid=5838] ppid=5818 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7 /proc/5821/task/5838/stat : 5838 (java) S 5818 5818 4774 0 -1 1077944384 460 0 0 0 2 0 0 0 20 0 20 0 510133320 27969658880 30796 33554432000 4194304 4196468 140729896400288 140120370944624 140121988119170 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23490560 140729896407787 140729896408214 140729896408214 140729896411087 0 [pid=5821/tid=5839] ppid=5818 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5821/task/5839/stat : 5839 (java) S 5818 5818 4774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510133320 27969658880 30796 33554432000 4194304 4196468 140729896400288 140118744623584 140121988118229 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23490560 140729896407787 140729896408214 140729896408214 140729896411087 0 [pid=5821/tid=5840] ppid=5818 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/5821/task/5840/stat : 5840 (java) S 5818 5818 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510133321 27969658880 30796 33554432000 4194304 4196468 140729896400288 140120369892016 140121988119170 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23490560 140729896407787 140729896408214 140729896408214 140729896411087 0 Current children cumulated CPU time: 0.24 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 124576 KiB [startup+0.309689 s]* /proc/loadavg: 1.80 4.50 6.06 2/211 5840 /proc/meminfo: memFree=25377164/32770624 swapFree=66986396/67108860 [pid=5818] ppid=5815 vsize=113128 memory=1392 CPUtime=0 cores=0-7 /proc/5818/stat : 5818 (scop.sh) S 5815 5818 4774 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 510133313 115843072 348 33554432000 4194304 5098028 140724892163120 140724892160376 139645410243196 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 38404096 140724892164900 140724892165228 140724892165228 140724892168141 0 /proc/5818/statm: 28282 348 296 221 0 87 0 [pid=5821] ppid=5818 vsize=27314120 memory=127484 CPUtime=0.43 cores=0-7 /proc/5821/stat : 5821 (java) S 5818 5818 4774 0 -1 1077944320 12805 0 0 0 38 5 0 0 20 0 20 0 510133313 27969658880 31871 33554432000 4194304 4196468 140729896400288 140729896382832 140121988108023 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23490560 140729896407787 140729896408214 140729896408214 140729896411087 0 /proc/5821/statm: 6828530 31871 3032 1 0 6790935 0 [pid=5821/tid=5822] ppid=5818 vsize=27314120 memory=8317482817917895235 CPUtime=0.29 cores=0-7 /proc/5821/task/5822/stat : 5822 (java) R 5818 5818 4774 0 -1 4202560 10276 0 0 0 26 3 0 0 20 0 20 0 510133313 27969658880 31871 33554432000 4194304 4196468 140729896400288 140121959891040 140121969671583 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23490560 140729896407787 140729896408214 140729896408214 140729896411087 0 [pid=5821/tid=5823] ppid=5818 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5821/task/5823/stat : 5823 (java) S 5818 5818 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510133316 27969658880 31871 33554432000 4194304 4196468 140729896400288 140121992350224 140121988118229 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23490560 140729896407787 140729896408214 140729896408214 140729896411087 0 [pid=5821/tid=5824] ppid=5818 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5821/task/5824/stat : 5824 (java) S 5818 5818 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510133316 27969658880 31871 33554432000 4194304 4196468 140729896400288 140121775745680 140121988118229 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23490560 140729896407787 140729896408214 140729896408214 140729896411087 0 [pid=5821/tid=5825] ppid=5818 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5821/task/5825/stat : 5825 (java) S 5818 5818 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510133316 27969658880 31871 33554432000 4194304 4196468 140729896400288 140121774692624 140121988118229 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23490560 140729896407787 140729896408214 140729896408214 140729896411087 0 [pid=5821/tid=5826] ppid=5818 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5821/task/5826/stat : 5826 (java) S 5818 5818 4774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510133316 27969658880 31871 33554432000 4194304 4196468 140729896400288 140121773640080 140121988118229 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23490560 140729896407787 140729896408214 140729896408214 140729896411087 0 [pid=5821/tid=5827] ppid=5818 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5821/task/5827/stat : 5827 (java) S 5818 5818 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510133316 27969658880 31871 33554432000 4194304 4196468 140729896400288 140121772588048 140121988118229 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23490560 140729896407787 140729896408214 140729896408214 140729896411087 0 [pid=5821/tid=5828] ppid=5818 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5821/task/5828/stat : 5828 (java) S 5818 5818 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510133316 27969658880 31871 33554432000 4194304 4196468 140729896400288 140121771535504 140121988118229 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23490560 140729896407787 140729896408214 140729896408214 140729896411087 0 [pid=5821/tid=5829] ppid=5818 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5821/task/5829/stat : 5829 (java) S 5818 5818 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510133316 27969658880 31871 33554432000 4194304 4196468 140729896400288 140121770482448 140121988118229 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23490560 140729896407787 140729896408214 140729896408214 140729896411087 0 [pid=5821/tid=5830] ppid=5818 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5821/task/5830/stat : 5830 (java) S 5818 5818 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510133316 27969658880 31871 33554432000 4194304 4196468 140729896400288 140121769429904 140121988118229 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23490560 140729896407787 140729896408214 140729896408214 140729896411087 0 [pid=5821/tid=5831] ppid=5818 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5821/task/5831/stat : 5831 (java) S 5818 5818 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510133317 27969658880 31871 33554432000 4194304 4196468 140729896400288 140120375154928 140121988119170 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23490560 140729896407787 140729896408214 140729896408214 140729896411087 0 [pid=5821/tid=5832] ppid=5818 vsize=27314120 memory=280462975245696 CPUtime=0 cores=0-7 /proc/5821/task/5832/stat : 5832 (java) S 5818 5818 4774 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510133318 27969658880 31871 33554432000 4194304 4196468 140729896400288 140119751255200 140121988118229 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23490560 140729896407787 140729896408214 140729896408214 140729896411087 0 [pid=5821/tid=5833] ppid=5818 vsize=27314120 memory=280462975250304 CPUtime=0 cores=0-7 /proc/5821/task/5833/stat : 5833 (java) S 5818 5818 4774 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510133318 27969658880 31871 33554432000 4194304 4196468 140729896400288 140119617032944 140121988118229 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23490560 140729896407787 140729896408214 140729896408214 140729896411087 0 [pid=5821/tid=5834] ppid=5818 vsize=27314120 memory=280462975254912 CPUtime=0 cores=0-7 /proc/5821/task/5834/stat : 5834 (java) S 5818 5818 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510133320 27969658880 31871 33554432000 4194304 4196468 140729896400288 140119242528720 140121988126619 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23490560 140729896407787 140729896408214 140729896408214 140729896411087 0 [pid=5821/tid=5835] ppid=5818 vsize=27314120 memory=280462975259520 CPUtime=0.01 cores=0-7 /proc/5821/task/5835/stat : 5835 (java) S 5818 5818 4774 0 -1 1077944384 280 0 0 0 1 0 0 0 20 0 20 0 510133320 27969658880 31871 33554432000 4194304 4196468 140729896400288 140120374102768 140121988119170 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23490560 140729896407787 140729896408214 140729896408214 140729896411087 0 [pid=5821/tid=5836] ppid=5818 vsize=27314120 memory=280462975264128 CPUtime=0.01 cores=0-7 /proc/5821/task/5836/stat : 5836 (java) S 5818 5818 4774 0 -1 1077944384 50 0 0 0 1 0 0 0 20 0 20 0 510133320 27969658880 31871 33554432000 4194304 4196468 140729896400288 140120373050224 140121988119170 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23490560 140729896407787 140729896408214 140729896408214 140729896411087 0 [pid=5821/tid=5837] ppid=5818 vsize=27314120 memory=280462975268736 CPUtime=0.01 cores=0-7 /proc/5821/task/5837/stat : 5837 (java) S 5818 5818 4774 0 -1 1077944384 330 0 0 0 1 0 0 0 20 0 20 0 510133320 27969658880 31871 33554432000 4194304 4196468 140729896400288 140120371997168 140121988119170 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23490560 140729896407787 140729896408214 140729896408214 140729896411087 0 [pid=5821/tid=5838] ppid=5818 vsize=27314120 memory=280462975273344 CPUtime=0.07 cores=0-7 /proc/5821/task/5838/stat : 5838 (java) S 5818 5818 4774 0 -1 1077944384 509 0 0 0 7 0 0 0 20 0 20 0 510133320 27969658880 31871 33554432000 4194304 4196468 140729896400288 140120370944624 140121988119170 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23490560 140729896407787 140729896408214 140729896408214 140729896411087 0 [pid=5821/tid=5839] ppid=5818 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5821/task/5839/stat : 5839 (java) S 5818 5818 4774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510133320 27969658880 31871 33554432000 4194304 4196468 140729896400288 140118744623584 140121988118229 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23490560 140729896407787 140729896408214 140729896408214 140729896411087 0 [pid=5821/tid=5840] ppid=5818 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/5821/task/5840/stat : 5840 (java) S 5818 5818 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510133321 27969658880 31871 33554432000 4194304 4196468 140729896400288 140120369892016 140121988119170 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23490560 140729896407787 140729896408214 140729896408214 140729896411087 0 Current children cumulated CPU time: 0.43 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 128876 KiB [startup+0.700987 s] /proc/loadavg: 1.80 4.50 6.06 3/211 5840 /proc/meminfo: memFree=25356036/32770624 swapFree=66986396/67108860 [pid=5818] ppid=5815 vsize=113128 memory=1392 CPUtime=0 cores=0-7 /proc/5818/stat : 5818 (scop.sh) S 5815 5818 4774 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 510133313 115843072 348 33554432000 4194304 5098028 140724892163120 140724892160376 139645410243196 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 38404096 140724892164900 140724892165228 140724892165228 140724892168141 0 /proc/5818/statm: 28282 348 296 221 0 87 0 [pid=5821] ppid=5818 vsize=27320392 memory=163196 CPUtime=0.99 cores=0-7 /proc/5821/stat : 5821 (java) S 5818 5818 4774 0 -1 1077944320 19944 0 0 0 92 7 0 0 20 0 20 0 510133313 27976081408 40799 33554432000 4194304 4196468 140729896400288 140729896382832 140121988108023 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23490560 140729896407787 140729896408214 140729896408214 140729896411087 0 /proc/5821/statm: 6830098 40799 3172 1 0 6791447 0 [pid=5821/tid=5822] ppid=5818 vsize=27320392 memory=4580 CPUtime=0.67 cores=0-7 /proc/5821/task/5822/stat : 5822 (java) R 5818 5818 4774 0 -1 4202560 16845 0 0 0 62 5 0 0 20 0 20 0 510133313 27976081408 40799 33554432000 4194304 4196468 140729896400288 140121959946848 140121446079524 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23490560 140729896407787 140729896408214 140729896408214 140729896411087 0 [pid=5821/tid=5823] ppid=5818 vsize=27320392 memory=0 CPUtime=0 cores=0-7 /proc/5821/task/5823/stat : 5823 (java) S 5818 5818 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510133316 27976081408 40799 33554432000 4194304 4196468 140729896400288 140121992350224 140121988118229 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23490560 140729896407787 140729896408214 140729896408214 140729896411087 0 [pid=5821/tid=5824] ppid=5818 vsize=27320392 memory=0 CPUtime=0 cores=0-7 /proc/5821/task/5824/stat : 5824 (java) S 5818 5818 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510133316 27976081408 40799 33554432000 4194304 4196468 140729896400288 140121775745680 140121988118229 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23490560 140729896407787 140729896408214 140729896408214 140729896411087 0 [pid=5821/tid=5825] ppid=5818 vsize=27320392 memory=1056 CPUtime=0 cores=0-7 /proc/5821/task/5825/stat : 5825 (java) S 5818 5818 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510133316 27976081408 40799 33554432000 4194304 4196468 140729896400288 140121774692624 140121988118229 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23490560 140729896407787 140729896408214 140729896408214 140729896411087 0 ################ # More data... # ################ /proc/5849/task/5855/stat : 5855 (java) S 5818 5818 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510147203 8616062976 30126 33554432000 4194304 4196468 140734356584832 140175911574032 140176429655765 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15851520 140734356587512 140734356587670 140734356587670 140734356590543 0 [pid=5849/tid=5856] ppid=5818 vsize=8414124 memory=7492148 CPUtime=0 cores=0-7 /proc/5849/task/5856/stat : 5856 (java) S 5818 5818 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510147204 8616062976 30126 33554432000 4194304 4196468 140734356584832 140175910521488 140176429655765 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15851520 140734356587512 140734356587670 140734356587670 140734356590543 0 [pid=5849/tid=5857] ppid=5818 vsize=8414124 memory=780 CPUtime=0 cores=0-7 /proc/5849/task/5857/stat : 5857 (java) S 5818 5818 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510147204 8616062976 30126 33554432000 4194304 4196468 140734356584832 140175909468432 140176429655765 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15851520 140734356587512 140734356587670 140734356587670 140734356590543 0 [pid=5849/tid=5858] ppid=5818 vsize=8414124 memory=3616 CPUtime=0 cores=0-7 /proc/5849/task/5858/stat : 5858 (java) S 5818 5818 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510147204 8616062976 30126 33554432000 4194304 4196468 140734356584832 140175908415888 140176429655765 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15851520 140734356587512 140734356587670 140734356587670 140734356590543 0 [pid=5849/tid=5859] ppid=5818 vsize=8414124 memory=1228 CPUtime=0 cores=0-7 /proc/5849/task/5859/stat : 5859 (java) S 5818 5818 4774 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 510147205 8616062976 30126 33554432000 4194304 4196468 140734356584832 140175858686704 140176429656706 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15851520 140734356587512 140734356587670 140734356587670 140734356590543 0 [pid=5849/tid=5860] ppid=5818 vsize=8414124 memory=120504 CPUtime=0 cores=0-7 /proc/5849/task/5860/stat : 5860 (java) S 5818 5818 4774 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 510147206 8616062976 30126 33554432000 4194304 4196468 140734356584832 140175048959648 140176429655765 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15851520 140734356587512 140734356587670 140734356587670 140734356590543 0 [pid=5849/tid=5861] ppid=5818 vsize=8414124 memory=495964 CPUtime=0 cores=0-7 /proc/5849/task/5861/stat : 5861 (java) S 5818 5818 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510147206 8616062976 30126 33554432000 4194304 4196468 140734356584832 140174780523760 140176429655765 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15851520 140734356587512 140734356587670 140734356587670 140734356590543 0 [pid=5849/tid=5862] ppid=5818 vsize=8414124 memory=796 CPUtime=0 cores=0-7 /proc/5849/task/5862/stat : 5862 (java) S 5818 5818 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510147209 8616062976 30126 33554432000 4194304 4196468 140734356584832 140174406015440 140176429664155 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15851520 140734356587512 140734356587670 140734356587670 140734356590543 0 [pid=5849/tid=5863] ppid=5818 vsize=8414124 memory=1392 CPUtime=0.07 cores=0-7 /proc/5849/task/5863/stat : 5863 (java) S 5818 5818 4774 0 -1 1077944384 590 0 0 0 7 0 0 0 20 0 24 0 510147209 8616062976 30126 33554432000 4194304 4196468 140734356584832 140175857633520 140176429656706 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15851520 140734356587512 140734356587670 140734356587670 140734356590543 0 [pid=5849/tid=5864] ppid=5818 vsize=8414124 memory=8432092 CPUtime=0.05 cores=0-7 /proc/5849/task/5864/stat : 5864 (java) S 5818 5818 4774 0 -1 1077944384 173 0 0 0 5 0 0 0 20 0 24 0 510147209 8616062976 30126 33554432000 4194304 4196468 140734356584832 140175856580976 140176429656706 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15851520 140734356587512 140734356587670 140734356587670 140734356590543 0 [pid=5849/tid=5865] ppid=5818 vsize=8414124 memory=495964 CPUtime=0.05 cores=0-7 /proc/5849/task/5865/stat : 5865 (java) S 5818 5818 4774 0 -1 1077944384 414 0 0 0 5 0 0 0 20 0 24 0 510147209 8616062976 30126 33554432000 4194304 4196468 140734356584832 140175855527920 140176429656706 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15851520 140734356587512 140734356587670 140734356587670 140734356590543 0 [pid=5849/tid=5866] ppid=5818 vsize=8414124 memory=8065728 CPUtime=0.22 cores=0-7 /proc/5849/task/5866/stat : 5866 (java) S 5818 5818 4774 0 -1 1077944384 546 0 0 0 22 0 0 0 20 0 24 0 510147209 8616062976 30126 33554432000 4194304 4196468 140734356584832 140175518722160 140176429656706 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15851520 140734356587512 140734356587670 140734356587670 140734356590543 0 [pid=5849/tid=5867] ppid=5818 vsize=8414124 memory=34752 CPUtime=0 cores=0-7 /proc/5849/task/5867/stat : 5867 (java) S 5818 5818 4774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510147209 8616062976 30126 33554432000 4194304 4196468 140734356584832 140173908110304 140176429655765 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15851520 140734356587512 140734356587670 140734356587670 140734356590543 0 [pid=5849/tid=5868] ppid=5818 vsize=8414124 memory=2120 CPUtime=0 cores=0-7 /proc/5849/task/5868/stat : 5868 (java) S 5818 5818 4774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510147209 8616062976 30126 33554432000 4194304 4196468 140734356584832 140175517670576 140176429656706 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15851520 140734356587512 140734356587670 140734356587670 140734356590543 0 [pid=5849/tid=5870] ppid=5818 vsize=8414124 memory=1472 CPUtime=0 cores=0-7 /proc/5849/task/5870/stat : 5870 (java) S 5818 5818 4774 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 510147278 8616062976 30126 33554432000 4194304 4196468 140734356584832 140175509636544 140176429670169 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 15851520 140734356587512 140734356587670 140734356587670 140734356590543 0 [pid=5849/tid=5872] ppid=5818 vsize=8414124 memory=120504 CPUtime=0 cores=0-7 /proc/5849/task/5872/stat : 5872 (java) S 5818 5818 4774 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 510147278 8616062976 30126 33554432000 4194304 4196468 140734356584832 140173237009968 140176429667485 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 15851520 140734356587512 140734356587670 140734356587670 140734356590543 0 [pid=5849/tid=5873] ppid=5818 vsize=8414124 memory=6184 CPUtime=0 cores=0-7 /proc/5849/task/5873/stat : 5873 (java) S 5818 5818 4774 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 510147278 8616062976 30126 33554432000 4194304 4196468 140734356584832 140173505445552 140176429667485 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 15851520 140734356587512 140734356587670 140734356587670 140734356590543 0 [pid=5849/tid=5874] ppid=5818 vsize=8414124 memory=7552 CPUtime=0 cores=0-7 /proc/5849/task/5874/stat : 5874 (java) S 5818 5818 4774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510147280 8616062976 30126 33554432000 4194304 4196468 140734356584832 140172968582064 140176429655765 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15851520 140734356587512 140734356587670 140734356587670 140734356590543 0 Current children cumulated CPU time: 210.43 s Current children cumulated vsize: 11644648 KiB Current children cumulated memory: 2646996 KiB [startup+157.601 s] /proc/loadavg: 1.76 3.28 5.34 4/223 5885 /proc/meminfo: memFree=22684844/32770624 swapFree=66986396/67108860 [pid=5818] ppid=5815 vsize=113128 memory=1472 CPUtime=191.64 cores=0-7 /proc/5818/stat : 5818 (scop.sh) S 5815 5818 4774 0 -1 4202496 582 90289 0 0 0 0 18113 1051 20 0 1 0 510133313 115843072 368 33554432000 4194304 5098028 140724892163120 140724892159864 139645410243196 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 38404096 140724892164900 140724892165228 140724892165228 140724892168141 0 /proc/5818/statm: 28282 368 311 221 0 87 0 [pid=5849] ppid=5818 vsize=8414124 memory=120504 CPUtime=1.24 cores=0-7 /proc/5849/stat : 5849 (java) S 5818 5818 4774 0 -1 1077944320 21092 0 0 0 117 7 0 0 20 0 24 0 510147201 8616062976 30126 33554432000 4194304 4196468 140734356584832 140734356567376 140176429645559 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15851520 140734356587512 140734356587670 140734356587670 140734356590543 0 /proc/5849/statm: 2103531 30126 3204 1 0 2064875 0 [pid=5869] ppid=5849 vsize=3117396 memory=2715816 CPUtime=22.4 cores=0-7 /proc/5869/stat : 5869 (manyglucose-4.1) S 5849 5818 4774 0 -1 1077944320 635516 0 0 0 2135 105 0 0 20 0 3 0 510147278 3192213504 678954 33554432000 4194304 4454172 140731948905200 140731948903584 140396869627639 0 4 0 8388610 18446744073709551615 0 0 17 2 0 0 0 0 0 6552832 6554400 18284544 140731948909418 140731948909616 140731948909616 140731948912570 0 /proc/5869/statm: 779349 678954 406 64 0 775017 0 [pid=5869/tid=5879] ppid=5849 vsize=3117396 memory=1811724 CPUtime=0.83 cores=0-7 /proc/5869/task/5879/stat : 5879 (manyglucose-4.1) R 5849 5818 4774 0 -1 4202560 8067 0 0 0 81 2 0 0 20 0 3 0 510148985 3192213504 678954 33554432000 4194304 4454172 140731948905200 140395509046056 140396854926142 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6552832 6554400 18284544 140731948909418 140731948909616 140731948909616 140731948912570 0 [pid=5869/tid=5881] ppid=5849 vsize=3117396 memory=34752 CPUtime=0.83 cores=0-7 /proc/5869/task/5881/stat : 5881 (manyglucose-4.1) R 5849 5818 4774 0 -1 4202560 7070 0 0 0 79 4 0 0 20 0 3 0 510148985 3192213504 678954 33554432000 4194304 4454172 140731948905200 140395492260648 4350933 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6552832 6554400 18284544 140731948909418 140731948909616 140731948909616 140731948912570 0 [pid=5849/tid=5850] ppid=5818 vsize=8414124 memory=2120 CPUtime=0.78 cores=0-7 /proc/5849/task/5850/stat : 5850 (java) S 5818 5818 4774 0 -1 1077944384 17971 0 0 0 73 5 0 0 20 0 24 0 510147202 8616062976 30126 33554432000 4194304 4196468 140734356584832 140176401485728 140176429655765 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15851520 140734356587512 140734356587670 140734356587670 140734356590543 0 [pid=5849/tid=5851] ppid=5818 vsize=8414124 memory=3616 CPUtime=0 cores=0-7 /proc/5849/task/5851/stat : 5851 (java) S 5818 5818 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510147203 8616062976 30126 33554432000 4194304 4196468 140734356584832 140176433888272 140176429655765 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15851520 140734356587512 140734356587670 140734356587670 140734356590543 0 [pid=5849/tid=5852] ppid=5818 vsize=8414124 memory=1228 CPUtime=0 cores=0-7 /proc/5849/task/5852/stat : 5852 (java) S 5818 5818 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510147203 8616062976 30126 33554432000 4194304 4196468 140734356584832 140176258530448 140176429655765 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15851520 140734356587512 140734356587670 140734356587670 140734356590543 0 [pid=5849/tid=5853] ppid=5818 vsize=8414124 memory=6184 CPUtime=0 cores=0-7 /proc/5849/task/5853/stat : 5853 (java) S 5818 5818 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510147203 8616062976 30126 33554432000 4194304 4196468 140734356584832 140175913679632 140176429655765 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15851520 140734356587512 140734356587670 140734356587670 140734356590543 0 [pid=5849/tid=5854] ppid=5818 vsize=8414124 memory=7552 CPUtime=0 cores=0-7 /proc/5849/task/5854/stat : 5854 (java) S 5818 5818 4774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510147203 8616062976 30126 33554432000 4194304 4196468 140734356584832 140175912627088 140176429655765 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15851520 140734356587512 140734356587670 140734356587670 140734356590543 0 [pid=5849/tid=5855] ppid=5818 vsize=8414124 memory=2832 CPUtime=0 cores=0-7 /proc/5849/task/5855/stat : 5855 (java) S 5818 5818 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510147203 8616062976 30126 33554432000 4194304 4196468 140734356584832 140175911574032 140176429655765 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15851520 140734356587512 140734356587670 140734356587670 140734356590543 0 [pid=5849/tid=5856] ppid=5818 vsize=8414124 memory=1084 CPUtime=0 cores=0-7 /proc/5849/task/5856/stat : 5856 (java) S 5818 5818 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510147204 8616062976 30126 33554432000 4194304 4196468 140734356584832 140175910521488 140176429655765 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15851520 140734356587512 140734356587670 140734356587670 140734356590543 0 [pid=5849/tid=5857] ppid=5818 vsize=8414124 memory=14012 CPUtime=0 cores=0-7 /proc/5849/task/5857/stat : 5857 (java) S 5818 5818 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510147204 8616062976 30126 33554432000 4194304 4196468 140734356584832 140175909468432 140176429655765 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15851520 140734356587512 140734356587670 140734356587670 140734356590543 0 [pid=5849/tid=5858] ppid=5818 vsize=8414124 memory=14048 CPUtime=0 cores=0-7 /proc/5849/task/5858/stat : 5858 (java) S 5818 5818 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510147204 8616062976 30126 33554432000 4194304 4196468 140734356584832 140175908415888 140176429655765 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15851520 140734356587512 140734356587670 140734356587670 140734356590543 0 [pid=5849/tid=5859] ppid=5818 vsize=8414124 memory=780 CPUtime=0 cores=0-7 /proc/5849/task/5859/stat : 5859 (java) S 5818 5818 4774 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 510147205 8616062976 30126 33554432000 4194304 4196468 140734356584832 140175858686704 140176429656706 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15851520 140734356587512 140734356587670 140734356587670 140734356590543 0 [pid=5849/tid=5860] ppid=5818 vsize=8414124 memory=3616 CPUtime=0 cores=0-7 /proc/5849/task/5860/stat : 5860 (java) S 5818 5818 4774 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 510147206 8616062976 30126 33554432000 4194304 4196468 140734356584832 140175048959648 140176429655765 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15851520 140734356587512 140734356587670 140734356587670 140734356590543 0 [pid=5849/tid=5861] ppid=5818 vsize=8414124 memory=8112282956445269571 CPUtime=0 cores=0-7 /proc/5849/task/5861/stat : 5861 (java) S 5818 5818 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510147206 8616062976 30126 33554432000 4194304 4196468 140734356584832 140174780523760 140176429655765 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15851520 140734356587512 140734356587670 140734356587670 140734356590543 0 [pid=5849/tid=5862] ppid=5818 vsize=8414124 memory=9157000 CPUtime=0 cores=0-7 /proc/5849/task/5862/stat : 5862 (java) S 5818 5818 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510147209 8616062976 30126 33554432000 4194304 4196468 140734356584832 140174406015440 140176429664155 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15851520 140734356587512 140734356587670 140734356587670 140734356590543 0 [pid=5849/tid=5863] ppid=5818 vsize=8414124 memory=7552 CPUtime=0.07 cores=0-7 /proc/5849/task/5863/stat : 5863 (java) S 5818 5818 4774 0 -1 1077944384 590 0 0 0 7 0 0 0 20 0 24 0 510147209 8616062976 30126 33554432000 4194304 4196468 140734356584832 140175857633520 140176429656706 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15851520 140734356587512 140734356587670 140734356587670 140734356590543 0 [pid=5849/tid=5864] ppid=5818 vsize=8414124 memory=2832 CPUtime=0.05 cores=0-7 /proc/5849/task/5864/stat : 5864 (java) S 5818 5818 4774 0 -1 1077944384 173 0 0 0 5 0 0 0 20 0 24 0 510147209 8616062976 30126 33554432000 4194304 4196468 140734356584832 140175856580976 140176429656706 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15851520 140734356587512 140734356587670 140734356587670 140734356590543 0 [pid=5849/tid=5865] ppid=5818 vsize=8414124 memory=1392 CPUtime=0.05 cores=0-7 /proc/5849/task/5865/stat : 5865 (java) S 5818 5818 4774 0 -1 1077944384 414 0 0 0 5 0 0 0 20 0 24 0 510147209 8616062976 30126 33554432000 4194304 4196468 140734356584832 140175855527920 140176429656706 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15851520 140734356587512 140734356587670 140734356587670 140734356590543 0 [pid=5849/tid=5866] ppid=5818 vsize=8414124 memory=9157000 CPUtime=0.22 cores=0-7 /proc/5849/task/5866/stat : 5866 (java) S 5818 5818 4774 0 -1 1077944384 546 0 0 0 22 0 0 0 20 0 24 0 510147209 8616062976 30126 33554432000 4194304 4196468 140734356584832 140175518722160 140176429656706 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15851520 140734356587512 140734356587670 140734356587670 140734356590543 0 [pid=5849/tid=5867] ppid=5818 vsize=8414124 memory=1392 CPUtime=0 cores=0-7 /proc/5849/task/5867/stat : 5867 (java) S 5818 5818 4774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510147209 8616062976 30126 33554432000 4194304 4196468 140734356584832 140173908110304 140176429655765 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15851520 140734356587512 140734356587670 140734356587670 140734356590543 0 [pid=5849/tid=5868] ppid=5818 vsize=8414124 memory=3616 CPUtime=0 cores=0-7 /proc/5849/task/5868/stat : 5868 (java) S 5818 5818 4774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510147209 8616062976 30126 33554432000 4194304 4196468 140734356584832 140175517670576 140176429656706 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15851520 140734356587512 140734356587670 140734356587670 140734356590543 0 [pid=5849/tid=5870] ppid=5818 vsize=8414124 memory=64800 CPUtime=0 cores=0-7 /proc/5849/task/5870/stat : 5870 (java) S 5818 5818 4774 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 510147278 8616062976 30126 33554432000 4194304 4196468 140734356584832 140175509636544 140176429670169 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 15851520 140734356587512 140734356587670 140734356587670 140734356590543 0 [pid=5849/tid=5872] ppid=5818 vsize=8414124 memory=988 CPUtime=0 cores=0-7 /proc/5849/task/5872/stat : 5872 (java) S 5818 5818 4774 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 510147278 8616062976 30126 33554432000 4194304 4196468 140734356584832 140173237009968 140176429667485 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 15851520 140734356587512 140734356587670 140734356587670 140734356590543 0 [pid=5849/tid=5873] ppid=5818 vsize=8414124 memory=2004 CPUtime=0 cores=0-7 /proc/5849/task/5873/stat : 5873 (java) S 5818 5818 4774 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 510147278 8616062976 30126 33554432000 4194304 4196468 140734356584832 140173505445552 140176429667485 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 15851520 140734356587512 140734356587670 140734356587670 140734356590543 0 [pid=5849/tid=5874] ppid=5818 vsize=8414124 memory=495964 CPUtime=0 cores=0-7 /proc/5849/task/5874/stat : 5874 (java) S 5818 5818 4774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510147280 8616062976 30126 33554432000 4194304 4196468 140734356584832 140172968582064 140176429655765 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15851520 140734356587512 140734356587670 140734356587670 140734356590543 0 Current children cumulated CPU time: 215.28 s Current children cumulated vsize: 11644648 KiB Current children cumulated memory: 2837792 KiB [startup+158.001 s]* /proc/loadavg: 1.76 3.28 5.34 3/212 5885 /proc/meminfo: memFree=25244068/32770624 swapFree=66986396/67108860 [pid=5818] ppid=5815 vsize=113128 memory=1472 CPUtime=191.64 cores=0-7 /proc/5818/stat : 5818 (scop.sh) S 5815 5818 4774 0 -1 4202496 582 90289 0 0 0 0 18113 1051 20 0 1 0 510133313 115843072 368 33554432000 4194304 5098028 140724892163120 140724892159864 139645410243196 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 38404096 140724892164900 140724892165228 140724892165228 140724892168141 0 /proc/5818/statm: 28282 368 311 221 0 87 0 [pid=5849] ppid=5818 vsize=8283048 memory=161328 CPUtime=24.62 cores=0-7 /proc/5849/stat : 5849 (java) S 5818 5818 4774 0 -1 1077944320 23650 636688 0 0 185 11 2151 115 20 0 22 0 510147201 8481841152 40332 33554432000 4194304 4196468 140734356584832 140734356567376 140176429645559 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15851520 140734356587512 140734356587670 140734356587670 140734356590543 0 /proc/5849/statm: 2070762 40332 3232 1 0 2032106 0 [pid=5849/tid=5850] ppid=5818 vsize=8283048 memory=780 CPUtime=23.6 cores=0-7 /proc/5849/task/5850/stat : 5850 (java) R 5818 5818 4774 0 -1 4202560 19308 636688 0 0 88 6 2151 115 20 0 22 0 510147202 8481841152 40332 33554432000 4194304 4196468 140734356584832 140176401482800 140176422331191 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15851520 140734356587512 140734356587670 140734356587670 140734356590543 0 [pid=5849/tid=5851] ppid=5818 vsize=8283048 memory=3616 CPUtime=22.66 cores=0-7 /proc/5849/task/5851/stat : 5851 (java) S 5818 5818 4774 0 -1 1077944384 2 636688 0 0 0 0 2151 115 20 0 22 0 510147203 8481841152 40332 33554432000 4194304 4196468 140734356584832 140176433888272 140176429655765 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15851520 140734356587512 140734356587670 140734356587670 140734356590543 0 [pid=5849/tid=5852] ppid=5818 vsize=8283048 memory=8317482817917895235 CPUtime=22.66 cores=0-7 /proc/5849/task/5852/stat : 5852 (java) S 5818 5818 4774 0 -1 1077944384 2 636688 0 0 0 0 2151 115 20 0 22 0 510147203 8481841152 40332 33554432000 4194304 4196468 140734356584832 140176258530448 140176429655765 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15851520 140734356587512 140734356587670 140734356587670 140734356590543 0 [pid=5849/tid=5853] ppid=5818 vsize=8283048 memory=6184 CPUtime=22.66 cores=0-7 /proc/5849/task/5853/stat : 5853 (java) S 5818 5818 4774 0 -1 1077944384 1 636688 0 0 0 0 2151 115 20 0 22 0 510147203 8481841152 40332 33554432000 4194304 4196468 140734356584832 140175913679632 140176429655765 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15851520 140734356587512 140734356587670 140734356587670 140734356590543 0 [pid=5849/tid=5854] ppid=5818 vsize=8283048 memory=7552 CPUtime=22.66 cores=0-7 /proc/5849/task/5854/stat : 5854 (java) S 5818 5818 4774 0 -1 1077944384 3 636688 0 0 0 0 2151 115 20 0 22 0 510147203 8481841152 40332 33554432000 4194304 4196468 140734356584832 140175912627088 140176429655765 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15851520 140734356587512 140734356587670 140734356587670 140734356590543 0 [pid=5849/tid=5855] ppid=5818 vsize=8283048 memory=-8253362762722141311 CPUtime=22.66 cores=0-7 /proc/5849/task/5855/stat : 5855 (java) S 5818 5818 4774 0 -1 1077944384 2 636688 0 0 0 0 2151 115 20 0 22 0 510147203 8481841152 40332 33554432000 4194304 4196468 140734356584832 140175911574032 140176429655765 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15851520 140734356587512 140734356587670 140734356587670 140734356590543 0 [pid=5849/tid=5856] ppid=5818 vsize=8283048 memory=7100839861465685612 CPUtime=22.66 cores=0-7 /proc/5849/task/5856/stat : 5856 (java) S 5818 5818 4774 0 -1 1077944384 1 636688 0 0 0 0 2151 115 20 0 22 0 510147204 8481841152 40332 33554432000 4194304 4196468 140734356584832 140175910521488 140176429655765 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15851520 140734356587512 140734356587670 140734356587670 140734356590543 0 [pid=5849/tid=5857] ppid=5818 vsize=8283048 memory=-7175204567652784766 CPUtime=22.66 cores=0-7 /proc/5849/task/5857/stat : 5857 (java) S 5818 5818 4774 0 -1 1077944384 1 636688 0 0 0 0 2151 115 20 0 22 0 510147204 8481841152 40332 33554432000 4194304 4196468 140734356584832 140175909468432 140176429655765 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15851520 140734356587512 140734356587670 140734356587670 140734356590543 0 [pid=5849/tid=5858] ppid=5818 vsize=8283048 memory=3054156605268465310 CPUtime=22.66 cores=0-7 /proc/5849/task/5858/stat : 5858 (java) S 5818 5818 4774 0 -1 1077944384 2 636688 0 0 0 0 2151 115 20 0 22 0 510147204 8481841152 40332 33554432000 4194304 4196468 140734356584832 140175908415888 140176429655765 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15851520 140734356587512 140734356587670 140734356587670 140734356590543 0 [pid=5849/tid=5859] ppid=5818 vsize=8283048 memory=-6520471753822164382 CPUtime=22.66 cores=0-7 /proc/5849/task/5859/stat : 5859 (java) S 5818 5818 4774 0 -1 1077944384 5 636688 0 0 0 0 2151 115 20 0 22 0 510147205 8481841152 40332 33554432000 4194304 4196468 140734356584832 140175858686704 140176429656706 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15851520 140734356587512 140734356587670 140734356587670 140734356590543 0 [pid=5849/tid=5860] ppid=5818 vsize=8283048 memory=8514726395714825349 CPUtime=22.66 cores=0-7 /proc/5849/task/5860/stat : 5860 (java) S 5818 5818 4774 0 -1 1077944384 13 636688 0 0 0 0 2151 115 20 0 22 0 510147206 8481841152 40332 33554432000 4194304 4196468 140734356584832 140175048959648 140176429655765 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15851520 140734356587512 140734356587670 140734356587670 140734356590543 0 [pid=5849/tid=5861] ppid=5818 vsize=8283048 memory=4715433313220523562 CPUtime=22.66 cores=0-7 /proc/5849/task/5861/stat : 5861 (java) S 5818 5818 4774 0 -1 1077944384 1 636688 0 0 0 0 2151 115 20 0 22 0 510147206 8481841152 40332 33554432000 4194304 4196468 140734356584832 140174780523760 140176429655765 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15851520 140734356587512 140734356587670 140734356587670 140734356590543 0 [pid=5849/tid=5862] ppid=5818 vsize=8283048 memory=7822038051842261661 CPUtime=22.66 cores=0-7 /proc/5849/task/5862/stat : 5862 (java) S 5818 5818 4774 0 -1 1077944384 1 636688 0 0 0 0 2151 115 20 0 22 0 510147209 8481841152 40332 33554432000 4194304 4196468 140734356584832 140174406015440 140176429664155 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15851520 140734356587512 140734356587670 140734356587670 140734356590543 0 [pid=5849/tid=5863] ppid=5818 vsize=8283048 memory=-8707038579349950309 CPUtime=22.83 cores=0-7 /proc/5849/task/5863/stat : 5863 (java) S 5818 5818 4774 0 -1 1077944384 829 636688 0 0 17 0 2151 115 20 0 22 0 510147209 8481841152 40332 33554432000 4194304 4196468 140734356584832 140175857633520 140176429656706 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15851520 140734356587512 140734356587670 140734356587670 140734356590543 0 [pid=5849/tid=5864] ppid=5818 vsize=8283048 memory=-8341965534556230502 CPUtime=22.83 cores=0-7 /proc/5849/task/5864/stat : 5864 (java) S 5818 5818 4774 0 -1 1077944384 396 636688 0 0 17 0 2151 115 20 0 22 0 510147209 8481841152 40332 33554432000 4194304 4196468 140734356584832 140175856580976 140176429656706 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15851520 140734356587512 140734356587670 140734356587670 140734356590543 0 [pid=5849/tid=5865] ppid=5818 vsize=8283048 memory=1440 CPUtime=22.8 cores=0-7 /proc/5849/task/5865/stat : 5865 (java) S 5818 5818 4774 0 -1 1077944384 442 636688 0 0 14 0 2151 115 20 0 22 0 510147209 8481841152 40332 33554432000 4194304 4196468 140734356584832 140175855527920 140176429656706 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15851520 140734356587512 140734356587670 140734356587670 140734356590543 0 [pid=5849/tid=5866] ppid=5818 vsize=8283048 memory=912 CPUtime=22.99 cores=0-7 /proc/5849/task/5866/stat : 5866 (java) S 5818 5818 4774 0 -1 1077944384 1205 636688 0 0 33 0 2151 115 20 0 22 0 510147209 8481841152 40332 33554432000 4194304 4196468 140734356584832 140175518722160 140176429656706 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15851520 140734356587512 140734356587670 140734356587670 140734356590543 0 [pid=5849/tid=5867] ppid=5818 vsize=8283048 memory=140231488719489 CPUtime=22.66 cores=0-7 /proc/5849/task/5867/stat : 5867 (java) S 5818 5818 4774 0 -1 1077944384 3 636688 0 0 0 0 2151 115 20 0 22 0 510147209 8481841152 40332 33554432000 4194304 4196468 140734356584832 140173908110304 140176429655765 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15851520 140734356587512 140734356587670 140734356587670 140734356590543 0 [pid=5849/tid=5868] ppid=5818 vsize=8283048 memory=7955724634285106792 CPUtime=22.66 cores=0-7 /proc/5849/task/5868/stat : 5868 (java) S 5818 5818 4774 0 -1 1077944384 3 636688 0 0 0 0 2151 115 20 0 22 0 510147209 8481841152 40332 33554432000 4194304 4196468 140734356584832 140175517670576 140176429656706 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15851520 140734356587512 140734356587670 140734356587670 140734356590543 0 [pid=5849/tid=5870] ppid=5818 vsize=8283048 memory=7595133181991872613 CPUtime=22.66 cores=0-7 /proc/5849/task/5870/stat : 5870 (java) S 5818 5818 4774 0 -1 1077944384 24 636688 0 0 0 0 2151 115 20 0 22 0 510147278 8481841152 40332 33554432000 4194304 4196468 140734356584832 140175509635728 140176429656706 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15851520 140734356587512 140734356587670 140734356587670 140734356590543 0 [pid=5849/tid=5874] ppid=5818 vsize=8283048 memory=3054156605268335525 CPUtime=22.66 cores=0-7 /proc/5849/task/5874/stat : 5874 (java) S 5818 5818 4774 0 -1 1077944384 6 636688 0 0 0 0 2151 115 20 0 22 0 510147280 8481841152 40332 33554432000 4194304 4196468 140734356584832 140172968583856 140176429656706 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15851520 140734356587512 140734356587670 140734356587670 140734356590543 0 Current children cumulated CPU time: 216.26 s Current children cumulated vsize: 8396176 KiB Current children cumulated memory: 162800 KiB Child status: 0 Real time (s): 158.033 CPU time (s): 216.322 CPU user time (s): 204.511 CPU system time (s): 11.811 CPU usage (%): 136.884 Max. virtual memory (cumulated for all children) (KiB): 27443924 Max. memory (cumulated for all children) (KiB): 9159492 getrusage(RUSAGE_CHILDREN,...) data: user time used= 204.511 system time used= 11.811 maximum resident set size= 9159196 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 751245 page faults= 0 swaps= 0 block input operations= 8 block output operations= 208816 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 47425 involuntary context switches= 601 # summary of solver processes directly reported to runsolver: # pid: 5818 # total CPU time (s): 216.322 # total CPU user time (s): 204.511 # total CPU system time (s): 11.811 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 1.07336 second user time and 1.56204 second system time The end
Begin job on node104 at 2019-09-24 16:15:43 IDJOB=4405432 IDBENCH=131296 IDSOLVER=2868 FILE ID=node104/4405432-1569338767 RUNJOBID= node104-1569331756-4801 PBS_JOBID= 21705071 Free space on /tmp= 9836 MiB SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-09-22) BENCH NAME= XCSP17/Subisomorphism/Subisomorphism-m1-SF/Subisomorphism-A-20.xml COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -hybrid DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4405432-1569338767/watcher-4405432-1569338767 -o /tmp/evaluation-result-4405432-1569338767/solver-4405432-1569338767 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node104-1569331756-4801 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405432-1569338767.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= c3d3968bb4d1a566be21f2b70665db2a RANDOM SEED=1091812113 node104.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 : 5334.09 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 : 5334.09 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 : 5334.09 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 : 5334.09 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: 25495440 kB MemAvailable: 31820632 kB Buffers: 97036 kB Cached: 6292288 kB SwapCached: 22644 kB Active: 3178064 kB Inactive: 3239108 kB Active(anon): 4996 kB Inactive(anon): 79852 kB Active(file): 3173068 kB Inactive(file): 3159256 kB Unevictable: 109704 kB Mlocked: 109704 kB SwapTotal: 67108860 kB SwapFree: 66986396 kB Dirty: 20816 kB Writeback: 0 kB AnonPages: 131544 kB Mapped: 57244 kB Shmem: 49032 kB Slab: 451056 kB SReclaimable: 421328 kB SUnreclaim: 29728 kB KernelStack: 3712 kB PageTables: 5700 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 506204 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 86016 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 124288 kB DirectMap2M: 33421312 kB Free space on /tmp at the end= 9812 MiB End job on node104 at 2019-09-24 16:18:22