Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
Fun-sCOP order+ManyGlucose (2019-09-22) | SAT | 163.239 | 120.882 |
Name | Subisomorphism/Subisomorphism-m1-si6-bvg/ Subisomorphism-si6-b06-m200-07.xml |
MD5SUM | d7eafb215ab3d3f066855d3513f44111 |
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.030068 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 120 |
Number of constraints | 355 |
Number of domains | 1 |
Minimum domain size | 200 |
Maximum domain size | 200 |
Distribution of domain sizes | [{"size":200,"count":120}] |
Minimum variable degree | 4 |
Maximum variable degree | 7 |
Distribution of variable degrees | [{"degree":4,"count":2},{"degree":5,"count":2},{"degree":6,"count":2},{"degree":7,"count":114}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 120 |
Distribution of constraint arities | [{"arity":2,"count":354},{"arity":120,"count":1}] |
Number of extensional constraints | 354 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":354},{"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-5957-serial-file.bin HOME/instance-4405154-1569338926.xml 0.66/0.54 0.66/0.54 Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15) 0.66/0.54 0.66/0.56 c BEGIN-Prog: Tue Sep 24 16:18:23 CEST 2019 0.66/0.56 c PID: 5960 0.66/0.56 c IP: 172.20.3.104 0.66/0.56 c HOST: node104.alineos.net 0.66/0.57 c (0,0) Parsing Begin 1.58/1.00 c (0,0) Parsing End 1.79/1.01 c (0,0) CSP: 120 int (0 aux), 0 bool (0 aux), 355 ctr, max domain size 200 1.79/1.01 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB) 1.79/1.01 c (0,0) Constraint Name Generate Begin 1.79/1.02 c (0,0) Ctr:HOME/instance-4405154-1569338926.xml,AllDifferent:ExtensionSupport:Var 1.79/1.02 c (0,0) Constraint Name Generate End 1.79/1.02 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB) 1.79/1.02 c (0,0) CSP to CSPinCNF Begin 14.02/6.98 c (6,6) translated 36 (10%) constraints 19.10/11.81 c (11,11) translated 71 (20%) constraints 24.02/16.77 c (16,16) translated 107 (30%) constraints 30.87/21.66 c (21,20) translated 142 (40%) constraints 35.59/26.33 c (25,25) translated 178 (50%) constraints 40.12/30.86 c (30,29) translated 213 (60%) constraints 47.98/35.94 c (35,34) translated 249 (70%) constraints 52.51/40.48 c (39,39) translated 284 (80%) constraints 57.24/45.14 c (44,43) translated 320 (90%) constraints 65.72/50.18 c (49,48) translated 355 (100%) constraints 65.91/50.31 c (49,48) =========================================== 65.91/50.32 c (49,48) Order 65.91/50.32 c (49,48) =========================================== 69.12/52.32 c (51,50) translated 96967 (10%) constraints 71.00/54.15 c (53,52) translated 193934 (20%) constraints 72.79/55.97 c (55,54) translated 290901 (30%) constraints 74.59/57.79 c (57,55) translated 387868 (40%) constraints 76.50/59.61 c (59,57) translated 484835 (50%) constraints 78.31/61.43 c (60,59) translated 581802 (60%) constraints 80.11/63.26 c (62,61) translated 678769 (70%) constraints 81.92/65.09 c (64,63) translated 775736 (80%) constraints 83.81/66.92 c (66,65) translated 872703 (90%) constraints 85.66/68.75 c (68,66) translated 969669 (100%) constraints 85.66/68.75 c (68,66) CSP to CSPinCNF End 85.66/68.79 c (68,66) CSP: 120 int (0 aux), 70800 bool (70800 aux), 969669 ctr, max domain size 200 85.66/68.79 c (68,66) Heap : 5963 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB) 85.66/68.79 c (68,66) CSPinCNF Propagation Begin 95.50/74.52 c (73,72) 0 values, 354 unsatisfiable literals, and 1 valid clauses are removed 95.50/74.52 c (73,72) CSPinCNF Propagation End 95.50/74.55 c (74,72) CSP: 120 int (0 aux), 70800 bool (70800 aux), 969668 ctr, max domain size 200 95.50/74.55 c (74,72) Heap : 5904 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB) 95.50/74.56 c (74,72) Simplify CSPinCNF Begin 101.86/76.85 c (76,74) Simplify CSPinCNF End 101.86/76.88 c (76,74) CSP: 120 int (0 aux), 85080 bool (85080 aux), 983948 ctr, max domain size 200 101.86/76.88 c (76,74) Heap : 1550 MiB used (max 21532 MiB), NonHeap : 29 MiB used (max 0 MiB) 101.86/76.88 c (76,74) Calculate Precise Domain Begin 101.86/76.88 c (76,74) 0 values are removed by re-calculation 101.86/76.88 c (76,74) Calculate Precise Domain End 101.98/76.91 c (76,74) CSP: 120 int (0 aux), 85080 bool (85080 aux), 983948 ctr, max domain size 200 101.98/76.91 c (76,74) Heap : 1566 MiB used (max 21532 MiB), NonHeap : 29 MiB used (max 0 MiB) 101.98/76.91 c (76,74) CSPinCNF to SatSolver Begin 123.53/91.00 c (90,87) 98395 (10 %) CSP clauses are encoded (0 SAT variables, 2963874 SAT clauses) 124.59/91.98 c (91,88) 196790 (20 %) CSP clauses are encoded (0 SAT variables, 3062269 SAT clauses) 125.60/92.94 c (92,89) 295185 (30 %) CSP clauses are encoded (0 SAT variables, 3160664 SAT clauses) 126.60/93.91 c (93,90) 393580 (40 %) CSP clauses are encoded (0 SAT variables, 3259059 SAT clauses) 127.50/94.89 c (94,91) 491974 (50 %) CSP clauses are encoded (0 SAT variables, 3357453 SAT clauses) 128.50/95.86 c (95,92) 590369 (60 %) CSP clauses are encoded (0 SAT variables, 3455848 SAT clauses) 129.50/96.83 c (96,93) 688764 (70 %) CSP clauses are encoded (0 SAT variables, 3554243 SAT clauses) 135.11/98.40 c (97,94) 787159 (80 %) CSP clauses are encoded (0 SAT variables, 3652638 SAT clauses) 136.02/99.38 c (98,95) 885554 (90 %) CSP clauses are encoded (0 SAT variables, 3751033 SAT clauses) 137.01/100.36 c (99,96) 983948 (100 %) CSP clauses are encoded (0 SAT variables, 3849427 SAT clauses) 137.01/100.36 c (99,96) CSPinCNF to SatSolver End 137.01/100.36 c (99,96) Heap : 2535 MiB used (max 21451 MiB), NonHeap : 31 MiB used (max 0 MiB) 137.01/100.36 c (99,96) 108960 bool, 3849428 clause 137.01/100.36 c (99,96) Export Begin 137.13/100.46 c (99,96) Export to HOME/scop-5957-serial-file.bin 137.13/100.46 c (99,96) Export End 137.13/100.47 c (99,96) Export File Size: 0.03 MB 137.13/100.47 c (99,96) 0,0,68,74,76,76,99,STOP-AFTER(DIMACS) 137.13/100.47 c END-Prog: Tue Sep 24 16:20:03 CEST 2019 0.00/100.51 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-5957-serial-file.bin 137.32/100.97 c (0,0) Read Serial File Begin 137.32/100.97 c (0,0) HOME/scop-5957-serial-file.bin 138.25/101.20 c (0,0) Read Serial File End 138.25/101.21 138.25/101.21 Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15) 138.25/101.21 (Solving Process) 138.25/101.21 138.25/101.23 c BEGIN-Prog: Tue Sep 24 16:20:04 CEST 2019 138.25/101.23 c PID: 5996 138.25/101.23 c IP: 172.20.3.104 138.25/101.23 c HOST: node104.alineos.net 138.25/101.24 c (0,0) SatSolver.solve Begin 138.25/101.24 c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405154-1569338926.xml-scop-5960.cnf 138.25/101.26 c (0,0) c 138.25/101.26 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) 138.25/101.26 c (0,0) c 138.25/101.26 c (0,0) c WARNING: for repeatability, setting FPU to use double precision 138.25/101.26 c (0,0) c 8 solvers engines and 1 companion as a blackboard created. 138.25/101.26 c (0,0) c ========================================[ Problem Statistics ]=========================================== 138.25/101.26 c (0,0) c | | 139.63/102.48 c (1,0) c | Number of variables: 108960 | 139.63/102.48 c (1,0) c | Number of clauses: 3849428 | 139.63/102.48 c (1,0) c | Parse time: 1.10 s | 139.63/102.48 c (1,0) c | | 156.04/118.88 c (17,0) c | Simplification time: 16.24 s | 156.04/118.88 c (17,0) c | | 156.04/118.88 c (17,0) c | Generating clones | 156.95/119.71 c (18,0) c | all clones generated. Memory = 2236.60Mb. | 156.95/119.71 c (18,0) c ========================================================================================================| 156.95/119.71 c (18,0) c 156.95/119.71 c (18,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 156.95/119.71 c (18,0) c 156.95/119.71 c (18,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 156.95/119.71 c (18,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 156.95/119.71 c (18,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 156.95/119.71 c (18,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 156.95/119.71 c (18,0) c | adaptStrategeis | True | False | True | False | True | False | True | False | 156.95/119.71 c (18,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 156.95/119.71 c (18,0) c | Initial random_seed | 91648253 | 91648254 | 91648255 | 91648256 | 91648257 | 91648258 | 91648259 | 91648260 | 156.95/119.71 c (18,0) c | chanseokStrategy | False | False | False | False | False | False | False | False | 156.95/119.71 c (18,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 156.95/119.71 c (18,0) c | glureduce | True | True | True | True | True | True | True | True | 156.95/119.71 c (18,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 156.95/119.71 c (18,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 156.95/119.71 c (18,0) c | luby_restart | False | False | False | False | False | False | False | False | 156.95/119.71 c (18,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 156.95/119.71 c (18,0) c | var_decay | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 156.95/119.71 c (18,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 156.95/119.71 c (18,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 156.95/119.71 c (18,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 156.95/119.71 c (18,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 162.20/120.59 c (19,0) c 162.20/120.59 c (19,0) c real time : 19.3291 s 162.20/120.59 c (19,0) c cpu time : 22.9938 s 162.20/120.59 c (19,0) c 162.20/120.59 c (19,0) c 162.20/120.59 c (19,0) c 162.20/120.59 c (19,0) c |---------------------------------------- FINAL STATS --------------------------------------------------| 162.20/120.59 c (19,0) c 162.20/120.59 c (19,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 162.20/120.59 c (19,0) c | Threads | Total | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 162.20/120.59 c (19,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 162.20/120.59 c (19,0) c | Conflicts | 2057 | 210 | 290 | 210 | 475 | 195 | 149 | 356 | 172 | 162.20/120.59 c (19,0) c | Decisions | 4779 | 552 | 659 | 872 | 805 | 494 | 331 | 651 | 415 | 162.20/120.59 c (19,0) c | Propagations | 4099145 | 513237 | 524146 | 423465 | 577584 | 476537 | 589894 | 566878 | 427404 | 162.20/120.59 c (19,0) c | ReduceDBs | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 162.20/120.59 c (19,0) c | SimpDBs | 8 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 162.20/120.59 c (19,0) c | Restarts | 12 | 2 | 2 | 2 | 1 | 2 | 1 | 1 | 1 | 162.20/120.59 c (19,0) c | ForcedImports | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 162.20/120.59 c (19,0) c | PropBinClauses| 2773239 | 298179 | 364122 | 264120 | 423503 | 321571 | 400737 | 419627 | 281380 | 162.20/120.59 c (19,0) c | PropPreBlocker| 89190655 | 10379727 | 10750331 | 9315566 | 11411579 | 11823870 | 16324964 | 11510378 | 7674240 | 162.20/120.59 c (19,0) c | PropNotBlocker| 41184244 | 5445289 | 4509870 | 4726421 | 5466498 | 5476478 | 6709344 | 5292169 | 3558175 | 162.20/120.59 c (19,0) c | LitFullScans | 138904525 | 17039644 | 16416357 | 15044960 | 18006514 | 18175149 | 23993117 | 18008401 | 12220383 | 162.20/120.59 c (19,0) c | LitScanFracts | 13031 | 798 | 277 | 1922 | 3552 | 1668 | 1782 | 1978 | 1054 | 162.20/120.59 c (19,0) c | DecisionLevel0| 12 | 2 | 2 | 2 | 1 | 2 | 1 | 1 | 1 | 162.20/120.59 c (19,0) c | Periods | 20 | 2 | 2 | 2 | 3 | 3 | 3 | 3 | 2 | 162.20/120.59 c (19,0) c | Margin | 160 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 162.20/120.59 c (19,0) c | Avg_Trail | | 4805 | 12913 | 8280 | 5513 | 6331 | 7648 | 4533 | 8146 | 162.20/120.59 c (19,0) c | Avg_DL | | 35 | 153 | 84 | 72 | 99 | 45 | 26 | 78 | 162.20/120.59 c (19,0) c | Avg_Res | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 162.20/120.59 c (19,0) c | Avg_Res_Seen | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 162.20/120.59 c (19,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 162.20/120.59 c (19,0) c | Exported | 74 | 11 | 6 | 1 | 15 | 7 | 5 | 24 | 5 | 162.20/120.59 c (19,0) c | Imported | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 162.20/120.59 c (19,0) c | Good | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 162.20/120.59 c (19,0) c | Purge | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 162.20/120.59 c (19,0) c | Promoted | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 162.20/120.59 c (19,0) c | Remove_Imp | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 162.20/120.59 c (19,0) c | Blocked_Reuse | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 162.20/120.59 c (19,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 162.20/120.59 c (19,0) c | Unaries | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 162.20/120.59 c (19,0) c | Binaries | | 0 | 0 | 0 | 0 | 0 | 0 | 3 | 0 | 162.20/120.59 c (19,0) c | Glues | | 11 | 6 | 1 | 15 | 7 | 5 | 24 | 5 | 162.20/120.59 c (19,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 162.20/120.59 c (19,0) c | Orig_Seen | 0 % | 40094 | 9980 | 20597 | 10269 | 9244 | 8273 | 12269 | 20831 | 162.20/120.59 c (19,0) c | Diff Orig seen| | 19497 | - 10617 | X | - 10328 | - 11353 | - 12324 | - 8328 | 234 | 162.20/120.59 c (19,0) c | Hamming | 14 % | 16325 | 15081 | X | 15706 | 15828 | 16877 | 15305 | 15995 | 162.20/120.59 c (19,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 162.20/120.59 c (19,0) c | RunningTime | | 0.9 100%| 0.8 100%| 0.8 100%| 0.8 100%| 0.8 100%| 0.8 100%| 0.9 100%| 0.8 100%| 162.20/120.59 c (19,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%| 162.20/120.59 c (19,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%| 162.20/120.59 c (19,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%| 162.20/120.59 c (19,0) c | SolvingTime | | 0.9 | 0.8 | 0.8 | 0.8 | 0.8 | 0.8 | 0.9 | 0.8 | 162.20/120.59 c (19,0) c | PropagationTim| | 0.8 96%| 0.8 97%| 0.7 97%| 0.8 96%| 0.7 98%| 0.8 98%| 0.8 97%| 0.7 96%| 162.20/120.59 c (19,0) c | AnalysisTime | | 0.0 3%| 0.0 2%| 0.0 2%| 0.0 2%| 0.0 1%| 0.0 1%| 0.0 2%| 0.0 3%| 162.20/120.59 c (19,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%| 162.20/120.59 c (19,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%| 162.20/120.59 c (19,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%| 162.20/120.59 c (19,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%| 162.20/120.59 c (19,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 162.20/120.59 c (19,0) c 162.20/120.59 c (19,0) c 162.20/120.59 c (19,0) c Threads : 8 162.20/120.59 c (19,0) c Winner : 2 162.20/120.59 c (19,0) c Conflicts_0 : 210 162.20/120.59 c (19,0) c Conflicts_1 : 290 162.20/120.59 c (19,0) c Conflicts_2 : 210 162.20/120.59 c (19,0) c Conflicts_3 : 475 162.20/120.59 c (19,0) c Conflicts_4 : 195 162.20/120.59 c (19,0) c Conflicts_5 : 149 162.20/120.59 c (19,0) c Conflicts_6 : 356 162.20/120.59 c (19,0) c Conflicts_7 : 172 162.20/120.59 c (19,0) c Conflicts_total : 2057 162.20/120.59 c (19,0) c Conflicts_winner : 210 162.20/120.59 c (19,0) c Decisions_0 : 552 162.20/120.59 c (19,0) c Decisions_1 : 659 162.20/120.59 c (19,0) c Decisions_2 : 872 162.20/120.59 c (19,0) c Decisions_3 : 805 162.20/120.59 c (19,0) c Decisions_4 : 494 162.20/120.59 c (19,0) c Decisions_5 : 331 162.20/120.59 c (19,0) c Decisions_6 : 651 162.20/120.59 c (19,0) c Decisions_7 : 415 162.20/120.59 c (19,0) c Decisions_total : 4779 162.20/120.59 c (19,0) c Decisions_winner : 872 162.20/120.59 c (19,0) c Propagations_0 : 513237 162.20/120.59 c (19,0) c Propagations_1 : 524146 162.20/120.59 c (19,0) c Propagations_2 : 423465 162.20/120.59 c (19,0) c Propagations_3 : 577584 162.20/120.59 c (19,0) c Propagations_4 : 476537 162.20/120.59 c (19,0) c Propagations_5 : 589894 162.20/120.59 c (19,0) c Propagations_6 : 566878 162.20/120.59 c (19,0) c Propagations_7 : 427404 162.20/120.59 c (19,0) c Propagations_total : 4099145 162.20/120.59 c (19,0) c Propagations_winner : 423465 162.20/120.59 c (19,0) c ReduceDBs_0 : 0 162.20/120.59 c (19,0) c ReduceDBs_1 : 0 162.20/120.59 c (19,0) c ReduceDBs_2 : 0 162.20/120.59 c (19,0) c ReduceDBs_3 : 0 162.20/120.59 c (19,0) c ReduceDBs_4 : 0 162.20/120.59 c (19,0) c ReduceDBs_5 : 0 162.20/120.59 c (19,0) c ReduceDBs_6 : 0 162.20/120.59 c (19,0) c ReduceDBs_7 : 0 162.20/120.59 c (19,0) c ReduceDBs_total : 0 162.20/120.60 c (19,0) c ReduceDBs_winner : 0 162.20/120.60 c (19,0) c SimpDBs_0 : 1 162.20/120.60 c (19,0) c SimpDBs_1 : 1 162.20/120.60 c (19,0) c SimpDBs_2 : 1 162.20/120.60 c (19,0) c SimpDBs_3 : 1 162.20/120.60 c (19,0) c SimpDBs_4 : 1 162.20/120.60 c (19,0) c SimpDBs_5 : 1 162.20/120.60 c (19,0) c SimpDBs_6 : 1 162.20/120.60 c (19,0) c SimpDBs_7 : 1 162.20/120.60 c (19,0) c SimpDBs_total : 8 162.20/120.60 c (19,0) c SimpDBs_winner : 1 162.20/120.60 c (19,0) c Restarts_0 : 2 162.20/120.60 c (19,0) c Restarts_1 : 2 162.20/120.60 c (19,0) c Restarts_2 : 2 162.20/120.60 c (19,0) c Restarts_3 : 1 162.20/120.60 c (19,0) c Restarts_4 : 2 162.20/120.60 c (19,0) c Restarts_5 : 1 162.20/120.60 c (19,0) c Restarts_6 : 1 162.20/120.60 c (19,0) c Restarts_7 : 1 162.20/120.60 c (19,0) c Restarts_total : 12 162.20/120.60 c (19,0) c Restarts_winner : 2 162.20/120.60 c (19,0) c ForcedImports_0 : 0 162.20/120.60 c (19,0) c ForcedImports_1 : 0 162.20/120.60 c (19,0) c ForcedImports_2 : 0 162.20/120.60 c (19,0) c ForcedImports_3 : 0 162.20/120.60 c (19,0) c ForcedImports_4 : 0 162.20/120.60 c (19,0) c ForcedImports_5 : 0 162.20/120.60 c (19,0) c ForcedImports_6 : 0 162.20/120.60 c (19,0) c ForcedImports_7 : 0 162.20/120.60 c (19,0) c ForcedImports_total : 0 162.20/120.60 c (19,0) c ForcedImports_winner : 0 162.20/120.60 c (19,0) c PropsBinClauses_0 : 298179 162.20/120.60 c (19,0) c PropsBinClauses_1 : 364122 162.20/120.60 c (19,0) c PropsBinClauses_2 : 264120 162.20/120.60 c (19,0) c PropsBinClauses_3 : 423503 162.20/120.60 c (19,0) c PropsBinClauses_4 : 321571 162.20/120.60 c (19,0) c PropsBinClauses_5 : 400737 162.20/120.60 c (19,0) c PropsBinClauses_6 : 419627 162.20/120.60 c (19,0) c PropsBinClauses_7 : 281380 162.20/120.60 c (19,0) c PropsBinClauses_total : 2773239 162.20/120.60 c (19,0) c PropsBinClauses_winner : 264120 162.20/120.60 c (19,0) c PropsPreBlocker_0 : 10379727 162.20/120.60 c (19,0) c PropsPreBlocker_1 : 10750331 162.20/120.60 c (19,0) c PropsPreBlocker_2 : 9315566 162.20/120.60 c (19,0) c PropsPreBlocker_3 : 11411579 162.20/120.60 c (19,0) c PropsPreBlocker_4 : 11823870 162.20/120.60 c (19,0) c PropsPreBlocker_5 : 16324964 162.20/120.60 c (19,0) c PropsPreBlocker_6 : 11510378 162.20/120.60 c (19,0) c PropsPreBlocker_7 : 7674240 162.20/120.60 c (19,0) c PropsPreBlocker_total : 89190655 162.20/120.60 c (19,0) c PropsPreBlocker_winner : 9315566 162.20/120.60 c (19,0) c PropsNotBlocker_0 : 5445289 162.20/120.60 c (19,0) c PropsNotBlocker_1 : 4509870 162.20/120.60 c (19,0) c PropsNotBlocker_2 : 4726421 162.20/120.60 c (19,0) c PropsNotBlocker_3 : 5466498 162.20/120.60 c (19,0) c PropsNotBlocker_4 : 5476478 162.20/120.60 c (19,0) c PropsNotBlocker_5 : 6709344 162.20/120.60 c (19,0) c PropsNotBlocker_6 : 5292169 162.20/120.60 c (19,0) c PropsNotBlocker_7 : 3558175 162.20/120.60 c (19,0) c PropsNotBlocker_total : 41184244 162.20/120.60 c (19,0) c PropsNotBlocker_winner : 4726421 162.20/120.60 c (19,0) c PropsLitFullScans_0 : 17039644 162.20/120.60 c (19,0) c PropsLitFullScans_1 : 16416357 162.20/120.60 c (19,0) c PropsLitFullScans_2 : 15044960 162.20/120.60 c (19,0) c PropsLitFullScans_3 : 18006514 162.20/120.60 c (19,0) c PropsLitFullScans_4 : 18175149 162.20/120.60 c (19,0) c PropsLitFullScans_5 : 23993117 162.20/120.60 c (19,0) c PropsLitFullScans_6 : 18008401 162.20/120.60 c (19,0) c PropsLitFullScans_7 : 12220383 162.20/120.60 c (19,0) c PropsLitFullScans_total : 138904525 162.20/120.60 c (19,0) c PropsLitFullScans_winner : 15044960 162.20/120.60 c (19,0) c LitScanFractions_0 : 798 162.20/120.60 c (19,0) c LitScanFractions_1 : 277 162.20/120.60 c (19,0) c LitScanFractions_2 : 1922 162.20/120.60 c (19,0) c LitScanFractions_3 : 3552 162.20/120.60 c (19,0) c LitScanFractions_4 : 1668 162.20/120.60 c (19,0) c LitScanFractions_5 : 1782 162.20/120.60 c (19,0) c LitScanFractions_6 : 1978 162.20/120.60 c (19,0) c LitScanFractions_7 : 1054 162.20/120.60 c (19,0) c LitScanFractions_total : 13031 162.20/120.60 c (19,0) c LitScanFractions_winner : 1922 162.20/120.60 c (19,0) c DecisionLevel0_0 : 2 162.20/120.60 c (19,0) c DecisionLevel0_1 : 2 162.20/120.60 c (19,0) c DecisionLevel0_2 : 2 162.20/120.60 c (19,0) c DecisionLevel0_3 : 1 162.47/120.60 c (19,0) c DecisionLevel0_4 : 2 162.47/120.60 c (19,0) c DecisionLevel0_5 : 1 162.47/120.60 c (19,0) c DecisionLevel0_6 : 1 162.47/120.60 c (19,0) c DecisionLevel0_7 : 1 162.47/120.60 c (19,0) c DecisionLevel0_total : 12 162.47/120.60 c (19,0) c DecisionLevel0_winner : 2 162.47/120.60 c (19,0) c Periods_0 : 2 162.47/120.60 c (19,0) c Periods_1 : 2 162.47/120.60 c (19,0) c Periods_2 : 2 162.47/120.60 c (19,0) c Periods_3 : 3 162.47/120.60 c (19,0) c Periods_4 : 3 162.47/120.60 c (19,0) c Periods_5 : 3 162.47/120.60 c (19,0) c Periods_6 : 3 162.47/120.60 c (19,0) c Periods_7 : 2 162.47/120.60 c (19,0) c Periods_total : 20 162.47/120.60 c (19,0) c Periods_winner : 2 162.47/120.60 c (19,0) c Margin_0 : 20 162.47/120.60 c (19,0) c Margin_1 : 20 162.47/120.60 c (19,0) c Margin_2 : 20 162.47/120.60 c (19,0) c Margin_3 : 20 162.47/120.60 c (19,0) c Margin_4 : 20 162.47/120.60 c (19,0) c Margin_5 : 20 162.47/120.60 c (19,0) c Margin_6 : 20 162.47/120.60 c (19,0) c Margin_7 : 20 162.47/120.60 c (19,0) c Margin_total : 160 162.47/120.60 c (19,0) c Margin_winner : 20 162.47/120.60 c (19,0) c Exported_0 : 11 162.47/120.60 c (19,0) c Exported_1 : 6 162.47/120.60 c (19,0) c Exported_2 : 1 162.47/120.60 c (19,0) c Exported_3 : 15 162.47/120.60 c (19,0) c Exported_4 : 7 162.47/120.60 c (19,0) c Exported_5 : 5 162.47/120.60 c (19,0) c Exported_6 : 24 162.47/120.60 c (19,0) c Exported_7 : 5 162.47/120.60 c (19,0) c Exported_total : 74 162.47/120.60 c (19,0) c Exported_winner : 1 162.47/120.60 c (19,0) c Imported_0 : 0 162.47/120.60 c (19,0) c Imported_1 : 0 162.47/120.60 c (19,0) c Imported_2 : 0 162.47/120.60 c (19,0) c Imported_3 : 0 162.47/120.60 c (19,0) c Imported_4 : 0 162.47/120.60 c (19,0) c Imported_5 : 0 162.47/120.60 c (19,0) c Imported_6 : 0 162.47/120.60 c (19,0) c Imported_7 : 0 162.47/120.60 c (19,0) c Imported_total : 0 162.47/120.60 c (19,0) c Imported_winner : 0 162.47/120.60 c (19,0) c Good_0 : 0 162.47/120.60 c (19,0) c Good_1 : 0 162.47/120.60 c (19,0) c Good_2 : 0 162.47/120.60 c (19,0) c Good_3 : 0 162.47/120.60 c (19,0) c Good_4 : 0 162.47/120.60 c (19,0) c Good_5 : 0 162.47/120.60 c (19,0) c Good_6 : 0 162.47/120.60 c (19,0) c Good_7 : 0 162.47/120.60 c (19,0) c Good_total : 0 162.47/120.60 c (19,0) c Good_winner : 0 162.47/120.60 c (19,0) c Purge_0 : 0 162.47/120.60 c (19,0) c Purge_1 : 0 162.47/120.60 c (19,0) c Purge_2 : 0 162.47/120.60 c (19,0) c Purge_3 : 0 162.47/120.60 c (19,0) c Purge_4 : 0 162.47/120.60 c (19,0) c Purge_5 : 0 162.47/120.60 c (19,0) c Purge_6 : 0 162.47/120.60 c (19,0) c Purge_7 : 0 162.47/120.60 c (19,0) c Purge_total : 0 162.47/120.60 c (19,0) c Purge_winner : 0 162.47/120.60 c (19,0) c Promoted_0 : 0 162.47/120.60 c (19,0) c Promoted_1 : 0 162.47/120.60 c (19,0) c Promoted_2 : 0 162.47/120.60 c (19,0) c Promoted_3 : 0 162.47/120.60 c (19,0) c Promoted_4 : 0 162.47/120.60 c (19,0) c Promoted_5 : 0 162.47/120.60 c (19,0) c Promoted_6 : 0 162.47/120.60 c (19,0) c Promoted_7 : 0 162.47/120.60 c (19,0) c Promoted_total : 0 162.47/120.60 c (19,0) c Promoted_winner : 0 162.47/120.60 c (19,0) c Remove_Imp_0 : 0 162.47/120.60 c (19,0) c Remove_Imp_1 : 0 162.47/120.60 c (19,0) c Remove_Imp_2 : 0 162.47/120.60 c (19,0) c Remove_Imp_3 : 0 162.47/120.60 c (19,0) c Remove_Imp_4 : 0 162.47/120.60 c (19,0) c Remove_Imp_5 : 0 162.47/120.60 c (19,0) c Remove_Imp_6 : 0 162.47/120.60 c (19,0) c Remove_Imp_7 : 0 162.47/120.60 c (19,0) c Remove_Imp_total : 0 162.47/120.60 c (19,0) c Remove_Imp_winner : 0 162.47/120.60 c (19,0) c Blocked_Reuse_0 : 0 162.47/120.60 c (19,0) c Blocked_Reuse_1 : 0 162.47/120.60 c (19,0) c Blocked_Reuse_2 : 0 162.47/120.60 c (19,0) c Blocked_Reuse_3 : 0 162.47/120.60 c (19,0) c Blocked_Reuse_4 : 0 162.47/120.60 c (19,0) c Blocked_Reuse_5 : 0 162.47/120.60 c (19,0) c Blocked_Reuse_6 : 0 162.47/120.60 c (19,0) c Blocked_Reuse_7 : 0 162.47/120.60 c (19,0) c Blocked_Reuse_total : 0 162.47/120.60 c (19,0) c Blocked_Reuse_winner : 0 162.47/120.60 c (19,0) c Unaries_0 : 0 162.47/120.60 c (19,0) c Unaries_1 : 0 162.47/120.60 c (19,0) c Unaries_2 : 0 162.47/120.60 c (19,0) c Unaries_3 : 0 162.47/120.60 c (19,0) c Unaries_4 : 0 162.47/120.60 c (19,0) c Unaries_5 : 0 162.47/120.60 c (19,0) c Unaries_6 : 0 162.47/120.60 c (19,0) c Unaries_7 : 0 162.47/120.60 c (19,0) c Unaries_total : 0 162.47/120.60 c (19,0) c Unaries_winner : 0 162.47/120.60 c (19,0) c Binaries_0 : 0 162.47/120.60 c (19,0) c Binaries_1 : 0 162.47/120.60 c (19,0) c Binaries_2 : 0 162.47/120.60 c (19,0) c Binaries_3 : 0 162.47/120.60 c (19,0) c Binaries_4 : 0 162.47/120.60 c (19,0) c Binaries_5 : 0 162.47/120.60 c (19,0) c Binaries_6 : 3 162.47/120.60 c (19,0) c Binaries_7 : 0 162.47/120.60 c (19,0) c Binaries_total : 3 162.47/120.60 c (19,0) c Binaries_winner : 0 162.47/120.60 c (19,0) c Glues_0 : 11 162.47/120.60 c (19,0) c Glues_1 : 6 162.47/120.60 c (19,0) c Glues_2 : 1 162.47/120.60 c (19,0) c Glues_3 : 15 162.47/120.60 c (19,0) c Glues_4 : 7 162.47/120.60 c (19,0) c Glues_5 : 5 162.47/120.60 c (19,0) c Glues_6 : 24 162.47/120.60 c (19,0) c Glues_7 : 5 162.47/120.60 c (19,0) c Glues_total : 74 162.47/120.60 c (19,0) c Glues_winner : 1 162.47/120.60 c (19,0) c RunningTime_0 : 0.873296 162.47/120.60 c (19,0) c RunningTime_1 : 0.785557 162.47/120.60 c (19,0) c RunningTime_2 : 0.758816 162.47/120.60 c (19,0) c RunningTime_3 : 0.830194 162.47/120.60 c (19,0) c RunningTime_4 : 0.759369 162.47/120.60 c (19,0) c RunningTime_5 : 0.839172 162.47/120.60 c (19,0) c RunningTime_6 : 0.852624 162.47/120.60 c (19,0) c RunningTime_7 : 0.764576 162.47/120.60 c (19,0) c RunningTime_total : 6.463603 162.47/120.60 c (19,0) c RunningTime_winner : 0.758816 162.47/120.60 c (19,0) c WaitingTime_0 : 0.000000 162.47/120.60 c (19,0) c WaitingTime_1 : 0.000000 162.47/120.60 c (19,0) c WaitingTime_2 : 0.000000 162.47/120.60 c (19,0) c WaitingTime_3 : 0.000000 162.47/120.60 c (19,0) c WaitingTime_4 : 0.000000 162.47/120.60 c (19,0) c WaitingTime_5 : 0.000000 162.47/120.60 c (19,0) c WaitingTime_6 : 0.000000 162.47/120.60 c (19,0) c WaitingTime_7 : 0.000000 162.47/120.60 c (19,0) c WaitingTime_total : 0.000000 162.47/120.60 c (19,0) c WaitingTime_winner : 0.000000 162.47/120.60 c (19,0) c ExchangingTime_0 : 0.000100 162.47/120.60 c (19,0) c ExchangingTime_1 : 0.000038 162.47/120.60 c (19,0) c ExchangingTime_2 : 0.000026 162.47/120.60 c (19,0) c ExchangingTime_3 : 0.000120 162.47/120.60 c (19,0) c ExchangingTime_4 : 0.000045 162.47/120.60 c (19,0) c ExchangingTime_5 : 0.000042 162.47/120.60 c (19,0) c ExchangingTime_6 : 0.000101 162.47/120.60 c (19,0) c ExchangingTime_7 : 0.000050 162.47/120.60 c (19,0) c ExchangingTime_total : 0.000522 162.47/120.60 c (19,0) c ExchangingTime_winner : 0.000026 162.47/120.60 c (19,0) c PeriodProcTime_0 : 0.000045 162.47/120.60 c (19,0) c PeriodProcTime_1 : 0.000026 162.47/120.60 c (19,0) c PeriodProcTime_2 : 0.000031 162.47/120.60 c (19,0) c PeriodProcTime_3 : 0.000046 162.47/120.60 c (19,0) c PeriodProcTime_4 : 0.000042 162.47/120.60 c (19,0) c PeriodProcTime_5 : 0.000079 162.47/120.60 c (19,0) c PeriodProcTime_6 : 0.000043 162.47/120.60 c (19,0) c PeriodProcTime_7 : 0.000052 162.47/120.60 c (19,0) c PeriodProcTime_total : 0.000364 162.47/120.60 c (19,0) c PeriodProcTime_winner : 0.000031 162.47/120.60 c (19,0) c SolvingTime_0 : 0.873441 162.47/120.60 c (19,0) c SolvingTime_1 : 0.785620 162.47/120.60 c (19,0) c SolvingTime_2 : 0.758873 162.47/120.60 c (19,0) c SolvingTime_3 : 0.830360 162.47/120.60 c (19,0) c SolvingTime_4 : 0.759456 162.47/120.60 c (19,0) c SolvingTime_5 : 0.839293 162.47/120.60 c (19,0) c SolvingTime_6 : 0.852769 162.47/120.60 c (19,0) c SolvingTime_7 : 0.764678 162.47/120.60 c (19,0) c SolvingTime_total : 6.464489 162.47/120.60 c (19,0) c SolvingTime_winner : 0.758873 162.47/120.60 c (19,0) c PropagationTime_0 : 0.838495 162.47/120.60 c (19,0) c PropagationTime_1 : 0.761717 162.47/120.60 c (19,0) c PropagationTime_2 : 0.736270 162.47/120.60 c (19,0) c PropagationTime_3 : 0.800929 162.47/120.60 c (19,0) c PropagationTime_4 : 0.742887 162.47/120.60 c (19,0) c PropagationTime_5 : 0.826623 162.47/120.60 c (19,0) c PropagationTime_6 : 0.827259 162.47/120.60 c (19,0) c PropagationTime_7 : 0.731518 162.47/120.60 c (19,0) c PropagationTime_total : 6.265697 162.47/120.60 c (19,0) c PropagationTime_winner : 0.736270 162.47/120.60 c (19,0) c AnalysisTime_0 : 0.029346 162.47/120.60 c (19,0) c AnalysisTime_1 : 0.016843 162.47/120.60 c (19,0) c AnalysisTime_2 : 0.014946 162.47/120.60 c (19,0) c AnalysisTime_3 : 0.019187 162.47/120.60 c (19,0) c AnalysisTime_4 : 0.009661 162.47/120.60 c (19,0) c AnalysisTime_5 : 0.007673 162.47/120.60 c (19,0) c AnalysisTime_6 : 0.018203 162.47/120.60 c (19,0) c AnalysisTime_7 : 0.025197 162.47/120.60 c (19,0) c AnalysisTime_total : 0.141056 162.47/120.60 c (19,0) c AnalysisTime_winner : 0.014946 162.47/120.60 c (19,0) c ReductionTime_0 : 0.000000 162.47/120.60 c (19,0) c ReductionTime_1 : 0.000000 162.47/120.60 c (19,0) c ReductionTime_2 : 0.000000 162.47/120.60 c (19,0) c ReductionTime_3 : 0.000000 162.47/120.60 c (19,0) c ReductionTime_4 : 0.000000 162.47/120.60 c (19,0) c ReductionTime_5 : 0.000000 162.47/120.60 c (19,0) c ReductionTime_6 : 0.000000 162.47/120.60 c (19,0) c ReductionTime_7 : 0.000000 162.47/120.60 c (19,0) c ReductionTime_total : 0.000000 162.47/120.60 c (19,0) c ReductionTime_winner : 0.000000 162.47/120.60 c (19,0) c SimplifyTime_0 : 0.000000 162.47/120.60 c (19,0) c SimplifyTime_1 : 0.000001 162.47/120.60 c (19,0) c SimplifyTime_2 : 0.000001 162.47/120.60 c (19,0) c SimplifyTime_3 : 0.000000 162.47/120.60 c (19,0) c SimplifyTime_4 : 0.000001 162.47/120.60 c (19,0) c SimplifyTime_5 : 0.000000 162.47/120.60 c (19,0) c SimplifyTime_6 : 0.000000 162.47/120.60 c (19,0) c SimplifyTime_7 : 0.000000 162.47/120.60 c (19,0) c SimplifyTime_total : 0.000003 162.47/120.60 c (19,0) c SimplifyTime_winner : 0.000001 162.47/120.60 c (19,0) c UsedRateTime_0 : 0.000000 162.47/120.60 c (19,0) c UsedRateTime_1 : 0.000000 162.47/120.60 c (19,0) c UsedRateTime_2 : 0.000000 162.47/120.60 c (19,0) c UsedRateTime_3 : 0.000000 162.47/120.60 c (19,0) c UsedRateTime_4 : 0.000000 162.47/120.60 c (19,0) c UsedRateTime_5 : 0.000000 162.47/120.60 c (19,0) c UsedRateTime_6 : 0.000000 162.47/120.60 c (19,0) c UsedRateTime_7 : 0.000000 162.47/120.61 c (19,0) c UsedRateTime_total : 0.000000 162.47/120.61 c (19,0) c UsedRateTime_winner : 0.000000 162.47/120.61 c (19,0) c OverlapRateTime_0 : 0.000000 162.47/120.61 c (19,0) c OverlapRateTime_1 : 0.000000 162.47/120.61 c (19,0) c OverlapRateTime_2 : 0.000000 162.47/120.61 c (19,0) c OverlapRateTime_3 : 0.000000 162.47/120.61 c (19,0) c OverlapRateTime_4 : 0.000000 162.47/120.61 c (19,0) c OverlapRateTime_5 : 0.000000 162.47/120.61 c (19,0) c OverlapRateTime_6 : 0.000000 162.47/120.61 c (19,0) c OverlapRateTime_7 : 0.000000 162.47/120.61 c (19,0) c OverlapRateTime_total : 0.000000 162.47/120.61 c (19,0) c OverlapRateTime_winner : 0.000000 162.47/120.61 c (19,0) c 162.47/120.61 c (19,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 162.47/120.61 c (19,0) c 162.47/120.61 c (19,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 162.47/120.61 c (19,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 162.47/120.61 c (19,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 162.47/120.61 c (19,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 162.47/120.61 c (19,0) c | adaptStrategeis | True | False | True | False | True | False | True | False | 162.47/120.61 c (19,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 162.47/120.61 c (19,0) c | Initial random_seed | 668174473 | 1741576134 | 565357451 | 302007360 | 661814310 | 92642210 | 947088480 | 747551438 | 162.47/120.61 c (19,0) c | chanseokStrategy | False | False | False | False | False | False | False | False | 162.47/120.61 c (19,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 162.47/120.61 c (19,0) c | glureduce | True | True | True | True | True | True | True | True | 162.47/120.61 c (19,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 162.47/120.61 c (19,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 162.47/120.61 c (19,0) c | luby_restart | False | False | False | False | False | False | False | False | 162.47/120.61 c (19,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 162.47/120.61 c (19,0) c | var_decay | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 162.47/120.61 c (19,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 162.47/120.61 c (19,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 162.47/120.61 c (19,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 162.47/120.61 c (19,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 162.47/120.61 c (19,0) 162.47/120.61 c (19,0) s SATISFIABLE 138.81/120.72 c (19,0) SatSolver.solve End 138.81/120.72 c (19,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB) 138.81/120.72 c (19,0) Show results Begin 163.04/120.84 c (19,0) x[0] = 35 163.04/120.84 c (19,0) x[1] = 31 163.04/120.84 c (19,0) x[2] = 192 163.04/120.84 c (19,0) x[3] = 47 163.04/120.84 c (19,0) x[4] = 95 163.04/120.84 c (19,0) x[5] = 53 163.04/120.84 c (19,0) x[6] = 23 163.04/120.84 c (19,0) x[7] = 139 163.04/120.84 c (19,0) x[8] = 29 163.04/120.84 c (19,0) x[9] = 1 163.04/120.84 c (19,0) x[10] = 196 163.04/120.84 c (19,0) x[11] = 180 163.04/120.84 c (19,0) x[12] = 45 163.04/120.84 c (19,0) x[13] = 44 163.04/120.84 c (19,0) x[14] = 0 163.04/120.84 c (19,0) x[15] = 135 163.04/120.84 c (19,0) x[16] = 85 163.04/120.84 c (19,0) x[17] = 90 163.04/120.84 c (19,0) x[18] = 38 163.04/120.84 c (19,0) x[19] = 127 163.04/120.84 c (19,0) x[20] = 138 163.04/120.84 c (19,0) x[21] = 40 163.04/120.84 c (19,0) x[22] = 149 163.04/120.84 c (19,0) x[23] = 28 163.04/120.84 c (19,0) x[24] = 126 163.04/120.84 c (19,0) x[25] = 137 163.04/120.84 c (19,0) x[26] = 70 163.04/120.84 c (19,0) x[27] = 100 163.04/120.84 c (19,0) x[28] = 34 163.04/120.84 c (19,0) x[29] = 162 163.04/120.84 c (19,0) x[30] = 42 163.04/120.84 c (19,0) x[31] = 18 163.04/120.84 c (19,0) x[32] = 50 163.04/120.84 c (19,0) x[33] = 112 163.04/120.84 c (19,0) x[34] = 107 163.04/120.84 c (19,0) x[35] = 87 163.04/120.84 c (19,0) x[36] = 123 163.04/120.84 c (19,0) x[37] = 94 163.04/120.84 c (19,0) x[38] = 148 163.04/120.84 c (19,0) x[39] = 27 163.04/120.84 c (19,0) x[40] = 15 163.04/120.84 c (19,0) x[41] = 83 163.04/120.84 c (19,0) x[42] = 82 163.04/120.84 c (19,0) x[43] = 73 163.04/120.84 c (19,0) x[44] = 7 163.04/120.84 c (19,0) x[45] = 144 163.04/120.84 c (19,0) x[46] = 191 163.04/120.84 c (19,0) x[47] = 71 163.04/120.84 c (19,0) x[48] = 106 163.04/120.84 c (19,0) x[49] = 5 163.04/120.84 c (19,0) x[50] = 140 163.04/120.84 c (19,0) x[51] = 179 163.04/120.84 c (19,0) x[52] = 3 163.04/120.84 c (19,0) x[53] = 165 163.04/120.84 c (19,0) x[54] = 24 163.04/120.84 c (19,0) x[55] = 119 163.04/120.84 c (19,0) x[56] = 93 163.04/120.84 c (19,0) x[57] = 152 163.04/120.84 c (19,0) x[58] = 74 163.04/120.84 c (19,0) x[59] = 80 163.04/120.84 c (19,0) x[60] = 51 163.04/120.84 c (19,0) x[61] = 78 163.04/120.84 c (19,0) x[62] = 32 163.04/120.84 c (19,0) x[63] = 156 163.04/120.84 c (19,0) x[64] = 52 163.04/120.84 c (19,0) x[65] = 136 163.04/120.84 c (19,0) x[66] = 194 163.04/120.84 c (19,0) x[67] = 56 163.04/120.84 c (19,0) x[68] = 103 163.04/120.84 c (19,0) x[69] = 147 163.04/120.84 c (19,0) x[70] = 37 163.04/120.84 c (19,0) x[71] = 69 163.04/120.84 c (19,0) x[72] = 131 163.04/120.84 c (19,0) x[73] = 169 163.04/120.84 c (19,0) x[74] = 67 163.04/120.84 c (19,0) x[75] = 25 163.04/120.84 c (19,0) x[76] = 125 163.04/120.84 c (19,0) x[77] = 185 163.04/120.84 c (19,0) x[78] = 98 163.04/120.84 c (19,0) x[79] = 176 163.04/120.84 c (19,0) x[80] = 159 163.04/120.84 c (19,0) x[81] = 128 163.04/120.84 c (19,0) x[82] = 92 163.04/120.84 c (19,0) x[83] = 33 163.04/120.84 c (19,0) x[84] = 30 163.04/120.84 c (19,0) x[85] = 170 163.04/120.85 c (19,0) x[86] = 167 163.04/120.85 c (19,0) x[87] = 11 163.04/120.85 c (19,0) x[88] = 89 163.04/120.85 c (19,0) x[89] = 68 163.04/120.85 c (19,0) x[90] = 193 163.04/120.85 c (19,0) x[91] = 16 163.04/120.85 c (19,0) x[92] = 160 163.04/120.85 c (19,0) x[93] = 86 163.04/120.85 c (19,0) x[94] = 22 163.04/120.85 c (19,0) x[95] = 168 163.04/120.85 c (19,0) x[96] = 189 163.04/120.85 c (19,0) x[97] = 115 163.04/120.85 c (19,0) x[98] = 96 163.04/120.85 c (19,0) x[99] = 99 163.04/120.85 c (19,0) x[100] = 175 163.04/120.85 c (19,0) x[101] = 190 163.04/120.85 c (19,0) x[102] = 122 163.04/120.85 c (19,0) x[103] = 72 163.04/120.85 c (19,0) x[104] = 8 163.04/120.85 c (19,0) x[105] = 17 163.04/120.85 c (19,0) x[106] = 21 163.04/120.85 c (19,0) x[107] = 178 163.04/120.85 c (19,0) x[108] = 171 163.04/120.85 c (19,0) x[109] = 12 163.04/120.85 c (19,0) x[110] = 153 163.04/120.85 c (19,0) x[111] = 39 163.04/120.85 c (19,0) x[112] = 163 163.04/120.85 c (19,0) x[113] = 161 163.04/120.85 c (19,0) x[114] = 63 163.04/120.85 c (19,0) x[115] = 154 163.04/120.85 c (19,0) x[116] = 81 163.04/120.85 c (19,0) x[117] = 101 163.04/120.85 c (19,0) x[118] = 146 163.04/120.85 c (19,0) x[119] = 181 163.04/120.85 s SATISFIABLE 163.04/120.86 v <instantiation> 163.04/120.86 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]</list> 163.04/120.86 v <values>35 31 192 47 95 53 23 139 29 1 196 180 45 44 0 135 85 90 38 127 138 40 149 28 126 137 70 100 34 162 42 18 50 112 107 87 123 94 148 27 15 83 82 73 7 144 191 71 106 5 140 179 3 165 24 119 93 152 74 80 51 78 32 156 52 136 194 56 103 147 37 69 131 169 67 25 125 185 98 176 159 128 92 33 30 170 167 11 89 68 193 16 160 86 22 168 189 115 96 99 175 190 122 72 8 17 21 178 171 12 153 39 163 161 63 154 81 101 146 181</values> 163.04/120.86 v </instantiation> 163.04/120.86 c (19,0) Show results End 163.04/120.86 c (19,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB) 163.04/120.86 c (19,0) 19,19,STOP-AFTER(ALL) 163.04/120.86 c END-Prog: Tue Sep 24 16:20:23 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 (13181 MiB free) memory of node 1: 16384 MiB (11715 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4405154-1569338926/watcher-4405154-1569338926 -o /tmp/evaluation-result-4405154-1569338926/solver-4405154-1569338926 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node104-1569331756-4801 --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-4405154-1569338926.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=5957, runsolver pid=5954 [startup+0.10011 s]* /proc/loadavg: 1.76 3.28 5.34 2/210 5979 /proc/meminfo: memFree=25398440/32770624 swapFree=66986396/67108860 [pid=5957] ppid=5954 vsize=113128 memory=1392 CPUtime=0 cores=0-7 /proc/5957/stat : 5957 (scop.sh) S 5954 5957 4774 0 -1 4202496 555 318 0 0 0 0 0 0 20 0 1 0 510149217 115843072 348 33554432000 4194304 5098028 140727920664064 140727920661320 140600654008956 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 34516992 140727920665381 140727920665708 140727920665708 140727920668621 0 /proc/5957/statm: 28282 348 296 221 0 87 0 [pid=5960] ppid=5957 vsize=27314120 memory=107644 CPUtime=0.11 cores=0-7 /proc/5960/stat : 5960 (java) S 5957 5957 4774 0 -1 1077944320 6464 0 0 0 8 3 0 0 20 0 20 0 510149218 27969658880 26911 33554432000 4194304 4196468 140731434599376 140731434581920 140072567176951 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22781952 140731434607340 140731434607766 140731434607766 140731434610639 0 /proc/5960/statm: 6828530 26911 2780 1 0 6790935 0 [pid=5960/tid=5961] ppid=5957 vsize=27314120 memory=576460756329955445 CPUtime=0.09 cores=0-7 /proc/5960/task/5961/stat : 5961 (java) R 5957 5957 4774 0 -1 4202560 4576 0 0 0 7 2 0 0 20 0 20 0 510149218 27969658880 26911 33554432000 4194304 4196468 140731434599376 140072539000000 140072559414078 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22781952 140731434607340 140731434607766 140731434607766 140731434610639 0 [pid=5960/tid=5962] ppid=5957 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5960/task/5962/stat : 5962 (java) S 5957 5957 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510149220 27969658880 26911 33554432000 4194304 4196468 140731434599376 140072571419792 140072567187157 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22781952 140731434607340 140731434607766 140731434607766 140731434610639 0 [pid=5960/tid=5963] ppid=5957 vsize=27314120 memory=14554002276480664 CPUtime=0 cores=0-7 /proc/5960/task/5963/stat : 5963 (java) S 5957 5957 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510149220 27969658880 26911 33554432000 4194304 4196468 140731434599376 140072385575952 140072567187157 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22781952 140731434607340 140731434607766 140731434607766 140731434610639 0 [pid=5960/tid=5964] ppid=5957 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5960/task/5964/stat : 5964 (java) S 5957 5957 4774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510149220 27969658880 26911 33554432000 4194304 4196468 140731434599376 140072384523152 140072567187157 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22781952 140731434607340 140731434607766 140731434607766 140731434610639 0 [pid=5960/tid=5965] ppid=5957 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5960/task/5965/stat : 5965 (java) S 5957 5957 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510149220 27969658880 26911 33554432000 4194304 4196468 140731434599376 140072383470352 140072567187157 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22781952 140731434607340 140731434607766 140731434607766 140731434610639 0 [pid=5960/tid=5966] ppid=5957 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5960/task/5966/stat : 5966 (java) S 5957 5957 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510149220 27969658880 26911 33554432000 4194304 4196468 140731434599376 140072382417552 140072567187157 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22781952 140731434607340 140731434607766 140731434607766 140731434610639 0 [pid=5960/tid=5967] ppid=5957 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/5960/task/5967/stat : 5967 (java) S 5957 5957 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510149221 27969658880 26911 33554432000 4194304 4196468 140731434599376 140072381364752 140072567187157 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22781952 140731434607340 140731434607766 140731434607766 140731434610639 0 [pid=5960/tid=5968] ppid=5957 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5960/task/5968/stat : 5968 (java) S 5957 5957 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510149221 27969658880 26911 33554432000 4194304 4196468 140731434599376 140072380311952 140072567187157 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22781952 140731434607340 140731434607766 140731434607766 140731434610639 0 [pid=5960/tid=5969] ppid=5957 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5960/task/5969/stat : 5969 (java) S 5957 5957 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510149221 27969658880 26911 33554432000 4194304 4196468 140731434599376 140072379259152 140072567187157 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22781952 140731434607340 140731434607766 140731434607766 140731434610639 0 [pid=5960/tid=5970] ppid=5957 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5960/task/5970/stat : 5970 (java) S 5957 5957 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510149222 27969658880 26911 33554432000 4194304 4196468 140731434599376 140070618827632 140072567188098 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22781952 140731434607340 140731434607766 140731434607766 140731434610639 0 [pid=5960/tid=5971] ppid=5957 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5960/task/5971/stat : 5971 (java) S 5957 5957 4774 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510149222 27969658880 26911 33554432000 4194304 4196468 140731434599376 140070493349408 140072567187157 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22781952 140731434607340 140731434607766 140731434607766 140731434610639 0 [pid=5960/tid=5972] ppid=5957 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5960/task/5972/stat : 5972 (java) S 5957 5957 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510149223 27969658880 26911 33554432000 4194304 4196468 140731434599376 140070224913776 140072567187157 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22781952 140731434607340 140731434607766 140731434607766 140731434610639 0 [pid=5960/tid=5973] ppid=5957 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5960/task/5973/stat : 5973 (java) S 5957 5957 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510149225 27969658880 26911 33554432000 4194304 4196468 140731434599376 140069850405200 140072567195547 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22781952 140731434607340 140731434607766 140731434607766 140731434610639 0 [pid=5960/tid=5974] ppid=5957 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5960/task/5974/stat : 5974 (java) S 5957 5957 4774 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 20 0 510149225 27969658880 26911 33554432000 4194304 4196468 140731434599376 140070617774448 140072567188098 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22781952 140731434607340 140731434607766 140731434607766 140731434610639 0 [pid=5960/tid=5975] ppid=5957 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5960/task/5975/stat : 5975 (java) S 5957 5957 4774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510149225 27969658880 26911 33554432000 4194304 4196468 140731434599376 140070616721648 140072567188098 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22781952 140731434607340 140731434607766 140731434607766 140731434610639 0 [pid=5960/tid=5976] ppid=5957 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5960/task/5976/stat : 5976 (java) S 5957 5957 4774 0 -1 1077944384 276 0 0 0 0 0 0 0 20 0 20 0 510149225 27969658880 26911 33554432000 4194304 4196468 140731434599376 140070615668848 140072567188098 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22781952 140731434607340 140731434607766 140731434607766 140731434610639 0 [pid=5960/tid=5977] ppid=5957 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5960/task/5977/stat : 5977 (java) S 5957 5957 4774 0 -1 1077944384 256 0 0 0 0 0 0 0 20 0 20 0 510149225 27969658880 26911 33554432000 4194304 4196468 140731434599376 140070614616048 140072567188098 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22781952 140731434607340 140731434607766 140731434607766 140731434610639 0 [pid=5960/tid=5978] ppid=5957 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5960/task/5978/stat : 5978 (java) S 5957 5957 4774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510149225 27969658880 26911 33554432000 4194304 4196468 140731434599376 140069352500320 140072567187157 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22781952 140731434607340 140731434607766 140731434607766 140731434610639 0 [pid=5960/tid=5979] ppid=5957 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/5960/task/5979/stat : 5979 (java) S 5957 5957 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510149226 27969658880 26911 33554432000 4194304 4196468 140731434599376 140070613564464 140072567188098 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22781952 140731434607340 140731434607766 140731434607766 140731434610639 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 109036 KiB [startup+0.210421 s]* /proc/loadavg: 1.76 3.28 5.34 3/210 5979 /proc/meminfo: memFree=25376468/32770624 swapFree=66986396/67108860 [pid=5957] ppid=5954 vsize=113128 memory=1392 CPUtime=0 cores=0-7 /proc/5957/stat : 5957 (scop.sh) S 5954 5957 4774 0 -1 4202496 555 318 0 0 0 0 0 0 20 0 1 0 510149217 115843072 348 33554432000 4194304 5098028 140727920664064 140727920661320 140600654008956 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 34516992 140727920665381 140727920665708 140727920665708 140727920668621 0 /proc/5957/statm: 28282 348 296 221 0 87 0 [pid=5960] ppid=5957 vsize=27314120 memory=126800 CPUtime=0.25 cores=0-7 /proc/5960/stat : 5960 (java) S 5957 5957 4774 0 -1 1077944320 12089 0 0 0 20 5 0 0 20 0 20 0 510149218 27969658880 31700 33554432000 4194304 4196468 140731434599376 140731434581920 140072567176951 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22781952 140731434607340 140731434607766 140731434607766 140731434610639 0 /proc/5960/statm: 6828530 31700 2923 1 0 6790935 0 [pid=5960/tid=5961] ppid=5957 vsize=27314120 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/5960/task/5961/stat : 5961 (java) R 5957 5957 4774 0 -1 4202560 9822 0 0 0 16 4 0 0 20 0 20 0 510149218 27969658880 31700 33554432000 4194304 4196468 140731434599376 140072538992016 140072547452086 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22781952 140731434607340 140731434607766 140731434607766 140731434610639 0 [pid=5960/tid=5962] ppid=5957 vsize=27314120 memory=288230604707987820 CPUtime=0 cores=0-7 /proc/5960/task/5962/stat : 5962 (java) S 5957 5957 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510149220 27969658880 31700 33554432000 4194304 4196468 140731434599376 140072571419792 140072567187157 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22781952 140731434607340 140731434607766 140731434607766 140731434610639 0 [pid=5960/tid=5963] ppid=5957 vsize=27314120 memory=15679902183323288 CPUtime=0 cores=0-7 /proc/5960/task/5963/stat : 5963 (java) S 5957 5957 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510149220 27969658880 31700 33554432000 4194304 4196468 140731434599376 140072385575952 140072567187157 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22781952 140731434607340 140731434607766 140731434607766 140731434610639 0 [pid=5960/tid=5964] ppid=5957 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/5960/task/5964/stat : 5964 (java) S 5957 5957 4774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510149220 27969658880 31700 33554432000 4194304 4196468 140731434599376 140072384523152 140072567187157 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22781952 140731434607340 140731434607766 140731434607766 140731434610639 0 [pid=5960/tid=5965] ppid=5957 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5960/task/5965/stat : 5965 (java) S 5957 5957 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510149220 27969658880 31700 33554432000 4194304 4196468 140731434599376 140072383470352 140072567187157 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22781952 140731434607340 140731434607766 140731434607766 140731434610639 0 [pid=5960/tid=5966] ppid=5957 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5960/task/5966/stat : 5966 (java) S 5957 5957 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510149220 27969658880 31700 33554432000 4194304 4196468 140731434599376 140072382417552 140072567187157 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22781952 140731434607340 140731434607766 140731434607766 140731434610639 0 [pid=5960/tid=5967] ppid=5957 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/5960/task/5967/stat : 5967 (java) S 5957 5957 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510149221 27969658880 31700 33554432000 4194304 4196468 140731434599376 140072381364752 140072567187157 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22781952 140731434607340 140731434607766 140731434607766 140731434610639 0 [pid=5960/tid=5968] ppid=5957 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5960/task/5968/stat : 5968 (java) S 5957 5957 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510149221 27969658880 31700 33554432000 4194304 4196468 140731434599376 140072380311952 140072567187157 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22781952 140731434607340 140731434607766 140731434607766 140731434610639 0 [pid=5960/tid=5969] ppid=5957 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5960/task/5969/stat : 5969 (java) S 5957 5957 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510149221 27969658880 31700 33554432000 4194304 4196468 140731434599376 140072379259152 140072567187157 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22781952 140731434607340 140731434607766 140731434607766 140731434610639 0 [pid=5960/tid=5970] ppid=5957 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5960/task/5970/stat : 5970 (java) S 5957 5957 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510149222 27969658880 31700 33554432000 4194304 4196468 140731434599376 140070618827632 140072567188098 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22781952 140731434607340 140731434607766 140731434607766 140731434610639 0 [pid=5960/tid=5971] ppid=5957 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5960/task/5971/stat : 5971 (java) S 5957 5957 4774 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510149222 27969658880 31700 33554432000 4194304 4196468 140731434599376 140070493349408 140072567187157 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22781952 140731434607340 140731434607766 140731434607766 140731434610639 0 [pid=5960/tid=5972] ppid=5957 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5960/task/5972/stat : 5972 (java) S 5957 5957 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510149223 27969658880 31700 33554432000 4194304 4196468 140731434599376 140070224913776 140072567187157 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22781952 140731434607340 140731434607766 140731434607766 140731434610639 0 [pid=5960/tid=5973] ppid=5957 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5960/task/5973/stat : 5973 (java) S 5957 5957 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510149225 27969658880 31700 33554432000 4194304 4196468 140731434599376 140069850405200 140072567195547 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22781952 140731434607340 140731434607766 140731434607766 140731434610639 0 [pid=5960/tid=5974] ppid=5957 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5960/task/5974/stat : 5974 (java) S 5957 5957 4774 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 20 0 510149225 27969658880 31700 33554432000 4194304 4196468 140731434599376 140070617774448 140072567188098 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22781952 140731434607340 140731434607766 140731434607766 140731434610639 0 [pid=5960/tid=5975] ppid=5957 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5960/task/5975/stat : 5975 (java) S 5957 5957 4774 0 -1 1077944384 134 0 0 0 0 0 0 0 20 0 20 0 510149225 27969658880 31700 33554432000 4194304 4196468 140731434599376 140070616721648 140072567188098 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22781952 140731434607340 140731434607766 140731434607766 140731434610639 0 [pid=5960/tid=5976] ppid=5957 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/5960/task/5976/stat : 5976 (java) S 5957 5957 4774 0 -1 1077944384 289 0 0 0 0 0 0 0 20 0 20 0 510149225 27969658880 31700 33554432000 4194304 4196468 140731434599376 140070615668848 140072567188098 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22781952 140731434607340 140731434607766 140731434607766 140731434610639 0 [pid=5960/tid=5977] ppid=5957 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7 /proc/5960/task/5977/stat : 5977 (java) S 5957 5957 4774 0 -1 1077944384 442 0 0 0 2 0 0 0 20 0 20 0 510149225 27969658880 31700 33554432000 4194304 4196468 140731434599376 140070614616048 140072567188098 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22781952 140731434607340 140731434607766 140731434607766 140731434610639 0 [pid=5960/tid=5978] ppid=5957 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5960/task/5978/stat : 5978 (java) S 5957 5957 4774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510149225 27969658880 31700 33554432000 4194304 4196468 140731434599376 140069352500320 140072567187157 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22781952 140731434607340 140731434607766 140731434607766 140731434610639 0 [pid=5960/tid=5979] ppid=5957 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/5960/task/5979/stat : 5979 (java) S 5957 5957 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510149226 27969658880 31700 33554432000 4194304 4196468 140731434599376 140070613564464 140072567188098 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22781952 140731434607340 140731434607766 140731434607766 140731434610639 0 Current children cumulated CPU time: 0.25 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 128192 KiB [startup+0.309643 s]* /proc/loadavg: 1.76 3.28 5.34 2/210 5979 /proc/meminfo: memFree=25374608/32770624 swapFree=66986396/67108860 [pid=5957] ppid=5954 vsize=113128 memory=1392 CPUtime=0 cores=0-7 /proc/5957/stat : 5957 (scop.sh) S 5954 5957 4774 0 -1 4202496 555 318 0 0 0 0 0 0 20 0 1 0 510149217 115843072 348 33554432000 4194304 5098028 140727920664064 140727920661320 140600654008956 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 34516992 140727920665381 140727920665708 140727920665708 140727920668621 0 /proc/5957/statm: 28282 348 296 221 0 87 0 [pid=5960] ppid=5957 vsize=27314120 memory=130660 CPUtime=0.42 cores=0-7 /proc/5960/stat : 5960 (java) S 5957 5957 4774 0 -1 1077944320 12445 0 0 0 37 5 0 0 20 0 20 0 510149218 27969658880 32665 33554432000 4194304 4196468 140731434599376 140731434581920 140072567176951 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22781952 140731434607340 140731434607766 140731434607766 140731434610639 0 /proc/5960/statm: 6828530 32665 3058 1 0 6790935 0 [pid=5960/tid=5961] ppid=5957 vsize=27314120 memory=8317482817917895235 CPUtime=0.3 cores=0-7 /proc/5960/task/5961/stat : 5961 (java) R 5957 5957 4774 0 -1 4202560 10009 0 0 0 26 4 0 0 20 0 20 0 510149218 27969658880 32665 33554432000 4194304 4196468 140731434599376 140072539004352 140072567190860 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22781952 140731434607340 140731434607766 140731434607766 140731434610639 0 [pid=5960/tid=5962] ppid=5957 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5960/task/5962/stat : 5962 (java) S 5957 5957 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510149220 27969658880 32665 33554432000 4194304 4196468 140731434599376 140072571419792 140072567187157 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22781952 140731434607340 140731434607766 140731434607766 140731434610639 0 [pid=5960/tid=5963] ppid=5957 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5960/task/5963/stat : 5963 (java) S 5957 5957 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510149220 27969658880 32665 33554432000 4194304 4196468 140731434599376 140072385575952 140072567187157 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22781952 140731434607340 140731434607766 140731434607766 140731434610639 0 [pid=5960/tid=5964] ppid=5957 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5960/task/5964/stat : 5964 (java) S 5957 5957 4774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510149220 27969658880 32665 33554432000 4194304 4196468 140731434599376 140072384523152 140072567187157 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22781952 140731434607340 140731434607766 140731434607766 140731434610639 0 [pid=5960/tid=5965] ppid=5957 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5960/task/5965/stat : 5965 (java) S 5957 5957 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510149220 27969658880 32665 33554432000 4194304 4196468 140731434599376 140072383470352 140072567187157 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22781952 140731434607340 140731434607766 140731434607766 140731434610639 0 [pid=5960/tid=5966] ppid=5957 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5960/task/5966/stat : 5966 (java) S 5957 5957 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510149220 27969658880 32665 33554432000 4194304 4196468 140731434599376 140072382417552 140072567187157 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22781952 140731434607340 140731434607766 140731434607766 140731434610639 0 [pid=5960/tid=5967] ppid=5957 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5960/task/5967/stat : 5967 (java) S 5957 5957 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510149221 27969658880 32665 33554432000 4194304 4196468 140731434599376 140072381364752 140072567187157 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22781952 140731434607340 140731434607766 140731434607766 140731434610639 0 [pid=5960/tid=5968] ppid=5957 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5960/task/5968/stat : 5968 (java) S 5957 5957 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510149221 27969658880 32665 33554432000 4194304 4196468 140731434599376 140072380311952 140072567187157 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22781952 140731434607340 140731434607766 140731434607766 140731434610639 0 [pid=5960/tid=5969] ppid=5957 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5960/task/5969/stat : 5969 (java) S 5957 5957 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510149221 27969658880 32665 33554432000 4194304 4196468 140731434599376 140072379259152 140072567187157 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22781952 140731434607340 140731434607766 140731434607766 140731434610639 0 [pid=5960/tid=5970] ppid=5957 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5960/task/5970/stat : 5970 (java) S 5957 5957 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510149222 27969658880 32665 33554432000 4194304 4196468 140731434599376 140070618827632 140072567188098 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22781952 140731434607340 140731434607766 140731434607766 140731434610639 0 [pid=5960/tid=5971] ppid=5957 vsize=27314120 memory=280517064990080 CPUtime=0 cores=0-7 /proc/5960/task/5971/stat : 5971 (java) S 5957 5957 4774 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510149222 27969658880 32665 33554432000 4194304 4196468 140731434599376 140070493349408 140072567187157 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22781952 140731434607340 140731434607766 140731434607766 140731434610639 0 [pid=5960/tid=5972] ppid=5957 vsize=27314120 memory=280517064994688 CPUtime=0 cores=0-7 /proc/5960/task/5972/stat : 5972 (java) S 5957 5957 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510149223 27969658880 32665 33554432000 4194304 4196468 140731434599376 140070224913776 140072567187157 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22781952 140731434607340 140731434607766 140731434607766 140731434610639 0 [pid=5960/tid=5973] ppid=5957 vsize=27314120 memory=280517064999296 CPUtime=0 cores=0-7 /proc/5960/task/5973/stat : 5973 (java) S 5957 5957 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510149225 27969658880 32665 33554432000 4194304 4196468 140731434599376 140069850405200 140072567195547 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22781952 140731434607340 140731434607766 140731434607766 140731434610639 0 [pid=5960/tid=5974] ppid=5957 vsize=27314120 memory=280517065003904 CPUtime=0 cores=0-7 /proc/5960/task/5974/stat : 5974 (java) S 5957 5957 4774 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 20 0 510149225 27969658880 32665 33554432000 4194304 4196468 140731434599376 140070617774448 140072567188098 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22781952 140731434607340 140731434607766 140731434607766 140731434610639 0 [pid=5960/tid=5975] ppid=5957 vsize=27314120 memory=280517065008512 CPUtime=0.01 cores=0-7 /proc/5960/task/5975/stat : 5975 (java) S 5957 5957 4774 0 -1 1077944384 229 0 0 0 1 0 0 0 20 0 20 0 510149225 27969658880 32665 33554432000 4194304 4196468 140731434599376 140070616721648 140072567188098 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22781952 140731434607340 140731434607766 140731434607766 140731434610639 0 [pid=5960/tid=5976] ppid=5957 vsize=27314120 memory=280517065013120 CPUtime=0.02 cores=0-7 /proc/5960/task/5976/stat : 5976 (java) S 5957 5957 4774 0 -1 1077944384 330 0 0 0 2 0 0 0 20 0 20 0 510149225 27969658880 32665 33554432000 4194304 4196468 140731434599376 140070615668848 140072567188098 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22781952 140731434607340 140731434607766 140731434607766 140731434610639 0 [pid=5960/tid=5977] ppid=5957 vsize=27314120 memory=280517065017728 CPUtime=0.07 cores=0-7 /proc/5960/task/5977/stat : 5977 (java) S 5957 5957 4774 0 -1 1077944384 463 0 0 0 7 0 0 0 20 0 20 0 510149225 27969658880 32665 33554432000 4194304 4196468 140731434599376 140070614616048 140072567188098 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22781952 140731434607340 140731434607766 140731434607766 140731434610639 0 [pid=5960/tid=5978] ppid=5957 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5960/task/5978/stat : 5978 (java) S 5957 5957 4774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510149225 27969658880 32665 33554432000 4194304 4196468 140731434599376 140069352500320 140072567187157 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22781952 140731434607340 140731434607766 140731434607766 140731434610639 0 [pid=5960/tid=5979] ppid=5957 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/5960/task/5979/stat : 5979 (java) S 5957 5957 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510149226 27969658880 32665 33554432000 4194304 4196468 140731434599376 140070613564464 140072567188098 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22781952 140731434607340 140731434607766 140731434607766 140731434610639 0 Current children cumulated CPU time: 0.42 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 132052 KiB [startup+0.700966 s] /proc/loadavg: 1.76 3.28 5.34 2/210 5979 /proc/meminfo: memFree=25354268/32770624 swapFree=66986396/67108860 [pid=5957] ppid=5954 vsize=113128 memory=1392 CPUtime=0 cores=0-7 /proc/5957/stat : 5957 (scop.sh) S 5954 5957 4774 0 -1 4202496 555 318 0 0 0 0 0 0 20 0 1 0 510149217 115843072 348 33554432000 4194304 5098028 140727920664064 140727920661320 140600654008956 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 34516992 140727920665381 140727920665708 140727920665708 140727920668621 0 /proc/5957/statm: 28282 348 296 221 0 87 0 [pid=5960] ppid=5957 vsize=27322440 memory=165140 CPUtime=1 cores=0-7 /proc/5960/stat : 5960 (java) S 5957 5957 4774 0 -1 1077944320 19902 0 0 0 92 8 0 0 20 0 20 0 510149218 27978178560 41285 33554432000 4194304 4196468 140731434599376 140731434581920 140072567176951 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22781952 140731434607340 140731434607766 140731434607766 140731434610639 0 /proc/5960/statm: 6830610 41285 3161 1 0 6791959 0 [pid=5960/tid=5961] ppid=5957 vsize=27322440 memory=4580 CPUtime=0.68 cores=0-7 /proc/5960/task/5961/stat : 5961 (java) R 5957 5957 4774 0 -1 4202560 17011 0 0 0 61 7 0 0 20 0 20 0 510149218 27978178560 41285 33554432000 4194304 4196468 140731434599376 140072539015136 140072053638994 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22781952 140731434607340 140731434607766 140731434607766 140731434610639 0 [pid=5960/tid=5962] ppid=5957 vsize=27322440 memory=0 CPUtime=0 cores=0-7 /proc/5960/task/5962/stat : 5962 (java) S 5957 5957 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510149220 27978178560 41285 33554432000 4194304 4196468 140731434599376 140072571419792 140072567187157 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22781952 140731434607340 140731434607766 140731434607766 140731434610639 0 [pid=5960/tid=5963] ppid=5957 vsize=27322440 memory=0 CPUtime=0 cores=0-7 /proc/5960/task/5963/stat : 5963 (java) S 5957 5957 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510149220 27978178560 41285 33554432000 4194304 4196468 140731434599376 140072385575952 140072567187157 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22781952 140731434607340 140731434607766 140731434607766 140731434610639 0 [pid=5960/tid=5964] ppid=5957 vsize=27322440 memory=1056 CPUtime=0 cores=0-7 /proc/5960/task/5964/stat : 5964 (java) S 5957 5957 4774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510149220 27978178560 41285 33554432000 4194304 4196468 140731434599376 140072384523152 140072567187157 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22781952 140731434607340 140731434607766 140731434607766 140731434610639 0 ################ # More data... # ################ /proc/5996/task/6008/stat : 6008 (java) S 5957 5957 4774 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 510159273 8616062976 29625 33554432000 4194304 4196468 140725170803488 140162835141488 140164509771477 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20168704 140725170807800 140725170807958 140725170807958 140725170810831 0 [pid=5996/tid=6009] ppid=5957 vsize=8414124 memory=4460 CPUtime=0 cores=0-7 /proc/5996/task/6009/stat : 6009 (java) S 5957 5957 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510159275 8616062976 29625 33554432000 4194304 4196468 140725170803488 140162460637008 140164509779867 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20168704 140725170807800 140725170807958 140725170807958 140725170810831 0 [pid=5996/tid=6010] ppid=5957 vsize=8414124 memory=1472 CPUtime=0.07 cores=0-7 /proc/5996/task/6010/stat : 6010 (java) S 5957 5957 4774 0 -1 1077944384 678 0 0 0 7 0 0 0 20 0 24 0 510159275 8616062976 29625 33554432000 4194304 4196468 140725170803488 140163870620528 140164509772418 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20168704 140725170807800 140725170807958 140725170807958 140725170810831 0 [pid=5996/tid=6011] ppid=5957 vsize=8414124 memory=118500 CPUtime=0.04 cores=0-7 /proc/5996/task/6011/stat : 6011 (java) S 5957 5957 4774 0 -1 1077944384 231 0 0 0 4 0 0 0 20 0 24 0 510159275 8616062976 29625 33554432000 4194304 4196468 140725170803488 140163869567728 140164509772418 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20168704 140725170807800 140725170807958 140725170807958 140725170810831 0 [pid=5996/tid=6012] ppid=5957 vsize=8414124 memory=474564 CPUtime=0.05 cores=0-7 /proc/5996/task/6012/stat : 6012 (java) S 5957 5957 4774 0 -1 1077944384 258 0 0 0 5 0 0 0 20 0 24 0 510159275 8616062976 29625 33554432000 4194304 4196468 140725170803488 140163868514928 140164509772418 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20168704 140725170807800 140725170807958 140725170807958 140725170810831 0 [pid=5996/tid=6013] ppid=5957 vsize=8414124 memory=118500 CPUtime=0.22 cores=0-7 /proc/5996/task/6013/stat : 6013 (java) S 5957 5957 4774 0 -1 1077944384 583 0 0 0 22 0 0 0 20 0 24 0 510159275 8616062976 29625 33554432000 4194304 4196468 140725170803488 140163867462128 140164509772418 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20168704 140725170807800 140725170807958 140725170807958 140725170810831 0 [pid=5996/tid=6014] ppid=5957 vsize=8414124 memory=425888 CPUtime=0 cores=0-7 /proc/5996/task/6014/stat : 6014 (java) S 5957 5957 4774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510159276 8616062976 29625 33554432000 4194304 4196468 140725170803488 140161962732128 140164509771477 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20168704 140725170807800 140725170807958 140725170807958 140725170810831 0 [pid=5996/tid=6015] ppid=5957 vsize=8414124 memory=1164 CPUtime=0 cores=0-7 /proc/5996/task/6015/stat : 6015 (java) S 5957 5957 4774 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 510159276 8616062976 29625 33554432000 4194304 4196468 140725170803488 140163866409520 140164509772418 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20168704 140725170807800 140725170807958 140725170807958 140725170810831 0 [pid=5996/tid=6017] ppid=5957 vsize=8414124 memory=1564 CPUtime=0 cores=0-7 /proc/5996/task/6017/stat : 6017 (java) S 5957 5957 4774 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 510159344 8616062976 29625 33554432000 4194304 4196468 140725170803488 140163858375744 140164509785881 0 4 2 25189581 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 20168704 140725170807800 140725170807958 140725170807958 140725170810831 0 [pid=5996/tid=6019] ppid=5957 vsize=8414124 memory=924 CPUtime=0 cores=0-7 /proc/5996/task/6019/stat : 6019 (java) S 5957 5957 4774 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 510159344 8616062976 29625 33554432000 4194304 4196468 140725170803488 140161291632784 140164509783197 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 20168704 140725170807800 140725170807958 140725170807958 140725170810831 0 [pid=5996/tid=6020] ppid=5957 vsize=8414124 memory=692 CPUtime=0 cores=0-7 /proc/5996/task/6020/stat : 6020 (java) S 5957 5957 4774 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 510159344 8616062976 29625 33554432000 4194304 4196468 140725170803488 140161560068112 140164509783197 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 20168704 140725170807800 140725170807958 140725170807958 140725170810831 0 [pid=5996/tid=6021] ppid=5957 vsize=8414124 memory=1056 CPUtime=0 cores=0-7 /proc/5996/task/6021/stat : 6021 (java) S 5957 5957 4774 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 510159346 8616062976 29625 33554432000 4194304 4196468 140725170803488 140161023204912 140164509771477 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20168704 140725170807800 140725170807958 140725170807958 140725170810831 0 Current children cumulated CPU time: 158.45 s Current children cumulated vsize: 11407380 KiB Current children cumulated memory: 2447560 KiB [startup+120.402 s] /proc/loadavg: 1.66 2.77 4.91 10/226 6032 /proc/meminfo: memFree=22980272/32770624 swapFree=66986396/67108860 [pid=5957] ppid=5954 vsize=113128 memory=1472 CPUtime=137.32 cores=0-7 /proc/5957/stat : 5957 (scop.sh) S 5954 5957 4774 0 -1 4202496 582 67676 0 0 0 0 12962 770 20 0 1 0 510149217 115843072 368 33554432000 4194304 5098028 140727920664064 140727920660808 140600654008956 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 34516992 140727920665381 140727920665708 140727920665708 140727920668621 0 /proc/5957/statm: 28282 368 311 221 0 87 0 [pid=5996] ppid=5957 vsize=8414124 memory=118500 CPUtime=1.21 cores=0-7 /proc/5996/stat : 5996 (java) S 5957 5957 4774 0 -1 1077944320 20624 0 0 0 112 9 0 0 20 0 24 0 510159268 8616062976 29625 33554432000 4194304 4196468 140725170803488 140725170786032 140164509761271 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20168704 140725170807800 140725170807958 140725170807958 140725170810831 0 /proc/5996/statm: 2103531 29625 3206 1 0 2064875 0 [pid=6016] ppid=5996 vsize=2880260 memory=2407048 CPUtime=22.97 cores=0-7 /proc/6016/stat : 6016 (manyglucose-4.1) S 5996 5957 4774 0 -1 1077944320 565853 0 0 0 2206 91 0 0 20 0 9 0 510159344 2949386240 601762 33554432000 4194304 4454172 140720919306272 140720919304672 140481961867906 0 4 0 8388610 18446744073709551615 0 0 17 3 0 0 0 0 0 6552832 6554400 34713600 140720919311210 140720919311408 140720919311408 140720919314362 0 /proc/6016/statm: 720065 601762 408 64 0 715733 0 [pid=6016/tid=6025] ppid=5996 vsize=2880260 memory=-4075877051373423738 CPUtime=0.58 cores=0-7 /proc/6016/task/6025/stat : 6025 (manyglucose-4.1) R 5996 5957 4774 0 -1 4202560 5919 0 0 0 55 3 0 0 20 0 9 0 510161189 2949386240 601762 33554432000 4194304 4454172 140720919306272 140480614652712 4351492 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6552832 6554400 34713600 140720919311210 140720919311408 140720919311408 140720919314362 0 [pid=6016/tid=6026] ppid=5996 vsize=2880260 memory=6944656592455360604 CPUtime=0.55 cores=0-7 /proc/6016/task/6026/stat : 6026 (manyglucose-4.1) R 5996 5957 4774 0 -1 4202560 5755 0 0 0 52 3 0 0 20 0 9 0 510161189 2949386240 601762 33554432000 4194304 4454172 140720919306272 140480606260008 140481947635287 0 4 0 8388610 0 0 0 -1 7 0 0 0 0 0 6552832 6554400 34713600 140720919311210 140720919311408 140720919311408 140720919314362 0 [pid=6016/tid=6027] ppid=5996 vsize=2880260 memory=6944652177228980320 CPUtime=0.54 cores=0-7 /proc/6016/task/6027/stat : 6027 (manyglucose-4.1) D 5996 5957 4774 0 -1 4202560 6854 0 0 0 50 4 0 0 20 0 9 0 510161189 2949386240 601762 33554432000 4194304 4454172 140720919306272 140480597867304 140481947155262 0 4 0 8388610 18446744071582151416 0 0 -1 3 0 0 0 0 0 6552832 6554400 34713600 140720919311210 140720919311408 140720919311408 140720919314362 0 [pid=6016/tid=6028] ppid=5996 vsize=2880260 memory=6944656592455097440 CPUtime=0.57 cores=0-7 /proc/6016/task/6028/stat : 6028 (manyglucose-4.1) R 5996 5957 4774 0 -1 4202560 4365 0 0 0 55 2 0 0 20 0 9 0 510161189 2949386240 601762 33554432000 4194304 4454172 140720919306272 140480589474600 4351800 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6552832 6554400 34713600 140720919311210 140720919311408 140720919311408 140720919314362 0 [pid=6016/tid=6029] ppid=5996 vsize=2880260 memory=7091310518604359779 CPUtime=0.54 cores=0-7 /proc/6016/task/6029/stat : 6029 (manyglucose-4.1) D 5996 5957 4774 0 -1 4202560 6387 0 0 0 51 3 0 0 20 0 9 0 510161189 2949386240 601762 33554432000 4194304 4454172 140720919306272 140480581081896 140481947155262 0 4 0 8388610 18446744071582151416 0 0 -1 5 0 0 0 0 0 6552832 6554400 34713600 140720919311210 140720919311408 140720919311408 140720919314362 0 [pid=6016/tid=6030] ppid=5996 vsize=2880260 memory=7451315914305661536 CPUtime=0.55 cores=0-7 /proc/6016/task/6030/stat : 6030 (manyglucose-4.1) D 5996 5957 4774 0 -1 4202560 6004 0 0 0 53 2 0 0 20 0 9 0 510161189 2949386240 601762 33554432000 4194304 4454172 140720919306272 140480572689192 140481947155262 0 4 0 8388610 18446744071582151416 0 0 -1 1 0 0 0 0 0 6552832 6554400 34713600 140720919311210 140720919311408 140720919311408 140720919314362 0 [pid=6016/tid=6031] ppid=5996 vsize=2880260 memory=280517066298592 CPUtime=0.57 cores=0-7 /proc/6016/task/6031/stat : 6031 (manyglucose-4.1) D 5996 5957 4774 0 -1 4202560 5768 0 0 0 54 3 0 0 20 0 9 0 510161189 2949386240 601762 33554432000 4194304 4454172 140720919306272 140480564296488 140481947155262 0 4 0 8388610 18446744071582151416 0 0 -1 0 0 0 0 0 0 6552832 6554400 34713600 140720919311210 140720919311408 140720919311408 140720919314362 0 [pid=6016/tid=6032] ppid=5996 vsize=2880260 memory=6655300316396806240 CPUtime=0.57 cores=0-7 /proc/6016/task/6032/stat : 6032 (manyglucose-4.1) R 5996 5957 4774 0 -1 4202560 4514 0 0 0 55 2 0 0 20 0 9 0 510161189 2949386240 601762 33554432000 4194304 4454172 140720919306272 140480555903784 4350891 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6552832 6554400 34713600 140720919311210 140720919311408 140720919311408 140720919314362 0 [pid=5996/tid=5997] ppid=5957 vsize=8414124 memory=6944656592455097440 CPUtime=0.77 cores=0-7 /proc/5996/task/5997/stat : 5997 (java) S 5957 5957 4774 0 -1 1077944384 17450 0 0 0 71 6 0 0 20 0 24 0 510159269 8616062976 29625 33554432000 4194304 4196468 140725170803488 140164481601440 140164509771477 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20168704 140725170807800 140725170807958 140725170807958 140725170810831 0 [pid=5996/tid=5998] ppid=5957 vsize=8414124 memory=-5059952977386882957 CPUtime=0 cores=0-7 /proc/5996/task/5998/stat : 5998 (java) S 5957 5957 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510159270 8616062976 29625 33554432000 4194304 4196468 140725170803488 140164514003600 140164509771477 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20168704 140725170807800 140725170807958 140725170807958 140725170810831 0 [pid=5996/tid=5999] ppid=5957 vsize=8414124 memory=532 CPUtime=0 cores=0-7 /proc/5996/task/5999/stat : 5999 (java) S 5957 5957 4774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510159270 8616062976 29625 33554432000 4194304 4196468 140725170803488 140164314171920 140164509771477 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20168704 140725170807800 140725170807958 140725170807958 140725170810831 0 [pid=5996/tid=6000] ppid=5957 vsize=8414124 memory=1564 CPUtime=0 cores=0-7 /proc/5996/task/6000/stat : 6000 (java) S 5957 5957 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510159270 8616062976 29625 33554432000 4194304 4196468 140725170803488 140164313119120 140164509771477 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20168704 140725170807800 140725170807958 140725170807958 140725170810831 0 [pid=5996/tid=6001] ppid=5957 vsize=8414124 memory=924 CPUtime=0 cores=0-7 /proc/5996/task/6001/stat : 6001 (java) S 5957 5957 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510159270 8616062976 29625 33554432000 4194304 4196468 140725170803488 140163992774928 140164509771477 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20168704 140725170807800 140725170807958 140725170807958 140725170810831 0 [pid=5996/tid=6002] ppid=5957 vsize=8414124 memory=1760 CPUtime=0 cores=0-7 /proc/5996/task/6002/stat : 6002 (java) S 5957 5957 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510159270 8616062976 29625 33554432000 4194304 4196468 140725170803488 140163991723152 140164509771477 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20168704 140725170807800 140725170807958 140725170807958 140725170810831 0 [pid=5996/tid=6003] ppid=5957 vsize=8414124 memory=1440 CPUtime=0 cores=0-7 /proc/5996/task/6003/stat : 6003 (java) S 5957 5957 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510159270 8616062976 29625 33554432000 4194304 4196468 140725170803488 140163990670352 140164509771477 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20168704 140725170807800 140725170807958 140725170807958 140725170810831 0 [pid=5996/tid=6004] ppid=5957 vsize=8414124 memory=912 CPUtime=0 cores=0-7 /proc/5996/task/6004/stat : 6004 (java) S 5957 5957 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510159270 8616062976 29625 33554432000 4194304 4196468 140725170803488 140163989617552 140164509771477 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20168704 140725170807800 140725170807958 140725170807958 140725170810831 0 [pid=5996/tid=6005] ppid=5957 vsize=8414124 memory=1984 CPUtime=0 cores=0-7 /proc/5996/task/6005/stat : 6005 (java) S 5957 5957 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510159270 8616062976 29625 33554432000 4194304 4196468 140725170803488 140163988564752 140164509771477 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20168704 140725170807800 140725170807958 140725170807958 140725170810831 0 [pid=5996/tid=6006] ppid=5957 vsize=8414124 memory=2480 CPUtime=0 cores=0-7 /proc/5996/task/6006/stat : 6006 (java) S 5957 5957 4774 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 510159272 8616062976 29625 33554432000 4194304 4196468 140725170803488 140163871672688 140164509772418 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20168704 140725170807800 140725170807958 140725170807958 140725170810831 0 [pid=5996/tid=6007] ppid=5957 vsize=8414124 memory=1768 CPUtime=0 cores=0-7 /proc/5996/task/6007/stat : 6007 (java) S 5957 5957 4774 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 510159272 8616062976 29625 33554432000 4194304 4196468 140725170803488 140162969363488 140164509771477 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20168704 140725170807800 140725170807958 140725170807958 140725170810831 0 [pid=5996/tid=6008] ppid=5957 vsize=8414124 memory=111632 CPUtime=0 cores=0-7 /proc/5996/task/6008/stat : 6008 (java) S 5957 5957 4774 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 510159273 8616062976 29625 33554432000 4194304 4196468 140725170803488 140162835141488 140164509771477 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20168704 140725170807800 140725170807958 140725170807958 140725170810831 0 [pid=5996/tid=6009] ppid=5957 vsize=8414124 memory=796 CPUtime=0 cores=0-7 /proc/5996/task/6009/stat : 6009 (java) S 5957 5957 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510159275 8616062976 29625 33554432000 4194304 4196468 140725170803488 140162460637008 140164509779867 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20168704 140725170807800 140725170807958 140725170807958 140725170810831 0 [pid=5996/tid=6010] ppid=5957 vsize=8414124 memory=4104 CPUtime=0.07 cores=0-7 /proc/5996/task/6010/stat : 6010 (java) S 5957 5957 4774 0 -1 1077944384 678 0 0 0 7 0 0 0 20 0 24 0 510159275 8616062976 29625 33554432000 4194304 4196468 140725170803488 140163870620528 140164509772418 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20168704 140725170807800 140725170807958 140725170807958 140725170810831 0 [pid=5996/tid=6011] ppid=5957 vsize=8414124 memory=1808 CPUtime=0.04 cores=0-7 /proc/5996/task/6011/stat : 6011 (java) S 5957 5957 4774 0 -1 1077944384 231 0 0 0 4 0 0 0 20 0 24 0 510159275 8616062976 29625 33554432000 4194304 4196468 140725170803488 140163869567728 140164509772418 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20168704 140725170807800 140725170807958 140725170807958 140725170810831 0 [pid=5996/tid=6012] ppid=5957 vsize=8414124 memory=-4075877051373423738 CPUtime=0.05 cores=0-7 /proc/5996/task/6012/stat : 6012 (java) S 5957 5957 4774 0 -1 1077944384 258 0 0 0 5 0 0 0 20 0 24 0 510159275 8616062976 29625 33554432000 4194304 4196468 140725170803488 140163868514928 140164509772418 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20168704 140725170807800 140725170807958 140725170807958 140725170810831 0 [pid=5996/tid=6013] ppid=5957 vsize=8414124 memory=3616 CPUtime=0.22 cores=0-7 /proc/5996/task/6013/stat : 6013 (java) S 5957 5957 4774 0 -1 1077944384 583 0 0 0 22 0 0 0 20 0 24 0 510159275 8616062976 29625 33554432000 4194304 4196468 140725170803488 140163867462128 140164509772418 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20168704 140725170807800 140725170807958 140725170807958 140725170810831 0 [pid=5996/tid=6014] ppid=5957 vsize=8414124 memory=1228 CPUtime=0 cores=0-7 /proc/5996/task/6014/stat : 6014 (java) S 5957 5957 4774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510159276 8616062976 29625 33554432000 4194304 4196468 140725170803488 140161962732128 140164509771477 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20168704 140725170807800 140725170807958 140725170807958 140725170810831 0 [pid=5996/tid=6015] ppid=5957 vsize=8414124 memory=6184 CPUtime=0 cores=0-7 /proc/5996/task/6015/stat : 6015 (java) S 5957 5957 4774 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 510159276 8616062976 29625 33554432000 4194304 4196468 140725170803488 140163866409520 140164509772418 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20168704 140725170807800 140725170807958 140725170807958 140725170810831 0 [pid=5996/tid=6017] ppid=5957 vsize=8414124 memory=7552 CPUtime=0 cores=0-7 /proc/5996/task/6017/stat : 6017 (java) S 5957 5957 4774 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 510159344 8616062976 29625 33554432000 4194304 4196468 140725170803488 140163858375744 140164509785881 0 4 2 25189581 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 20168704 140725170807800 140725170807958 140725170807958 140725170810831 0 [pid=5996/tid=6019] ppid=5957 vsize=8414124 memory=2832 CPUtime=0 cores=0-7 /proc/5996/task/6019/stat : 6019 (java) S 5957 5957 4774 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 510159344 8616062976 29625 33554432000 4194304 4196468 140725170803488 140161291632784 140164509783197 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 20168704 140725170807800 140725170807958 140725170807958 140725170810831 0 [pid=5996/tid=6020] ppid=5957 vsize=8414124 memory=1084 CPUtime=0 cores=0-7 /proc/5996/task/6020/stat : 6020 (java) S 5957 5957 4774 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 510159344 8616062976 29625 33554432000 4194304 4196468 140725170803488 140161560068112 140164509783197 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 20168704 140725170807800 140725170807958 140725170807958 140725170810831 0 [pid=5996/tid=6021] ppid=5957 vsize=8414124 memory=14012 CPUtime=0 cores=0-7 /proc/5996/task/6021/stat : 6021 (java) S 5957 5957 4774 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 510159346 8616062976 29625 33554432000 4194304 4196468 140725170803488 140161023204912 140164509771477 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20168704 140725170807800 140725170807958 140725170807958 140725170810831 0 Current children cumulated CPU time: 161.5 s Current children cumulated vsize: 11407512 KiB Current children cumulated memory: 2527020 KiB [startup+120.801 s] /proc/loadavg: 1.66 2.77 4.91 10/226 6032 /proc/meminfo: memFree=22980272/32770624 swapFree=66986396/67108860 [pid=5957] ppid=5954 vsize=113128 memory=1472 CPUtime=137.32 cores=0-7 /proc/5957/stat : 5957 (scop.sh) S 5954 5957 4774 0 -1 4202496 582 67676 0 0 0 0 12962 770 20 0 1 0 510149217 115843072 368 33554432000 4194304 5098028 140727920664064 140727920660808 140600654008956 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 34516992 140727920665381 140727920665708 140727920665708 140727920668621 0 /proc/5957/statm: 28282 368 311 221 0 87 0 [pid=5996] ppid=5957 vsize=8283048 memory=150080 CPUtime=25.72 cores=0-7 /proc/5996/stat : 5996 (java) S 5957 5957 4774 0 -1 1077944320 21875 571757 0 0 159 10 2301 102 20 0 22 0 510159268 8481841152 37520 33554432000 4194304 4196468 140725170803488 140725170786032 140164509761271 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20168704 140725170807800 140725170807958 140725170807958 140725170810831 0 /proc/5996/statm: 2070762 37520 3232 1 0 2032106 0 [pid=5996/tid=5997] ppid=5957 vsize=8283048 memory=1964056 CPUtime=24.88 cores=0-7 /proc/5996/task/5997/stat : 5997 (java) R 5957 5957 4774 0 -1 4202560 17690 571757 0 0 79 6 2301 102 20 0 22 0 510159269 8481841152 37520 33554432000 4194304 4196468 140725170803488 140164481599440 140164490585386 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20168704 140725170807800 140725170807958 140725170807958 140725170810831 0 [pid=5996/tid=5998] ppid=5957 vsize=8283048 memory=1416 CPUtime=24.03 cores=0-7 /proc/5996/task/5998/stat : 5998 (java) S 5957 5957 4774 0 -1 1077944384 2 571757 0 0 0 0 2301 102 20 0 22 0 510159270 8481841152 37520 33554432000 4194304 4196468 140725170803488 140164514003600 140164509771477 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20168704 140725170807800 140725170807958 140725170807958 140725170810831 0 [pid=5996/tid=5999] ppid=5957 vsize=8283048 memory=312155947512627226 CPUtime=24.03 cores=0-7 /proc/5996/task/5999/stat : 5999 (java) S 5957 5957 4774 0 -1 1077944384 3 571757 0 0 0 0 2301 102 20 0 22 0 510159270 8481841152 37520 33554432000 4194304 4196468 140725170803488 140164314171920 140164509771477 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20168704 140725170807800 140725170807958 140725170807958 140725170810831 0 [pid=5996/tid=6000] ppid=5957 vsize=8283048 memory=288230621803970871 CPUtime=24.03 cores=0-7 /proc/5996/task/6000/stat : 6000 (java) S 5957 5957 4774 0 -1 1077944384 2 571757 0 0 0 0 2301 102 20 0 22 0 510159270 8481841152 37520 33554432000 4194304 4196468 140725170803488 140164313119120 140164509771477 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20168704 140725170807800 140725170807958 140725170807958 140725170810831 0 [pid=5996/tid=6001] ppid=5957 vsize=8283048 memory=13849668345924206 CPUtime=24.03 cores=0-7 /proc/5996/task/6001/stat : 6001 (java) S 5957 5957 4774 0 -1 1077944384 1 571757 0 0 0 0 2301 102 20 0 22 0 510159270 8481841152 37520 33554432000 4194304 4196468 140725170803488 140163992774928 140164509771477 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20168704 140725170807800 140725170807958 140725170807958 140725170810831 0 [pid=5996/tid=6002] ppid=5957 vsize=8283048 memory=64800 CPUtime=24.03 cores=0-7 /proc/5996/task/6002/stat : 6002 (java) S 5957 5957 4774 0 -1 1077944384 1 571757 0 0 0 0 2301 102 20 0 22 0 510159270 8481841152 37520 33554432000 4194304 4196468 140725170803488 140163991723152 140164509771477 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20168704 140725170807800 140725170807958 140725170807958 140725170810831 0 [pid=5996/tid=6003] ppid=5957 vsize=8283048 memory=988 CPUtime=24.03 cores=0-7 /proc/5996/task/6003/stat : 6003 (java) S 5957 5957 4774 0 -1 1077944384 2 571757 0 0 0 0 2301 102 20 0 22 0 510159270 8481841152 37520 33554432000 4194304 4196468 140725170803488 140163990670352 140164509771477 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20168704 140725170807800 140725170807958 140725170807958 140725170810831 0 [pid=5996/tid=6004] ppid=5957 vsize=8283048 memory=1472 CPUtime=24.03 cores=0-7 /proc/5996/task/6004/stat : 6004 (java) S 5957 5957 4774 0 -1 1077944384 2 571757 0 0 0 0 2301 102 20 0 22 0 510159270 8481841152 37520 33554432000 4194304 4196468 140725170803488 140163989617552 140164509771477 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20168704 140725170807800 140725170807958 140725170807958 140725170810831 0 [pid=5996/tid=6005] ppid=5957 vsize=8283048 memory=118500 CPUtime=24.03 cores=0-7 /proc/5996/task/6005/stat : 6005 (java) S 5957 5957 4774 0 -1 1077944384 2 571757 0 0 0 0 2301 102 20 0 22 0 510159270 8481841152 37520 33554432000 4194304 4196468 140725170803488 140163988564752 140164509771477 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20168704 140725170807800 140725170807958 140725170807958 140725170810831 0 [pid=5996/tid=6006] ppid=5957 vsize=8283048 memory=2363488 CPUtime=24.03 cores=0-7 /proc/5996/task/6006/stat : 6006 (java) S 5957 5957 4774 0 -1 1077944384 8 571757 0 0 0 0 2301 102 20 0 22 0 510159272 8481841152 37520 33554432000 4194304 4196468 140725170803488 140163871672688 140164509772418 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20168704 140725170807800 140725170807958 140725170807958 140725170810831 0 [pid=5996/tid=6007] ppid=5957 vsize=8283048 memory=1416 CPUtime=24.03 cores=0-7 /proc/5996/task/6007/stat : 6007 (java) S 5957 5957 4774 0 -1 1077944384 13 571757 0 0 0 0 2301 102 20 0 22 0 510159272 8481841152 37520 33554432000 4194304 4196468 140725170803488 140162969363488 140164509771477 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20168704 140725170807800 140725170807958 140725170807958 140725170810831 0 [pid=5996/tid=6008] ppid=5957 vsize=8283048 memory=1728 CPUtime=24.03 cores=0-7 /proc/5996/task/6008/stat : 6008 (java) S 5957 5957 4774 0 -1 1077944384 21 571757 0 0 0 0 2301 102 20 0 22 0 510159273 8481841152 37520 33554432000 4194304 4196468 140725170803488 140162835141488 140164509771477 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20168704 140725170807800 140725170807958 140725170807958 140725170810831 0 [pid=5996/tid=6009] ppid=5957 vsize=8283048 memory=692 CPUtime=24.03 cores=0-7 /proc/5996/task/6009/stat : 6009 (java) S 5957 5957 4774 0 -1 1077944384 1 571757 0 0 0 0 2301 102 20 0 22 0 510159275 8481841152 37520 33554432000 4194304 4196468 140725170803488 140162460637008 140164509779867 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20168704 140725170807800 140725170807958 140725170807958 140725170810831 0 [pid=5996/tid=6010] ppid=5957 vsize=8283048 memory=-5059952977386882957 CPUtime=24.16 cores=0-7 /proc/5996/task/6010/stat : 6010 (java) S 5957 5957 4774 0 -1 1077944384 732 571757 0 0 13 0 2301 102 20 0 22 0 510159275 8481841152 37520 33554432000 4194304 4196468 140725170803488 140163870620528 140164509772418 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20168704 140725170807800 140725170807958 140725170807958 140725170810831 0 [pid=5996/tid=6011] ppid=5957 vsize=8283048 memory=7013340846299047276 CPUtime=24.14 cores=0-7 /proc/5996/task/6011/stat : 6011 (java) S 5957 5957 4774 0 -1 1077944384 338 571757 0 0 11 0 2301 102 20 0 22 0 510159275 8481841152 37520 33554432000 4194304 4196468 140725170803488 140163869567728 140164509772418 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20168704 140725170807800 140725170807958 140725170807958 140725170810831 0 [pid=5996/tid=6012] ppid=5957 vsize=8283048 memory=5787777988516340052 CPUtime=24.16 cores=0-7 /proc/5996/task/6012/stat : 6012 (java) R 5957 5957 4774 0 -1 4202560 525 571757 0 0 13 0 2301 102 20 0 22 0 510159275 8481841152 37520 33554432000 4194304 4196468 140725170803488 140163868513328 140164490939049 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20168704 140725170807800 140725170807958 140725170807958 140725170810831 0 [pid=5996/tid=6013] ppid=5957 vsize=8283048 memory=6944656592455097440 CPUtime=24.33 cores=0-7 /proc/5996/task/6013/stat : 6013 (java) R 5957 5957 4774 0 -1 4202560 1094 571757 0 0 30 0 2301 102 20 0 22 0 510159275 8481841152 37520 33554432000 4194304 4196468 140725170803488 140163867462128 140164502858107 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20168704 140725170807800 140725170807958 140725170807958 140725170810831 0 [pid=5996/tid=6014] ppid=5957 vsize=8283048 memory=6944652177228980320 CPUtime=24.03 cores=0-7 /proc/5996/task/6014/stat : 6014 (java) S 5957 5957 4774 0 -1 1077944384 3 571757 0 0 0 0 2301 102 20 0 22 0 510159276 8481841152 37520 33554432000 4194304 4196468 140725170803488 140161962732128 140164509771477 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20168704 140725170807800 140725170807958 140725170807958 140725170810831 0 [pid=5996/tid=6015] ppid=5957 vsize=8283048 memory=3850120741512753184 CPUtime=24.03 cores=0-7 /proc/5996/task/6015/stat : 6015 (java) S 5957 5957 4774 0 -1 1077944384 5 571757 0 0 0 0 2301 102 20 0 22 0 510159276 8481841152 37520 33554432000 4194304 4196468 140725170803488 140163866409520 140164509772418 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20168704 140725170807800 140725170807958 140725170807958 140725170810831 0 [pid=5996/tid=6017] ppid=5957 vsize=8283048 memory=3045125285861146704 CPUtime=24.03 cores=0-7 /proc/5996/task/6017/stat : 6017 (java) S 5957 5957 4774 0 -1 1077944384 23 571757 0 0 0 0 2301 102 20 0 22 0 510159344 8481841152 37520 33554432000 4194304 4196468 140725170803488 140163858374928 140164509772418 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20168704 140725170807800 140725170807958 140725170807958 140725170810831 0 [pid=5996/tid=6021] ppid=5957 vsize=8283048 memory=6944652177228980320 CPUtime=24.03 cores=0-7 /proc/5996/task/6021/stat : 6021 (java) S 5957 5957 4774 0 -1 1077944384 14 571757 0 0 0 0 2301 102 20 0 22 0 510159346 8481841152 37520 33554432000 4194304 4196468 140725170803488 140161023206704 140164509772418 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20168704 140725170807800 140725170807958 140725170807958 140725170810831 0 Current children cumulated CPU time: 163.04 s Current children cumulated vsize: 8396176 KiB Current children cumulated memory: 151552 KiB Child status: 0 Real time (s): 120.882 CPU time (s): 163.239 CPU user time (s): 154.361 CPU system time (s): 8.8778 CPU usage (%): 135.04 Max. virtual memory (cumulated for all children) (KiB): 27443924 Max. memory (cumulated for all children) (KiB): 8253608 getrusage(RUSAGE_CHILDREN,...) data: user time used= 154.361 system time used= 8.8778 maximum resident set size= 8253208 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 663062 page faults= 0 swaps= 0 block input operations= 0 block output operations= 163576 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 51596 involuntary context switches= 424 # summary of solver processes directly reported to runsolver: # pid: 5957 # total CPU time (s): 163.239 # total CPU user time (s): 154.361 # total CPU system time (s): 8.8778 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.92413 second user time and 1.15677 second system time The end
Begin job on node104 at 2019-09-24 16:18:22 IDJOB=4405154 IDBENCH=131540 IDSOLVER=2867 FILE ID=node104/4405154-1569338926 RUNJOBID= node104-1569331756-4801 PBS_JOBID= 21705071 Free space on /tmp= 9836 MiB SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-09-22) BENCH NAME= XCSP17/Subisomorphism/Subisomorphism-m1-si6-bvg/Subisomorphism-si6-b06-m200-07.xml COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -order DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4405154-1569338926/watcher-4405154-1569338926 -o /tmp/evaluation-result-4405154-1569338926/solver-4405154-1569338926 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node104-1569331756-4801 --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-4405154-1569338926.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= d7eafb215ab3d3f066855d3513f44111 RANDOM SEED=1193125568 node104.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.09 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.09 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.09 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.09 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 25494596 kB MemAvailable: 31820004 kB Buffers: 97328 kB Cached: 6292752 kB SwapCached: 22644 kB Active: 3178536 kB Inactive: 3239288 kB Active(anon): 5540 kB Inactive(anon): 79852 kB Active(file): 3172996 kB Inactive(file): 3159436 kB Unevictable: 109704 kB Mlocked: 109704 kB SwapTotal: 67108860 kB SwapFree: 66986396 kB Dirty: 20840 kB Writeback: 0 kB AnonPages: 133924 kB Mapped: 57312 kB Shmem: 49032 kB Slab: 451384 kB SReclaimable: 421436 kB SUnreclaim: 29948 kB KernelStack: 3696 kB PageTables: 4928 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 506204 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 88064 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 124288 kB DirectMap2M: 33421312 kB Free space on /tmp at the end= 9812 MiB End job on node104 at 2019-09-24 16:20:23