Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
Fun-sCOP order+ManyGlucose (2019-09-22) | SAT | 222.233 | 159.289 |
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 -order -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-1303-serial-file.bin HOME/instance-4405132-1569338735.xml 0.66/0.55 0.66/0.55 Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15) 0.66/0.55 0.66/0.57 c BEGIN-Prog: Tue Sep 24 17:24:58 CEST 2019 0.66/0.57 c PID: 1306 0.66/0.57 c IP: 172.20.3.126 0.66/0.57 c HOST: node126.alineos.net 0.66/0.58 c (0,0) Parsing Begin 1.68/1.09 c (0,0) Parsing End 1.68/1.09 c (0,0) CSP: 180 int (0 aux), 0 bool (0 aux), 563 ctr, max domain size 200 1.68/1.09 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB) 1.68/1.09 c (0,0) Constraint Name Generate Begin 1.91/1.11 c (0,0) Ctr:HOME/instance-4405132-1569338735.xml,AllDifferent:ExtensionConflict:ExtensionSupport:Var 1.91/1.11 c (0,0) Constraint Name Generate End 1.91/1.11 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB) 1.91/1.11 c (0,0) CSP to CSPinCNF Begin 18.15/10.41 c (9,9) translated 57 (10%) constraints 28.54/18.83 c (18,17) translated 113 (20%) constraints 36.27/26.55 c (26,25) translated 169 (30%) constraints 44.11/34.37 c (33,33) translated 226 (40%) constraints 55.21/42.50 c (41,41) translated 282 (50%) constraints 62.94/50.15 c (49,48) translated 338 (60%) constraints 74.52/58.42 c (57,56) translated 395 (70%) constraints 82.15/66.09 c (65,64) translated 451 (80%) constraints 91.79/71.62 c (71,69) translated 507 (90%) constraints 91.79/71.64 c (71,69) translated 563 (100%) constraints 91.79/71.64 c (71,69) =========================================== 91.79/71.64 c (71,69) Order 91.79/71.64 c (71,69) =========================================== 96.28/74.62 c (74,72) translated 132181 (10%) constraints 99.06/77.32 c (76,74) translated 264362 (20%) constraints 101.66/80.00 c (79,77) translated 396543 (30%) constraints 104.37/82.69 c (82,80) translated 528724 (40%) constraints 107.07/85.38 c (84,83) translated 660905 (50%) constraints 109.77/88.09 c (87,85) translated 793086 (60%) constraints 112.47/90.79 c (90,88) translated 925267 (70%) constraints 124.01/94.62 c (94,91) translated 1057448 (80%) constraints 126.72/97.36 c (96,93) translated 1189629 (90%) constraints 129.49/100.10 c (99,96) translated 1321810 (100%) constraints 129.49/100.10 c (99,96) CSP to CSPinCNF End 129.64/100.13 c (99,96) CSP: 180 int (0 aux), 97000 bool (97000 aux), 1321810 ctr, max domain size 200 129.64/100.13 c (99,96) Heap : 3037 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB) 129.64/100.13 c (99,96) CSPinCNF Propagation Begin 152.32/110.73 c (110,105) 5705 values, 397423 unsatisfiable literals, and 359277 valid clauses are removed 152.32/110.73 c (110,105) CSPinCNF Propagation End 152.32/110.78 c (110,105) CSP: 180 int (0 aux), 97000 bool (97000 aux), 962533 ctr, max domain size 200 152.32/110.78 c (110,105) Heap : 1762 MiB used (max 21023 MiB), NonHeap : 30 MiB used (max 0 MiB) 152.32/110.79 c (110,105) Simplify CSPinCNF Begin 154.86/112.56 c (112,107) Simplify CSPinCNF End 154.96/112.60 c (112,107) CSP: 180 int (0 aux), 129220 bool (129220 aux), 994753 ctr, max domain size 200 154.96/112.60 c (112,107) Heap : 2941 MiB used (max 21023 MiB), NonHeap : 30 MiB used (max 0 MiB) 154.96/112.60 c (112,107) Calculate Precise Domain Begin 154.96/112.60 c (112,107) 0 values are removed by re-calculation 154.96/112.60 c (112,107) Calculate Precise Domain End 154.96/112.66 c (112,107) CSP: 180 int (0 aux), 129220 bool (129220 aux), 994753 ctr, max domain size 200 154.96/112.66 c (112,107) Heap : 2941 MiB used (max 21023 MiB), NonHeap : 30 MiB used (max 0 MiB) 154.96/112.66 c (112,107) CSPinCNF to SatSolver Begin 187.91/131.23 c (130,124) 99476 (10 %) CSP clauses are encoded (0 SAT variables, 3895957 SAT clauses) 188.96/132.20 c (131,125) 198951 (20 %) CSP clauses are encoded (0 SAT variables, 3995432 SAT clauses) 189.87/133.16 c (132,126) 298426 (30 %) CSP clauses are encoded (0 SAT variables, 4094907 SAT clauses) 190.88/134.12 c (133,127) 397902 (40 %) CSP clauses are encoded (0 SAT variables, 4194383 SAT clauses) 191.77/135.08 c (134,128) 497377 (50 %) CSP clauses are encoded (0 SAT variables, 4293858 SAT clauses) 193.55/136.15 c (135,129) 596852 (60 %) CSP clauses are encoded (0 SAT variables, 4393333 SAT clauses) 194.54/137.12 c (136,130) 696328 (70 %) CSP clauses are encoded (0 SAT variables, 4492809 SAT clauses) 195.45/138.09 c (137,131) 795803 (80 %) CSP clauses are encoded (0 SAT variables, 4592284 SAT clauses) 196.45/139.06 c (138,132) 895278 (90 %) CSP clauses are encoded (0 SAT variables, 4691759 SAT clauses) 197.44/140.01 c (139,132) 994753 (100 %) CSP clauses are encoded (0 SAT variables, 4791234 SAT clauses) 197.44/140.01 c (139,132) CSPinCNF to SatSolver End 197.44/140.01 c (139,132) Heap : 5340 MiB used (max 20025 MiB), NonHeap : 31 MiB used (max 0 MiB) 197.44/140.01 c (139,133) 150378 bool, 4791235 clause 197.44/140.01 c (139,133) Export Begin 197.62/140.12 c (139,133) Export to HOME/scop-1303-serial-file.bin 197.62/140.12 c (139,133) Export End 197.62/140.12 c (139,133) Export File Size: 0.04 MB 197.62/140.12 c (139,133) 0,0,99,110,112,112,139,STOP-AFTER(DIMACS) 197.62/140.12 c END-Prog: Tue Sep 24 17:27:17 CEST 2019 197.62/140.18 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-1303-serial-file.bin 197.72/140.64 c (0,0) Read Serial File Begin 197.72/140.64 c (0,0) HOME/scop-1303-serial-file.bin 197.72/140.87 c (0,0) Read Serial File End 197.72/140.88 197.72/140.88 Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15) 197.72/140.88 (Solving Process) 197.72/140.88 197.72/140.91 c BEGIN-Prog: Tue Sep 24 17:27:18 CEST 2019 197.72/140.91 c PID: 1338 197.72/140.91 c IP: 172.20.3.126 197.72/140.91 c HOST: node126.alineos.net 197.72/140.91 c (0,0) SatSolver.solve Begin 197.72/140.91 c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405132-1569338735.xml-scop-1306.cnf 197.72/140.94 c (0,0) c 197.72/140.94 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) 197.72/140.94 c (0,0) c 197.72/140.94 c (0,0) c WARNING: for repeatability, setting FPU to use double precision 197.72/140.94 c (0,0) c 8 solvers engines and 1 companion as a blackboard created. 197.72/140.94 c (0,0) c ========================================[ Problem Statistics ]=========================================== 197.72/140.94 c (0,0) c | | 200.49/142.50 c (1,0) c | Number of variables: 150378 | 200.49/142.50 c (1,0) c | Number of clauses: 4791235 | 200.49/142.50 c (1,0) c | Parse time: 1.43 s | 200.49/142.50 c (1,0) c | | 214.90/156.93 c (16,0) c | Simplification time: 14.22 s | 214.90/156.93 c (16,0) c | | 214.90/156.93 c (16,0) c | Generating clones | 215.91/157.91 c (17,0) c | all clones generated. Memory = 2468.30Mb. | 215.91/157.91 c (17,0) c ========================================================================================================| 215.91/157.91 c (17,0) c 215.91/157.91 c (17,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 215.91/157.91 c (17,0) c 215.91/157.91 c (17,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 215.91/157.91 c (17,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 215.91/157.91 c (17,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 215.91/157.91 c (17,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 215.91/157.91 c (17,0) c | adaptStrategeis | True | False | True | False | True | False | True | False | 215.91/157.91 c (17,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 215.91/157.91 c (17,0) c | Initial random_seed | 91648253 | 91648254 | 91648255 | 91648256 | 91648257 | 91648258 | 91648259 | 91648260 | 215.91/157.91 c (17,0) c | chanseokStrategy | False | False | False | False | False | False | False | False | 215.91/157.91 c (17,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 215.91/157.91 c (17,0) c | glureduce | True | True | True | True | True | True | True | True | 215.91/157.91 c (17,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 215.91/157.91 c (17,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 215.91/157.91 c (17,0) c | luby_restart | False | False | False | False | False | False | False | False | 215.91/157.91 c (17,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 215.91/157.91 c (17,0) c | var_decay | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 215.91/157.91 c (17,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 215.91/157.91 c (17,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 215.91/157.91 c (17,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 215.91/157.91 c (17,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 221.29/158.95 c (18,0) c 221.29/158.95 c (18,0) c real time : 18.017 s 221.29/158.95 c (18,0) c cpu time : 21.3132 s 221.29/158.95 c (18,0) c 221.29/158.95 c (18,0) c 221.29/158.95 c (18,0) c 221.29/158.95 c (18,0) c |---------------------------------------- FINAL STATS --------------------------------------------------| 221.29/158.95 c (18,0) c 221.29/158.95 c (18,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 221.29/158.95 c (18,0) c | Threads | Total | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 221.29/158.95 c (18,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 221.29/158.95 c (18,0) c | Conflicts | 918 | 55 | 207 | 93 | 281 | 160 | 30 | 13 | 79 | 221.29/158.95 c (18,0) c | Decisions | 2090 | 100 | 461 | 254 | 481 | 266 | 170 | 108 | 250 | 221.29/158.95 c (18,0) c | Propagations | 2631013 | 210224 | 453033 | 331108 | 613202 | 436971 | 191485 | 156533 | 238457 | 221.29/158.95 c (18,0) c | ReduceDBs | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 221.29/158.95 c (18,0) c | SimpDBs | 8 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 221.29/158.95 c (18,0) c | Restarts | 8 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 221.29/158.95 c (18,0) c | ForcedImports | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 221.29/158.95 c (18,0) c | PropBinClauses| 3061300 | 199861 | 564243 | 383744 | 838821 | 485032 | 170062 | 167807 | 251730 | 221.29/158.95 c (18,0) c | PropPreBlocker| 60471484 | 6076961 | 9099244 | 7949326 | 10425500 | 7884496 | 6263416 | 6028582 | 6743959 | 221.29/158.95 c (18,0) c | PropNotBlocker| 32873673 | 3323890 | 5117060 | 4479628 | 5236144 | 4234658 | 3475394 | 3221083 | 3785816 | 221.29/158.95 c (18,0) c | LitFullScans | 98587315 | 9769127 | 15183641 | 13110470 | 17015355 | 12923960 | 10070251 | 9551270 | 10963241 | 221.29/158.95 c (18,0) c | LitScanFracts | 10607 | 1632 | 574 | 1034 | 30 | 1592 | 1051 | 2571 | 2123 | 221.29/158.95 c (18,0) c | DecisionLevel0| 23 | 4 | 2 | 4 | 3 | 3 | 2 | 2 | 3 | 221.29/158.95 c (18,0) c | Periods | 12 | 1 | 2 | 2 | 2 | 2 | 1 | 1 | 1 | 221.29/158.95 c (18,0) c | Margin | 160 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 221.29/158.95 c (18,0) c | Avg_Trail | | 3585 | 4885 | 5406 | 7718 | 5426 | 5186 | 7603 | 5371 | 221.29/158.95 c (18,0) c | Avg_DL | | 5 | 21 | 8 | 40 | 28 | 21 | 39 | 34 | 221.29/158.95 c (18,0) c | Avg_Res | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 221.29/158.95 c (18,0) c | Avg_Res_Seen | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 221.29/158.95 c (18,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 221.29/158.95 c (18,0) c | Exported | 169 | 11 | 42 | 27 | 36 | 33 | 10 | 5 | 5 | 221.29/158.95 c (18,0) c | Imported | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 221.29/158.95 c (18,0) c | Good | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 221.29/158.95 c (18,0) c | Purge | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 221.29/158.95 c (18,0) c | Promoted | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 221.29/158.95 c (18,0) c | Remove_Imp | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 221.29/158.95 c (18,0) c | Blocked_Reuse | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 221.29/158.95 c (18,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 221.29/158.95 c (18,0) c | Unaries | | 3 | 1 | 3 | 2 | 2 | 1 | 1 | 2 | 221.29/158.95 c (18,0) c | Binaries | | 6 | 19 | 10 | 13 | 12 | 3 | 1 | 2 | 221.29/158.95 c (18,0) c | Glues | | 11 | 42 | 27 | 36 | 33 | 10 | 5 | 5 | 221.29/158.95 c (18,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 221.29/158.95 c (18,0) c | Orig_Seen | 0 % | 1768 | 6079 | 6229 | 6156 | 3712 | 2734 | 1155 | 1185 | 221.29/158.95 c (18,0) c | Diff Orig seen| | X | 4311 | 4461 | 4388 | 1944 | 966 | - 613 | - 583 | 221.29/158.95 c (18,0) c | Hamming | 1 % | X | 15874 | 63 | 44 | 38 | 40 | 40 | 75 | 221.29/158.95 c (18,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 221.29/158.95 c (18,0) c | RunningTime | | 0.7 100%| 1.0 100%| 0.8 100%| 1.0 100%| 0.8 100%| 0.7 100%| 0.7 100%| 0.7 100%| 221.29/158.95 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%| 221.29/158.95 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%| 221.29/158.95 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%| 221.29/158.95 c (18,0) c | SolvingTime | | 0.7 | 1.0 | 0.8 | 1.0 | 0.8 | 0.7 | 0.7 | 0.7 | 221.29/158.95 c (18,0) c | PropagationTim| | 0.6 99%| 1.0 98%| 0.8 99%| 1.0 97%| 0.8 99%| 0.7 99%| 0.7 100%| 0.7 99%| 221.29/158.95 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%| 221.29/158.95 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%| 221.29/158.95 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%| 221.29/158.95 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%| 221.29/158.95 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%| 221.29/158.95 c (18,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 221.29/158.95 c (18,0) c 221.29/158.95 c (18,0) c 221.29/158.95 c (18,0) c Threads : 8 221.29/158.95 c (18,0) c Winner : 0 221.29/158.95 c (18,0) c Conflicts_0 : 55 221.29/158.95 c (18,0) c Conflicts_1 : 207 221.29/158.95 c (18,0) c Conflicts_2 : 93 221.29/158.95 c (18,0) c Conflicts_3 : 281 221.29/158.95 c (18,0) c Conflicts_4 : 160 221.29/158.95 c (18,0) c Conflicts_5 : 30 221.29/158.95 c (18,0) c Conflicts_6 : 13 221.29/158.95 c (18,0) c Conflicts_7 : 79 221.29/158.95 c (18,0) c Conflicts_total : 918 221.29/158.95 c (18,0) c Conflicts_winner : 55 221.29/158.95 c (18,0) c Decisions_0 : 100 221.29/158.95 c (18,0) c Decisions_1 : 461 221.29/158.95 c (18,0) c Decisions_2 : 254 221.29/158.95 c (18,0) c Decisions_3 : 481 221.29/158.95 c (18,0) c Decisions_4 : 266 221.29/158.95 c (18,0) c Decisions_5 : 170 221.29/158.95 c (18,0) c Decisions_6 : 108 221.29/158.95 c (18,0) c Decisions_7 : 250 221.29/158.95 c (18,0) c Decisions_total : 2090 221.29/158.95 c (18,0) c Decisions_winner : 100 221.29/158.95 c (18,0) c Propagations_0 : 210224 221.29/158.95 c (18,0) c Propagations_1 : 453033 221.29/158.95 c (18,0) c Propagations_2 : 331108 221.29/158.95 c (18,0) c Propagations_3 : 613202 221.29/158.95 c (18,0) c Propagations_4 : 436971 221.29/158.95 c (18,0) c Propagations_5 : 191485 221.29/158.95 c (18,0) c Propagations_6 : 156533 221.29/158.95 c (18,0) c Propagations_7 : 238457 221.29/158.95 c (18,0) c Propagations_total : 2631013 221.29/158.95 c (18,0) c Propagations_winner : 210224 221.29/158.95 c (18,0) c ReduceDBs_0 : 0 221.29/158.95 c (18,0) c ReduceDBs_1 : 0 221.29/158.96 c (18,0) c ReduceDBs_2 : 0 221.29/158.96 c (18,0) c ReduceDBs_3 : 0 221.29/158.96 c (18,0) c ReduceDBs_4 : 0 221.29/158.96 c (18,0) c ReduceDBs_5 : 0 221.29/158.96 c (18,0) c ReduceDBs_6 : 0 221.29/158.96 c (18,0) c ReduceDBs_7 : 0 221.29/158.96 c (18,0) c ReduceDBs_total : 0 221.29/158.96 c (18,0) c ReduceDBs_winner : 0 221.29/158.96 c (18,0) c SimpDBs_0 : 1 221.29/158.96 c (18,0) c SimpDBs_1 : 1 221.29/158.96 c (18,0) c SimpDBs_2 : 1 221.29/158.96 c (18,0) c SimpDBs_3 : 1 221.29/158.96 c (18,0) c SimpDBs_4 : 1 221.29/158.96 c (18,0) c SimpDBs_5 : 1 221.29/158.96 c (18,0) c SimpDBs_6 : 1 221.29/158.96 c (18,0) c SimpDBs_7 : 1 221.29/158.96 c (18,0) c SimpDBs_total : 8 221.29/158.96 c (18,0) c SimpDBs_winner : 1 221.29/158.96 c (18,0) c Restarts_0 : 1 221.29/158.96 c (18,0) c Restarts_1 : 1 221.29/158.96 c (18,0) c Restarts_2 : 1 221.29/158.96 c (18,0) c Restarts_3 : 1 221.29/158.96 c (18,0) c Restarts_4 : 1 221.29/158.96 c (18,0) c Restarts_5 : 1 221.29/158.96 c (18,0) c Restarts_6 : 1 221.29/158.96 c (18,0) c Restarts_7 : 1 221.29/158.96 c (18,0) c Restarts_total : 8 221.29/158.96 c (18,0) c Restarts_winner : 1 221.29/158.96 c (18,0) c ForcedImports_0 : 0 221.29/158.96 c (18,0) c ForcedImports_1 : 0 221.29/158.96 c (18,0) c ForcedImports_2 : 0 221.29/158.96 c (18,0) c ForcedImports_3 : 0 221.29/158.96 c (18,0) c ForcedImports_4 : 0 221.29/158.96 c (18,0) c ForcedImports_5 : 0 221.29/158.96 c (18,0) c ForcedImports_6 : 0 221.29/158.96 c (18,0) c ForcedImports_7 : 0 221.29/158.96 c (18,0) c ForcedImports_total : 0 221.29/158.96 c (18,0) c ForcedImports_winner : 0 221.29/158.96 c (18,0) c PropsBinClauses_0 : 199861 221.29/158.96 c (18,0) c PropsBinClauses_1 : 564243 221.29/158.96 c (18,0) c PropsBinClauses_2 : 383744 221.29/158.96 c (18,0) c PropsBinClauses_3 : 838821 221.29/158.96 c (18,0) c PropsBinClauses_4 : 485032 221.29/158.96 c (18,0) c PropsBinClauses_5 : 170062 221.29/158.96 c (18,0) c PropsBinClauses_6 : 167807 221.29/158.96 c (18,0) c PropsBinClauses_7 : 251730 221.29/158.96 c (18,0) c PropsBinClauses_total : 3061300 221.29/158.96 c (18,0) c PropsBinClauses_winner : 199861 221.29/158.96 c (18,0) c PropsPreBlocker_0 : 6076961 221.29/158.96 c (18,0) c PropsPreBlocker_1 : 9099244 221.29/158.96 c (18,0) c PropsPreBlocker_2 : 7949326 221.29/158.96 c (18,0) c PropsPreBlocker_3 : 10425500 221.29/158.96 c (18,0) c PropsPreBlocker_4 : 7884496 221.29/158.96 c (18,0) c PropsPreBlocker_5 : 6263416 221.29/158.96 c (18,0) c PropsPreBlocker_6 : 6028582 221.29/158.96 c (18,0) c PropsPreBlocker_7 : 6743959 221.29/158.96 c (18,0) c PropsPreBlocker_total : 60471484 221.29/158.96 c (18,0) c PropsPreBlocker_winner : 6076961 221.29/158.96 c (18,0) c PropsNotBlocker_0 : 3323890 221.29/158.96 c (18,0) c PropsNotBlocker_1 : 5117060 221.29/158.96 c (18,0) c PropsNotBlocker_2 : 4479628 221.29/158.96 c (18,0) c PropsNotBlocker_3 : 5236144 221.29/158.96 c (18,0) c PropsNotBlocker_4 : 4234658 221.29/158.96 c (18,0) c PropsNotBlocker_5 : 3475394 221.29/158.96 c (18,0) c PropsNotBlocker_6 : 3221083 221.29/158.96 c (18,0) c PropsNotBlocker_7 : 3785816 221.29/158.96 c (18,0) c PropsNotBlocker_total : 32873673 221.29/158.96 c (18,0) c PropsNotBlocker_winner : 3323890 221.29/158.96 c (18,0) c PropsLitFullScans_0 : 9769127 221.29/158.96 c (18,0) c PropsLitFullScans_1 : 15183641 221.29/158.96 c (18,0) c PropsLitFullScans_2 : 13110470 221.29/158.96 c (18,0) c PropsLitFullScans_3 : 17015355 221.29/158.96 c (18,0) c PropsLitFullScans_4 : 12923960 221.29/158.96 c (18,0) c PropsLitFullScans_5 : 10070251 221.29/158.96 c (18,0) c PropsLitFullScans_6 : 9551270 221.29/158.96 c (18,0) c PropsLitFullScans_7 : 10963241 221.29/158.96 c (18,0) c PropsLitFullScans_total : 98587315 221.29/158.96 c (18,0) c PropsLitFullScans_winner : 9769127 221.29/158.96 c (18,0) c LitScanFractions_0 : 1632 221.29/158.96 c (18,0) c LitScanFractions_1 : 574 221.29/158.96 c (18,0) c LitScanFractions_2 : 1034 221.29/158.96 c (18,0) c LitScanFractions_3 : 30 221.29/158.96 c (18,0) c LitScanFractions_4 : 1592 221.29/158.96 c (18,0) c LitScanFractions_5 : 1051 221.29/158.96 c (18,0) c LitScanFractions_6 : 2571 221.29/158.96 c (18,0) c LitScanFractions_7 : 2123 221.29/158.96 c (18,0) c LitScanFractions_total : 10607 221.29/158.96 c (18,0) c LitScanFractions_winner : 1632 221.29/158.96 c (18,0) c DecisionLevel0_0 : 4 221.29/158.96 c (18,0) c DecisionLevel0_1 : 2 221.29/158.96 c (18,0) c DecisionLevel0_2 : 4 221.29/158.96 c (18,0) c DecisionLevel0_3 : 3 221.29/158.96 c (18,0) c DecisionLevel0_4 : 3 221.29/158.96 c (18,0) c DecisionLevel0_5 : 2 221.29/158.96 c (18,0) c DecisionLevel0_6 : 2 221.29/158.96 c (18,0) c DecisionLevel0_7 : 3 221.29/158.96 c (18,0) c DecisionLevel0_total : 23 221.29/158.96 c (18,0) c DecisionLevel0_winner : 4 221.29/158.96 c (18,0) c Periods_0 : 1 221.29/158.96 c (18,0) c Periods_1 : 2 221.29/158.96 c (18,0) c Periods_2 : 2 221.29/158.96 c (18,0) c Periods_3 : 2 221.29/158.96 c (18,0) c Periods_4 : 2 221.29/158.96 c (18,0) c Periods_5 : 1 221.29/158.96 c (18,0) c Periods_6 : 1 221.29/158.96 c (18,0) c Periods_7 : 1 221.29/158.96 c (18,0) c Periods_total : 12 221.29/158.96 c (18,0) c Periods_winner : 1 221.29/158.96 c (18,0) c Margin_0 : 20 221.29/158.96 c (18,0) c Margin_1 : 20 221.29/158.96 c (18,0) c Margin_2 : 20 221.29/158.96 c (18,0) c Margin_3 : 20 221.29/158.96 c (18,0) c Margin_4 : 20 221.29/158.96 c (18,0) c Margin_5 : 20 221.29/158.96 c (18,0) c Margin_6 : 20 221.29/158.96 c (18,0) c Margin_7 : 20 221.29/158.96 c (18,0) c Margin_total : 160 221.29/158.96 c (18,0) c Margin_winner : 20 221.29/158.96 c (18,0) c Exported_0 : 11 221.29/158.96 c (18,0) c Exported_1 : 42 221.29/158.96 c (18,0) c Exported_2 : 27 221.29/158.96 c (18,0) c Exported_3 : 36 221.29/158.96 c (18,0) c Exported_4 : 33 221.29/158.96 c (18,0) c Exported_5 : 10 221.29/158.96 c (18,0) c Exported_6 : 5 221.29/158.96 c (18,0) c Exported_7 : 5 221.29/158.96 c (18,0) c Exported_total : 169 221.29/158.96 c (18,0) c Exported_winner : 11 221.29/158.96 c (18,0) c Imported_0 : 0 221.29/158.96 c (18,0) c Imported_1 : 0 221.29/158.96 c (18,0) c Imported_2 : 0 221.29/158.96 c (18,0) c Imported_3 : 0 221.29/158.96 c (18,0) c Imported_4 : 0 221.29/158.96 c (18,0) c Imported_5 : 0 221.29/158.96 c (18,0) c Imported_6 : 0 221.29/158.96 c (18,0) c Imported_7 : 0 221.29/158.96 c (18,0) c Imported_total : 0 221.29/158.96 c (18,0) c Imported_winner : 0 221.29/158.96 c (18,0) c Good_0 : 0 221.29/158.96 c (18,0) c Good_1 : 0 221.29/158.96 c (18,0) c Good_2 : 0 221.29/158.96 c (18,0) c Good_3 : 0 221.29/158.96 c (18,0) c Good_4 : 0 221.29/158.96 c (18,0) c Good_5 : 0 221.29/158.96 c (18,0) c Good_6 : 0 221.29/158.96 c (18,0) c Good_7 : 0 221.29/158.96 c (18,0) c Good_total : 0 221.29/158.96 c (18,0) c Good_winner : 0 221.29/158.96 c (18,0) c Purge_0 : 0 221.29/158.96 c (18,0) c Purge_1 : 0 221.29/158.96 c (18,0) c Purge_2 : 0 221.29/158.96 c (18,0) c Purge_3 : 0 221.29/158.96 c (18,0) c Purge_4 : 0 221.29/158.96 c (18,0) c Purge_5 : 0 221.29/158.96 c (18,0) c Purge_6 : 0 221.29/158.96 c (18,0) c Purge_7 : 0 221.29/158.96 c (18,0) c Purge_total : 0 221.29/158.96 c (18,0) c Purge_winner : 0 221.29/158.96 c (18,0) c Promoted_0 : 0 221.29/158.96 c (18,0) c Promoted_1 : 0 221.29/158.96 c (18,0) c Promoted_2 : 0 221.29/158.96 c (18,0) c Promoted_3 : 0 221.29/158.96 c (18,0) c Promoted_4 : 0 221.29/158.96 c (18,0) c Promoted_5 : 0 221.29/158.96 c (18,0) c Promoted_6 : 0 221.29/158.96 c (18,0) c Promoted_7 : 0 221.29/158.96 c (18,0) c Promoted_total : 0 221.29/158.96 c (18,0) c Promoted_winner : 0 221.29/158.96 c (18,0) c Remove_Imp_0 : 0 221.29/158.96 c (18,0) c Remove_Imp_1 : 0 221.29/158.96 c (18,0) c Remove_Imp_2 : 0 221.29/158.96 c (18,0) c Remove_Imp_3 : 0 221.29/158.96 c (18,0) c Remove_Imp_4 : 0 221.29/158.96 c (18,0) c Remove_Imp_5 : 0 221.29/158.96 c (18,0) c Remove_Imp_6 : 0 221.29/158.96 c (18,0) c Remove_Imp_7 : 0 221.29/158.96 c (18,0) c Remove_Imp_total : 0 221.29/158.96 c (18,0) c Remove_Imp_winner : 0 221.29/158.96 c (18,0) c Blocked_Reuse_0 : 0 221.29/158.96 c (18,0) c Blocked_Reuse_1 : 0 221.29/158.96 c (18,0) c Blocked_Reuse_2 : 0 221.29/158.96 c (18,0) c Blocked_Reuse_3 : 0 221.29/158.96 c (18,0) c Blocked_Reuse_4 : 0 221.29/158.96 c (18,0) c Blocked_Reuse_5 : 0 221.29/158.96 c (18,0) c Blocked_Reuse_6 : 0 221.29/158.96 c (18,0) c Blocked_Reuse_7 : 0 221.29/158.96 c (18,0) c Blocked_Reuse_total : 0 221.29/158.96 c (18,0) c Blocked_Reuse_winner : 0 221.29/158.96 c (18,0) c Unaries_0 : 3 221.29/158.96 c (18,0) c Unaries_1 : 1 221.29/158.96 c (18,0) c Unaries_2 : 3 221.29/158.96 c (18,0) c Unaries_3 : 2 221.29/158.96 c (18,0) c Unaries_4 : 2 221.29/158.96 c (18,0) c Unaries_5 : 1 221.29/158.96 c (18,0) c Unaries_6 : 1 221.29/158.96 c (18,0) c Unaries_7 : 2 221.29/158.96 c (18,0) c Unaries_total : 15 221.29/158.96 c (18,0) c Unaries_winner : 3 221.29/158.96 c (18,0) c Binaries_0 : 6 221.29/158.96 c (18,0) c Binaries_1 : 19 221.29/158.96 c (18,0) c Binaries_2 : 10 221.29/158.96 c (18,0) c Binaries_3 : 13 221.29/158.96 c (18,0) c Binaries_4 : 12 221.29/158.96 c (18,0) c Binaries_5 : 3 221.29/158.96 c (18,0) c Binaries_6 : 1 221.29/158.96 c (18,0) c Binaries_7 : 2 221.29/158.96 c (18,0) c Binaries_total : 66 221.29/158.96 c (18,0) c Binaries_winner : 6 221.29/158.96 c (18,0) c Glues_0 : 11 221.29/158.96 c (18,0) c Glues_1 : 42 221.29/158.96 c (18,0) c Glues_2 : 27 221.29/158.96 c (18,0) c Glues_3 : 36 221.29/158.96 c (18,0) c Glues_4 : 33 221.29/158.96 c (18,0) c Glues_5 : 10 221.29/158.96 c (18,0) c Glues_6 : 5 221.29/158.96 c (18,0) c Glues_7 : 5 221.29/158.96 c (18,0) c Glues_total : 169 221.29/158.96 c (18,0) c Glues_winner : 11 221.29/158.96 c (18,0) c RunningTime_0 : 0.651134 221.29/158.96 c (18,0) c RunningTime_1 : 0.979320 221.29/158.96 c (18,0) c RunningTime_2 : 0.788300 221.29/158.96 c (18,0) c RunningTime_3 : 1.030710 221.29/158.96 c (18,0) c RunningTime_4 : 0.767966 221.29/158.96 c (18,0) c RunningTime_5 : 0.729406 221.29/158.96 c (18,0) c RunningTime_6 : 0.697123 221.29/158.96 c (18,0) c RunningTime_7 : 0.698631 221.29/158.96 c (18,0) c RunningTime_total : 6.342589 221.29/158.96 c (18,0) c RunningTime_winner : 0.651134 221.29/158.96 c (18,0) c WaitingTime_0 : 0.000000 221.29/158.96 c (18,0) c WaitingTime_1 : 0.000000 221.29/158.96 c (18,0) c WaitingTime_2 : 0.000000 221.29/158.96 c (18,0) c WaitingTime_3 : 0.000000 221.29/158.96 c (18,0) c WaitingTime_4 : 0.000000 221.29/158.96 c (18,0) c WaitingTime_5 : 0.000000 221.29/158.96 c (18,0) c WaitingTime_6 : 0.000000 221.29/158.96 c (18,0) c WaitingTime_7 : 0.000000 221.29/158.96 c (18,0) c WaitingTime_total : 0.000000 221.29/158.96 c (18,0) c WaitingTime_winner : 0.000000 221.29/158.96 c (18,0) c ExchangingTime_0 : 0.000041 221.29/158.96 c (18,0) c ExchangingTime_1 : 0.000132 221.29/158.96 c (18,0) c ExchangingTime_2 : 0.000075 221.29/158.96 c (18,0) c ExchangingTime_3 : 0.000141 221.29/158.96 c (18,0) c ExchangingTime_4 : 0.000122 221.29/158.96 c (18,0) c ExchangingTime_5 : 0.000052 221.29/158.96 c (18,0) c ExchangingTime_6 : 0.000010 221.29/158.96 c (18,0) c ExchangingTime_7 : 0.000026 221.29/158.96 c (18,0) c ExchangingTime_total : 0.000600 221.29/158.96 c (18,0) c ExchangingTime_winner : 0.000041 221.29/158.96 c (18,0) c PeriodProcTime_0 : 0.000014 221.29/158.96 c (18,0) c PeriodProcTime_1 : 0.000036 221.29/158.96 c (18,0) c PeriodProcTime_2 : 0.000024 221.29/158.96 c (18,0) c PeriodProcTime_3 : 0.000029 221.29/158.96 c (18,0) c PeriodProcTime_4 : 0.000063 221.29/158.96 c (18,0) c PeriodProcTime_5 : 0.000021 221.29/158.96 c (18,0) c PeriodProcTime_6 : 0.000020 221.29/158.96 c (18,0) c PeriodProcTime_7 : 0.000014 221.29/158.96 c (18,0) c PeriodProcTime_total : 0.000221 221.29/158.96 c (18,0) c PeriodProcTime_winner : 0.000014 221.29/158.96 c (18,0) c SolvingTime_0 : 0.651188 221.29/158.96 c (18,0) c SolvingTime_1 : 0.979488 221.29/158.96 c (18,0) c SolvingTime_2 : 0.788399 221.29/158.96 c (18,0) c SolvingTime_3 : 1.030879 221.29/158.96 c (18,0) c SolvingTime_4 : 0.768150 221.29/158.96 c (18,0) c SolvingTime_5 : 0.729480 221.29/158.96 c (18,0) c SolvingTime_6 : 0.697154 221.29/158.96 c (18,0) c SolvingTime_7 : 0.698672 221.29/158.96 c (18,0) c SolvingTime_total : 6.343410 221.29/158.96 c (18,0) c SolvingTime_winner : 0.651188 221.29/158.96 c (18,0) c PropagationTime_0 : 0.645693 221.29/158.96 c (18,0) c PropagationTime_1 : 0.959304 221.29/158.96 c (18,0) c PropagationTime_2 : 0.777891 221.29/158.96 c (18,0) c PropagationTime_3 : 1.000696 221.29/158.96 c (18,0) c PropagationTime_4 : 0.756661 221.29/158.96 c (18,0) c PropagationTime_5 : 0.725577 221.29/158.96 c (18,0) c PropagationTime_6 : 0.695139 221.29/158.96 c (18,0) c PropagationTime_7 : 0.694217 221.29/158.96 c (18,0) c PropagationTime_total : 6.255179 221.29/158.96 c (18,0) c PropagationTime_winner : 0.645693 221.29/158.96 c (18,0) c AnalysisTime_0 : 0.001487 221.29/158.96 c (18,0) c AnalysisTime_1 : 0.009822 221.29/158.96 c (18,0) c AnalysisTime_2 : 0.005576 221.29/158.96 c (18,0) c AnalysisTime_3 : 0.014174 221.29/158.96 c (18,0) c AnalysisTime_4 : 0.004958 221.29/158.96 c (18,0) c AnalysisTime_5 : 0.002235 221.29/158.96 c (18,0) c AnalysisTime_6 : 0.000886 221.29/158.96 c (18,0) c AnalysisTime_7 : 0.001820 221.29/158.96 c (18,0) c AnalysisTime_total : 0.040958 221.29/158.96 c (18,0) c AnalysisTime_winner : 0.001487 221.29/158.96 c (18,0) c ReductionTime_0 : 0.000000 221.29/158.96 c (18,0) c ReductionTime_1 : 0.000000 221.29/158.96 c (18,0) c ReductionTime_2 : 0.000000 221.29/158.96 c (18,0) c ReductionTime_3 : 0.000000 221.29/158.96 c (18,0) c ReductionTime_4 : 0.000000 221.29/158.96 c (18,0) c ReductionTime_5 : 0.000000 221.29/158.96 c (18,0) c ReductionTime_6 : 0.000000 221.29/158.96 c (18,0) c ReductionTime_7 : 0.000000 221.29/158.96 c (18,0) c ReductionTime_total : 0.000000 221.29/158.96 c (18,0) c ReductionTime_winner : 0.000000 221.29/158.96 c (18,0) c SimplifyTime_0 : 0.000000 221.29/158.96 c (18,0) c SimplifyTime_1 : 0.000000 221.29/158.96 c (18,0) c SimplifyTime_2 : 0.000000 221.29/158.96 c (18,0) c SimplifyTime_3 : 0.000000 221.29/158.96 c (18,0) c SimplifyTime_4 : 0.000001 221.29/158.96 c (18,0) c SimplifyTime_5 : 0.000000 221.29/158.96 c (18,0) c SimplifyTime_6 : 0.000000 221.29/158.97 c (18,0) c SimplifyTime_7 : 0.000000 221.29/158.97 c (18,0) c SimplifyTime_total : 0.000001 221.29/158.97 c (18,0) c SimplifyTime_winner : 0.000000 221.29/158.97 c (18,0) c UsedRateTime_0 : 0.000000 221.29/158.97 c (18,0) c UsedRateTime_1 : 0.000000 221.29/158.97 c (18,0) c UsedRateTime_2 : 0.000000 221.29/158.97 c (18,0) c UsedRateTime_3 : 0.000000 221.29/158.97 c (18,0) c UsedRateTime_4 : 0.000000 221.29/158.97 c (18,0) c UsedRateTime_5 : 0.000000 221.29/158.97 c (18,0) c UsedRateTime_6 : 0.000000 221.29/158.97 c (18,0) c UsedRateTime_7 : 0.000000 221.29/158.97 c (18,0) c UsedRateTime_total : 0.000000 221.29/158.97 c (18,0) c UsedRateTime_winner : 0.000000 221.29/158.97 c (18,0) c OverlapRateTime_0 : 0.000000 221.29/158.97 c (18,0) c OverlapRateTime_1 : 0.000000 221.29/158.97 c (18,0) c OverlapRateTime_2 : 0.000000 221.29/158.97 c (18,0) c OverlapRateTime_3 : 0.000000 221.29/158.97 c (18,0) c OverlapRateTime_4 : 0.000000 221.29/158.97 c (18,0) c OverlapRateTime_5 : 0.000000 221.29/158.97 c (18,0) c OverlapRateTime_6 : 0.000000 221.29/158.97 c (18,0) c OverlapRateTime_7 : 0.000000 221.29/158.97 c (18,0) c OverlapRateTime_total : 0.000000 221.29/158.97 c (18,0) c OverlapRateTime_winner : 0.000000 221.29/158.97 c (18,0) c 221.29/158.97 c (18,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 221.29/158.97 c (18,0) c 221.29/158.97 c (18,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 221.29/158.97 c (18,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 221.29/158.97 c (18,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 221.29/158.97 c (18,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 221.29/158.97 c (18,0) c | adaptStrategeis | True | False | True | False | True | False | True | False | 221.29/158.97 c (18,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 221.29/158.97 c (18,0) c | Initial random_seed | 1955997034 | 1649264595 | 1947758402 | 1230290352 | 1377101331 | 1973543584 | 1487668017 | 1646618488 | 221.29/158.97 c (18,0) c | chanseokStrategy | False | False | False | False | False | False | False | False | 221.29/158.97 c (18,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 221.29/158.97 c (18,0) c | glureduce | True | True | True | True | True | True | True | True | 221.29/158.97 c (18,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 221.29/158.97 c (18,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 221.29/158.97 c (18,0) c | luby_restart | False | False | False | False | False | False | False | False | 221.29/158.97 c (18,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 221.29/158.97 c (18,0) c | var_decay | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 221.29/158.97 c (18,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 221.29/158.97 c (18,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 221.29/158.97 c (18,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 221.29/158.97 c (18,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 221.29/158.97 c (18,0) 221.29/158.97 c (18,0) s SATISFIABLE 199.10/159.10 c (18,0) SatSolver.solve End 199.10/159.10 c (18,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB) 199.10/159.10 c (18,0) Show results Begin 222.05/159.24 c (18,0) x[0] = 136 222.05/159.24 c (18,0) x[1] = 138 222.05/159.24 c (18,0) x[2] = 168 222.05/159.24 c (18,0) x[3] = 182 222.05/159.24 c (18,0) x[4] = 2 222.05/159.24 c (18,0) x[5] = 167 222.05/159.24 c (18,0) x[6] = 173 222.05/159.24 c (18,0) x[7] = 171 222.05/159.24 c (18,0) x[8] = 97 222.05/159.24 c (18,0) x[9] = 3 222.05/159.24 c (18,0) x[10] = 11 222.05/159.24 c (18,0) x[11] = 128 222.05/159.24 c (18,0) x[12] = 148 222.05/159.24 c (18,0) x[13] = 186 222.05/159.24 c (18,0) x[14] = 21 222.05/159.24 c (18,0) x[15] = 131 222.05/159.24 c (18,0) x[16] = 135 222.05/159.24 c (18,0) x[17] = 71 222.05/159.24 c (18,0) x[18] = 98 222.05/159.24 c (18,0) x[19] = 35 222.05/159.24 c (18,0) x[20] = 1 222.05/159.24 c (18,0) x[21] = 73 222.05/159.24 c (18,0) x[22] = 81 222.05/159.24 c (18,0) x[23] = 31 222.05/159.24 c (18,0) x[24] = 157 222.05/159.24 c (18,0) x[25] = 20 222.05/159.24 c (18,0) x[26] = 80 222.05/159.24 c (18,0) x[27] = 91 222.05/159.24 c (18,0) x[28] = 188 222.05/159.24 c (18,0) x[29] = 33 222.05/159.24 c (18,0) x[30] = 107 222.05/159.24 c (18,0) x[31] = 30 222.05/159.24 c (18,0) x[32] = 114 222.05/159.24 c (18,0) x[33] = 77 222.05/159.24 c (18,0) x[34] = 105 222.05/159.24 c (18,0) x[35] = 122 222.05/159.24 c (18,0) x[36] = 121 222.05/159.24 c (18,0) x[37] = 115 222.05/159.24 c (18,0) x[38] = 103 222.05/159.24 c (18,0) x[39] = 193 222.05/159.24 c (18,0) x[40] = 65 222.05/159.24 c (18,0) x[41] = 43 222.05/159.24 c (18,0) x[42] = 67 222.05/159.24 c (18,0) x[43] = 28 222.05/159.24 c (18,0) x[44] = 143 222.05/159.24 c (18,0) x[45] = 17 222.05/159.24 c (18,0) x[46] = 124 222.05/159.24 c (18,0) x[47] = 96 222.05/159.24 c (18,0) x[48] = 118 222.05/159.24 c (18,0) x[49] = 176 222.05/159.24 c (18,0) x[50] = 32 222.05/159.24 c (18,0) x[51] = 66 222.05/159.24 c (18,0) x[52] = 190 222.05/159.24 c (18,0) x[53] = 16 222.05/159.24 c (18,0) x[54] = 111 222.05/159.24 c (18,0) x[55] = 25 222.05/159.24 c (18,0) x[56] = 146 222.05/159.24 c (18,0) x[57] = 184 222.05/159.24 c (18,0) x[58] = 93 222.05/159.24 c (18,0) x[59] = 116 222.05/159.24 c (18,0) x[60] = 22 222.05/159.24 c (18,0) x[61] = 191 222.05/159.24 c (18,0) x[62] = 44 222.05/159.24 c (18,0) x[63] = 76 222.05/159.24 c (18,0) x[64] = 159 222.05/159.24 c (18,0) x[65] = 88 222.05/159.24 c (18,0) x[66] = 123 222.05/159.24 c (18,0) x[67] = 140 222.05/159.24 c (18,0) x[68] = 166 222.05/159.24 c (18,0) x[69] = 53 222.05/159.24 c (18,0) x[70] = 109 222.05/159.24 c (18,0) x[71] = 192 222.05/159.24 c (18,0) x[72] = 180 222.05/159.24 c (18,0) x[73] = 175 222.05/159.24 c (18,0) x[74] = 189 222.05/159.24 c (18,0) x[75] = 110 222.05/159.24 c (18,0) x[76] = 12 222.05/159.24 c (18,0) x[77] = 54 222.05/159.24 c (18,0) x[78] = 155 222.05/159.24 c (18,0) x[79] = 160 222.05/159.24 c (18,0) x[80] = 137 222.05/159.24 c (18,0) x[81] = 130 222.05/159.24 c (18,0) x[82] = 104 222.05/159.24 c (18,0) x[83] = 75 222.05/159.24 c (18,0) x[84] = 90 222.05/159.24 c (18,0) x[85] = 45 222.05/159.25 c (18,0) x[86] = 181 222.05/159.25 c (18,0) x[87] = 165 222.05/159.25 c (18,0) x[88] = 153 222.05/159.25 c (18,0) x[89] = 64 222.05/159.25 c (18,0) x[90] = 82 222.05/159.25 c (18,0) x[91] = 47 222.05/159.25 c (18,0) x[92] = 84 222.05/159.25 c (18,0) x[93] = 24 222.05/159.25 c (18,0) x[94] = 142 222.05/159.25 c (18,0) x[95] = 87 222.05/159.25 c (18,0) x[96] = 198 222.05/159.25 c (18,0) x[97] = 29 222.05/159.25 c (18,0) x[98] = 179 222.05/159.25 c (18,0) x[99] = 26 222.05/159.25 c (18,0) x[100] = 117 222.05/159.25 c (18,0) x[101] = 174 222.05/159.25 c (18,0) x[102] = 37 222.05/159.25 c (18,0) x[103] = 100 222.05/159.25 c (18,0) x[104] = 41 222.05/159.25 c (18,0) x[105] = 52 222.05/159.25 c (18,0) x[106] = 183 222.05/159.25 c (18,0) x[107] = 5 222.05/159.25 c (18,0) x[108] = 152 222.05/159.25 c (18,0) x[109] = 154 222.05/159.25 c (18,0) x[110] = 120 222.05/159.25 c (18,0) x[111] = 127 222.05/159.25 c (18,0) x[112] = 134 222.05/159.25 c (18,0) x[113] = 145 222.05/159.25 c (18,0) x[114] = 108 222.05/159.25 c (18,0) x[115] = 63 222.05/159.25 c (18,0) x[116] = 14 222.05/159.25 c (18,0) x[117] = 19 222.05/159.25 c (18,0) x[118] = 58 222.05/159.25 c (18,0) x[119] = 62 222.05/159.25 c (18,0) x[120] = 7 222.05/159.25 c (18,0) x[121] = 59 222.05/159.25 c (18,0) x[122] = 196 222.05/159.25 c (18,0) x[123] = 18 222.05/159.25 c (18,0) x[124] = 86 222.05/159.25 c (18,0) x[125] = 119 222.05/159.25 c (18,0) x[126] = 27 222.05/159.25 c (18,0) x[127] = 94 222.05/159.25 c (18,0) x[128] = 38 222.05/159.25 c (18,0) x[129] = 92 222.05/159.25 c (18,0) x[130] = 57 222.05/159.25 c (18,0) x[131] = 36 222.05/159.25 c (18,0) x[132] = 113 222.05/159.25 c (18,0) x[133] = 89 222.05/159.25 c (18,0) x[134] = 101 222.05/159.25 c (18,0) x[135] = 23 222.05/159.25 c (18,0) x[136] = 150 222.05/159.25 c (18,0) x[137] = 83 222.05/159.25 c (18,0) x[138] = 56 222.05/159.25 c (18,0) x[139] = 132 222.05/159.25 c (18,0) x[140] = 151 222.05/159.25 c (18,0) x[141] = 195 222.05/159.25 c (18,0) x[142] = 60 222.05/159.25 c (18,0) x[143] = 39 222.05/159.25 c (18,0) x[144] = 161 222.05/159.25 c (18,0) x[145] = 162 222.05/159.25 c (18,0) x[146] = 126 222.05/159.25 c (18,0) x[147] = 106 222.05/159.25 c (18,0) x[148] = 185 222.05/159.25 c (18,0) x[149] = 4 222.05/159.25 c (18,0) x[150] = 149 222.05/159.25 c (18,0) x[151] = 61 222.05/159.25 c (18,0) x[152] = 194 222.05/159.25 c (18,0) x[153] = 187 222.05/159.25 c (18,0) x[154] = 9 222.05/159.25 c (18,0) x[155] = 141 222.05/159.25 c (18,0) x[156] = 133 222.05/159.25 c (18,0) x[157] = 50 222.05/159.25 c (18,0) x[158] = 15 222.05/159.25 c (18,0) x[159] = 177 222.05/159.25 c (18,0) x[160] = 112 222.05/159.25 c (18,0) x[161] = 8 222.05/159.25 c (18,0) x[162] = 70 222.05/159.25 c (18,0) x[163] = 69 222.05/159.25 c (18,0) x[164] = 169 222.05/159.25 c (18,0) x[165] = 85 222.05/159.25 c (18,0) x[166] = 6 222.05/159.25 c (18,0) x[167] = 55 222.05/159.25 c (18,0) x[168] = 78 222.05/159.25 c (18,0) x[169] = 51 222.05/159.25 c (18,0) x[170] = 40 222.05/159.25 c (18,0) x[171] = 34 222.05/159.25 c (18,0) x[172] = 139 222.05/159.25 c (18,0) x[173] = 95 222.05/159.25 c (18,0) x[174] = 199 222.05/159.25 c (18,0) x[175] = 48 222.05/159.25 c (18,0) x[176] = 163 222.05/159.25 c (18,0) x[177] = 178 222.05/159.25 c (18,0) x[178] = 144 222.05/159.25 c (18,0) x[179] = 125 222.05/159.25 s SATISFIABLE 222.05/159.26 v <instantiation> 222.05/159.26 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> 222.05/159.26 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> 222.05/159.26 v </instantiation> 222.05/159.26 c (18,0) Show results End 222.05/159.26 c (18,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB) 222.05/159.26 c (18,0) 18,18,STOP-AFTER(ALL) 222.05/159.26 c END-Prog: Tue Sep 24 17:27:36 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 (12403 MiB free) memory of node 1: 16384 MiB (11518 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405132-1569338735/watcher-4405132-1569338735 -o /var/tmp/evaluation-result-4405132-1569338735/solver-4405132-1569338735 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node126-1569335941-423 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405132-1569338735.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=1303, runsolver pid=1300 Current StackSize limit: 8192 KiB [startup+0.100108 s]* /proc/loadavg: 3.10 6.04 5.89 3/213 1325 /proc/meminfo: memFree=24404292/32770624 swapFree=66996984/67108860 [pid=1303] ppid=1300 vsize=113128 memory=1400 CPUtime=0 cores=0-7 /proc/1303/stat : 1303 (scop.sh) S 1300 1303 395 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 510141260 115843072 350 33554432000 4194304 5098028 140728920098272 140728920095528 140158879306364 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 33206272 140728920105725 140728920106072 140728920106072 140728920109001 0 /proc/1303/statm: 28282 350 297 221 0 87 0 [pid=1306] ppid=1303 vsize=27314120 memory=105608 CPUtime=0.1 cores=0-7 /proc/1306/stat : 1306 (java) S 1303 1303 395 0 -1 1077944320 6492 0 0 0 7 3 0 0 20 0 20 0 510141261 27969658880 26402 33554432000 4194304 4196468 140725279906496 140725279889040 140001066807031 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29319168 140725279912648 140725279913094 140725279913094 140725279915983 0 /proc/1306/statm: 6828530 26402 2773 1 0 6790935 0 [pid=1306/tid=1307] ppid=1303 vsize=27314120 memory=-7024592270288534718 CPUtime=0.08 cores=0-7 /proc/1306/task/1307/stat : 1307 (java) R 1303 1303 395 0 -1 4202560 4620 0 0 0 6 2 0 0 20 0 20 0 510141261 27969658880 26402 33554432000 4194304 4196468 140725279906496 140001038623264 140001052943524 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29319168 140725279912648 140725279913094 140725279913094 140725279915983 0 [pid=1306/tid=1308] ppid=1303 vsize=27314120 memory=3461361991549258287 CPUtime=0 cores=0-7 /proc/1306/task/1308/stat : 1308 (java) S 1303 1303 395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510141263 27969658880 26402 33554432000 4194304 4196468 140725279906496 140001071049616 140001066817237 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29319168 140725279912648 140725279913094 140725279913094 140725279915983 0 [pid=1306/tid=1309] ppid=1303 vsize=27314120 memory=140390687860352 CPUtime=0 cores=0-7 /proc/1306/task/1309/stat : 1309 (java) S 1303 1303 395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510141263 27969658880 26402 33554432000 4194304 4196468 140725279906496 140000488696592 140001066817237 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29319168 140725279912648 140725279913094 140725279913094 140725279915983 0 [pid=1306/tid=1310] ppid=1303 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/1306/task/1310/stat : 1310 (java) S 1303 1303 395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510141263 27969658880 26402 33554432000 4194304 4196468 140725279906496 140000487644304 140001066817237 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29319168 140725279912648 140725279913094 140725279913094 140725279915983 0 [pid=1306/tid=1311] ppid=1303 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/1306/task/1311/stat : 1311 (java) S 1303 1303 395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510141263 27969658880 26402 33554432000 4194304 4196468 140725279906496 140000486591504 140001066817237 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29319168 140725279912648 140725279913094 140725279913094 140725279915983 0 [pid=1306/tid=1312] ppid=1303 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/1306/task/1312/stat : 1312 (java) S 1303 1303 395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510141263 27969658880 26402 33554432000 4194304 4196468 140725279906496 140000485538192 140001066817237 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29319168 140725279912648 140725279913094 140725279913094 140725279915983 0 [pid=1306/tid=1313] ppid=1303 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/1306/task/1313/stat : 1313 (java) S 1303 1303 395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510141263 27969658880 26402 33554432000 4194304 4196468 140725279906496 140000484485392 140001066817237 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29319168 140725279912648 140725279913094 140725279913094 140725279915983 0 [pid=1306/tid=1314] ppid=1303 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/1306/task/1314/stat : 1314 (java) S 1303 1303 395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510141263 27969658880 26402 33554432000 4194304 4196468 140725279906496 140000483433104 140001066817237 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29319168 140725279912648 140725279913094 140725279913094 140725279915983 0 [pid=1306/tid=1315] ppid=1303 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/1306/task/1315/stat : 1315 (java) S 1303 1303 395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510141263 27969658880 26402 33554432000 4194304 4196468 140725279906496 140000482380304 140001066817237 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29319168 140725279912648 140725279913094 140725279913094 140725279915983 0 [pid=1306/tid=1316] ppid=1303 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/1306/task/1316/stat : 1316 (java) S 1303 1303 395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510141265 27969658880 26402 33554432000 4194304 4196468 140725279906496 139999588289136 140001066818178 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29319168 140725279912648 140725279913094 140725279913094 140725279915983 0 [pid=1306/tid=1317] ppid=1303 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/1306/task/1317/stat : 1317 (java) S 1303 1303 395 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510141265 27969658880 26402 33554432000 4194304 4196468 140725279906496 139998821082400 140001066817237 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29319168 140725279912648 140725279913094 140725279913094 140725279915983 0 [pid=1306/tid=1318] ppid=1303 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/1306/task/1318/stat : 1318 (java) S 1303 1303 395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510141266 27969658880 26402 33554432000 4194304 4196468 140725279906496 139998552647280 140001066817237 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29319168 140725279912648 140725279913094 140725279913094 140725279915983 0 [pid=1306/tid=1319] ppid=1303 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/1306/task/1319/stat : 1319 (java) S 1303 1303 395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510141268 27969658880 26402 33554432000 4194304 4196468 140725279906496 139998178138704 140001066825627 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29319168 140725279912648 140725279913094 140725279913094 140725279915983 0 [pid=1306/tid=1320] ppid=1303 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/1306/task/1320/stat : 1320 (java) S 1303 1303 395 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 20 0 510141268 27969658880 26402 33554432000 4194304 4196468 140725279906496 139999587235952 140001066818178 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29319168 140725279912648 140725279913094 140725279913094 140725279915983 0 [pid=1306/tid=1321] ppid=1303 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/1306/task/1321/stat : 1321 (java) S 1303 1303 395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510141268 27969658880 26402 33554432000 4194304 4196468 140725279906496 139999586183152 140001066818178 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29319168 140725279912648 140725279913094 140725279913094 140725279915983 0 [pid=1306/tid=1322] ppid=1303 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/1306/task/1322/stat : 1322 (java) S 1303 1303 395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510141268 27969658880 26402 33554432000 4194304 4196468 140725279906496 139999585130864 140001066818178 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29319168 140725279912648 140725279913094 140725279913094 140725279915983 0 [pid=1306/tid=1323] ppid=1303 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/1306/task/1323/stat : 1323 (java) S 1303 1303 395 0 -1 1077944384 247 0 0 0 0 0 0 0 20 0 20 0 510141268 27969658880 26402 33554432000 4194304 4196468 140725279906496 139999584078064 140001066818178 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29319168 140725279912648 140725279913094 140725279913094 140725279915983 0 [pid=1306/tid=1324] ppid=1303 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/1306/task/1324/stat : 1324 (java) S 1303 1303 395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510141268 27969658880 26402 33554432000 4194304 4196468 140725279906496 139997680233312 140001066817237 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29319168 140725279912648 140725279913094 140725279913094 140725279915983 0 [pid=1306/tid=1325] ppid=1303 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/1306/task/1325/stat : 1325 (java) S 1303 1303 395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510141269 27969658880 26402 33554432000 4194304 4196468 140725279906496 139999583025968 140001066818178 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29319168 140725279912648 140725279913094 140725279913094 140725279915983 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 107008 KiB [startup+0.21049 s]* /proc/loadavg: 3.10 6.04 5.89 2/213 1325 /proc/meminfo: memFree=24381404/32770624 swapFree=66996984/67108860 [pid=1303] ppid=1300 vsize=113128 memory=1400 CPUtime=0 cores=0-7 /proc/1303/stat : 1303 (scop.sh) S 1300 1303 395 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 510141260 115843072 350 33554432000 4194304 5098028 140728920098272 140728920095528 140158879306364 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 33206272 140728920105725 140728920106072 140728920106072 140728920109001 0 /proc/1303/statm: 28282 350 297 221 0 87 0 [pid=1306] ppid=1303 vsize=27314120 memory=125564 CPUtime=0.25 cores=0-7 /proc/1306/stat : 1306 (java) S 1303 1303 395 0 -1 1077944320 12191 0 0 0 20 5 0 0 20 0 20 0 510141261 27969658880 31391 33554432000 4194304 4196468 140725279906496 140725279889040 140001066807031 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29319168 140725279912648 140725279913094 140725279913094 140725279915983 0 /proc/1306/statm: 6828530 31391 2971 1 0 6790935 0 [pid=1306/tid=1307] ppid=1303 vsize=27314120 memory=8390339637985935414 CPUtime=0.19 cores=0-7 /proc/1306/task/1307/stat : 1307 (java) R 1303 1303 395 0 -1 4202560 9890 0 0 0 16 3 0 0 20 0 20 0 510141261 27969658880 31391 33554432000 4194304 4196468 140725279906496 140001038606416 140001050887518 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29319168 140725279912648 140725279913094 140725279913094 140725279915983 0 [pid=1306/tid=1308] ppid=1303 vsize=27314120 memory=288230596134830103 CPUtime=0 cores=0-7 /proc/1306/task/1308/stat : 1308 (java) S 1303 1303 395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510141263 27969658880 31391 33554432000 4194304 4196468 140725279906496 140001071049616 140001066817237 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29319168 140725279912648 140725279913094 140725279913094 140725279915983 0 [pid=1306/tid=1309] ppid=1303 vsize=27314120 memory=4120992560893683360 CPUtime=0 cores=0-7 /proc/1306/task/1309/stat : 1309 (java) S 1303 1303 395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510141263 27969658880 31391 33554432000 4194304 4196468 140725279906496 140000488696592 140001066817237 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29319168 140725279912648 140725279913094 140725279913094 140725279915983 0 [pid=1306/tid=1310] ppid=1303 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/1306/task/1310/stat : 1310 (java) S 1303 1303 395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510141263 27969658880 31391 33554432000 4194304 4196468 140725279906496 140000487644304 140001066817237 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29319168 140725279912648 140725279913094 140725279913094 140725279915983 0 [pid=1306/tid=1311] ppid=1303 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/1306/task/1311/stat : 1311 (java) S 1303 1303 395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510141263 27969658880 31391 33554432000 4194304 4196468 140725279906496 140000486591504 140001066817237 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29319168 140725279912648 140725279913094 140725279913094 140725279915983 0 [pid=1306/tid=1312] ppid=1303 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/1306/task/1312/stat : 1312 (java) S 1303 1303 395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510141263 27969658880 31391 33554432000 4194304 4196468 140725279906496 140000485538192 140001066817237 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29319168 140725279912648 140725279913094 140725279913094 140725279915983 0 [pid=1306/tid=1313] ppid=1303 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/1306/task/1313/stat : 1313 (java) S 1303 1303 395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510141263 27969658880 31391 33554432000 4194304 4196468 140725279906496 140000484485392 140001066817237 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29319168 140725279912648 140725279913094 140725279913094 140725279915983 0 [pid=1306/tid=1314] ppid=1303 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/1306/task/1314/stat : 1314 (java) S 1303 1303 395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510141263 27969658880 31391 33554432000 4194304 4196468 140725279906496 140000483433104 140001066817237 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29319168 140725279912648 140725279913094 140725279913094 140725279915983 0 [pid=1306/tid=1315] ppid=1303 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/1306/task/1315/stat : 1315 (java) S 1303 1303 395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510141263 27969658880 31391 33554432000 4194304 4196468 140725279906496 140000482380304 140001066817237 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29319168 140725279912648 140725279913094 140725279913094 140725279915983 0 [pid=1306/tid=1316] ppid=1303 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/1306/task/1316/stat : 1316 (java) S 1303 1303 395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510141265 27969658880 31391 33554432000 4194304 4196468 140725279906496 139999588289136 140001066818178 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29319168 140725279912648 140725279913094 140725279913094 140725279915983 0 [pid=1306/tid=1317] ppid=1303 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/1306/task/1317/stat : 1317 (java) S 1303 1303 395 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510141265 27969658880 31391 33554432000 4194304 4196468 140725279906496 139998821082400 140001066817237 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29319168 140725279912648 140725279913094 140725279913094 140725279915983 0 [pid=1306/tid=1318] ppid=1303 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/1306/task/1318/stat : 1318 (java) S 1303 1303 395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510141266 27969658880 31391 33554432000 4194304 4196468 140725279906496 139998552647280 140001066817237 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29319168 140725279912648 140725279913094 140725279913094 140725279915983 0 [pid=1306/tid=1319] ppid=1303 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/1306/task/1319/stat : 1319 (java) S 1303 1303 395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510141268 27969658880 31391 33554432000 4194304 4196468 140725279906496 139998178138704 140001066825627 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29319168 140725279912648 140725279913094 140725279913094 140725279915983 0 [pid=1306/tid=1320] ppid=1303 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/1306/task/1320/stat : 1320 (java) S 1303 1303 395 0 -1 1077944384 347 0 0 0 0 0 0 0 20 0 20 0 510141268 27969658880 31391 33554432000 4194304 4196468 140725279906496 139999587235952 140001066818178 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29319168 140725279912648 140725279913094 140725279913094 140725279915983 0 [pid=1306/tid=1321] ppid=1303 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/1306/task/1321/stat : 1321 (java) S 1303 1303 395 0 -1 1077944384 140 0 0 0 0 0 0 0 20 0 20 0 510141268 27969658880 31391 33554432000 4194304 4196468 140725279906496 139999586183152 140001066818178 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29319168 140725279912648 140725279913094 140725279913094 140725279915983 0 [pid=1306/tid=1322] ppid=1303 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/1306/task/1322/stat : 1322 (java) S 1303 1303 395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510141268 27969658880 31391 33554432000 4194304 4196468 140725279906496 139999585130864 140001066818178 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29319168 140725279912648 140725279913094 140725279913094 140725279915983 0 [pid=1306/tid=1323] ppid=1303 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7 /proc/1306/task/1323/stat : 1323 (java) S 1303 1303 395 0 -1 1077944384 487 0 0 0 2 0 0 0 20 0 20 0 510141268 27969658880 31391 33554432000 4194304 4196468 140725279906496 139999584078064 140001066818178 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29319168 140725279912648 140725279913094 140725279913094 140725279915983 0 [pid=1306/tid=1324] ppid=1303 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/1306/task/1324/stat : 1324 (java) S 1303 1303 395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510141268 27969658880 31391 33554432000 4194304 4196468 140725279906496 139997680233312 140001066817237 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29319168 140725279912648 140725279913094 140725279913094 140725279915983 0 [pid=1306/tid=1325] ppid=1303 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/1306/task/1325/stat : 1325 (java) S 1303 1303 395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510141269 27969658880 31391 33554432000 4194304 4196468 140725279906496 139999583025968 140001066818178 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29319168 140725279912648 140725279913094 140725279913094 140725279915983 0 Current children cumulated CPU time: 0.25 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 126964 KiB [startup+0.309744 s]* /proc/loadavg: 3.10 6.04 5.89 2/213 1325 /proc/meminfo: memFree=24378984/32770624 swapFree=66996984/67108860 [pid=1303] ppid=1300 vsize=113128 memory=1400 CPUtime=0 cores=0-7 /proc/1303/stat : 1303 (scop.sh) S 1300 1303 395 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 510141260 115843072 350 33554432000 4194304 5098028 140728920098272 140728920095528 140158879306364 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 33206272 140728920105725 140728920106072 140728920106072 140728920109001 0 /proc/1303/statm: 28282 350 297 221 0 87 0 [pid=1306] ppid=1303 vsize=27314120 memory=129232 CPUtime=0.42 cores=0-7 /proc/1306/stat : 1306 (java) S 1303 1303 395 0 -1 1077944320 12681 0 0 0 37 5 0 0 20 0 20 0 510141261 27969658880 32308 33554432000 4194304 4196468 140725279906496 140725279889040 140001066807031 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29319168 140725279912648 140725279913094 140725279913094 140725279915983 0 /proc/1306/statm: 6828530 32308 3056 1 0 6790935 0 [pid=1306/tid=1307] ppid=1303 vsize=27314120 memory=1398722017469774279 CPUtime=0.29 cores=0-7 /proc/1306/task/1307/stat : 1307 (java) R 1303 1303 395 0 -1 4202560 10084 0 0 0 26 3 0 0 20 0 20 0 510141261 27969658880 32308 33554432000 4194304 4196468 140725279906496 140001038601136 140001047082411 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29319168 140725279912648 140725279913094 140725279913094 140725279915983 0 [pid=1306/tid=1308] ppid=1303 vsize=27314120 memory=4126316290023845779 CPUtime=0 cores=0-7 /proc/1306/task/1308/stat : 1308 (java) S 1303 1303 395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510141263 27969658880 32308 33554432000 4194304 4196468 140725279906496 140001071049616 140001066817237 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29319168 140725279912648 140725279913094 140725279913094 140725279915983 0 [pid=1306/tid=1309] ppid=1303 vsize=27314120 memory=4076 CPUtime=0 cores=0-7 /proc/1306/task/1309/stat : 1309 (java) S 1303 1303 395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510141263 27969658880 32308 33554432000 4194304 4196468 140725279906496 140000488696592 140001066817237 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29319168 140725279912648 140725279913094 140725279913094 140725279915983 0 [pid=1306/tid=1310] ppid=1303 vsize=27314120 memory=2836 CPUtime=0 cores=0-7 /proc/1306/task/1310/stat : 1310 (java) S 1303 1303 395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510141263 27969658880 32308 33554432000 4194304 4196468 140725279906496 140000487644304 140001066817237 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29319168 140725279912648 140725279913094 140725279913094 140725279915983 0 [pid=1306/tid=1311] ppid=1303 vsize=27314120 memory=1540 CPUtime=0 cores=0-7 /proc/1306/task/1311/stat : 1311 (java) S 1303 1303 395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510141263 27969658880 32308 33554432000 4194304 4196468 140725279906496 140000486591504 140001066817237 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29319168 140725279912648 140725279913094 140725279913094 140725279915983 0 [pid=1306/tid=1312] ppid=1303 vsize=27314120 memory=1732 CPUtime=0 cores=0-7 /proc/1306/task/1312/stat : 1312 (java) S 1303 1303 395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510141263 27969658880 32308 33554432000 4194304 4196468 140725279906496 140000485538192 140001066817237 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29319168 140725279912648 140725279913094 140725279913094 140725279915983 0 [pid=1306/tid=1313] ppid=1303 vsize=27314120 memory=6128 CPUtime=0 cores=0-7 /proc/1306/task/1313/stat : 1313 (java) S 1303 1303 395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510141263 27969658880 32308 33554432000 4194304 4196468 140725279906496 140000484485392 140001066817237 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29319168 140725279912648 140725279913094 140725279913094 140725279915983 0 [pid=1306/tid=1314] ppid=1303 vsize=27314120 memory=772 CPUtime=0 cores=0-7 /proc/1306/task/1314/stat : 1314 (java) S 1303 1303 395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510141263 27969658880 32308 33554432000 4194304 4196468 140725279906496 140000483433104 140001066817237 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29319168 140725279912648 140725279913094 140725279913094 140725279915983 0 [pid=1306/tid=1315] ppid=1303 vsize=27314120 memory=952 CPUtime=0 cores=0-7 /proc/1306/task/1315/stat : 1315 (java) S 1303 1303 395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510141263 27969658880 32308 33554432000 4194304 4196468 140725279906496 140000482380304 140001066817237 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29319168 140725279912648 140725279913094 140725279913094 140725279915983 0 [pid=1306/tid=1316] ppid=1303 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/1306/task/1316/stat : 1316 (java) S 1303 1303 395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510141265 27969658880 32308 33554432000 4194304 4196468 140725279906496 139999588289136 140001066818178 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29319168 140725279912648 140725279913094 140725279913094 140725279915983 0 [pid=1306/tid=1317] ppid=1303 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/1306/task/1317/stat : 1317 (java) S 1303 1303 395 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510141265 27969658880 32308 33554432000 4194304 4196468 140725279906496 139998821082400 140001066817237 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29319168 140725279912648 140725279913094 140725279913094 140725279915983 0 [pid=1306/tid=1318] ppid=1303 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/1306/task/1318/stat : 1318 (java) S 1303 1303 395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510141266 27969658880 32308 33554432000 4194304 4196468 140725279906496 139998552647280 140001066817237 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29319168 140725279912648 140725279913094 140725279913094 140725279915983 0 [pid=1306/tid=1319] ppid=1303 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/1306/task/1319/stat : 1319 (java) S 1303 1303 395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510141268 27969658880 32308 33554432000 4194304 4196468 140725279906496 139998178138704 140001066825627 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29319168 140725279912648 140725279913094 140725279913094 140725279915983 0 [pid=1306/tid=1320] ppid=1303 vsize=27314120 memory=140390535628239 CPUtime=0.01 cores=0-7 /proc/1306/task/1320/stat : 1320 (java) S 1303 1303 395 0 -1 1077944384 400 0 0 0 1 0 0 0 20 0 20 0 510141268 27969658880 32308 33554432000 4194304 4196468 140725279906496 139999587235952 140001066818178 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29319168 140725279912648 140725279913094 140725279913094 140725279915983 0 [pid=1306/tid=1321] ppid=1303 vsize=27314120 memory=67 CPUtime=0.01 cores=0-7 /proc/1306/task/1321/stat : 1321 (java) S 1303 1303 395 0 -1 1077944384 234 0 0 0 1 0 0 0 20 0 20 0 510141268 27969658880 32308 33554432000 4194304 4196468 140725279906496 139999586183152 140001066818178 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29319168 140725279912648 140725279913094 140725279913094 140725279915983 0 [pid=1306/tid=1322] ppid=1303 vsize=27314120 memory=51172 CPUtime=0.01 cores=0-7 /proc/1306/task/1322/stat : 1322 (java) S 1303 1303 395 0 -1 1077944384 36 0 0 0 1 0 0 0 20 0 20 0 510141268 27969658880 32308 33554432000 4194304 4196468 140725279906496 139999585130864 140001066818178 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29319168 140725279912648 140725279913094 140725279913094 140725279915983 0 [pid=1306/tid=1323] ppid=1303 vsize=27314120 memory=53476 CPUtime=0.07 cores=0-7 /proc/1306/task/1323/stat : 1323 (java) S 1303 1303 395 0 -1 1077944384 587 0 0 0 7 0 0 0 20 0 20 0 510141268 27969658880 32308 33554432000 4194304 4196468 140725279906496 139999584078064 140001066818178 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29319168 140725279912648 140725279913094 140725279913094 140725279915983 0 [pid=1306/tid=1324] ppid=1303 vsize=27314120 memory=110297088 CPUtime=0 cores=0-7 /proc/1306/task/1324/stat : 1324 (java) S 1303 1303 395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510141268 27969658880 32308 33554432000 4194304 4196468 140725279906496 139997680233312 140001066817237 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29319168 140725279912648 140725279913094 140725279913094 140725279915983 0 [pid=1306/tid=1325] ppid=1303 vsize=27314120 memory=115843071 CPUtime=0 cores=0-7 /proc/1306/task/1325/stat : 1325 (java) S 1303 1303 395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510141269 27969658880 32308 33554432000 4194304 4196468 140725279906496 139999583025968 140001066818178 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29319168 140725279912648 140725279913094 140725279913094 140725279915983 0 Current children cumulated CPU time: 0.42 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 130632 KiB [startup+0.700921 s] /proc/loadavg: 3.10 6.04 5.89 3/213 1325 /proc/meminfo: memFree=24358140/32770624 swapFree=66996984/67108860 [pid=1303] ppid=1300 vsize=113128 memory=1400 CPUtime=0 cores=0-7 /proc/1303/stat : 1303 (scop.sh) S 1300 1303 395 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 510141260 115843072 350 33554432000 4194304 5098028 140728920098272 140728920095528 140158879306364 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 33206272 140728920105725 140728920106072 140728920106072 140728920109001 0 /proc/1303/statm: 28282 350 297 221 0 87 0 [pid=1306] ppid=1303 vsize=27320392 memory=164676 CPUtime=0.98 cores=0-7 /proc/1306/stat : 1306 (java) S 1303 1303 395 0 -1 1077944320 20217 0 0 0 91 7 0 0 20 0 20 0 510141261 27976081408 41169 33554432000 4194304 4196468 140725279906496 140725279889040 140001066807031 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29319168 140725279912648 140725279913094 140725279913094 140725279915983 0 /proc/1306/statm: 6830098 41169 3183 1 0 6791447 0 [pid=1306/tid=1307] ppid=1303 vsize=27320392 memory=6935649255759568960 CPUtime=0.67 cores=0-7 /proc/1306/task/1307/stat : 1307 (java) R 1303 1303 395 0 -1 4202560 17012 0 0 0 62 5 0 0 20 0 20 0 510141261 27976081408 41169 33554432000 4194304 4196468 140725279906496 140001038645856 140001066818966 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29319168 140725279912648 140725279913094 140725279913094 140725279915983 0 [pid=1306/tid=1308] ppid=1303 vsize=27320392 memory=7516877558933116245 CPUtime=0 cores=0-7 /proc/1306/task/1308/stat : 1308 (java) S 1303 1303 395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510141263 27976081408 41169 33554432000 4194304 4196468 140725279906496 140001071049616 140001066817237 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29319168 140725279912648 140725279913094 140725279913094 140725279915983 0 [pid=1306/tid=1309] ppid=1303 vsize=27320392 memory=164 CPUtime=0 cores=0-7 /proc/1306/task/1309/stat : 1309 (java) S 1303 1303 395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510141263 27976081408 41169 33554432000 4194304 4196468 140725279906496 140000488696592 140001066817237 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29319168 140725279912648 140725279913094 140725279913094 140725279915983 0 [pid=1306/tid=1310] ppid=1303 vsize=27320392 memory=0 CPUtime=0 cores=0-7 /proc/1306/task/1310/stat : 1310 (java) S 1303 1303 395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510141263 27976081408 41169 33554432000 4194304 4196468 140725279906496 140000487644304 140001066817237 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29319168 140725279912648 140725279913094 140725279913094 140725279915983 0 ################ # More data... # ################ /proc/1338/task/1344/stat : 1344 (java) S 1303 1303 395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510155280 8616062976 30121 33554432000 4194304 4196468 140728352560096 140207743277456 140207942035157 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11423744 140728352564192 140728352564358 140728352564358 140728352567247 0 [pid=1338/tid=1345] ppid=1303 vsize=8414124 memory=29252 CPUtime=0 cores=0-7 /proc/1338/task/1345/stat : 1345 (java) S 1303 1303 395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510155280 8616062976 30121 33554432000 4194304 4196468 140728352560096 140207742224656 140207942035157 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11423744 140728352564192 140728352564358 140728352564358 140728352567247 0 [pid=1338/tid=1346] ppid=1303 vsize=8414124 memory=2116 CPUtime=0 cores=0-7 /proc/1338/task/1346/stat : 1346 (java) S 1303 1303 395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510155280 8616062976 30121 33554432000 4194304 4196468 140728352560096 140207741172368 140207942035157 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11423744 140728352564192 140728352564358 140728352564358 140728352567247 0 [pid=1338/tid=1347] ppid=1303 vsize=8414124 memory=12028 CPUtime=0 cores=0-7 /proc/1338/task/1347/stat : 1347 (java) S 1303 1303 395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510155280 8616062976 30121 33554432000 4194304 4196468 140728352560096 140207740119568 140207942035157 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11423744 140728352564192 140728352564358 140728352564358 140728352567247 0 [pid=1338/tid=1348] ppid=1303 vsize=8414124 memory=496 CPUtime=0 cores=0-7 /proc/1338/task/1348/stat : 1348 (java) S 1303 1303 395 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 510155282 8616062976 30121 33554432000 4194304 4196468 140728352560096 140207035513456 140207942036098 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11423744 140728352564192 140728352564358 140728352564358 140728352567247 0 [pid=1338/tid=1349] ppid=1303 vsize=8414124 memory=4100 CPUtime=0 cores=0-7 /proc/1338/task/1349/stat : 1349 (java) S 1303 1303 395 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 510155282 8616062976 30121 33554432000 4194304 4196468 140728352560096 140206590125344 140207942035157 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11423744 140728352564192 140728352564358 140728352564358 140728352567247 0 [pid=1338/tid=1350] ppid=1303 vsize=8414124 memory=1804 CPUtime=0 cores=0-7 /proc/1338/task/1350/stat : 1350 (java) S 1303 1303 395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510155283 8616062976 30121 33554432000 4194304 4196468 140728352560096 140206321690224 140207942035157 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11423744 140728352564192 140728352564358 140728352564358 140728352567247 0 [pid=1338/tid=1351] ppid=1303 vsize=8414124 memory=3620 CPUtime=0 cores=0-7 /proc/1338/task/1351/stat : 1351 (java) S 1303 1303 395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510155285 8616062976 30121 33554432000 4194304 4196468 140728352560096 140205947181648 140207942043547 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11423744 140728352564192 140728352564358 140728352564358 140728352567247 0 [pid=1338/tid=1352] ppid=1303 vsize=8414124 memory=1228 CPUtime=0.06 cores=0-7 /proc/1338/task/1352/stat : 1352 (java) S 1303 1303 395 0 -1 1077944384 518 0 0 0 6 0 0 0 20 0 24 0 510155285 8616062976 30121 33554432000 4194304 4196468 140728352560096 140207034460272 140207942036098 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11423744 140728352564192 140728352564358 140728352564358 140728352567247 0 [pid=1338/tid=1353] ppid=1303 vsize=8414124 memory=9520 CPUtime=0.07 cores=0-7 /proc/1338/task/1353/stat : 1353 (java) S 1303 1303 395 0 -1 1077944384 249 0 0 0 7 0 0 0 20 0 24 0 510155285 8616062976 30121 33554432000 4194304 4196468 140728352560096 140207033407472 140207942036098 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11423744 140728352564192 140728352564358 140728352564358 140728352567247 0 [pid=1338/tid=1354] ppid=1303 vsize=8414124 memory=4076 CPUtime=0.06 cores=0-7 /proc/1338/task/1354/stat : 1354 (java) S 1303 1303 395 0 -1 1077944384 406 0 0 0 6 0 0 0 20 0 24 0 510155285 8616062976 30121 33554432000 4194304 4196468 140728352560096 140207032355184 140207942036098 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11423744 140728352564192 140728352564358 140728352564358 140728352567247 0 [pid=1338/tid=1355] ppid=1303 vsize=8414124 memory=2836 CPUtime=0.22 cores=0-7 /proc/1338/task/1355/stat : 1355 (java) S 1303 1303 395 0 -1 1077944384 584 0 0 0 22 0 0 0 20 0 24 0 510155285 8616062976 30121 33554432000 4194304 4196468 140728352560096 140207031302384 140207942036098 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11423744 140728352564192 140728352564358 140728352564358 140728352567247 0 [pid=1338/tid=1356] ppid=1303 vsize=8414124 memory=1540 CPUtime=0 cores=0-7 /proc/1338/task/1356/stat : 1356 (java) S 1303 1303 395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510155286 8616062976 30121 33554432000 4194304 4196468 140728352560096 140205449276256 140207942035157 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11423744 140728352564192 140728352564358 140728352564358 140728352567247 0 [pid=1338/tid=1357] ppid=1303 vsize=8414124 memory=288230574492221466 CPUtime=0 cores=0-7 /proc/1338/task/1357/stat : 1357 (java) S 1303 1303 395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510155286 8616062976 30121 33554432000 4194304 4196468 140728352560096 140207030250288 140207942036098 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11423744 140728352564192 140728352564358 140728352564358 140728352567247 0 [pid=1338/tid=1359] ppid=1303 vsize=8414124 memory=288230596050944315 CPUtime=0 cores=0-7 /proc/1338/task/1359/stat : 1359 (java) S 1303 1303 395 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 510155354 8616062976 30121 33554432000 4194304 4196468 140728352560096 140207022217024 140207942049561 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 11423744 140728352564192 140728352564358 140728352564358 140728352567247 0 [pid=1338/tid=1361] ppid=1303 vsize=8414124 memory=15822192189376114 CPUtime=0 cores=0-7 /proc/1338/task/1361/stat : 1361 (java) S 1303 1303 395 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 510155354 8616062976 30121 33554432000 4194304 4196468 140728352560096 140204778175920 140207942046877 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 11423744 140728352564192 140728352564358 140728352564358 140728352567247 0 [pid=1338/tid=1362] ppid=1303 vsize=8414124 memory=496 CPUtime=0 cores=0-7 /proc/1338/task/1362/stat : 1362 (java) S 1303 1303 395 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 510155354 8616062976 30121 33554432000 4194304 4196468 140728352560096 140205046611248 140207942046877 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 11423744 140728352564192 140728352564358 140728352564358 140728352567247 0 [pid=1338/tid=1363] ppid=1303 vsize=8414124 memory=1564 CPUtime=0 cores=0-7 /proc/1338/task/1363/stat : 1363 (java) S 1303 1303 395 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 510155356 8616062976 30121 33554432000 4194304 4196468 140728352560096 140204509748528 140207942035157 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11423744 140728352564192 140728352564358 140728352564358 140728352567247 0 Current children cumulated CPU time: 218.92 s Current children cumulated vsize: 11644644 KiB Current children cumulated memory: 2762972 KiB [startup+158.801 s] /proc/loadavg: 1.22 3.98 5.13 2/226 1381 /proc/meminfo: memFree=21771428/32770624 swapFree=66996984/67108860 [pid=1303] ppid=1300 vsize=113128 memory=1476 CPUtime=197.72 cores=0-7 /proc/1303/stat : 1303 (scop.sh) S 1300 1303 395 0 -1 4202496 583 145128 0 0 0 0 18583 1189 20 0 1 0 510141260 115843072 369 33554432000 4194304 5098028 140728920098272 140728920095016 140158879306364 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 33206272 140728920105725 140728920106072 140728920106072 140728920109001 0 /proc/1303/statm: 28282 369 311 221 0 87 0 [pid=1338] ppid=1303 vsize=8414124 memory=120484 CPUtime=1.23 cores=0-7 /proc/1338/stat : 1338 (java) S 1303 1303 395 0 -1 1077944320 20105 0 0 0 115 8 0 0 20 0 24 0 510155278 8616062976 30121 33554432000 4194304 4196468 140728352560096 140728352542640 140207942024951 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 11423744 140728352564192 140728352564358 140728352564358 140728352567247 0 /proc/1338/statm: 2103531 30121 3206 1 0 2064875 0 [pid=1358] ppid=1338 vsize=3117392 memory=2711656 CPUtime=22.14 cores=0-7 /proc/1358/stat : 1358 (manyglucose-4.1) S 1338 1303 395 0 -1 1077944320 632853 0 0 0 2107 107 0 0 20 0 3 0 510155354 3192209408 677914 33554432000 4194304 4454172 140725880262160 140725880260544 140157774798583 0 4 0 8388610 18446744073709551615 0 0 17 3 0 0 0 0 0 6552832 6554400 11464704 140725880263502 140725880263708 140725880263708 140725880266678 0 /proc/1358/statm: 779348 677914 406 64 0 775016 0 [pid=1358/tid=1367] ppid=1338 vsize=3117392 memory=8098995410601140568 CPUtime=0.76 cores=0-7 /proc/1358/task/1367/stat : 1367 (manyglucose-4.1) R 1338 1303 395 0 -1 4202560 7513 0 0 0 73 3 0 0 20 0 3 0 510157052 3192209408 677914 33554432000 4194304 4454172 140725880262160 140156414217000 140157760097086 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6552832 6554400 11464704 140725880263502 140725880263708 140725880263708 140725880266678 0 [pid=1358/tid=1377] ppid=1338 vsize=3117392 memory=7522516954594174819 CPUtime=0.77 cores=0-7 /proc/1358/task/1377/stat : 1377 (manyglucose-4.1) R 1338 1303 395 0 -1 4202560 6422 0 0 0 74 3 0 0 20 0 3 0 510157052 3192209408 677914 33554432000 4194304 4454172 140725880262160 140156397431592 140157760097086 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6552832 6554400 11464704 140725880263502 140725880263708 140725880263708 140725880266678 0 [pid=1338/tid=1339] ppid=1303 vsize=8414124 memory=7886128541349590321 CPUtime=0.77 cores=0-7 /proc/1338/task/1339/stat : 1339 (java) S 1303 1303 395 0 -1 1077944384 16952 0 0 0 72 5 0 0 20 0 24 0 510155279 8616062976 30121 33554432000 4194304 4196468 140728352560096 140207913865120 140207942035157 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11423744 140728352564192 140728352564358 140728352564358 140728352567247 0 [pid=1338/tid=1340] ppid=1303 vsize=8414124 memory=-4075877051373423736 CPUtime=0 cores=0-7 /proc/1338/task/1340/stat : 1340 (java) S 1303 1303 395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510155280 8616062976 30121 33554432000 4194304 4196468 140728352560096 140207946267536 140207942035157 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11423744 140728352564192 140728352564358 140728352564358 140728352567247 0 [pid=1338/tid=1341] ppid=1303 vsize=8414124 memory=3184 CPUtime=0 cores=0-7 /proc/1338/task/1341/stat : 1341 (java) S 1303 1303 395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510155280 8616062976 30121 33554432000 4194304 4196468 140728352560096 140207746435856 140207942035157 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11423744 140728352564192 140728352564358 140728352564358 140728352567247 0 [pid=1338/tid=1342] ppid=1303 vsize=8414124 memory=9520 CPUtime=0 cores=0-7 /proc/1338/task/1342/stat : 1342 (java) S 1303 1303 395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510155280 8616062976 30121 33554432000 4194304 4196468 140728352560096 140207745383568 140207942035157 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11423744 140728352564192 140728352564358 140728352564358 140728352567247 0 [pid=1338/tid=1343] ppid=1303 vsize=8414124 memory=4076 CPUtime=0 cores=0-7 /proc/1338/task/1343/stat : 1343 (java) S 1303 1303 395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510155280 8616062976 30121 33554432000 4194304 4196468 140728352560096 140207744330768 140207942035157 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11423744 140728352564192 140728352564358 140728352564358 140728352567247 0 [pid=1338/tid=1344] ppid=1303 vsize=8414124 memory=2836 CPUtime=0 cores=0-7 /proc/1338/task/1344/stat : 1344 (java) S 1303 1303 395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510155280 8616062976 30121 33554432000 4194304 4196468 140728352560096 140207743277456 140207942035157 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11423744 140728352564192 140728352564358 140728352564358 140728352567247 0 [pid=1338/tid=1345] ppid=1303 vsize=8414124 memory=1540 CPUtime=0 cores=0-7 /proc/1338/task/1345/stat : 1345 (java) S 1303 1303 395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510155280 8616062976 30121 33554432000 4194304 4196468 140728352560096 140207742224656 140207942035157 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11423744 140728352564192 140728352564358 140728352564358 140728352567247 0 [pid=1338/tid=1346] ppid=1303 vsize=8414124 memory=1732 CPUtime=0 cores=0-7 /proc/1338/task/1346/stat : 1346 (java) S 1303 1303 395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510155280 8616062976 30121 33554432000 4194304 4196468 140728352560096 140207741172368 140207942035157 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11423744 140728352564192 140728352564358 140728352564358 140728352567247 0 [pid=1338/tid=1347] ppid=1303 vsize=8414124 memory=772 CPUtime=0 cores=0-7 /proc/1338/task/1347/stat : 1347 (java) S 1303 1303 395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510155280 8616062976 30121 33554432000 4194304 4196468 140728352560096 140207740119568 140207942035157 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11423744 140728352564192 140728352564358 140728352564358 140728352567247 0 [pid=1338/tid=1348] ppid=1303 vsize=8414124 memory=952 CPUtime=0 cores=0-7 /proc/1338/task/1348/stat : 1348 (java) S 1303 1303 395 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 510155282 8616062976 30121 33554432000 4194304 4196468 140728352560096 140207035513456 140207942036098 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11423744 140728352564192 140728352564358 140728352564358 140728352567247 0 [pid=1338/tid=1349] ppid=1303 vsize=8414124 memory=14008 CPUtime=0 cores=0-7 /proc/1338/task/1349/stat : 1349 (java) S 1303 1303 395 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 510155282 8616062976 30121 33554432000 4194304 4196468 140728352560096 140206590125344 140207942035157 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11423744 140728352564192 140728352564358 140728352564358 140728352567247 0 [pid=1338/tid=1350] ppid=1303 vsize=8414124 memory=29252 CPUtime=0 cores=0-7 /proc/1338/task/1350/stat : 1350 (java) S 1303 1303 395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510155283 8616062976 30121 33554432000 4194304 4196468 140728352560096 140206321690224 140207942035157 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11423744 140728352564192 140728352564358 140728352564358 140728352567247 0 [pid=1338/tid=1351] ppid=1303 vsize=8414124 memory=2116 CPUtime=0 cores=0-7 /proc/1338/task/1351/stat : 1351 (java) S 1303 1303 395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510155285 8616062976 30121 33554432000 4194304 4196468 140728352560096 140205947181648 140207942043547 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11423744 140728352564192 140728352564358 140728352564358 140728352567247 0 [pid=1338/tid=1352] ppid=1303 vsize=8414124 memory=12028 CPUtime=0.06 cores=0-7 /proc/1338/task/1352/stat : 1352 (java) S 1303 1303 395 0 -1 1077944384 518 0 0 0 6 0 0 0 20 0 24 0 510155285 8616062976 30121 33554432000 4194304 4196468 140728352560096 140207034460272 140207942036098 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11423744 140728352564192 140728352564358 140728352564358 140728352567247 0 [pid=1338/tid=1353] ppid=1303 vsize=8414124 memory=496 CPUtime=0.07 cores=0-7 /proc/1338/task/1353/stat : 1353 (java) S 1303 1303 395 0 -1 1077944384 249 0 0 0 7 0 0 0 20 0 24 0 510155285 8616062976 30121 33554432000 4194304 4196468 140728352560096 140207033407472 140207942036098 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11423744 140728352564192 140728352564358 140728352564358 140728352567247 0 [pid=1338/tid=1354] ppid=1303 vsize=8414124 memory=1564 CPUtime=0.06 cores=0-7 /proc/1338/task/1354/stat : 1354 (java) S 1303 1303 395 0 -1 1077944384 406 0 0 0 6 0 0 0 20 0 24 0 510155285 8616062976 30121 33554432000 4194304 4196468 140728352560096 140207032355184 140207942036098 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11423744 140728352564192 140728352564358 140728352564358 140728352567247 0 [pid=1338/tid=1355] ppid=1303 vsize=8414124 memory=1564 CPUtime=0.22 cores=0-7 /proc/1338/task/1355/stat : 1355 (java) S 1303 1303 395 0 -1 1077944384 584 0 0 0 22 0 0 0 20 0 24 0 510155285 8616062976 30121 33554432000 4194304 4196468 140728352560096 140207031302384 140207942036098 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11423744 140728352564192 140728352564358 140728352564358 140728352567247 0 [pid=1338/tid=1356] ppid=1303 vsize=8414124 memory=928 CPUtime=0 cores=0-7 /proc/1338/task/1356/stat : 1356 (java) S 1303 1303 395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510155286 8616062976 30121 33554432000 4194304 4196468 140728352560096 140205449276256 140207942035157 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11423744 140728352564192 140728352564358 140728352564358 140728352567247 0 [pid=1338/tid=1357] ppid=1303 vsize=8414124 memory=1412 CPUtime=0 cores=0-7 /proc/1338/task/1357/stat : 1357 (java) S 1303 1303 395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510155286 8616062976 30121 33554432000 4194304 4196468 140728352560096 140207030250288 140207942036098 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11423744 140728352564192 140728352564358 140728352564358 140728352567247 0 [pid=1338/tid=1359] ppid=1303 vsize=8414124 memory=3244 CPUtime=0 cores=0-7 /proc/1338/task/1359/stat : 1359 (java) S 1303 1303 395 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 510155354 8616062976 30121 33554432000 4194304 4196468 140728352560096 140207022217024 140207942049561 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 11423744 140728352564192 140728352564358 140728352564358 140728352567247 0 [pid=1338/tid=1361] ppid=1303 vsize=8414124 memory=1476 CPUtime=0 cores=0-7 /proc/1338/task/1361/stat : 1361 (java) S 1303 1303 395 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 510155354 8616062976 30121 33554432000 4194304 4196468 140728352560096 140204778175920 140207942046877 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 11423744 140728352564192 140728352564358 140728352564358 140728352567247 0 [pid=1338/tid=1362] ppid=1303 vsize=8414124 memory=120484 CPUtime=0 cores=0-7 /proc/1338/task/1362/stat : 1362 (java) S 1303 1303 395 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 510155354 8616062976 30121 33554432000 4194304 4196468 140728352560096 140205046611248 140207942046877 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 11423744 140728352564192 140728352564358 140728352564358 140728352567247 0 [pid=1338/tid=1363] ppid=1303 vsize=8414124 memory=497096 CPUtime=0 cores=0-7 /proc/1338/task/1363/stat : 1363 (java) S 1303 1303 395 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 510155356 8616062976 30121 33554432000 4194304 4196468 140728352560096 140204509748528 140207942035157 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11423744 140728352564192 140728352564358 140728352564358 140728352567247 0 Current children cumulated CPU time: 221.09 s Current children cumulated vsize: 11644644 KiB Current children cumulated memory: 2833616 KiB [startup+159.201 s] /proc/loadavg: 1.22 3.98 5.13 3/218 1381 /proc/meminfo: memFree=21555216/32770624 swapFree=66996984/67108860 [pid=1303] ppid=1300 vsize=113128 memory=1476 CPUtime=197.72 cores=0-7 /proc/1303/stat : 1303 (scop.sh) S 1300 1303 395 0 -1 4202496 583 145128 0 0 0 0 18583 1189 20 0 1 0 510141260 115843072 369 33554432000 4194304 5098028 140728920098272 140728920095016 140158879306364 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 33206272 140728920105725 140728920106072 140728920106072 140728920109001 0 /proc/1303/statm: 28282 369 311 221 0 87 0 [pid=1338] ppid=1303 vsize=8283048 memory=158296 CPUtime=24.33 cores=0-7 /proc/1338/stat : 1338 (java) S 1303 1303 395 0 -1 1077944320 21354 635230 0 0 172 10 2134 117 20 0 22 0 510155278 8481841152 39574 33554432000 4194304 4196468 140728352560096 140728352542640 140207942024951 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 11423744 140728352564192 140728352564358 140728352564358 140728352567247 0 /proc/1338/statm: 2070762 39574 3228 1 0 2032106 0 [pid=1338/tid=1339] ppid=1303 vsize=8283048 memory=3244 CPUtime=23.38 cores=0-7 /proc/1338/task/1339/stat : 1339 (java) R 1303 1303 395 0 -1 4202560 17196 635230 0 0 82 5 2134 117 20 0 22 0 510155279 8481841152 39574 33554432000 4194304 4196468 140728352560096 140207913863264 140207412506080 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11423744 140728352564192 140728352564358 140728352564358 140728352567247 0 [pid=1338/tid=1340] ppid=1303 vsize=8283048 memory=8112282956445269571 CPUtime=22.51 cores=0-7 /proc/1338/task/1340/stat : 1340 (java) S 1303 1303 395 0 -1 1077944384 1 635230 0 0 0 0 2134 117 20 0 22 0 510155280 8481841152 39574 33554432000 4194304 4196468 140728352560096 140207946267536 140207942035157 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11423744 140728352564192 140728352564358 140728352564358 140728352567247 0 [pid=1338/tid=1341] ppid=1303 vsize=8283048 memory=4100 CPUtime=22.51 cores=0-7 /proc/1338/task/1341/stat : 1341 (java) S 1303 1303 395 0 -1 1077944384 2 635230 0 0 0 0 2134 117 20 0 22 0 510155280 8481841152 39574 33554432000 4194304 4196468 140728352560096 140207746435856 140207942035157 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11423744 140728352564192 140728352564358 140728352564358 140728352567247 0 [pid=1338/tid=1342] ppid=1303 vsize=8283048 memory=1804 CPUtime=22.51 cores=0-7 /proc/1338/task/1342/stat : 1342 (java) S 1303 1303 395 0 -1 1077944384 3 635230 0 0 0 0 2134 117 20 0 22 0 510155280 8481841152 39574 33554432000 4194304 4196468 140728352560096 140207745383568 140207942035157 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11423744 140728352564192 140728352564358 140728352564358 140728352567247 0 [pid=1338/tid=1343] ppid=1303 vsize=8283048 memory=56148 CPUtime=22.51 cores=0-7 /proc/1338/task/1343/stat : 1343 (java) S 1303 1303 395 0 -1 1077944384 2 635230 0 0 0 0 2134 117 20 0 22 0 510155280 8481841152 39574 33554432000 4194304 4196468 140728352560096 140207744330768 140207942035157 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11423744 140728352564192 140728352564358 140728352564358 140728352567247 0 [pid=1338/tid=1344] ppid=1303 vsize=8283048 memory=920 CPUtime=22.51 cores=0-7 /proc/1338/task/1344/stat : 1344 (java) S 1303 1303 395 0 -1 1077944384 2 635230 0 0 0 0 2134 117 20 0 22 0 510155280 8481841152 39574 33554432000 4194304 4196468 140728352560096 140207743277456 140207942035157 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11423744 140728352564192 140728352564358 140728352564358 140728352567247 0 [pid=1338/tid=1345] ppid=1303 vsize=8283048 memory=4432 CPUtime=22.51 cores=0-7 /proc/1338/task/1345/stat : 1345 (java) S 1303 1303 395 0 -1 1077944384 2 635230 0 0 0 0 2134 117 20 0 22 0 510155280 8481841152 39574 33554432000 4194304 4196468 140728352560096 140207742224656 140207942035157 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11423744 140728352564192 140728352564358 140728352564358 140728352567247 0 [pid=1338/tid=1346] ppid=1303 vsize=8283048 memory=984 CPUtime=22.51 cores=0-7 /proc/1338/task/1346/stat : 1346 (java) S 1303 1303 395 0 -1 1077944384 1 635230 0 0 0 0 2134 117 20 0 22 0 510155280 8481841152 39574 33554432000 4194304 4196468 140728352560096 140207741172368 140207942035157 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11423744 140728352564192 140728352564358 140728352564358 140728352567247 0 [pid=1338/tid=1347] ppid=1303 vsize=8283048 memory=2004 CPUtime=22.51 cores=0-7 /proc/1338/task/1347/stat : 1347 (java) S 1303 1303 395 0 -1 1077944384 1 635230 0 0 0 0 2134 117 20 0 22 0 510155280 8481841152 39574 33554432000 4194304 4196468 140728352560096 140207740119568 140207942035157 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11423744 140728352564192 140728352564358 140728352564358 140728352567247 0 [pid=1338/tid=1348] ppid=1303 vsize=8283048 memory=1428 CPUtime=22.51 cores=0-7 /proc/1338/task/1348/stat : 1348 (java) S 1303 1303 395 0 -1 1077944384 5 635230 0 0 0 0 2134 117 20 0 22 0 510155282 8481841152 39574 33554432000 4194304 4196468 140728352560096 140207035513456 140207942036098 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11423744 140728352564192 140728352564358 140728352564358 140728352567247 0 [pid=1338/tid=1349] ppid=1303 vsize=8283048 memory=1060 CPUtime=22.51 cores=0-7 /proc/1338/task/1349/stat : 1349 (java) S 1303 1303 395 0 -1 1077944384 13 635230 0 0 0 0 2134 117 20 0 22 0 510155282 8481841152 39574 33554432000 4194304 4196468 140728352560096 140206590125344 140207942035157 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11423744 140728352564192 140728352564358 140728352564358 140728352567247 0 [pid=1338/tid=1350] ppid=1303 vsize=8283048 memory=740 CPUtime=22.51 cores=0-7 /proc/1338/task/1350/stat : 1350 (java) S 1303 1303 395 0 -1 1077944384 1 635230 0 0 0 0 2134 117 20 0 22 0 510155283 8481841152 39574 33554432000 4194304 4196468 140728352560096 140206321690224 140207942035157 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11423744 140728352564192 140728352564358 140728352564358 140728352567247 0 [pid=1338/tid=1351] ppid=1303 vsize=8283048 memory=1228 CPUtime=22.51 cores=0-7 /proc/1338/task/1351/stat : 1351 (java) S 1303 1303 395 0 -1 1077944384 1 635230 0 0 0 0 2134 117 20 0 22 0 510155285 8481841152 39574 33554432000 4194304 4196468 140728352560096 140205947181648 140207942043547 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11423744 140728352564192 140728352564358 140728352564358 140728352567247 0 [pid=1338/tid=1352] ppid=1303 vsize=8283048 memory=9520 CPUtime=22.65 cores=0-7 /proc/1338/task/1352/stat : 1352 (java) S 1303 1303 395 0 -1 1077944384 567 635230 0 0 14 0 2134 117 20 0 22 0 510155285 8481841152 39574 33554432000 4194304 4196468 140728352560096 140207034460272 140207942036098 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11423744 140728352564192 140728352564358 140728352564358 140728352567247 0 [pid=1338/tid=1353] ppid=1303 vsize=8283048 memory=4076 CPUtime=22.68 cores=0-7 /proc/1338/task/1353/stat : 1353 (java) S 1303 1303 395 0 -1 1077944384 470 635230 0 0 17 0 2134 117 20 0 22 0 510155285 8481841152 39574 33554432000 4194304 4196468 140728352560096 140207033407472 140207942036098 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11423744 140728352564192 140728352564358 140728352564358 140728352567247 0 [pid=1338/tid=1354] ppid=1303 vsize=8283048 memory=2836 CPUtime=22.64 cores=0-7 /proc/1338/task/1354/stat : 1354 (java) S 1303 1303 395 0 -1 1077944384 447 635230 0 0 13 0 2134 117 20 0 22 0 510155285 8481841152 39574 33554432000 4194304 4196468 140728352560096 140207032355184 140207942036098 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11423744 140728352564192 140728352564358 140728352564358 140728352567247 0 [pid=1338/tid=1355] ppid=1303 vsize=8283048 memory=1540 CPUtime=22.81 cores=0-7 /proc/1338/task/1355/stat : 1355 (java) R 1303 1303 395 0 -1 4202560 1213 635230 0 0 30 0 2134 117 20 0 22 0 510155285 8481841152 39574 33554432000 4194304 4196468 140728352560096 140207031296048 140207935121787 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11423744 140728352564192 140728352564358 140728352564358 140728352567247 0 [pid=1338/tid=1356] ppid=1303 vsize=8283048 memory=1732 CPUtime=22.51 cores=0-7 /proc/1338/task/1356/stat : 1356 (java) S 1303 1303 395 0 -1 1077944384 3 635230 0 0 0 0 2134 117 20 0 22 0 510155286 8481841152 39574 33554432000 4194304 4196468 140728352560096 140205449276256 140207942035157 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11423744 140728352564192 140728352564358 140728352564358 140728352567247 0 [pid=1338/tid=1357] ppid=1303 vsize=8283048 memory=6128 CPUtime=22.51 cores=0-7 /proc/1338/task/1357/stat : 1357 (java) S 1303 1303 395 0 -1 1077944384 3 635230 0 0 0 0 2134 117 20 0 22 0 510155286 8481841152 39574 33554432000 4194304 4196468 140728352560096 140207030250288 140207942036098 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11423744 140728352564192 140728352564358 140728352564358 140728352567247 0 [pid=1338/tid=1359] ppid=1303 vsize=8283048 memory=120484 CPUtime=22.51 cores=0-7 /proc/1338/task/1359/stat : 1359 (java) S 1303 1303 395 0 -1 1077944384 23 635230 0 0 0 0 2134 117 20 0 22 0 510155354 8481841152 39574 33554432000 4194304 4196468 140728352560096 140207022216208 140207942036098 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11423744 140728352564192 140728352564358 140728352564358 140728352567247 0 [pid=1338/tid=1363] ppid=1303 vsize=8283048 memory=373344 CPUtime=22.51 cores=0-7 /proc/1338/task/1363/stat : 1363 (java) S 1303 1303 395 0 -1 1077944384 9 635230 0 0 0 0 2134 117 20 0 22 0 510155356 8481841152 39574 33554432000 4194304 4196468 140728352560096 140204509750320 140207942036098 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11423744 140728352564192 140728352564358 140728352564358 140728352567247 0 Current children cumulated CPU time: 222.05 s Current children cumulated vsize: 8396176 KiB Current children cumulated memory: 159772 KiB Child status: 0 Real time (s): 159.289 CPU time (s): 222.233 CPU user time (s): 209.013 CPU system time (s): 13.22 CPU usage (%): 139.516 Max. virtual memory (cumulated for all children) (KiB): 27443924 Max. memory (cumulated for all children) (KiB): 9478948 getrusage(RUSAGE_CHILDREN,...) data: user time used= 209.013 system time used= 13.22 maximum resident set size= 9478324 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 803529 page faults= 0 swaps= 0 block input operations= 8 block output operations= 208792 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 55764 involuntary context switches= 721 # summary of solver processes directly reported to runsolver: # pid: 1303 # total CPU time (s): 222.233 # total CPU user time (s): 209.013 # total CPU system time (s): 13.22 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 1.13662 second user time and 1.65579 second system time The end
Begin job on node126 at 2019-09-24 17:24:57 IDJOB=4405132 IDBENCH=131296 IDSOLVER=2867 FILE ID=node126/4405132-1569338735 RUNJOBID= node126-1569335941-423 PBS_JOBID= 21705059 Free space on /var/tmp= 13508 MiB SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-09-22) BENCH NAME= XCSP17/Subisomorphism/Subisomorphism-m1-SF/Subisomorphism-A-20.xml COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -order DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405132-1569338735/watcher-4405132-1569338735 -o /var/tmp/evaluation-result-4405132-1569338735/solver-4405132-1569338735 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node126-1569335941-423 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405132-1569338735.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= c3d3968bb4d1a566be21f2b70665db2a RANDOM SEED=586788715 node126.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.45 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.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.45 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.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.45 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.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.45 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.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 24496812 kB MemAvailable: 31843348 kB Buffers: 87364 kB Cached: 7489396 kB SwapCached: 7636 kB Active: 3765508 kB Inactive: 3822604 kB Active(anon): 3964 kB Inactive(anon): 57564 kB Active(file): 3761544 kB Inactive(file): 3765040 kB Unevictable: 109424 kB Mlocked: 109424 kB SwapTotal: 67108860 kB SwapFree: 66996984 kB Dirty: 20408 kB Writeback: 0 kB AnonPages: 201632 kB Mapped: 53584 kB Shmem: 41564 kB Slab: 276916 kB SReclaimable: 248412 kB SUnreclaim: 28504 kB KernelStack: 3808 kB PageTables: 5260 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 515836 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 155648 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 130432 kB DirectMap2M: 33415168 kB Free space on /var/tmp at the end= 13488 MiB End job on node126 at 2019-09-24 17:27:36