Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
Fun-sCOP order+ManyGlucose (2019-09-22) | SAT | 567.004 | 402.023 |
Name | Crossword/Crossword-m1c-ogd2008-herald/ Crossword-m1c-ogd2008-h1509.xml |
MD5SUM | 47a2430a9bda935532842a3f94086119 |
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.426879 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 225 |
Number of constraints | 82 |
Number of domains | 1 |
Minimum domain size | 26 |
Maximum domain size | 26 |
Distribution of domain sizes | [{"size":26,"count":187}] |
Minimum variable degree | 0 |
Maximum variable degree | 2 |
Distribution of variable degrees | [{"degree":0,"count":38},{"degree":2,"count":187}] |
Minimum constraint arity | 3 |
Maximum constraint arity | 7 |
Distribution of constraint arities | [{"arity":3,"count":16},{"arity":4,"count":28},{"arity":5,"count":24},{"arity":6,"count":4},{"arity":7,"count":10}] |
Number of extensional constraints | 82 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":82}] |
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-7498-serial-file.bin HOME/instance-4405181-1569362889.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: Wed Sep 25 00:07:28 CEST 2019 0.66/0.56 c PID: 7501 0.66/0.56 c IP: 172.20.3.119 0.66/0.56 c HOST: node119.alineos.net 0.66/0.57 c (0,0) Parsing Begin 2.80/1.33 c (0,0) Parsing End 2.80/1.34 c (0,0) CSP: 187 int (0 aux), 0 bool (0 aux), 82 ctr, max domain size 26 2.80/1.34 c (0,0) Heap : 563 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB) 2.80/1.34 c (0,0) Constraint Name Generate Begin 2.80/1.34 c (0,0) Ctr:HOME/instance-4405181-1569362889.xml,ExtensionSupport:Var 2.80/1.34 c (0,0) Constraint Name Generate End 2.80/1.34 c (0,0) Heap : 563 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB) 2.80/1.34 c (0,0) CSP to CSPinCNF Begin 18.20/8.88 c (8,8) translated 9 (10%) constraints 24.36/14.83 c (14,14) translated 17 (20%) constraints 32.50/20.94 c (20,20) translated 25 (30%) constraints 50.76/35.62 c (35,34) translated 33 (40%) constraints 73.84/55.00 c (54,53) translated 41 (50%) constraints 101.20/76.88 c (76,74) translated 50 (60%) constraints 198.14/148.06 c (147,141) translated 58 (70%) constraints 266.69/199.99 c (199,191) translated 66 (80%) constraints 267.91/201.17 c (200,192) translated 74 (90%) constraints 298.53/225.37 c (224,215) translated 82 (100%) constraints 304.14/231.00 c (230,221) =========================================== 304.25/231.03 c (230,221) Order 304.25/231.03 c (230,221) =========================================== 314.89/238.77 c (238,228) translated 414129 (10%) constraints 322.90/246.70 c (246,236) translated 828258 (20%) constraints 335.46/255.14 c (254,244) translated 1242387 (30%) constraints 343.26/262.91 c (262,252) translated 1656516 (40%) constraints 356.12/271.34 c (270,259) translated 2070644 (50%) constraints 363.93/279.19 c (278,267) translated 2484773 (60%) constraints 377.03/287.70 c (287,275) translated 2898902 (70%) constraints 384.91/295.58 c (295,283) translated 3313031 (80%) constraints 398.13/304.05 c (303,291) translated 3727160 (90%) constraints 406.01/311.83 c (311,299) translated 4141288 (100%) constraints 406.01/311.83 c (311,299) CSP to CSPinCNF End 406.14/311.95 c (311,299) CSP: 187 int (0 aux), 367542 bool (367542 aux), 4141288 ctr, max domain size 26 406.14/311.95 c (311,299) Heap : 8760 MiB used (max 21364 MiB), NonHeap : 26 MiB used (max 0 MiB) 406.14/311.95 c (311,299) CSPinCNF Propagation Begin 457.41/334.52 c (333,317) 0 values, 82 unsatisfiable literals, and 0 valid clauses are removed 457.41/334.52 c (333,317) CSPinCNF Propagation End 457.52/334.63 c (334,317) CSP: 187 int (0 aux), 367542 bool (367542 aux), 4141288 ctr, max domain size 26 457.52/334.63 c (334,317) Heap : 7620 MiB used (max 21453 MiB), NonHeap : 26 MiB used (max 0 MiB) 457.52/334.66 c (334,317) Simplify CSPinCNF Begin 465.52/342.54 c (341,325) Simplify CSPinCNF End 465.62/342.64 c (342,325) CSP: 187 int (0 aux), 367542 bool (367542 aux), 4141288 ctr, max domain size 26 465.62/342.64 c (342,325) Heap : 12042 MiB used (max 21453 MiB), NonHeap : 27 MiB used (max 0 MiB) 465.62/342.64 c (342,325) Calculate Precise Domain Begin 465.62/342.65 c (342,325) 0 values are removed by re-calculation 465.62/342.65 c (342,325) Calculate Precise Domain End 465.72/342.75 c (342,326) CSP: 187 int (0 aux), 367542 bool (367542 aux), 4141288 ctr, max domain size 26 465.72/342.75 c (342,326) Heap : 12042 MiB used (max 21453 MiB), NonHeap : 27 MiB used (max 0 MiB) 465.72/342.75 c (342,326) CSPinCNF to SatSolver Begin 482.86/348.63 c (348,330) 414129 (10 %) CSP clauses are encoded (0 SAT variables, 418616 SAT clauses) 492.48/353.25 c (352,334) 828258 (20 %) CSP clauses are encoded (0 SAT variables, 832745 SAT clauses) 496.29/357.09 c (356,338) 1242387 (30 %) CSP clauses are encoded (0 SAT variables, 1246874 SAT clauses) 502.84/361.29 c (360,342) 1656516 (40 %) CSP clauses are encoded (0 SAT variables, 1661003 SAT clauses) 509.46/365.46 c (364,345) 2070644 (50 %) CSP clauses are encoded (0 SAT variables, 2075131 SAT clauses) 513.35/369.31 c (368,349) 2484773 (60 %) CSP clauses are encoded (0 SAT variables, 2489260 SAT clauses) 520.00/373.54 c (373,353) 2898902 (70 %) CSP clauses are encoded (0 SAT variables, 2903389 SAT clauses) 526.64/377.77 c (377,357) 3313031 (80 %) CSP clauses are encoded (0 SAT variables, 3317518 SAT clauses) 530.46/381.66 c (381,361) 3727160 (90 %) CSP clauses are encoded (0 SAT variables, 3731647 SAT clauses) 537.16/385.94 c (385,365) 4141288 (100 %) CSP clauses are encoded (0 SAT variables, 4145775 SAT clauses) 537.16/385.94 c (385,365) CSPinCNF to SatSolver End 537.16/385.94 c (385,365) Heap : 11522 MiB used (max 21562 MiB), NonHeap : 29 MiB used (max 0 MiB) 537.16/385.94 c (385,365) 372217 bool, 4145776 clause 537.16/385.94 c (385,365) Export Begin 537.31/386.04 c (385,365) Export to HOME/scop-7498-serial-file.bin 537.31/386.04 c (385,365) Export End 537.31/386.05 c (385,365) Export File Size: 0.04 MB 537.31/386.05 c (385,365) 0,0,311,334,342,342,385,STOP-AFTER(DIMACS) 537.31/386.05 c END-Prog: Wed Sep 25 00:13:54 CEST 2019 0.00/386.12 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-7498-serial-file.bin 537.48/386.59 c (0,0) Read Serial File Begin 537.48/386.59 c (0,0) HOME/scop-7498-serial-file.bin 537.48/386.82 c (0,0) Read Serial File End 537.48/386.83 537.48/386.83 Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15) 537.48/386.83 (Solving Process) 537.48/386.83 537.48/386.85 c BEGIN-Prog: Wed Sep 25 00:13:55 CEST 2019 537.48/386.85 c PID: 7557 537.48/386.85 c IP: 172.20.3.119 537.48/386.85 c HOST: node119.alineos.net 537.48/386.86 c (0,0) SatSolver.solve Begin 537.48/386.86 c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405181-1569362889.xml-scop-7501.cnf 537.48/386.89 c (0,0) c 537.48/386.89 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) 537.48/386.89 c (0,0) c 537.48/386.89 c (0,0) c WARNING: for repeatability, setting FPU to use double precision 537.48/386.89 c (0,0) c 8 solvers engines and 1 companion as a blackboard created. 537.48/386.89 c (0,0) c ========================================[ Problem Statistics ]=========================================== 537.48/386.89 c (0,0) c | | 540.21/388.47 c (1,0) c | Number of variables: 372217 | 540.21/388.47 c (1,0) c | Number of clauses: 4145776 | 540.21/388.47 c (1,0) c | Parse time: 1.44 s | 540.21/388.47 c (1,0) c | | 549.83/398.06 c (11,0) c | Simplification time: 9.45 s | 549.83/398.06 c (11,0) c | | 549.83/398.06 c (11,0) c | Generating clones | 551.02/399.27 c (12,0) c | all clones generated. Memory = 2393.82Mb. | 551.02/399.27 c (12,0) c ========================================================================================================| 551.02/399.27 c (12,0) c 551.02/399.27 c (12,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 551.02/399.27 c (12,0) c 551.02/399.27 c (12,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 551.02/399.27 c (12,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 551.02/399.27 c (12,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 551.02/399.27 c (12,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 551.02/399.27 c (12,0) c | adaptStrategeis | True | False | True | False | True | False | True | False | 551.02/399.27 c (12,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 551.02/399.27 c (12,0) c | Initial random_seed | 91648253 | 91648254 | 91648255 | 91648256 | 91648257 | 91648258 | 91648259 | 91648260 | 551.02/399.27 c (12,0) c | chanseokStrategy | False | False | False | False | False | False | False | False | 551.02/399.27 c (12,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 551.02/399.27 c (12,0) c | glureduce | True | True | True | True | True | True | True | True | 551.02/399.27 c (12,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 551.02/399.27 c (12,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 551.02/399.27 c (12,0) c | luby_restart | False | False | False | False | False | False | False | False | 551.02/399.27 c (12,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 551.02/399.27 c (12,0) c | var_decay | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 551.02/399.27 c (12,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 551.02/399.27 c (12,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 551.02/399.27 c (12,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 551.02/399.27 c (12,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 565.82/401.59 c (15,0) c 565.82/401.59 c (15,0) c real time : 14.7031 s 565.82/401.59 c (15,0) c cpu time : 23.7855 s 565.82/401.59 c (15,0) c 565.82/401.59 c (15,0) c 565.82/401.59 c (15,0) c 565.82/401.59 c (15,0) c |---------------------------------------- FINAL STATS --------------------------------------------------| 565.82/401.59 c (15,0) c 565.82/401.59 c (15,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 565.82/401.59 c (15,0) c | Threads | Total | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 565.82/401.59 c (15,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 565.82/401.59 c (15,0) c | Conflicts | 4850 | 402 | 797 | 610 | 632 | 646 | 500 | 708 | 555 | 565.82/401.59 c (15,0) c | Decisions | 278836 | 36638 | 35339 | 38690 | 34134 | 34398 | 28808 | 41116 | 29713 | 565.82/401.59 c (15,0) c | Propagations | 23608244 | 2700702 | 3034261 | 3164519 | 2911115 | 2733235 | 2946326 | 3228118 | 2889968 | 565.82/401.59 c (15,0) c | ReduceDBs | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 565.82/401.59 c (15,0) c | SimpDBs | 8 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 565.82/401.59 c (15,0) c | Restarts | 19 | 1 | 3 | 3 | 2 | 3 | 4 | 2 | 1 | 565.82/401.59 c (15,0) c | ForcedImports | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 565.82/401.59 c (15,0) c | PropBinClauses| 16915641 | 2000717 | 2124997 | 2380308 | 2289709 | 1973504 | 1975292 | 2290895 | 1880219 | 565.82/401.59 c (15,0) c | PropPreBlocker| 168716696 | 20319477 | 22583412 | 22529717 | 23147150 | 18929283 | 19076775 | 23083854 | 19047028 | 565.82/401.59 c (15,0) c | PropNotBlocker| 62371246 | 6870610 | 8253387 | 8678847 | 8407546 | 7723871 | 7104185 | 7914353 | 7418447 | 565.82/401.59 c (15,0) c | LitFullScans | 311021607 | 36006160 | 40848523 | 42008787 | 42007685 | 36065545 | 36042688 | 42028198 | 36014021 | 565.82/401.59 c (15,0) c | LitScanFracts | 53536 | 4716 | 1181 | 1575 | 7474 | 11706 | 12292 | 2626 | 11966 | 565.82/401.59 c (15,0) c | DecisionLevel0| 19 | 1 | 3 | 3 | 2 | 3 | 4 | 2 | 1 | 565.82/401.59 c (15,0) c | Periods | 51 | 6 | 6 | 7 | 7 | 6 | 6 | 7 | 6 | 565.82/401.59 c (15,0) c | Margin | 160 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 565.82/401.59 c (15,0) c | Avg_Trail | | 167275 | 228258 | 173350 | 161089 | 107829 | 135193 | 187879 | 140503 | 565.82/401.59 c (15,0) c | Avg_DL | | 5230 | 1673 | 1267 | 1905 | 1195 | 1932 | 1254 | 1807 | 565.82/401.59 c (15,0) c | Avg_Res | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 565.82/401.59 c (15,0) c | Avg_Res_Seen | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 565.82/401.59 c (15,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 565.82/401.59 c (15,0) c | Exported | 280 | 30 | 35 | 32 | 49 | 35 | 28 | 42 | 29 | 565.82/401.59 c (15,0) c | Imported | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 565.82/401.59 c (15,0) c | Good | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 565.82/401.59 c (15,0) c | Purge | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 565.82/401.59 c (15,0) c | Promoted | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 565.82/401.59 c (15,0) c | Remove_Imp | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 565.82/401.59 c (15,0) c | Blocked_Reuse | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 565.82/401.59 c (15,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 565.82/401.59 c (15,0) c | Unaries | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 565.82/401.59 c (15,0) c | Binaries | | 28 | 27 | 26 | 39 | 22 | 25 | 27 | 26 | 565.82/401.59 c (15,0) c | Glues | | 30 | 35 | 32 | 49 | 35 | 28 | 42 | 29 | 565.82/401.59 c (15,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 565.82/401.59 c (15,0) c | Orig_Seen | 0 % | 12908 | 19422 | 14929 | 14875 | 14543 | 17331 | 17400 | 19053 | 565.82/401.59 c (15,0) c | Diff Orig seen| | - 6514 | X | - 4493 | - 4547 | - 4879 | - 2091 | - 2022 | - 369 | 565.82/401.59 c (15,0) c | Hamming | 8 % | 33311 | X | 31291 | 34526 | 28227 | 31261 | 32604 | 29242 | 565.82/401.59 c (15,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 565.82/401.59 c (15,0) c | RunningTime | | 2.2 100%| 2.1 100%| 2.3 100%| 2.3 100%| 2.2 100%| 2.2 100%| 2.1 100%| 2.3 100%| 565.82/401.59 c (15,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%| 565.82/401.59 c (15,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%| 565.82/401.59 c (15,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%| 565.82/401.59 c (15,0) c | SolvingTime | | 2.2 | 2.1 | 2.3 | 2.3 | 2.2 | 2.2 | 2.1 | 2.3 | 565.82/401.59 c (15,0) c | PropagationTim| | 2.1 94%| 2.0 95%| 2.2 95%| 2.1 94%| 2.1 94%| 2.0 93%| 2.0 93%| 2.1 94%| 565.82/401.59 c (15,0) c | AnalysisTime | | 0.0 1%| 0.0 2%| 0.0 2%| 0.0 2%| 0.0 2%| 0.0 2%| 0.0 2%| 0.0 2%| 565.82/401.59 c (15,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%| 565.82/401.59 c (15,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%| 565.82/401.59 c (15,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%| 565.82/401.59 c (15,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%| 565.82/401.59 c (15,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 565.82/401.59 c (15,0) c 565.82/401.59 c (15,0) c 565.82/401.59 c (15,0) c Threads : 8 565.82/401.59 c (15,0) c Winner : 1 565.82/401.59 c (15,0) c Conflicts_0 : 402 565.82/401.59 c (15,0) c Conflicts_1 : 797 565.82/401.59 c (15,0) c Conflicts_2 : 610 565.82/401.59 c (15,0) c Conflicts_3 : 632 565.82/401.59 c (15,0) c Conflicts_4 : 646 565.82/401.59 c (15,0) c Conflicts_5 : 500 565.82/401.59 c (15,0) c Conflicts_6 : 708 565.82/401.59 c (15,0) c Conflicts_7 : 555 565.82/401.59 c (15,0) c Conflicts_total : 4850 565.82/401.59 c (15,0) c Conflicts_winner : 797 565.82/401.59 c (15,0) c Decisions_0 : 36638 565.82/401.59 c (15,0) c Decisions_1 : 35339 565.82/401.59 c (15,0) c Decisions_2 : 38690 565.82/401.59 c (15,0) c Decisions_3 : 34134 565.82/401.59 c (15,0) c Decisions_4 : 34398 565.82/401.59 c (15,0) c Decisions_5 : 28808 565.82/401.59 c (15,0) c Decisions_6 : 41116 565.82/401.59 c (15,0) c Decisions_7 : 29713 565.82/401.59 c (15,0) c Decisions_total : 278836 565.82/401.59 c (15,0) c Decisions_winner : 35339 565.82/401.59 c (15,0) c Propagations_0 : 2700702 565.82/401.59 c (15,0) c Propagations_1 : 3034261 565.82/401.59 c (15,0) c Propagations_2 : 3164519 565.82/401.59 c (15,0) c Propagations_3 : 2911115 565.82/401.59 c (15,0) c Propagations_4 : 2733235 565.82/401.59 c (15,0) c Propagations_5 : 2946326 565.82/401.59 c (15,0) c Propagations_6 : 3228118 565.82/401.59 c (15,0) c Propagations_7 : 2889968 565.82/401.59 c (15,0) c Propagations_total : 23608244 565.82/401.59 c (15,0) c Propagations_winner : 3034261 565.82/401.59 c (15,0) c ReduceDBs_0 : 0 565.82/401.59 c (15,0) c ReduceDBs_1 : 0 565.82/401.59 c (15,0) c ReduceDBs_2 : 0 565.82/401.59 c (15,0) c ReduceDBs_3 : 0 565.82/401.59 c (15,0) c ReduceDBs_4 : 0 565.82/401.59 c (15,0) c ReduceDBs_5 : 0 565.82/401.59 c (15,0) c ReduceDBs_6 : 0 565.82/401.59 c (15,0) c ReduceDBs_7 : 0 565.82/401.59 c (15,0) c ReduceDBs_total : 0 565.82/401.59 c (15,0) c ReduceDBs_winner : 0 565.82/401.59 c (15,0) c SimpDBs_0 : 1 565.82/401.59 c (15,0) c SimpDBs_1 : 1 565.82/401.59 c (15,0) c SimpDBs_2 : 1 565.82/401.59 c (15,0) c SimpDBs_3 : 1 565.82/401.59 c (15,0) c SimpDBs_4 : 1 565.82/401.59 c (15,0) c SimpDBs_5 : 1 565.82/401.59 c (15,0) c SimpDBs_6 : 1 565.82/401.59 c (15,0) c SimpDBs_7 : 1 565.82/401.59 c (15,0) c SimpDBs_total : 8 565.82/401.59 c (15,0) c SimpDBs_winner : 1 565.82/401.59 c (15,0) c Restarts_0 : 1 565.82/401.59 c (15,0) c Restarts_1 : 3 565.82/401.59 c (15,0) c Restarts_2 : 3 565.82/401.59 c (15,0) c Restarts_3 : 2 565.82/401.59 c (15,0) c Restarts_4 : 3 565.82/401.59 c (15,0) c Restarts_5 : 4 565.82/401.59 c (15,0) c Restarts_6 : 2 565.82/401.59 c (15,0) c Restarts_7 : 1 565.82/401.59 c (15,0) c Restarts_total : 19 565.82/401.59 c (15,0) c Restarts_winner : 3 565.82/401.59 c (15,0) c ForcedImports_0 : 0 565.82/401.59 c (15,0) c ForcedImports_1 : 0 565.82/401.59 c (15,0) c ForcedImports_2 : 0 565.82/401.59 c (15,0) c ForcedImports_3 : 0 565.82/401.59 c (15,0) c ForcedImports_4 : 0 565.82/401.59 c (15,0) c ForcedImports_5 : 0 565.82/401.59 c (15,0) c ForcedImports_6 : 0 565.82/401.59 c (15,0) c ForcedImports_7 : 0 565.82/401.59 c (15,0) c ForcedImports_total : 0 565.82/401.59 c (15,0) c ForcedImports_winner : 0 565.82/401.59 c (15,0) c PropsBinClauses_0 : 2000717 565.82/401.59 c (15,0) c PropsBinClauses_1 : 2124997 565.82/401.59 c (15,0) c PropsBinClauses_2 : 2380308 565.82/401.59 c (15,0) c PropsBinClauses_3 : 2289709 565.82/401.59 c (15,0) c PropsBinClauses_4 : 1973504 565.82/401.59 c (15,0) c PropsBinClauses_5 : 1975292 565.82/401.59 c (15,0) c PropsBinClauses_6 : 2290895 565.82/401.59 c (15,0) c PropsBinClauses_7 : 1880219 565.82/401.59 c (15,0) c PropsBinClauses_total : 16915641 565.82/401.59 c (15,0) c PropsBinClauses_winner : 2124997 565.82/401.59 c (15,0) c PropsPreBlocker_0 : 20319477 565.82/401.59 c (15,0) c PropsPreBlocker_1 : 22583412 565.82/401.59 c (15,0) c PropsPreBlocker_2 : 22529717 565.82/401.59 c (15,0) c PropsPreBlocker_3 : 23147150 565.82/401.59 c (15,0) c PropsPreBlocker_4 : 18929283 565.82/401.59 c (15,0) c PropsPreBlocker_5 : 19076775 565.82/401.59 c (15,0) c PropsPreBlocker_6 : 23083854 565.82/401.59 c (15,0) c PropsPreBlocker_7 : 19047028 565.82/401.59 c (15,0) c PropsPreBlocker_total : 168716696 565.82/401.59 c (15,0) c PropsPreBlocker_winner : 22583412 565.82/401.59 c (15,0) c PropsNotBlocker_0 : 6870610 565.82/401.59 c (15,0) c PropsNotBlocker_1 : 8253387 565.82/401.59 c (15,0) c PropsNotBlocker_2 : 8678847 565.82/401.59 c (15,0) c PropsNotBlocker_3 : 8407546 565.82/401.59 c (15,0) c PropsNotBlocker_4 : 7723871 565.82/401.59 c (15,0) c PropsNotBlocker_5 : 7104185 565.82/401.59 c (15,0) c PropsNotBlocker_6 : 7914353 565.82/401.59 c (15,0) c PropsNotBlocker_7 : 7418447 565.82/401.59 c (15,0) c PropsNotBlocker_total : 62371246 565.82/401.59 c (15,0) c PropsNotBlocker_winner : 8253387 565.82/401.59 c (15,0) c PropsLitFullScans_0 : 36006160 565.82/401.59 c (15,0) c PropsLitFullScans_1 : 40848523 565.82/401.59 c (15,0) c PropsLitFullScans_2 : 42008787 565.82/401.59 c (15,0) c PropsLitFullScans_3 : 42007685 565.82/401.59 c (15,0) c PropsLitFullScans_4 : 36065545 565.82/401.59 c (15,0) c PropsLitFullScans_5 : 36042688 565.82/401.59 c (15,0) c PropsLitFullScans_6 : 42028198 565.82/401.59 c (15,0) c PropsLitFullScans_7 : 36014021 565.82/401.59 c (15,0) c PropsLitFullScans_total : 311021607 565.82/401.59 c (15,0) c PropsLitFullScans_winner : 40848523 565.82/401.59 c (15,0) c LitScanFractions_0 : 4716 565.82/401.59 c (15,0) c LitScanFractions_1 : 1181 565.82/401.59 c (15,0) c LitScanFractions_2 : 1575 565.82/401.59 c (15,0) c LitScanFractions_3 : 7474 565.82/401.59 c (15,0) c LitScanFractions_4 : 11706 565.82/401.59 c (15,0) c LitScanFractions_5 : 12292 565.82/401.59 c (15,0) c LitScanFractions_6 : 2626 565.82/401.59 c (15,0) c LitScanFractions_7 : 11966 565.82/401.59 c (15,0) c LitScanFractions_total : 53536 565.82/401.59 c (15,0) c LitScanFractions_winner : 1181 565.82/401.59 c (15,0) c DecisionLevel0_0 : 1 565.82/401.59 c (15,0) c DecisionLevel0_1 : 3 565.82/401.59 c (15,0) c DecisionLevel0_2 : 3 565.82/401.59 c (15,0) c DecisionLevel0_3 : 2 565.82/401.59 c (15,0) c DecisionLevel0_4 : 3 565.82/401.59 c (15,0) c DecisionLevel0_5 : 4 565.82/401.59 c (15,0) c DecisionLevel0_6 : 2 565.82/401.59 c (15,0) c DecisionLevel0_7 : 1 565.82/401.59 c (15,0) c DecisionLevel0_total : 19 565.82/401.59 c (15,0) c DecisionLevel0_winner : 3 565.82/401.59 c (15,0) c Periods_0 : 6 565.82/401.59 c (15,0) c Periods_1 : 6 565.82/401.59 c (15,0) c Periods_2 : 7 565.82/401.59 c (15,0) c Periods_3 : 7 565.82/401.59 c (15,0) c Periods_4 : 6 565.82/401.59 c (15,0) c Periods_5 : 6 565.82/401.59 c (15,0) c Periods_6 : 7 565.82/401.59 c (15,0) c Periods_7 : 6 565.82/401.59 c (15,0) c Periods_total : 51 565.82/401.59 c (15,0) c Periods_winner : 6 565.82/401.59 c (15,0) c Margin_0 : 20 565.82/401.59 c (15,0) c Margin_1 : 20 565.82/401.59 c (15,0) c Margin_2 : 20 565.82/401.59 c (15,0) c Margin_3 : 20 565.82/401.59 c (15,0) c Margin_4 : 20 565.82/401.59 c (15,0) c Margin_5 : 20 565.82/401.59 c (15,0) c Margin_6 : 20 565.82/401.59 c (15,0) c Margin_7 : 20 565.82/401.59 c (15,0) c Margin_total : 160 565.82/401.59 c (15,0) c Margin_winner : 20 565.82/401.59 c (15,0) c Exported_0 : 30 565.82/401.59 c (15,0) c Exported_1 : 35 565.82/401.59 c (15,0) c Exported_2 : 32 565.82/401.59 c (15,0) c Exported_3 : 49 565.82/401.59 c (15,0) c Exported_4 : 35 565.82/401.59 c (15,0) c Exported_5 : 28 565.82/401.59 c (15,0) c Exported_6 : 42 565.82/401.59 c (15,0) c Exported_7 : 29 565.82/401.59 c (15,0) c Exported_total : 280 565.82/401.59 c (15,0) c Exported_winner : 35 565.82/401.59 c (15,0) c Imported_0 : 0 565.82/401.59 c (15,0) c Imported_1 : 0 565.82/401.59 c (15,0) c Imported_2 : 0 565.82/401.59 c (15,0) c Imported_3 : 0 565.82/401.59 c (15,0) c Imported_4 : 0 565.82/401.60 c (15,0) c Imported_5 : 0 565.82/401.60 c (15,0) c Imported_6 : 0 565.82/401.60 c (15,0) c Imported_7 : 0 565.82/401.60 c (15,0) c Imported_total : 0 565.82/401.60 c (15,0) c Imported_winner : 0 565.82/401.60 c (15,0) c Good_0 : 0 565.82/401.60 c (15,0) c Good_1 : 0 565.82/401.60 c (15,0) c Good_2 : 0 565.82/401.60 c (15,0) c Good_3 : 0 565.82/401.60 c (15,0) c Good_4 : 0 565.82/401.60 c (15,0) c Good_5 : 0 565.82/401.60 c (15,0) c Good_6 : 0 565.82/401.60 c (15,0) c Good_7 : 0 565.82/401.60 c (15,0) c Good_total : 0 565.82/401.60 c (15,0) c Good_winner : 0 565.82/401.60 c (15,0) c Purge_0 : 0 565.82/401.60 c (15,0) c Purge_1 : 0 565.82/401.60 c (15,0) c Purge_2 : 0 565.82/401.60 c (15,0) c Purge_3 : 0 565.82/401.60 c (15,0) c Purge_4 : 0 565.82/401.60 c (15,0) c Purge_5 : 0 565.82/401.60 c (15,0) c Purge_6 : 0 565.82/401.60 c (15,0) c Purge_7 : 0 565.82/401.60 c (15,0) c Purge_total : 0 565.82/401.60 c (15,0) c Purge_winner : 0 565.82/401.60 c (15,0) c Promoted_0 : 0 565.82/401.60 c (15,0) c Promoted_1 : 0 565.82/401.60 c (15,0) c Promoted_2 : 0 565.82/401.60 c (15,0) c Promoted_3 : 0 565.82/401.60 c (15,0) c Promoted_4 : 0 565.82/401.60 c (15,0) c Promoted_5 : 0 565.82/401.60 c (15,0) c Promoted_6 : 0 565.82/401.60 c (15,0) c Promoted_7 : 0 565.82/401.60 c (15,0) c Promoted_total : 0 565.82/401.60 c (15,0) c Promoted_winner : 0 565.82/401.60 c (15,0) c Remove_Imp_0 : 0 565.82/401.60 c (15,0) c Remove_Imp_1 : 0 565.82/401.60 c (15,0) c Remove_Imp_2 : 0 565.82/401.60 c (15,0) c Remove_Imp_3 : 0 565.82/401.60 c (15,0) c Remove_Imp_4 : 0 565.82/401.60 c (15,0) c Remove_Imp_5 : 0 565.82/401.60 c (15,0) c Remove_Imp_6 : 0 565.82/401.60 c (15,0) c Remove_Imp_7 : 0 565.82/401.60 c (15,0) c Remove_Imp_total : 0 565.82/401.60 c (15,0) c Remove_Imp_winner : 0 565.82/401.60 c (15,0) c Blocked_Reuse_0 : 0 565.82/401.60 c (15,0) c Blocked_Reuse_1 : 0 565.82/401.60 c (15,0) c Blocked_Reuse_2 : 0 565.82/401.60 c (15,0) c Blocked_Reuse_3 : 0 565.82/401.60 c (15,0) c Blocked_Reuse_4 : 0 565.82/401.60 c (15,0) c Blocked_Reuse_5 : 0 565.82/401.60 c (15,0) c Blocked_Reuse_6 : 0 565.82/401.60 c (15,0) c Blocked_Reuse_7 : 0 565.82/401.60 c (15,0) c Blocked_Reuse_total : 0 565.82/401.60 c (15,0) c Blocked_Reuse_winner : 0 565.82/401.60 c (15,0) c Unaries_0 : 0 565.82/401.60 c (15,0) c Unaries_1 : 0 565.82/401.60 c (15,0) c Unaries_2 : 0 565.82/401.60 c (15,0) c Unaries_3 : 0 565.82/401.60 c (15,0) c Unaries_4 : 0 565.82/401.60 c (15,0) c Unaries_5 : 0 565.82/401.60 c (15,0) c Unaries_6 : 0 565.82/401.60 c (15,0) c Unaries_7 : 0 565.82/401.60 c (15,0) c Unaries_total : 0 565.82/401.60 c (15,0) c Unaries_winner : 0 565.82/401.60 c (15,0) c Binaries_0 : 28 565.82/401.60 c (15,0) c Binaries_1 : 27 565.82/401.60 c (15,0) c Binaries_2 : 26 565.82/401.60 c (15,0) c Binaries_3 : 39 565.82/401.60 c (15,0) c Binaries_4 : 22 565.82/401.60 c (15,0) c Binaries_5 : 25 565.82/401.60 c (15,0) c Binaries_6 : 27 565.82/401.60 c (15,0) c Binaries_7 : 26 565.82/401.60 c (15,0) c Binaries_total : 220 565.82/401.60 c (15,0) c Binaries_winner : 27 565.82/401.60 c (15,0) c Glues_0 : 30 565.82/401.60 c (15,0) c Glues_1 : 35 565.82/401.60 c (15,0) c Glues_2 : 32 565.82/401.60 c (15,0) c Glues_3 : 49 566.01/401.60 c (15,0) c Glues_4 : 35 566.01/401.60 c (15,0) c Glues_5 : 28 566.01/401.60 c (15,0) c Glues_6 : 42 566.01/401.60 c (15,0) c Glues_7 : 29 566.01/401.60 c (15,0) c Glues_total : 280 566.01/401.60 c (15,0) c Glues_winner : 35 566.01/401.60 c (15,0) c RunningTime_0 : 2.221145 566.01/401.60 c (15,0) c RunningTime_1 : 2.119953 566.01/401.60 c (15,0) c RunningTime_2 : 2.277204 566.01/401.60 c (15,0) c RunningTime_3 : 2.264438 566.01/401.60 c (15,0) c RunningTime_4 : 2.222133 566.01/401.60 c (15,0) c RunningTime_5 : 2.165967 566.01/401.60 c (15,0) c RunningTime_6 : 2.148739 566.01/401.60 c (15,0) c RunningTime_7 : 2.259756 566.01/401.60 c (15,0) c RunningTime_total : 17.679335 566.01/401.60 c (15,0) c RunningTime_winner : 2.119953 566.01/401.60 c (15,0) c WaitingTime_0 : 0.000000 566.01/401.60 c (15,0) c WaitingTime_1 : 0.000000 566.01/401.60 c (15,0) c WaitingTime_2 : 0.000000 566.01/401.60 c (15,0) c WaitingTime_3 : 0.000000 566.01/401.60 c (15,0) c WaitingTime_4 : 0.000000 566.01/401.60 c (15,0) c WaitingTime_5 : 0.000000 566.01/401.60 c (15,0) c WaitingTime_6 : 0.000000 566.01/401.60 c (15,0) c WaitingTime_7 : 0.000000 566.01/401.60 c (15,0) c WaitingTime_total : 0.000000 566.01/401.60 c (15,0) c WaitingTime_winner : 0.000000 566.01/401.60 c (15,0) c ExchangingTime_0 : 0.000168 566.01/401.60 c (15,0) c ExchangingTime_1 : 0.000151 566.01/401.60 c (15,0) c ExchangingTime_2 : 0.000197 566.01/401.60 c (15,0) c ExchangingTime_3 : 0.000199 566.01/401.60 c (15,0) c ExchangingTime_4 : 0.000170 566.01/401.60 c (15,0) c ExchangingTime_5 : 0.000138 566.01/401.60 c (15,0) c ExchangingTime_6 : 0.000172 566.01/401.60 c (15,0) c ExchangingTime_7 : 0.000166 566.01/401.60 c (15,0) c ExchangingTime_total : 0.001361 566.01/401.60 c (15,0) c ExchangingTime_winner : 0.000151 566.01/401.60 c (15,0) c PeriodProcTime_0 : 0.000087 566.01/401.60 c (15,0) c PeriodProcTime_1 : 0.000061 566.01/401.60 c (15,0) c PeriodProcTime_2 : 0.000071 566.01/401.60 c (15,0) c PeriodProcTime_3 : 0.000077 566.01/401.60 c (15,0) c PeriodProcTime_4 : 0.000068 566.01/401.60 c (15,0) c PeriodProcTime_5 : 0.000083 566.01/401.60 c (15,0) c PeriodProcTime_6 : 0.000087 566.01/401.60 c (15,0) c PeriodProcTime_7 : 0.000068 566.01/401.60 c (15,0) c PeriodProcTime_total : 0.000601 566.01/401.60 c (15,0) c PeriodProcTime_winner : 0.000061 566.01/401.60 c (15,0) c SolvingTime_0 : 2.221400 566.01/401.60 c (15,0) c SolvingTime_1 : 2.120165 566.01/401.60 c (15,0) c SolvingTime_2 : 2.277471 566.01/401.60 c (15,0) c SolvingTime_3 : 2.264714 566.01/401.60 c (15,0) c SolvingTime_4 : 2.222370 566.01/401.60 c (15,0) c SolvingTime_5 : 2.166188 566.01/401.60 c (15,0) c SolvingTime_6 : 2.148998 566.01/401.60 c (15,0) c SolvingTime_7 : 2.259989 566.01/401.60 c (15,0) c SolvingTime_total : 17.681297 566.01/401.60 c (15,0) c SolvingTime_winner : 2.120165 566.01/401.60 c (15,0) c PropagationTime_0 : 2.091840 566.01/401.60 c (15,0) c PropagationTime_1 : 2.004034 566.01/401.60 c (15,0) c PropagationTime_2 : 2.161312 566.01/401.60 c (15,0) c PropagationTime_3 : 2.124548 566.01/401.60 c (15,0) c PropagationTime_4 : 2.095804 566.01/401.60 c (15,0) c PropagationTime_5 : 2.013801 566.01/401.60 c (15,0) c PropagationTime_6 : 1.992078 566.01/401.60 c (15,0) c PropagationTime_7 : 2.130664 566.01/401.60 c (15,0) c PropagationTime_total : 16.614081 566.01/401.60 c (15,0) c PropagationTime_winner : 2.004034 566.01/401.60 c (15,0) c AnalysisTime_0 : 0.032754 566.01/401.60 c (15,0) c AnalysisTime_1 : 0.034153 566.01/401.60 c (15,0) c AnalysisTime_2 : 0.037054 566.01/401.60 c (15,0) c AnalysisTime_3 : 0.039624 566.01/401.60 c (15,0) c AnalysisTime_4 : 0.046315 566.01/401.60 c (15,0) c AnalysisTime_5 : 0.042245 566.01/401.60 c (15,0) c AnalysisTime_6 : 0.042893 566.01/401.60 c (15,0) c AnalysisTime_7 : 0.038785 566.01/401.60 c (15,0) c AnalysisTime_total : 0.313824 566.01/401.60 c (15,0) c AnalysisTime_winner : 0.034153 566.01/401.60 c (15,0) c ReductionTime_0 : 0.000000 566.01/401.60 c (15,0) c ReductionTime_1 : 0.000000 566.01/401.60 c (15,0) c ReductionTime_2 : 0.000000 566.01/401.60 c (15,0) c ReductionTime_3 : 0.000000 566.01/401.60 c (15,0) c ReductionTime_4 : 0.000000 566.01/401.60 c (15,0) c ReductionTime_5 : 0.000000 566.01/401.60 c (15,0) c ReductionTime_6 : 0.000000 566.01/401.60 c (15,0) c ReductionTime_7 : 0.000000 566.01/401.60 c (15,0) c ReductionTime_total : 0.000000 566.01/401.60 c (15,0) c ReductionTime_winner : 0.000000 566.01/401.60 c (15,0) c SimplifyTime_0 : 0.000000 566.01/401.60 c (15,0) c SimplifyTime_1 : 0.000000 566.01/401.60 c (15,0) c SimplifyTime_2 : 0.000000 566.01/401.60 c (15,0) c SimplifyTime_3 : 0.000000 566.01/401.60 c (15,0) c SimplifyTime_4 : 0.000000 566.01/401.60 c (15,0) c SimplifyTime_5 : 0.000001 566.01/401.60 c (15,0) c SimplifyTime_6 : 0.000000 566.01/401.60 c (15,0) c SimplifyTime_7 : 0.000000 566.01/401.60 c (15,0) c SimplifyTime_total : 0.000001 566.01/401.60 c (15,0) c SimplifyTime_winner : 0.000000 566.01/401.60 c (15,0) c UsedRateTime_0 : 0.000000 566.01/401.60 c (15,0) c UsedRateTime_1 : 0.000000 566.01/401.60 c (15,0) c UsedRateTime_2 : 0.000000 566.01/401.60 c (15,0) c UsedRateTime_3 : 0.000000 566.01/401.60 c (15,0) c UsedRateTime_4 : 0.000000 566.01/401.60 c (15,0) c UsedRateTime_5 : 0.000000 566.01/401.60 c (15,0) c UsedRateTime_6 : 0.000000 566.01/401.60 c (15,0) c UsedRateTime_7 : 0.000000 566.01/401.60 c (15,0) c UsedRateTime_total : 0.000000 566.01/401.60 c (15,0) c UsedRateTime_winner : 0.000000 566.01/401.60 c (15,0) c OverlapRateTime_0 : 0.000000 566.01/401.60 c (15,0) c OverlapRateTime_1 : 0.000000 566.01/401.60 c (15,0) c OverlapRateTime_2 : 0.000000 566.01/401.60 c (15,0) c OverlapRateTime_3 : 0.000000 566.01/401.60 c (15,0) c OverlapRateTime_4 : 0.000000 566.01/401.60 c (15,0) c OverlapRateTime_5 : 0.000000 566.01/401.60 c (15,0) c OverlapRateTime_6 : 0.000000 566.01/401.60 c (15,0) c OverlapRateTime_7 : 0.000000 566.01/401.60 c (15,0) c OverlapRateTime_total : 0.000000 566.01/401.60 c (15,0) c OverlapRateTime_winner : 0.000000 566.01/401.60 c (15,0) c 566.01/401.60 c (15,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 566.01/401.60 c (15,0) c 566.01/401.60 c (15,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 566.01/401.60 c (15,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 566.01/401.60 c (15,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 566.01/401.60 c (15,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 566.01/401.60 c (15,0) c | adaptStrategeis | True | False | True | False | True | False | True | False | 566.01/401.60 c (15,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 566.01/401.60 c (15,0) c | Initial random_seed | 174356327 | 910809765 | 1789222078 | 626325336 | 1669297409 | 1199132849 | 1989648112 | 640312024 | 566.01/401.60 c (15,0) c | chanseokStrategy | False | False | False | False | False | False | False | False | 566.01/401.60 c (15,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 566.01/401.60 c (15,0) c | glureduce | True | True | True | True | True | True | True | True | 566.01/401.60 c (15,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 566.01/401.60 c (15,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 566.01/401.60 c (15,0) c | luby_restart | False | False | False | False | False | False | False | False | 566.01/401.60 c (15,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 566.01/401.60 c (15,0) c | var_decay | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 566.01/401.60 c (15,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 566.01/401.60 c (15,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 566.01/401.60 c (15,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 566.01/401.60 c (15,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 566.01/401.60 c (15,0) 566.01/401.60 c (15,0) s SATISFIABLE 539.08/401.84 c (15,0) SatSolver.solve End 539.08/401.84 c (15,0) Heap : 180 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB) 539.08/401.84 c (15,0) Show results Begin 566.76/401.97 c (15,0) x[0][0] = 0 566.76/401.97 c (15,0) x[0][1] = 2 566.76/401.97 c (15,0) x[0][2] = 19 566.76/401.97 c (15,0) x[0][3] = 7 566.76/401.97 c (15,0) x[0][5] = 0 566.76/401.97 c (15,0) x[0][6] = 17 566.76/401.97 c (15,0) x[0][7] = 8 566.76/401.97 c (15,0) x[0][8] = 3 566.76/401.97 c (15,0) x[0][9] = 7 566.76/401.97 c (15,0) x[0][11] = 14 566.76/401.97 c (15,0) x[0][12] = 17 566.76/401.97 c (15,0) x[0][13] = 8 566.76/401.97 c (15,0) x[0][14] = 10 566.76/401.97 c (15,0) x[1][0] = 13 566.76/401.97 c (15,0) x[1][1] = 0 566.76/401.97 c (15,0) x[1][2] = 6 566.76/401.97 c (15,0) x[1][3] = 4 566.76/401.97 c (15,0) x[1][5] = 19 566.76/401.97 c (15,0) x[1][6] = 20 566.76/401.97 c (15,0) x[1][7] = 13 566.76/401.97 c (15,0) x[1][8] = 9 566.76/401.97 c (15,0) x[1][9] = 14 566.76/401.97 c (15,0) x[1][11] = 15 566.76/401.97 c (15,0) x[1][12] = 14 566.76/401.97 c (15,0) x[1][13] = 18 566.76/401.97 c (15,0) x[1][14] = 0 566.76/401.97 c (15,0) x[2][0] = 6 566.76/401.97 c (15,0) x[2][1] = 0 566.76/401.97 c (15,0) x[2][2] = 8 566.76/401.97 c (15,0) x[2][3] = 19 566.76/401.97 c (15,0) x[2][5] = 11 566.76/401.97 c (15,0) x[2][6] = 4 566.76/401.97 c (15,0) x[2][7] = 5 566.76/401.97 c (15,0) x[2][8] = 4 566.76/401.97 c (15,0) x[2][9] = 20 566.76/401.97 c (15,0) x[2][11] = 11 566.76/401.97 c (15,0) x[2][12] = 14 566.76/401.97 c (15,0) x[2][13] = 1 566.76/401.97 c (15,0) x[2][14] = 2 566.76/401.97 c (15,0) x[3][0] = 0 566.76/401.97 c (15,0) x[3][1] = 20 566.76/401.97 c (15,0) x[3][2] = 19 566.76/401.97 c (15,0) x[3][3] = 7 566.76/401.97 c (15,0) x[3][4] = 8 566.76/401.97 c (15,0) x[3][5] = 14 566.76/401.97 c (15,0) x[3][6] = 13 566.76/401.97 c (15,0) x[3][8] = 7 566.76/401.97 c (15,0) x[3][9] = 0 566.76/401.97 c (15,0) x[3][10] = 11 566.76/401.97 c (15,0) x[3][11] = 4 566.76/401.97 c (15,0) x[3][12] = 8 566.76/401.97 c (15,0) x[3][13] = 13 566.76/401.97 c (15,0) x[3][14] = 4 566.76/401.97 c (15,0) x[4][3] = 4 566.76/401.97 c (15,0) x[4][4] = 5 566.76/401.97 c (15,0) x[4][5] = 22 566.76/401.97 c (15,0) x[4][7] = 24 566.76/401.97 c (15,0) x[4][8] = 0 566.76/401.97 c (15,0) x[4][9] = 19 566.76/401.97 c (15,0) x[4][10] = 4 566.76/401.97 c (15,0) x[4][11] = 4 566.76/401.97 c (15,0) x[5][0] = 15 566.76/401.97 c (15,0) x[5][1] = 1 566.76/401.97 c (15,0) x[5][2] = 21 566.76/401.97 c (15,0) x[5][3] = 4 566.76/401.97 c (15,0) x[5][4] = 18 566.76/401.97 c (15,0) x[5][6] = 19 566.76/401.97 c (15,0) x[5][7] = 13 566.76/401.97 c (15,0) x[5][8] = 19 566.76/401.97 c (15,0) x[5][10] = 4 566.76/401.97 c (15,0) x[5][11] = 20 566.76/401.97 c (15,0) x[5][12] = 17 566.76/401.97 c (15,0) x[5][13] = 14 566.76/401.97 c (15,0) x[5][14] = 0 566.76/401.97 c (15,0) x[6][0] = 11 566.76/401.97 c (15,0) x[6][1] = 20 566.76/401.97 c (15,0) x[6][2] = 14 566.76/401.97 c (15,0) x[6][3] = 19 566.76/401.97 c (15,0) x[6][5] = 6 566.76/401.97 c (15,0) x[6][6] = 14 566.76/401.97 c (15,0) x[6][7] = 24 566.76/401.97 c (15,0) x[6][9] = 0 566.76/401.97 c (15,0) x[6][10] = 20 566.76/401.97 c (15,0) x[6][11] = 22 566.76/401.97 c (15,0) x[6][12] = 0 566.76/401.97 c (15,0) x[6][13] = 11 566.76/401.98 c (15,0) x[6][14] = 3 566.76/401.98 c (15,0) x[7][0] = 20 566.76/401.98 c (15,0) x[7][1] = 6 566.76/401.98 c (15,0) x[7][2] = 3 566.76/401.98 c (15,0) x[7][4] = 19 566.76/401.98 c (15,0) x[7][5] = 7 566.76/401.98 c (15,0) x[7][6] = 4 566.76/401.98 c (15,0) x[7][7] = 18 566.76/401.98 c (15,0) x[7][8] = 7 566.76/401.98 c (15,0) x[7][9] = 0 566.76/401.98 c (15,0) x[7][10] = 22 566.76/401.98 c (15,0) x[7][12] = 3 566.76/401.98 c (15,0) x[7][13] = 4 566.76/401.98 c (15,0) x[7][14] = 9 566.76/401.98 c (15,0) x[8][0] = 12 566.76/401.98 c (15,0) x[8][1] = 4 566.76/401.98 c (15,0) x[8][2] = 10 566.76/401.98 c (15,0) x[8][3] = 7 566.76/401.98 c (15,0) x[8][4] = 20 566.76/401.98 c (15,0) x[8][5] = 1 566.76/401.98 c (15,0) x[8][7] = 3 566.76/401.98 c (15,0) x[8][8] = 14 566.76/401.98 c (15,0) x[8][9] = 19 566.76/401.98 c (15,0) x[8][11] = 12 566.76/401.98 c (15,0) x[8][12] = 0 566.76/401.98 c (15,0) x[8][13] = 24 566.76/401.98 c (15,0) x[8][14] = 0 566.76/401.98 c (15,0) x[9][0] = 0 566.76/401.98 c (15,0) x[9][1] = 24 566.76/401.98 c (15,0) x[9][2] = 0 566.76/401.98 c (15,0) x[9][3] = 13 566.76/401.98 c (15,0) x[9][4] = 19 566.76/401.98 c (15,0) x[9][6] = 4 566.76/401.98 c (15,0) x[9][7] = 3 566.76/401.98 c (15,0) x[9][8] = 22 566.76/401.98 c (15,0) x[9][10] = 3 566.76/401.98 c (15,0) x[9][11] = 0 566.76/401.98 c (15,0) x[9][12] = 19 566.76/401.98 c (15,0) x[9][13] = 4 566.76/401.98 c (15,0) x[9][14] = 17 566.76/401.98 c (15,0) x[10][3] = 0 566.76/401.98 c (15,0) x[10][4] = 18 566.76/401.98 c (15,0) x[10][5] = 18 566.76/401.98 c (15,0) x[10][6] = 14 566.76/401.98 c (15,0) x[10][7] = 20 566.76/401.98 c (15,0) x[10][9] = 18 566.76/401.98 c (15,0) x[10][10] = 4 566.76/401.98 c (15,0) x[10][11] = 12 566.76/401.98 c (15,0) x[11][0] = 12 566.76/401.98 c (15,0) x[11][1] = 0 566.76/401.98 c (15,0) x[11][2] = 17 566.76/401.98 c (15,0) x[11][3] = 1 566.76/401.98 c (15,0) x[11][4] = 8 566.76/401.98 c (15,0) x[11][5] = 0 566.76/401.98 c (15,0) x[11][6] = 18 566.76/401.98 c (15,0) x[11][8] = 15 566.76/401.98 c (15,0) x[11][9] = 0 566.76/401.98 c (15,0) x[11][10] = 9 566.76/401.98 c (15,0) x[11][11] = 4 566.76/401.98 c (15,0) x[11][12] = 13 566.76/401.98 c (15,0) x[11][13] = 10 566.76/401.98 c (15,0) x[11][14] = 0 566.76/401.98 c (15,0) x[12][0] = 8 566.76/401.98 c (15,0) x[12][1] = 6 566.76/401.98 c (15,0) x[12][2] = 20 566.76/401.98 c (15,0) x[12][3] = 4 566.76/401.98 c (15,0) x[12][5] = 13 566.76/401.98 c (15,0) x[12][6] = 8 566.76/401.98 c (15,0) x[12][7] = 18 566.76/401.98 c (15,0) x[12][8] = 11 566.76/401.98 c (15,0) x[12][9] = 8 566.76/401.98 c (15,0) x[12][11] = 11 566.76/401.98 c (15,0) x[12][12] = 14 566.76/401.98 c (15,0) x[12][13] = 17 566.76/401.98 c (15,0) x[12][14] = 19 566.76/401.98 c (15,0) x[13][0] = 17 566.76/401.98 c (15,0) x[13][1] = 4 566.76/401.98 c (15,0) x[13][2] = 4 566.76/401.98 c (15,0) x[13][3] = 17 566.76/401.98 c (15,0) x[13][5] = 6 566.76/401.98 c (15,0) x[13][6] = 13 566.76/401.98 c (15,0) x[13][7] = 8 566.76/401.98 c (15,0) x[13][8] = 4 566.76/401.98 c (15,0) x[13][9] = 18 566.76/401.98 c (15,0) x[13][11] = 20 566.76/401.98 c (15,0) x[13][12] = 9 566.76/401.98 c (15,0) x[13][13] = 0 566.76/401.98 c (15,0) x[13][14] = 17 566.76/401.98 c (15,0) x[14][0] = 21 566.76/401.98 c (15,0) x[14][1] = 17 566.76/401.98 c (15,0) x[14][2] = 4 566.76/401.98 c (15,0) x[14][3] = 3 566.76/401.98 c (15,0) x[14][5] = 18 566.76/401.98 c (15,0) x[14][6] = 4 566.76/401.98 c (15,0) x[14][7] = 12 566.76/401.98 c (15,0) x[14][8] = 14 566.76/401.98 c (15,0) x[14][9] = 24 566.76/401.98 c (15,0) x[14][11] = 10 566.76/401.98 c (15,0) x[14][12] = 0 566.76/401.98 c (15,0) x[14][13] = 12 566.76/401.98 c (15,0) x[14][14] = 4 566.76/401.98 s SATISFIABLE 566.76/401.99 v <instantiation> 566.76/401.99 v <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][11] x[0][12] x[0][13] x[0][14] x[1][0] x[1][1] x[1][2] x[1][3] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][11] x[1][12] x[1][13] x[1][14] x[2][0] x[2][1] x[2][2] x[2][3] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][11] x[2][12] x[2][13] x[2][14] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[4][3] x[4][4] x[4][5] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][6] x[5][7] x[5][8] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[6][0] x[6][1] x[6][2] x[6][3] x[6][5] x[6][6] x[6][7] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[7][0] x[7][1] x[7][2] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][12] x[7][13] x[7][14] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][7] x[8][8] x[8][9] x[8][11] x[8][12] x[8][13] x[8][14] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][6] x[9][7] x[9][8] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][9] x[10][10] x[10][11] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[12][0] x[12][1] x[12][2] x[12][3] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][11] x[12][12] x[12][13] x[12][14] x[13][0] x[13][1] x[13][2] x[13][3] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][11] x[13][12] x[13][13] x[13][14] x[14][0] x[14][1] x[14][2] x[14][3] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][11] x[14][12] x[14][13] x[14][14]</list> 566.76/401.99 v <values>0 2 19 7 0 17 8 3 7 14 17 8 10 13 0 6 4 19 20 13 9 14 15 14 18 0 6 0 8 19 11 4 5 4 20 11 14 1 2 0 20 19 7 8 14 13 7 0 11 4 8 13 4 4 5 22 24 0 19 4 4 15 1 21 4 18 19 13 19 4 20 17 14 0 11 20 14 19 6 14 24 0 20 22 0 11 3 20 6 3 19 7 4 18 7 0 22 3 4 9 12 4 10 7 20 1 3 14 19 12 0 24 0 0 24 0 13 19 4 3 22 3 0 19 4 17 0 18 18 14 20 18 4 12 12 0 17 1 8 0 18 15 0 9 4 13 10 0 8 6 20 4 13 8 18 11 8 11 14 17 19 17 4 4 17 6 13 8 4 18 20 9 0 17 21 17 4 3 18 4 12 14 24 10 0 12 4</values> 566.76/401.99 v </instantiation> 566.76/401.99 c (15,0) Show results End 566.76/401.99 c (15,0) Heap : 200 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB) 566.76/401.99 c (15,0) 15,15,STOP-AFTER(ALL) 566.76/401.99 c END-Prog: Wed Sep 25 00:14:10 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 (13348 MiB free) memory of node 1: 16384 MiB (11741 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405181-1569362889/watcher-4405181-1569362889 -o /var/tmp/evaluation-result-4405181-1569362889/solver-4405181-1569362889 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node119-1569357949-5907 --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-4405181-1569362889.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=7498, runsolver pid=7495 Current StackSize limit: 8192 KiB [startup+0.100415 s]* /proc/loadavg: 7.84 8.15 7.90 2/211 7520 /proc/meminfo: memFree=25598568/32770624 swapFree=66953500/67108860 [pid=7498] ppid=7495 vsize=113128 memory=1400 CPUtime=0 cores=0-7 /proc/7498/stat : 7498 (scop.sh) S 7495 7498 5880 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 512203652 115843072 350 33554432000 4194304 5098028 140728083947840 140728083945096 139994121597564 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 26222592 140728083956477 140728083956824 140728083956824 140728083959753 0 /proc/7498/statm: 28282 350 297 221 0 87 0 [pid=7501] ppid=7498 vsize=27314120 memory=105624 CPUtime=0.1 cores=0-7 /proc/7501/stat : 7501 (java) S 7498 7498 5880 0 -1 1077944320 6491 0 0 0 8 2 0 0 20 0 20 0 512203652 27969658880 26406 33554432000 4194304 4196468 140732075989136 140732075971680 140361669488375 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19148800 140732075991752 140732075992198 140732075992198 140732075995087 0 /proc/7501/statm: 6828530 26406 2796 1 0 6790935 0 [pid=7501/tid=7502] ppid=7498 vsize=27314120 memory=1398722017469774279 CPUtime=0.09 cores=0-7 /proc/7501/task/7502/stat : 7502 (java) R 7498 7498 5880 0 -1 4202560 4589 0 0 0 7 2 0 0 20 0 20 0 512203653 27969658880 26406 33554432000 4194304 4196468 140732075989136 140361641301888 140361669510301 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19148800 140732075991752 140732075992198 140732075992198 140732075995087 0 [pid=7501/tid=7503] ppid=7498 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/7501/task/7503/stat : 7503 (java) S 7498 7498 5880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512203655 27969658880 26406 33554432000 4194304 4196468 140732075989136 140361673730576 140361669498581 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19148800 140732075991752 140732075992198 140732075992198 140732075995087 0 [pid=7501/tid=7504] ppid=7498 vsize=27314120 memory=140281342723712 CPUtime=0 cores=0-7 /proc/7501/task/7504/stat : 7504 (java) S 7498 7498 5880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512203655 27969658880 26406 33554432000 4194304 4196468 140732075989136 140361487886992 140361669498581 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19148800 140732075991752 140732075992198 140732075992198 140732075995087 0 [pid=7501/tid=7505] ppid=7498 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/7501/task/7505/stat : 7505 (java) S 7498 7498 5880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512203655 27969658880 26406 33554432000 4194304 4196468 140732075989136 140361486833936 140361669498581 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19148800 140732075991752 140732075992198 140732075992198 140732075995087 0 [pid=7501/tid=7506] ppid=7498 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/7501/task/7506/stat : 7506 (java) S 7498 7498 5880 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512203655 27969658880 26406 33554432000 4194304 4196468 140732075989136 140361485781392 140361669498581 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19148800 140732075991752 140732075992198 140732075992198 140732075995087 0 [pid=7501/tid=7507] ppid=7498 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/7501/task/7507/stat : 7507 (java) S 7498 7498 5880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512203655 27969658880 26406 33554432000 4194304 4196468 140732075989136 140361484729360 140361669498581 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19148800 140732075991752 140732075992198 140732075992198 140732075995087 0 [pid=7501/tid=7508] ppid=7498 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/7501/task/7508/stat : 7508 (java) S 7498 7498 5880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512203655 27969658880 26406 33554432000 4194304 4196468 140732075989136 140361483676816 140361669498581 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19148800 140732075991752 140732075992198 140732075992198 140732075995087 0 [pid=7501/tid=7509] ppid=7498 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/7501/task/7509/stat : 7509 (java) S 7498 7498 5880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512203655 27969658880 26406 33554432000 4194304 4196468 140732075989136 140361482623760 140361669498581 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19148800 140732075991752 140732075992198 140732075992198 140732075995087 0 [pid=7501/tid=7510] ppid=7498 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/7501/task/7510/stat : 7510 (java) S 7498 7498 5880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512203655 27969658880 26406 33554432000 4194304 4196468 140732075989136 140361481571216 140361669498581 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19148800 140732075991752 140732075992198 140732075992198 140732075995087 0 [pid=7501/tid=7511] ppid=7498 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/7501/task/7511/stat : 7511 (java) S 7498 7498 5880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512203657 27969658880 26406 33554432000 4194304 4196468 140732075989136 140360122575088 140361669499522 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19148800 140732075991752 140732075992198 140732075992198 140732075995087 0 [pid=7501/tid=7512] ppid=7498 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/7501/task/7512/stat : 7512 (java) S 7498 7498 5880 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 512203657 27969658880 26406 33554432000 4194304 4196468 140732075989136 140359329899680 140361669498581 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19148800 140732075991752 140732075992198 140732075992198 140732075995087 0 [pid=7501/tid=7513] ppid=7498 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/7501/task/7513/stat : 7513 (java) S 7498 7498 5880 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 512203657 27969658880 26918 33554432000 4194304 4196468 140732075989136 140359195677424 140361669498581 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19148800 140732075991752 140732075992198 140732075992198 140732075995087 0 [pid=7501/tid=7514] ppid=7498 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/7501/task/7514/stat : 7514 (java) S 7498 7498 5880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512203660 27969658880 26918 33554432000 4194304 4196468 140732075989136 140358821173200 140361669506971 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19148800 140732075991752 140732075992198 140732075992198 140732075995087 0 [pid=7501/tid=7515] ppid=7498 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/7501/task/7515/stat : 7515 (java) S 7498 7498 5880 0 -1 1077944384 296 0 0 0 0 0 0 0 20 0 20 0 512203660 27969658880 26918 33554432000 4194304 4196468 140732075989136 140360121522928 140361669499522 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19148800 140732075991752 140732075992198 140732075992198 140732075995087 0 [pid=7501/tid=7516] ppid=7498 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/7501/task/7516/stat : 7516 (java) S 7498 7498 5880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512203660 27969658880 26918 33554432000 4194304 4196468 140732075989136 140360120470384 140361669499522 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19148800 140732075991752 140732075992198 140732075992198 140732075995087 0 [pid=7501/tid=7517] ppid=7498 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/7501/task/7517/stat : 7517 (java) S 7498 7498 5880 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512203660 27969658880 26918 33554432000 4194304 4196468 140732075989136 140360119417328 140361669499522 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19148800 140732075991752 140732075992198 140732075992198 140732075995087 0 [pid=7501/tid=7518] ppid=7498 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/7501/task/7518/stat : 7518 (java) S 7498 7498 5880 0 -1 1077944384 256 0 0 0 0 0 0 0 20 0 20 0 512203660 27969658880 26918 33554432000 4194304 4196468 140732075989136 140360118364784 140361669499522 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19148800 140732075991752 140732075992198 140732075992198 140732075995087 0 [pid=7501/tid=7519] ppid=7498 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/7501/task/7519/stat : 7519 (java) S 7498 7498 5880 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512203660 27969658880 26918 33554432000 4194304 4196468 140732075989136 140358323268064 140361669498581 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19148800 140732075991752 140732075992198 140732075992198 140732075995087 0 [pid=7501/tid=7520] ppid=7498 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/7501/task/7520/stat : 7520 (java) S 7498 7498 5880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512203660 27969658880 26918 33554432000 4194304 4196468 140732075989136 140360117312176 140361669499522 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19148800 140732075991752 140732075992198 140732075992198 140732075995087 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 107024 KiB [startup+0.210474 s]* /proc/loadavg: 7.84 8.15 7.90 2/211 7520 /proc/meminfo: memFree=25579912/32770624 swapFree=66953500/67108860 [pid=7498] ppid=7495 vsize=113128 memory=1400 CPUtime=0 cores=0-7 /proc/7498/stat : 7498 (scop.sh) S 7495 7498 5880 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 512203652 115843072 350 33554432000 4194304 5098028 140728083947840 140728083945096 139994121597564 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 26222592 140728083956477 140728083956824 140728083956824 140728083959753 0 /proc/7498/statm: 28282 350 297 221 0 87 0 [pid=7501] ppid=7498 vsize=27314120 memory=122440 CPUtime=0.25 cores=0-7 /proc/7501/stat : 7501 (java) S 7498 7498 5880 0 -1 1077944320 11498 0 0 0 21 4 0 0 20 0 20 0 512203652 27969658880 30610 33554432000 4194304 4196468 140732075989136 140732075971680 140361669488375 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19148800 140732075991752 140732075992198 140732075992198 140732075995087 0 /proc/7501/statm: 6828530 30610 2955 1 0 6790935 0 [pid=7501/tid=7502] ppid=7498 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/7501/task/7502/stat : 7502 (java) R 7498 7498 5880 0 -1 4202560 9187 0 0 0 16 3 0 0 20 0 20 0 512203653 27969658880 30610 33554432000 4194304 4196468 140732075989136 140361641295936 140361650861925 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19148800 140732075991752 140732075992198 140732075992198 140732075995087 0 [pid=7501/tid=7503] ppid=7498 vsize=27314120 memory=342 CPUtime=0 cores=0-7 /proc/7501/task/7503/stat : 7503 (java) S 7498 7498 5880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512203655 27969658880 30610 33554432000 4194304 4196468 140732075989136 140361673730576 140361669498581 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19148800 140732075991752 140732075992198 140732075992198 140732075995087 0 [pid=7501/tid=7504] ppid=7498 vsize=27314120 memory=288370657494435456 CPUtime=0 cores=0-7 /proc/7501/task/7504/stat : 7504 (java) S 7498 7498 5880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512203655 27969658880 30610 33554432000 4194304 4196468 140732075989136 140361487886992 140361669498581 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19148800 140732075991752 140732075992198 140732075992198 140732075995087 0 [pid=7501/tid=7505] ppid=7498 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/7501/task/7505/stat : 7505 (java) S 7498 7498 5880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512203655 27969658880 30610 33554432000 4194304 4196468 140732075989136 140361486833936 140361669498581 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19148800 140732075991752 140732075992198 140732075992198 140732075995087 0 [pid=7501/tid=7506] ppid=7498 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/7501/task/7506/stat : 7506 (java) S 7498 7498 5880 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512203655 27969658880 30610 33554432000 4194304 4196468 140732075989136 140361485781392 140361669498581 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19148800 140732075991752 140732075992198 140732075992198 140732075995087 0 [pid=7501/tid=7507] ppid=7498 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/7501/task/7507/stat : 7507 (java) S 7498 7498 5880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512203655 27969658880 30610 33554432000 4194304 4196468 140732075989136 140361484729360 140361669498581 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19148800 140732075991752 140732075992198 140732075992198 140732075995087 0 [pid=7501/tid=7508] ppid=7498 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/7501/task/7508/stat : 7508 (java) S 7498 7498 5880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512203655 27969658880 30610 33554432000 4194304 4196468 140732075989136 140361483676816 140361669498581 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19148800 140732075991752 140732075992198 140732075992198 140732075995087 0 [pid=7501/tid=7509] ppid=7498 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/7501/task/7509/stat : 7509 (java) S 7498 7498 5880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512203655 27969658880 30610 33554432000 4194304 4196468 140732075989136 140361482623760 140361669498581 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19148800 140732075991752 140732075992198 140732075992198 140732075995087 0 [pid=7501/tid=7510] ppid=7498 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/7501/task/7510/stat : 7510 (java) S 7498 7498 5880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512203655 27969658880 30610 33554432000 4194304 4196468 140732075989136 140361481571216 140361669498581 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19148800 140732075991752 140732075992198 140732075992198 140732075995087 0 [pid=7501/tid=7511] ppid=7498 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/7501/task/7511/stat : 7511 (java) S 7498 7498 5880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512203657 27969658880 30610 33554432000 4194304 4196468 140732075989136 140360122575088 140361669499522 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19148800 140732075991752 140732075992198 140732075992198 140732075995087 0 [pid=7501/tid=7512] ppid=7498 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/7501/task/7512/stat : 7512 (java) S 7498 7498 5880 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 512203657 27969658880 30610 33554432000 4194304 4196468 140732075989136 140359329899680 140361669498581 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19148800 140732075991752 140732075992198 140732075992198 140732075995087 0 [pid=7501/tid=7513] ppid=7498 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/7501/task/7513/stat : 7513 (java) S 7498 7498 5880 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 512203657 27969658880 30610 33554432000 4194304 4196468 140732075989136 140359195677424 140361669498581 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19148800 140732075991752 140732075992198 140732075992198 140732075995087 0 [pid=7501/tid=7514] ppid=7498 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/7501/task/7514/stat : 7514 (java) S 7498 7498 5880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512203660 27969658880 30610 33554432000 4194304 4196468 140732075989136 140358821173200 140361669506971 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19148800 140732075991752 140732075992198 140732075992198 140732075995087 0 [pid=7501/tid=7515] ppid=7498 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/7501/task/7515/stat : 7515 (java) S 7498 7498 5880 0 -1 1077944384 296 0 0 0 0 0 0 0 20 0 20 0 512203660 27969658880 30610 33554432000 4194304 4196468 140732075989136 140360121522928 140361669499522 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19148800 140732075991752 140732075992198 140732075992198 140732075995087 0 [pid=7501/tid=7516] ppid=7498 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/7501/task/7516/stat : 7516 (java) S 7498 7498 5880 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 20 0 512203660 27969658880 30610 33554432000 4194304 4196468 140732075989136 140360120470384 140361669499522 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19148800 140732075991752 140732075992198 140732075992198 140732075995087 0 [pid=7501/tid=7517] ppid=7498 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/7501/task/7517/stat : 7517 (java) S 7498 7498 5880 0 -1 1077944384 156 0 0 0 0 0 0 0 20 0 20 0 512203660 27969658880 30610 33554432000 4194304 4196468 140732075989136 140360119417328 140361669499522 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19148800 140732075991752 140732075992198 140732075992198 140732075995087 0 [pid=7501/tid=7518] ppid=7498 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7 /proc/7501/task/7518/stat : 7518 (java) S 7498 7498 5880 0 -1 1077944384 482 0 0 0 2 0 0 0 20 0 20 0 512203660 27969658880 30610 33554432000 4194304 4196468 140732075989136 140360118364784 140361669499522 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19148800 140732075991752 140732075992198 140732075992198 140732075995087 0 [pid=7501/tid=7519] ppid=7498 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/7501/task/7519/stat : 7519 (java) S 7498 7498 5880 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512203660 27969658880 30610 33554432000 4194304 4196468 140732075989136 140358323268064 140361669498581 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19148800 140732075991752 140732075992198 140732075992198 140732075995087 0 [pid=7501/tid=7520] ppid=7498 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/7501/task/7520/stat : 7520 (java) S 7498 7498 5880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512203660 27969658880 30610 33554432000 4194304 4196468 140732075989136 140360117312176 140361669499522 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19148800 140732075991752 140732075992198 140732075992198 140732075995087 0 Current children cumulated CPU time: 0.25 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 123840 KiB [startup+0.310282 s]* /proc/loadavg: 7.84 8.15 7.90 2/211 7520 /proc/meminfo: memFree=25578024/32770624 swapFree=66953500/67108860 [pid=7498] ppid=7495 vsize=113128 memory=1400 CPUtime=0 cores=0-7 /proc/7498/stat : 7498 (scop.sh) S 7495 7498 5880 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 512203652 115843072 350 33554432000 4194304 5098028 140728083947840 140728083945096 139994121597564 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 26222592 140728083956477 140728083956824 140728083956824 140728083959753 0 /proc/7498/statm: 28282 350 297 221 0 87 0 [pid=7501] ppid=7498 vsize=27314120 memory=126120 CPUtime=0.43 cores=0-7 /proc/7501/stat : 7501 (java) S 7498 7498 5880 0 -1 1077944320 11934 0 0 0 39 4 0 0 20 0 20 0 512203652 27969658880 31530 33554432000 4194304 4196468 140732075989136 140732075971680 140361669488375 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19148800 140732075991752 140732075992198 140732075992198 140732075995087 0 /proc/7501/statm: 6828530 31530 3032 1 0 6790935 0 [pid=7501/tid=7502] ppid=7498 vsize=27314120 memory=1398722017469774279 CPUtime=0.29 cores=0-7 /proc/7501/task/7502/stat : 7502 (java) R 7498 7498 5880 0 -1 4202560 9459 0 0 0 26 3 0 0 20 0 20 0 512203653 27969658880 31530 33554432000 4194304 4196468 140732075989136 140361641300720 140361649764082 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19148800 140732075991752 140732075992198 140732075992198 140732075995087 0 [pid=7501/tid=7503] ppid=7498 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/7501/task/7503/stat : 7503 (java) S 7498 7498 5880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512203655 27969658880 31530 33554432000 4194304 4196468 140732075989136 140361673730576 140361669498581 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19148800 140732075991752 140732075992198 140732075992198 140732075995087 0 [pid=7501/tid=7504] ppid=7498 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/7501/task/7504/stat : 7504 (java) S 7498 7498 5880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512203655 27969658880 31530 33554432000 4194304 4196468 140732075989136 140361487886992 140361669498581 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19148800 140732075991752 140732075992198 140732075992198 140732075995087 0 [pid=7501/tid=7505] ppid=7498 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/7501/task/7505/stat : 7505 (java) S 7498 7498 5880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512203655 27969658880 31530 33554432000 4194304 4196468 140732075989136 140361486833936 140361669498581 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19148800 140732075991752 140732075992198 140732075992198 140732075995087 0 [pid=7501/tid=7506] ppid=7498 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/7501/task/7506/stat : 7506 (java) S 7498 7498 5880 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512203655 27969658880 31530 33554432000 4194304 4196468 140732075989136 140361485781392 140361669498581 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19148800 140732075991752 140732075992198 140732075992198 140732075995087 0 [pid=7501/tid=7507] ppid=7498 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/7501/task/7507/stat : 7507 (java) S 7498 7498 5880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512203655 27969658880 31530 33554432000 4194304 4196468 140732075989136 140361484729360 140361669498581 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19148800 140732075991752 140732075992198 140732075992198 140732075995087 0 [pid=7501/tid=7508] ppid=7498 vsize=27314120 memory=140281215281839 CPUtime=0 cores=0-7 /proc/7501/task/7508/stat : 7508 (java) S 7498 7498 5880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512203655 27969658880 31530 33554432000 4194304 4196468 140732075989136 140361483676816 140361669498581 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19148800 140732075991752 140732075992198 140732075992198 140732075995087 0 [pid=7501/tid=7509] ppid=7498 vsize=27314120 memory=140281215284144 CPUtime=0 cores=0-7 /proc/7501/task/7509/stat : 7509 (java) S 7498 7498 5880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512203655 27969658880 31530 33554432000 4194304 4196468 140732075989136 140361482623760 140361669498581 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19148800 140732075991752 140732075992198 140732075992198 140732075995087 0 [pid=7501/tid=7510] ppid=7498 vsize=27314120 memory=140281215286448 CPUtime=0 cores=0-7 /proc/7501/task/7510/stat : 7510 (java) S 7498 7498 5880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512203655 27969658880 31530 33554432000 4194304 4196468 140732075989136 140361481571216 140361669498581 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19148800 140732075991752 140732075992198 140732075992198 140732075995087 0 [pid=7501/tid=7511] ppid=7498 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/7501/task/7511/stat : 7511 (java) S 7498 7498 5880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512203657 27969658880 31530 33554432000 4194304 4196468 140732075989136 140360122575088 140361669499522 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19148800 140732075991752 140732075992198 140732075992198 140732075995087 0 [pid=7501/tid=7512] ppid=7498 vsize=27314120 memory=280562430586768 CPUtime=0 cores=0-7 /proc/7501/task/7512/stat : 7512 (java) S 7498 7498 5880 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 512203657 27969658880 31530 33554432000 4194304 4196468 140732075989136 140359329899680 140361669498581 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19148800 140732075991752 140732075992198 140732075992198 140732075995087 0 [pid=7501/tid=7513] ppid=7498 vsize=27314120 memory=280562430584464 CPUtime=0 cores=0-7 /proc/7501/task/7513/stat : 7513 (java) S 7498 7498 5880 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 512203657 27969658880 31530 33554432000 4194304 4196468 140732075989136 140359195677424 140361669498581 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19148800 140732075991752 140732075992198 140732075992198 140732075995087 0 [pid=7501/tid=7514] ppid=7498 vsize=27314120 memory=280562430591376 CPUtime=0 cores=0-7 /proc/7501/task/7514/stat : 7514 (java) S 7498 7498 5880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512203660 27969658880 31530 33554432000 4194304 4196468 140732075989136 140358821173200 140361669506971 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19148800 140732075991752 140732075992198 140732075992198 140732075995087 0 [pid=7501/tid=7515] ppid=7498 vsize=27314120 memory=280562430532656 CPUtime=0.02 cores=0-7 /proc/7501/task/7515/stat : 7515 (java) S 7498 7498 5880 0 -1 1077944384 413 0 0 0 2 0 0 0 20 0 20 0 512203660 27969658880 31530 33554432000 4194304 4196468 140732075989136 140360121522928 140361669499522 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19148800 140732075991752 140732075992198 140732075992198 140732075995087 0 [pid=7501/tid=7516] ppid=7498 vsize=27314120 memory=280562430605200 CPUtime=0.01 cores=0-7 /proc/7501/task/7516/stat : 7516 (java) S 7498 7498 5880 0 -1 1077944384 42 0 0 0 1 0 0 0 20 0 20 0 512203660 27969658880 31530 33554432000 4194304 4196468 140732075989136 140360120470384 140361669499522 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19148800 140732075991752 140732075992198 140732075992198 140732075995087 0 [pid=7501/tid=7517] ppid=7498 vsize=27314120 memory=280562430612112 CPUtime=0.01 cores=0-7 /proc/7501/task/7517/stat : 7517 (java) S 7498 7498 5880 0 -1 1077944384 161 0 0 0 1 0 0 0 20 0 20 0 512203660 27969658880 31530 33554432000 4194304 4196468 140732075989136 140360119417328 140361669499522 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19148800 140732075991752 140732075992198 140732075992198 140732075995087 0 [pid=7501/tid=7518] ppid=7498 vsize=27314120 memory=280562430609808 CPUtime=0.07 cores=0-7 /proc/7501/task/7518/stat : 7518 (java) S 7498 7498 5880 0 -1 1077944384 504 0 0 0 7 0 0 0 20 0 20 0 512203660 27969658880 31530 33554432000 4194304 4196468 140732075989136 140360118364784 140361669499522 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19148800 140732075991752 140732075992198 140732075992198 140732075995087 0 [pid=7501/tid=7519] ppid=7498 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/7501/task/7519/stat : 7519 (java) S 7498 7498 5880 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512203660 27969658880 31530 33554432000 4194304 4196468 140732075989136 140358323268064 140361669498581 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19148800 140732075991752 140732075992198 140732075992198 140732075995087 0 [pid=7501/tid=7520] ppid=7498 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/7501/task/7520/stat : 7520 (java) S 7498 7498 5880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512203660 27969658880 31530 33554432000 4194304 4196468 140732075989136 140360117312176 140361669499522 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19148800 140732075991752 140732075992198 140732075992198 140732075995087 0 Current children cumulated CPU time: 0.43 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 127520 KiB [startup+0.700973 s] /proc/loadavg: 7.84 8.15 7.90 2/211 7520 /proc/meminfo: memFree=25554476/32770624 swapFree=66953500/67108860 [pid=7498] ppid=7495 vsize=113128 memory=1400 CPUtime=0 cores=0-7 /proc/7498/stat : 7498 (scop.sh) S 7495 7498 5880 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 512203652 115843072 350 33554432000 4194304 5098028 140728083947840 140728083945096 139994121597564 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 26222592 140728083956477 140728083956824 140728083956824 140728083959753 0 /proc/7498/statm: 28282 350 297 221 0 87 0 [pid=7501] ppid=7498 vsize=27320392 memory=165732 CPUtime=1.01 cores=0-7 /proc/7501/stat : 7501 (java) S 7498 7498 5880 0 -1 1077944320 20054 0 0 0 94 7 0 0 20 0 20 0 512203652 27976081408 41433 33554432000 4194304 4196468 140732075989136 140732075971680 140361669488375 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19148800 140732075991752 140732075992198 140732075992198 140732075995087 0 /proc/7501/statm: 6830098 41433 3185 1 0 6791447 0 [pid=7501/tid=7502] ppid=7498 vsize=27320392 memory=0 CPUtime=0.67 cores=0-7 /proc/7501/task/7502/stat : 7502 (java) R 7498 7498 5880 0 -1 4202560 16893 0 0 0 61 6 0 0 20 0 20 0 512203653 27976081408 41433 33554432000 4194304 4196468 140732075989136 140361641324432 140361669510301 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19148800 140732075991752 140732075992198 140732075992198 140732075995087 0 [pid=7501/tid=7503] ppid=7498 vsize=27320392 memory=140281215492976 CPUtime=0 cores=0-7 /proc/7501/task/7503/stat : 7503 (java) S 7498 7498 5880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512203655 27976081408 41433 33554432000 4194304 4196468 140732075989136 140361673730576 140361669498581 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19148800 140732075991752 140732075992198 140732075992198 140732075995087 0 [pid=7501/tid=7504] ppid=7498 vsize=27320392 memory=0 CPUtime=0 cores=0-7 /proc/7501/task/7504/stat : 7504 (java) S 7498 7498 5880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512203655 27976081408 41433 33554432000 4194304 4196468 140732075989136 140361487886992 140361669498581 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19148800 140732075991752 140732075992198 140732075992198 140732075995087 0 [pid=7501/tid=7505] ppid=7498 vsize=27320392 memory=1276 CPUtime=0 cores=0-7 /proc/7501/task/7505/stat : 7505 (java) S 7498 7498 5880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512203655 27976081408 41433 33554432000 4194304 4196468 140732075989136 140361486833936 140361669498581 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19148800 140732075991752 140732075992198 140732075992198 140732075995087 0 ################ # More data... # ################ /proc/7577/task/7584/stat : 7584 (manyglucose-4.1) R 7557 7498 5880 0 -1 4202560 28377 0 0 0 102 24 0 0 20 0 9 0 512243579 3172487168 658159 33554432000 4194304 4454172 140735830819024 139844512140392 4350933 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6552832 6554400 24186880 140735830827854 140735830828060 140735830828060 140735830831030 0 [pid=7577/tid=7585] ppid=7557 vsize=3098132 memory=414052 CPUtime=1.26 cores=0-7 /proc/7577/task/7585/stat : 7585 (manyglucose-4.1) R 7557 7498 5880 0 -1 4202560 25994 0 0 0 100 26 0 0 20 0 9 0 512243579 3172487168 658159 33554432000 4194304 4454172 140735830819024 139844503747688 4351321 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6552832 6554400 24186880 140735830827854 140735830828060 140735830828060 140735830831030 0 [pid=7577/tid=7586] ppid=7557 vsize=3098132 memory=288230574492221466 CPUtime=1.34 cores=0-7 /proc/7577/task/7586/stat : 7586 (manyglucose-4.1) R 7557 7498 5880 0 -1 4202560 19308 0 0 0 111 23 0 0 20 0 9 0 512243579 3172487168 658159 33554432000 4194304 4454172 140735830819024 139844321385576 139844562997500 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6552832 6554400 24186880 140735830827854 140735830828060 140735830828060 140735830831030 0 [pid=7577/tid=7587] ppid=7557 vsize=3098132 memory=288230596050944315 CPUtime=1.29 cores=0-7 /proc/7577/task/7587/stat : 7587 (manyglucose-4.1) R 7557 7498 5880 0 -1 1077944384 9668 0 0 0 104 25 0 0 20 0 9 0 512243579 3172487168 658187 33554432000 4194304 4454172 140735830819024 139844312992872 139844562997500 0 4 0 8388610 0 0 0 -1 7 0 0 0 0 0 6552832 6554400 24186880 140735830827854 140735830828060 140735830828060 140735830831030 0 [pid=7577/tid=7588] ppid=7557 vsize=3098132 memory=15825490741037707 CPUtime=1.28 cores=0-7 /proc/7577/task/7588/stat : 7588 (manyglucose-4.1) R 7557 7498 5880 0 -1 12591168 8898 0 0 0 104 24 0 0 20 0 9 0 512243579 3172487168 658187 33554432000 4194304 4454172 140735830819024 139844304599848 4351797 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6552832 6554400 24186880 140735830827854 140735830828060 140735830828060 140735830831030 0 [pid=7577/tid=7589] ppid=7557 vsize=3098132 memory=1096 CPUtime=1.26 cores=0-7 /proc/7577/task/7589/stat : 7589 (manyglucose-4.1) R 7557 7498 5880 0 -1 4202560 10775 0 0 0 104 22 0 0 20 0 9 0 512243579 3172487168 658187 33554432000 4194304 4454172 140735830819024 139844296207464 4351289 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6552832 6554400 24186880 140735830827854 140735830828060 140735830828060 140735830831030 0 [pid=7577/tid=7590] ppid=7557 vsize=3098132 memory=14008 CPUtime=1.34 cores=0-7 /proc/7577/task/7590/stat : 7590 (manyglucose-4.1) R 7557 7498 5880 0 -1 4202560 8966 0 0 0 111 23 0 0 20 0 9 0 512243579 3172487168 658187 33554432000 4194304 4454172 140735830819024 139844287814760 4351603 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6552832 6554400 24186880 140735830827854 140735830828060 140735830828060 140735830831030 0 [pid=7557/tid=7558] ppid=7498 vsize=8414124 memory=35824 CPUtime=0.78 cores=0-7 /proc/7557/task/7558/stat : 7558 (java) S 7498 7498 5880 0 -1 1077944384 17904 0 0 0 71 7 0 0 20 0 24 0 512242265 8616062976 30168 33554432000 4194304 4196468 140725457648320 140113596583840 140113624753877 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15392768 140725457650656 140725457650822 140725457650822 140725457653711 0 [pid=7557/tid=7559] ppid=7498 vsize=8414124 memory=14056 CPUtime=0 cores=0-7 /proc/7557/task/7559/stat : 7559 (java) S 7498 7498 5880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512242266 8616062976 30168 33554432000 4194304 4196468 140725457648320 140113628985872 140113624753877 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15392768 140725457650656 140725457650822 140725457650822 140725457653711 0 [pid=7557/tid=7560] ppid=7498 vsize=8414124 memory=2116 CPUtime=0 cores=0-7 /proc/7557/task/7560/stat : 7560 (java) S 7498 7498 5880 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 512242266 8616062976 30168 33554432000 4194304 4196468 140725457648320 140113110268560 140113624753877 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15392768 140725457650656 140725457650822 140725457650822 140725457653711 0 [pid=7557/tid=7561] ppid=7498 vsize=8414124 memory=520 CPUtime=0 cores=0-7 /proc/7557/task/7561/stat : 7561 (java) S 7498 7498 5880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512242266 8616062976 30168 33554432000 4194304 4196468 140725457648320 140113109215504 140113624753877 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15392768 140725457650656 140725457650822 140725457650822 140725457653711 0 [pid=7557/tid=7562] ppid=7498 vsize=8414124 memory=1560 CPUtime=0 cores=0-7 /proc/7557/task/7562/stat : 7562 (java) S 7498 7498 5880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512242266 8616062976 30168 33554432000 4194304 4196468 140725457648320 140113108162960 140113624753877 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15392768 140725457650656 140725457650822 140725457650822 140725457653711 0 [pid=7557/tid=7563] ppid=7498 vsize=8414124 memory=924 CPUtime=0 cores=0-7 /proc/7557/task/7563/stat : 7563 (java) S 7498 7498 5880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512242266 8616062976 30168 33554432000 4194304 4196468 140725457648320 140113107110928 140113624753877 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15392768 140725457650656 140725457650822 140725457650822 140725457653711 0 [pid=7557/tid=7564] ppid=7498 vsize=8414124 memory=3688 CPUtime=0 cores=0-7 /proc/7557/task/7564/stat : 7564 (java) S 7498 7498 5880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512242266 8616062976 30168 33554432000 4194304 4196468 140725457648320 140113106058384 140113624753877 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15392768 140725457650656 140725457650822 140725457650822 140725457653711 0 [pid=7557/tid=7565] ppid=7498 vsize=8414124 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/7557/task/7565/stat : 7565 (java) S 7498 7498 5880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512242266 8616062976 30168 33554432000 4194304 4196468 140725457648320 140113105005328 140113624753877 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15392768 140725457650656 140725457650822 140725457650822 140725457653711 0 [pid=7557/tid=7566] ppid=7498 vsize=8414124 memory=288230596050944315 CPUtime=0 cores=0-7 /proc/7557/task/7566/stat : 7566 (java) S 7498 7498 5880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512242266 8616062976 30168 33554432000 4194304 4196468 140725457648320 140113103952784 140113624753877 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15392768 140725457650656 140725457650822 140725457650822 140725457653711 0 [pid=7557/tid=7567] ppid=7498 vsize=8414124 memory=15825490741037707 CPUtime=0 cores=0-7 /proc/7557/task/7567/stat : 7567 (java) S 7498 7498 5880 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 512242268 8616062976 30168 33554432000 4194304 4196468 140725457648320 140113053739248 140113624754818 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15392768 140725457650656 140725457650822 140725457650822 140725457653711 0 [pid=7557/tid=7568] ppid=7498 vsize=8414124 memory=1476 CPUtime=0 cores=0-7 /proc/7557/task/7568/stat : 7568 (java) S 7498 7498 5880 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 512242268 8616062976 30168 33554432000 4194304 4196468 140725457648320 140112235062432 140113624753877 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15392768 140725457650656 140725457650822 140725457650822 140725457653711 0 [pid=7557/tid=7569] ppid=7498 vsize=8414124 memory=120672 CPUtime=0 cores=0-7 /proc/7557/task/7569/stat : 7569 (java) S 7498 7498 5880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512242269 8616062976 30168 33554432000 4194304 4196468 140725457648320 140111966626544 140113624753877 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15392768 140725457650656 140725457650822 140725457650822 140725457653711 0 [pid=7557/tid=7570] ppid=7498 vsize=8414124 memory=396608 CPUtime=0 cores=0-7 /proc/7557/task/7570/stat : 7570 (java) S 7498 7498 5880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512242271 8616062976 30168 33554432000 4194304 4196468 140725457648320 140111592118224 140113624762267 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15392768 140725457650656 140725457650822 140725457650822 140725457653711 0 [pid=7557/tid=7571] ppid=7498 vsize=8414124 memory=2116 CPUtime=0.06 cores=0-7 /proc/7557/task/7571/stat : 7571 (java) S 7498 7498 5880 0 -1 1077944384 683 0 0 0 6 0 0 0 20 0 24 0 512242271 8616062976 30168 33554432000 4194304 4196468 140725457648320 140113052687088 140113624754818 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15392768 140725457650656 140725457650822 140725457650822 140725457653711 0 [pid=7557/tid=7572] ppid=7498 vsize=8414124 memory=520 CPUtime=0.08 cores=0-7 /proc/7557/task/7572/stat : 7572 (java) S 7498 7498 5880 0 -1 1077944384 292 0 0 0 8 0 0 0 20 0 24 0 512242271 8616062976 30168 33554432000 4194304 4196468 140725457648320 140113051634544 140113624754818 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15392768 140725457650656 140725457650822 140725457650822 140725457653711 0 [pid=7557/tid=7573] ppid=7498 vsize=8414124 memory=1476 CPUtime=0.04 cores=0-7 /proc/7557/task/7573/stat : 7573 (java) S 7498 7498 5880 0 -1 1077944384 204 0 0 0 4 0 0 0 20 0 24 0 512242271 8616062976 30168 33554432000 4194304 4196468 140725457648320 140113050581488 140113624754818 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15392768 140725457650656 140725457650822 140725457650822 140725457653711 0 [pid=7557/tid=7574] ppid=7498 vsize=8414124 memory=120672 CPUtime=0.22 cores=0-7 /proc/7557/task/7574/stat : 7574 (java) S 7498 7498 5880 0 -1 1077944384 645 0 0 0 22 0 0 0 20 0 24 0 512242271 8616062976 30168 33554432000 4194304 4196468 140725457648320 140113049528944 140113624754818 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15392768 140725457650656 140725457650822 140725457650822 140725457653711 0 [pid=7557/tid=7575] ppid=7498 vsize=8414124 memory=2511204 CPUtime=0 cores=0-7 /proc/7557/task/7575/stat : 7575 (java) S 7498 7498 5880 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 512242272 8616062976 30168 33554432000 4194304 4196468 140725457648320 140111094213088 140113624753877 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15392768 140725457650656 140725457650822 140725457650822 140725457653711 0 [pid=7557/tid=7576] ppid=7498 vsize=8414124 memory=1984 CPUtime=0 cores=0-7 /proc/7557/task/7576/stat : 7576 (java) S 7498 7498 5880 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 512242272 8616062976 30168 33554432000 4194304 4196468 140725457648320 140113048476336 140113624754818 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15392768 140725457650656 140725457650822 140725457650822 140725457653711 0 [pid=7557/tid=7578] ppid=7498 vsize=8414124 memory=1440 CPUtime=0 cores=0-7 /proc/7557/task/7578/stat : 7578 (java) S 7498 7498 5880 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 512242341 8616062976 30168 33554432000 4194304 4196468 140725457648320 140112704824256 140113624768281 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 15392768 140725457650656 140725457650822 140725457650822 140725457653711 0 [pid=7557/tid=7580] ppid=7498 vsize=8414124 memory=808 CPUtime=0 cores=0-7 /proc/7557/task/7580/stat : 7580 (java) S 7498 7498 5880 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 512242341 8616062976 30168 33554432000 4194304 4196468 140725457648320 140110423113776 140113624765597 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 15392768 140725457650656 140725457650822 140725457650822 140725457653711 0 [pid=7557/tid=7581] ppid=7498 vsize=8414124 memory=808 CPUtime=0 cores=0-7 /proc/7557/task/7581/stat : 7581 (java) S 7498 7498 5880 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 24 0 512242341 8616062976 30168 33554432000 4194304 4196468 140725457648320 140110691549360 140113624765597 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 15392768 140725457650656 140725457650822 140725457650822 140725457653711 0 [pid=7557/tid=7582] ppid=7498 vsize=8414124 memory=1804 CPUtime=0 cores=0-7 /proc/7557/task/7582/stat : 7582 (java) S 7498 7498 5880 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 512242343 8616062976 30168 33554432000 4194304 4196468 140725457648320 140110154685872 140113624753877 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15392768 140725457650656 140725457650822 140725457650822 140725457653711 0 Current children cumulated CPU time: 561.54 s Current children cumulated vsize: 11625384 KiB Current children cumulated memory: 2754784 KiB [startup+401.601 s] /proc/loadavg: 1.08 2.89 5.49 5/225 7590 /proc/meminfo: memFree=22825172/32770624 swapFree=66953500/67108860 [pid=7498] ppid=7495 vsize=113128 memory=1476 CPUtime=537.48 cores=0-7 /proc/7498/stat : 7498 (scop.sh) S 7495 7498 5880 0 -1 4202496 582 188785 0 0 0 0 51071 2677 20 0 1 0 512203652 115843072 369 33554432000 4194304 5098028 140728083947840 140728083944584 139994121597564 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26222592 140728083956477 140728083956824 140728083956824 140728083959753 0 /proc/7498/statm: 28282 369 311 221 0 87 0 [pid=7557] ppid=7498 vsize=8414124 memory=121468 CPUtime=1.27 cores=0-7 /proc/7557/stat : 7557 (java) S 7498 7498 5880 0 -1 1077944320 21341 0 0 0 117 10 0 0 20 0 24 0 512242264 8616062976 30367 33554432000 4194304 4196468 140725457648320 140725457630864 140113624743671 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 15392768 140725457650656 140725457650822 140725457650822 140725457653711 0 /proc/7557/statm: 2103531 30367 3201 1 0 2064875 0 [pid=7577] ppid=7557 vsize=3079556 memory=2685368 CPUtime=27.26 cores=0-7 /proc/7577/stat : 7577 (manyglucose-4.1) R 7557 7498 5880 0 -1 4202496 755005 0 0 0 2378 348 0 0 20 0 1 0 512242340 3153465344 671342 33554432000 4194304 4454172 140735830819024 140735830815744 139844562881661 0 4 0 8388610 0 0 0 17 0 0 0 0 0 0 6552832 6554400 24186880 140735830827854 140735830828060 140735830828060 140735830831030 0 /proc/7577/statm: 769889 671342 422 64 0 765557 0 [pid=7557/tid=7558] ppid=7498 vsize=8414124 memory=988 CPUtime=0.78 cores=0-7 /proc/7557/task/7558/stat : 7558 (java) S 7498 7498 5880 0 -1 1077944384 17904 0 0 0 71 7 0 0 20 0 24 0 512242265 8616062976 30367 33554432000 4194304 4196468 140725457648320 140113596583840 140113624753877 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15392768 140725457650656 140725457650822 140725457650822 140725457653711 0 [pid=7557/tid=7559] ppid=7498 vsize=8414124 memory=2317896 CPUtime=0 cores=0-7 /proc/7557/task/7559/stat : 7559 (java) S 7498 7498 5880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512242266 8616062976 30367 33554432000 4194304 4196468 140725457648320 140113628985872 140113624753877 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15392768 140725457650656 140725457650822 140725457650822 140725457653711 0 [pid=7557/tid=7560] ppid=7498 vsize=8414124 memory=120672 CPUtime=0 cores=0-7 /proc/7557/task/7560/stat : 7560 (java) S 7498 7498 5880 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 512242266 8616062976 30367 33554432000 4194304 4196468 140725457648320 140113110268560 140113624753877 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15392768 140725457650656 140725457650822 140725457650822 140725457653711 0 [pid=7557/tid=7561] ppid=7498 vsize=8414124 memory=1201904 CPUtime=0 cores=0-7 /proc/7557/task/7561/stat : 7561 (java) S 7498 7498 5880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512242266 8616062976 30367 33554432000 4194304 4196468 140725457648320 140113109215504 140113624753877 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15392768 140725457650656 140725457650822 140725457650822 140725457653711 0 [pid=7557/tid=7562] ppid=7498 vsize=8414124 memory=920 CPUtime=0 cores=0-7 /proc/7557/task/7562/stat : 7562 (java) S 7498 7498 5880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512242266 8616062976 30367 33554432000 4194304 4196468 140725457648320 140113108162960 140113624753877 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15392768 140725457650656 140725457650822 140725457650822 140725457653711 0 [pid=7557/tid=7563] ppid=7498 vsize=8414124 memory=2008 CPUtime=0 cores=0-7 /proc/7557/task/7563/stat : 7563 (java) S 7498 7498 5880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512242266 8616062976 30367 33554432000 4194304 4196468 140725457648320 140113107110928 140113624753877 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15392768 140725457650656 140725457650822 140725457650822 140725457653711 0 [pid=7557/tid=7564] ppid=7498 vsize=8414124 memory=1424 CPUtime=0 cores=0-7 /proc/7557/task/7564/stat : 7564 (java) S 7498 7498 5880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512242266 8616062976 30367 33554432000 4194304 4196468 140725457648320 140113106058384 140113624753877 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15392768 140725457650656 140725457650822 140725457650822 140725457653711 0 [pid=7557/tid=7565] ppid=7498 vsize=8414124 memory=-4075877051373423737 CPUtime=0 cores=0-7 /proc/7557/task/7565/stat : 7565 (java) S 7498 7498 5880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512242266 8616062976 30367 33554432000 4194304 4196468 140725457648320 140113105005328 140113624753877 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15392768 140725457650656 140725457650822 140725457650822 140725457653711 0 [pid=7557/tid=7566] ppid=7498 vsize=8414124 memory=-5059952977386882957 CPUtime=0 cores=0-7 /proc/7557/task/7566/stat : 7566 (java) S 7498 7498 5880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512242266 8616062976 30367 33554432000 4194304 4196468 140725457648320 140113103952784 140113624753877 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15392768 140725457650656 140725457650822 140725457650822 140725457653711 0 [pid=7557/tid=7567] ppid=7498 vsize=8414124 memory=808 CPUtime=0 cores=0-7 /proc/7557/task/7567/stat : 7567 (java) S 7498 7498 5880 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 512242268 8616062976 30367 33554432000 4194304 4196468 140725457648320 140113053739248 140113624754818 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15392768 140725457650656 140725457650822 140725457650822 140725457653711 0 [pid=7557/tid=7568] ppid=7498 vsize=8414124 memory=2832 CPUtime=0 cores=0-7 /proc/7557/task/7568/stat : 7568 (java) S 7498 7498 5880 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 512242268 8616062976 30367 33554432000 4194304 4196468 140725457648320 140112235062432 140113624753877 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15392768 140725457650656 140725457650822 140725457650822 140725457653711 0 [pid=7557/tid=7569] ppid=7498 vsize=8414124 memory=668 CPUtime=0 cores=0-7 /proc/7557/task/7569/stat : 7569 (java) S 7498 7498 5880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512242269 8616062976 30367 33554432000 4194304 4196468 140725457648320 140111966626544 140113624753877 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15392768 140725457650656 140725457650822 140725457650822 140725457653711 0 [pid=7557/tid=7570] ppid=7498 vsize=8414124 memory=1276 CPUtime=0 cores=0-7 /proc/7557/task/7570/stat : 7570 (java) S 7498 7498 5880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512242271 8616062976 30367 33554432000 4194304 4196468 140725457648320 140111592118224 140113624762267 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15392768 140725457650656 140725457650822 140725457650822 140725457653711 0 [pid=7557/tid=7571] ppid=7498 vsize=8414124 memory=1096 CPUtime=0.06 cores=0-7 /proc/7557/task/7571/stat : 7571 (java) R 7498 7498 5880 0 -1 4202560 684 0 0 0 6 0 0 0 20 0 24 0 512242271 8616062976 30367 33554432000 4194304 4196468 140725457648320 140113052687088 140113608229808 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15392768 140725457650656 140725457650822 140725457650822 140725457653711 0 [pid=7557/tid=7572] ppid=7498 vsize=8414124 memory=14008 CPUtime=0.08 cores=0-7 /proc/7557/task/7572/stat : 7572 (java) R 7498 7498 5880 0 -1 4202560 292 0 0 0 8 0 0 0 20 0 24 0 512242271 8616062976 30367 33554432000 4194304 4196468 140725457648320 140113051634544 140113610757992 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15392768 140725457650656 140725457650822 140725457650822 140725457653711 0 [pid=7557/tid=7573] ppid=7498 vsize=8414124 memory=3504 CPUtime=0.05 cores=0-7 /proc/7557/task/7573/stat : 7573 (java) S 7498 7498 5880 0 -1 1077944384 204 0 0 0 5 0 0 0 20 0 24 0 512242271 8616062976 30367 33554432000 4194304 4196468 140725457648320 140113050581488 140113624754818 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15392768 140725457650656 140725457650822 140725457650822 140725457653711 0 [pid=7557/tid=7574] ppid=7498 vsize=8414124 memory=64824 CPUtime=0.23 cores=0-7 /proc/7557/task/7574/stat : 7574 (java) R 7498 7498 5880 0 -1 4202560 872 0 0 0 23 0 0 0 20 0 24 0 512242271 8616062976 30367 33554432000 4194304 4196468 140725457648320 140113049528944 140113603112340 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15392768 140725457650656 140725457650822 140725457650822 140725457653711 0 [pid=7557/tid=7575] ppid=7498 vsize=8414124 memory=988 CPUtime=0 cores=0-7 /proc/7557/task/7575/stat : 7575 (java) S 7498 7498 5880 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 512242272 8616062976 30367 33554432000 4194304 4196468 140725457648320 140111094213088 140113624753877 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15392768 140725457650656 140725457650822 140725457650822 140725457653711 0 [pid=7557/tid=7576] ppid=7498 vsize=8414124 memory=2008 CPUtime=0 cores=0-7 /proc/7557/task/7576/stat : 7576 (java) S 7498 7498 5880 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 512242272 8616062976 30367 33554432000 4194304 4196468 140725457648320 140113048476336 140113624754818 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15392768 140725457650656 140725457650822 140725457650822 140725457653711 0 [pid=7557/tid=7578] ppid=7498 vsize=8414124 memory=1424 CPUtime=0 cores=0-7 /proc/7557/task/7578/stat : 7578 (java) S 7498 7498 5880 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 512242341 8616062976 30367 33554432000 4194304 4196468 140725457648320 140112704824256 140113624768281 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 15392768 140725457650656 140725457650822 140725457650822 140725457653711 0 [pid=7557/tid=7580] ppid=7498 vsize=8414124 memory=3640 CPUtime=0.01 cores=0-7 /proc/7557/task/7580/stat : 7580 (java) R 7498 7498 5880 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 24 0 512242341 8616062976 30367 33554432000 4194304 4196468 140725457648320 140110423119488 140725457905602 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15392768 140725457650656 140725457650822 140725457650822 140725457653711 0 [pid=7557/tid=7581] ppid=7498 vsize=8414124 memory=1548 CPUtime=0 cores=0-7 /proc/7557/task/7581/stat : 7581 (java) S 7498 7498 5880 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 24 0 512242341 8616062976 30367 33554432000 4194304 4196468 140725457648320 140110691549360 140113624765597 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 15392768 140725457650656 140725457650822 140725457650822 140725457653711 0 [pid=7557/tid=7582] ppid=7498 vsize=8414124 memory=1728 CPUtime=0 cores=0-7 /proc/7557/task/7582/stat : 7582 (java) S 7498 7498 5880 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 512242343 8616062976 30367 33554432000 4194304 4196468 140725457648320 140110154685872 140113624753877 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15392768 140725457650656 140725457650822 140725457650822 140725457653711 0 Current children cumulated CPU time: 566.01 s Current children cumulated vsize: 11606808 KiB Current children cumulated memory: 2808312 KiB [startup+402.007 s]* /proc/loadavg: 1.08 2.89 5.49 2/214 7590 /proc/meminfo: memFree=25441928/32770624 swapFree=66953500/67108860 [pid=7498] ppid=7495 vsize=113128 memory=1476 CPUtime=537.48 cores=0-7 /proc/7498/stat : 7498 (scop.sh) S 7495 7498 5880 0 -1 4202496 582 188785 0 0 0 0 51071 2677 20 0 1 0 512203652 115843072 369 33554432000 4194304 5098028 140728083947840 140728083944584 139994121597564 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26222592 140728083956477 140728083956824 140728083956824 140728083959753 0 /proc/7498/statm: 28282 369 311 221 0 87 0 [pid=7557] ppid=7498 vsize=8283048 memory=209884 CPUtime=29.48 cores=0-7 /proc/7557/stat : 7557 (java) S 7498 7498 5880 0 -1 1077944320 23549 755011 0 0 187 15 2386 360 20 0 22 0 512242264 8481841152 52471 33554432000 4194304 4196468 140725457648320 140725457630864 140113624743671 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 15392768 140725457650656 140725457650822 140725457650822 140725457653711 0 /proc/7557/statm: 2070762 52471 3228 1 0 2032106 0 [pid=7557/tid=7559] ppid=7498 vsize=8151972 memory=920 CPUtime=27.46 cores=0-7 /proc/7557/task/7559/stat : 7559 (java) S 7498 7498 5880 0 -1 1077944384 2 755011 0 0 0 0 2386 360 20 0 19 0 512242266 8347619328 52438 33554432000 4194304 4196468 140725457648320 140113628985872 140113624753877 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15392768 140725457650656 140725457650822 140725457650822 140725457653711 0 [pid=7557/tid=7560] ppid=7498 vsize=8150940 memory=0 CPUtime=27.46 cores=0-7 /proc/7557/task/7560/stat : 7560 (java) S 7498 7498 5880 0 -1 1077944384 3 755011 0 0 0 0 2386 360 20 0 19 0 512242266 8346562560 52456 33554432000 4194304 4196468 140725457648320 140113110268560 140113624753877 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15392768 140725457650656 140725457650822 140725457650822 140725457653711 0 [pid=7557/tid=7561] ppid=7498 vsize=8018840 memory=4872558044660077418 CPUtime=27.46 cores=0-7 /proc/7557/task/7561/stat : 7561 (java) S 7498 7498 5880 0 -1 1077944384 1 755011 0 0 0 0 2386 360 20 0 19 0 512242266 8211292160 52450 33554432000 4194304 4196468 140725457648320 140113109215504 140113624753877 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15392768 140725457650656 140725457650822 140725457650822 140725457653711 0 [pid=7557/tid=7562] ppid=7498 vsize=8018840 memory=-8034104894145151117 CPUtime=27.46 cores=0-7 /proc/7557/task/7562/stat : 7562 (java) S 7498 7498 5880 0 -1 1077944384 1 755011 0 0 0 0 2386 360 20 0 19 0 512242266 8211292160 52450 33554432000 4194304 4196468 140725457648320 140113108162960 140113624753877 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15392768 140725457650656 140725457650822 140725457650822 140725457653711 0 [pid=7557/tid=7563] ppid=7498 vsize=8018840 memory=8516372206096706149 CPUtime=27.46 cores=0-7 /proc/7557/task/7563/stat : 7563 (java) R 7498 7498 5880 0 -1 1077944384 2 755011 0 0 0 0 2386 360 20 0 19 0 512242266 8211292160 52454 33554432000 4194304 4196468 140725457648320 140113107110928 140113624753877 256 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15392768 140725457650656 140725457650822 140725457650822 140725457653711 0 [pid=7557/tid=7564] ppid=7498 vsize=8018840 memory=8098999782642838122 CPUtime=27.46 cores=0-7 /proc/7557/task/7564/stat : 7564 (java) R 7498 7498 5880 0 -1 1077944384 1 755011 0 0 0 0 2386 360 20 0 19 0 512242266 8211292160 52475 33554432000 4194304 4196468 140725457648320 140113106058384 140113624753877 256 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15392768 140725457650656 140725457650822 140725457650822 140725457653711 0 [pid=7557/tid=7565] ppid=7498 vsize=8018840 memory=-9108684669924967205 CPUtime=27.46 cores=0-7 /proc/7557/task/7565/stat : 7565 (java) R 7498 7498 5880 0 -1 1077944384 2 755011 0 0 0 0 2386 360 20 0 17 0 512242266 8211292160 52481 33554432000 4194304 4196468 140725457648320 140113105005328 140113624753877 256 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15392768 140725457650656 140725457650822 140725457650822 140725457653711 0 [pid=7557/tid=7566] ppid=7498 vsize=8018840 memory=-7767231169772034455 CPUtime=27.46 cores=0-7 /proc/7557/task/7566/stat : 7566 (java) R 7498 7498 5880 0 -1 1077944384 2 755011 0 0 0 0 2386 360 20 0 15 0 512242266 8211292160 52494 33554432000 4194304 4196468 140725457648320 140113103952784 140113624753877 256 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15392768 140725457650656 140725457650822 140725457650822 140725457653711 0 [pid=7557/tid=7568] ppid=7498 vsize=8018840 memory=7738151053268439912 CPUtime=27.46 cores=0-7 /proc/7557/task/7568/stat : 7568 (java) R 7498 7498 5880 0 -1 1077944384 13 755011 0 0 0 0 2386 360 20 0 9 0 512242268 8211292160 52522 33554432000 4194304 4196468 140725457648320 140112235062432 140113624753877 256 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15392768 140725457650656 140725457650822 140725457650822 140725457653711 0 [pid=7557/tid=7570] ppid=7498 vsize=0 memory=-2629636506451760542 CPUtime=27.46 cores=0-7 /proc/7557/task/7570/stat : 7570 (java) R 7498 7498 5880 0 -1 4195396 21 755011 0 0 0 0 2386 360 20 0 4 0 512242271 0 0 33554432000 0 0 0 0 0 0 4 2 25189581 18446744073709551615 0 0 -1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 [pid=7557/tid=7573] ppid=7498 vsize=0 memory=-6154391815050664602 CPUtime=27.6 cores=0-7 /proc/7557/task/7573/stat : 7573 (java) R 7498 7498 5880 0 -1 4203588 247 755011 0 0 14 0 2386 360 20 0 2 0 512242271 0 0 33554432000 0 0 0 0 0 0 4 2 25189581 18446744073709551615 0 0 -1 5 0 0 0 0 0 0 0 0 0 0 0 0 0 Current children cumulated CPU time: 566.96 s Current children cumulated vsize: 8396176 KiB Current children cumulated memory: 211360 KiB Child status: 0 Real time (s): 402.023 CPU time (s): 567.004 CPU user time (s): 536.461 CPU system time (s): 30.5432 CPU usage (%): 141.038 Max. virtual memory (cumulated for all children) (KiB): 27443924 Max. memory (cumulated for all children) (KiB): 16378000 getrusage(RUSAGE_CHILDREN,...) data: user time used= 536.461 system time used= 30.5432 maximum resident set size= 16376956 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 967964 page faults= 0 swaps= 0 block input operations= 8 block output operations= 211856 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 342935 involuntary context switches= 2110 # summary of solver processes directly reported to runsolver: # pid: 7498 # total CPU time (s): 567.004 # total CPU user time (s): 536.461 # total CPU system time (s): 30.5432 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 3.795 second user time and 2.70071 second system time The end
Begin job on node119 at 2019-09-25 00:07:28 IDJOB=4405181 IDBENCH=140063 IDSOLVER=2867 FILE ID=node119/4405181-1569362889 RUNJOBID= node119-1569357949-5907 PBS_JOBID= 21705109 Free space on /var/tmp= 13512 MiB SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-09-22) BENCH NAME= XCSP17/Crossword/Crossword-m1c-ogd2008-herald/Crossword-m1c-ogd2008-h1509.xml COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -order DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405181-1569362889/watcher-4405181-1569362889 -o /var/tmp/evaluation-result-4405181-1569362889/solver-4405181-1569362889 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node119-1569357949-5907 --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-4405181-1569362889.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 47a2430a9bda935532842a3f94086119 RANDOM SEED=729870014 node119.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.47 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.47 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.47 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.47 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: 25692540 kB MemAvailable: 31800552 kB Buffers: 144412 kB Cached: 6060756 kB SwapCached: 46736 kB Active: 3079000 kB Inactive: 3177164 kB Active(anon): 2568 kB Inactive(anon): 105224 kB Active(file): 3076432 kB Inactive(file): 3071940 kB Unevictable: 107736 kB Mlocked: 107736 kB SwapTotal: 67108860 kB SwapFree: 66953500 kB Dirty: 22404 kB Writeback: 0 kB AnonPages: 276104 kB Mapped: 58156 kB Shmem: 48544 kB Slab: 416704 kB SReclaimable: 388100 kB SUnreclaim: 28604 kB KernelStack: 3712 kB PageTables: 5312 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 514080 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 231424 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 126336 kB DirectMap2M: 33419264 kB Free space on /var/tmp at the end= 13492 MiB End job on node119 at 2019-09-25 00:14:10