Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
Fun-sCOP order+ManyGlucose (2019-06-15) | SAT | 1837.22 | 1489.99 |
Name | Subisomorphism/Subisomorphism-m1-si2-m4D/ Subisomorphism-si2-m4Dr6-m1296-04.xml |
MD5SUM | 2d28027fc76d6f94be685cc66f299382 |
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.734935 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 259 |
Number of constraints | 561 |
Number of domains | 1 |
Minimum domain size | 1296 |
Maximum domain size | 1296 |
Distribution of domain sizes | [{"size":1296,"count":259}] |
Minimum variable degree | 2 |
Maximum variable degree | 13 |
Distribution of variable degrees | [{"degree":2,"count":59},{"degree":3,"count":52},{"degree":4,"count":47},{"degree":6,"count":32},{"degree":7,"count":12},{"degree":8,"count":16},{"degree":9,"count":16},{"degree":10,"count":12},{"degree":11,"count":9},{"degree":12,"count":3},{"degree":13,"count":1}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 259 |
Distribution of constraint arities | [{"arity":1,"count":101},{"arity":2,"count":459},{"arity":259,"count":1}] |
Number of extensional constraints | 560 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":560},{"type":"allDifferent","count":1}] |
Optimization problem | NO |
Type of objective |
0.00/0.00 c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -order -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-5929-serial-file.bin HOME/instance-4392410-1568431971.xml 0.65/0.54 0.65/0.54 Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15) 0.65/0.54 0.65/0.57 c BEGIN-Prog: Sat Sep 14 05:32:10 CEST 2019 0.65/0.57 c PID: 5932 0.65/0.57 c IP: 172.20.3.141 0.65/0.57 c HOST: node141.alineos.net 0.65/0.57 c (0,0) Parsing Begin 2.34/1.16 c (0,0) Parsing End 2.34/1.17 c (0,0) CSP: 259 int (0 aux), 0 bool (0 aux), 561 ctr, max domain size 1296 2.34/1.17 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB) 2.34/1.17 c (0,0) Constraint Name Generate Begin 2.34/1.18 c (0,0) Ctr:HOME/instance-4392410-1568431971.xml,AllDifferent:ExtensionConflict:ExtensionSupport:Var 2.34/1.18 c (0,0) Constraint Name Generate End 2.34/1.18 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB) 2.34/1.18 c (0,0) CSP to CSPinCNF Begin 87.69/69.84 c (69,67) translated 57 (10%) constraints 174.00/137.12 c (136,132) translated 113 (20%) constraints 261.49/204.44 c (203,196) translated 169 (30%) constraints 337.25/270.22 c (269,260) translated 225 (40%) constraints 413.33/335.99 c (335,325) translated 281 (50%) constraints 490.14/402.14 c (401,389) translated 337 (60%) constraints 563.80/467.68 c (467,454) translated 393 (70%) constraints 641.97/533.78 c (533,518) translated 449 (80%) constraints 657.90/548.15 c (547,532) translated 505 (90%) constraints 658.48/548.47 c (547,533) translated 561 (100%) constraints 658.58/548.58 c (548,533) =========================================== 658.69/548.63 c (548,533) Order 658.69/548.63 c (548,533) =========================================== 680.76/566.47 c (565,550) translated 923274 (10%) constraints 703.23/584.48 c (583,568) translated 1846548 (20%) constraints 727.78/602.86 c (602,585) translated 2769822 (30%) constraints 745.19/620.28 c (619,603) translated 3693095 (40%) constraints 769.89/638.70 c (638,620) translated 4616369 (50%) constraints 793.94/656.99 c (656,637) translated 5539643 (60%) constraints 811.36/674.34 c (673,655) translated 6462916 (70%) constraints 835.74/692.61 c (692,672) translated 7386190 (80%) constraints 860.00/710.94 c (710,690) translated 8309464 (90%) constraints 877.36/728.27 c (727,707) translated 9232737 (100%) constraints 877.36/728.27 c (727,707) CSP to CSPinCNF End 877.57/728.48 c (727,707) CSP: 259 int (0 aux), 594864 bool (594864 aux), 9232737 ctr, max domain size 1296 877.57/728.48 c (727,707) Heap : 14988 MiB used (max 21797 MiB), NonHeap : 29 MiB used (max 0 MiB) 877.57/728.48 c (727,707) CSPinCNF Propagation Begin 1087.62/873.60 c (873,843) 0 values, 9374 unsatisfiable literals, and 8957 valid clauses are removed 1087.62/873.60 c (873,843) CSPinCNF Propagation End 1087.83/873.81 c (873,843) CSP: 259 int (0 aux), 594864 bool (594864 aux), 9223780 ctr, max domain size 1296 1087.83/873.81 c (873,843) Heap : 15341 MiB used (max 22078 MiB), NonHeap : 30 MiB used (max 0 MiB) 1087.83/873.85 c (873,843) Simplify CSPinCNF Begin 1114.60/890.21 c (889,858) Simplify CSPinCNF End 1114.80/890.46 c (889,859) CSP: 259 int (0 aux), 661686 bool (661686 aux), 9290602 ctr, max domain size 1296 1114.80/890.46 c (889,859) Heap : 18669 MiB used (max 20632 MiB), NonHeap : 30 MiB used (max 0 MiB) 1114.80/890.46 c (889,859) Calculate Precise Domain Begin 1114.80/890.46 c (889,859) 0 values are removed by re-calculation 1114.80/890.46 c (889,859) Calculate Precise Domain End 1115.10/890.71 c (890,859) CSP: 259 int (0 aux), 661686 bool (661686 aux), 9290602 ctr, max domain size 1296 1115.10/890.71 c (890,859) Heap : 18669 MiB used (max 20632 MiB), NonHeap : 30 MiB used (max 0 MiB) 1115.10/890.71 c (890,859) CSPinCNF to SatSolver Begin 1598.71/1273.54 c (1273,1219) 929061 (10 %) CSP clauses are encoded (0 SAT variables, 87599925 SAT clauses) 1610.51/1283.71 c (1283,1229) 1858121 (20 %) CSP clauses are encoded (0 SAT variables, 88528985 SAT clauses) 1621.84/1293.85 c (1293,1238) 2787181 (30 %) CSP clauses are encoded (0 SAT variables, 89458045 SAT clauses) 1633.84/1304.01 c (1303,1248) 3716241 (40 %) CSP clauses are encoded (0 SAT variables, 90387105 SAT clauses) 1645.23/1314.13 c (1313,1258) 4645301 (50 %) CSP clauses are encoded (0 SAT variables, 91316165 SAT clauses) 1657.55/1324.32 c (1323,1268) 5574362 (60 %) CSP clauses are encoded (0 SAT variables, 92245226 SAT clauses) 1672.29/1334.83 c (1334,1278) 6503422 (70 %) CSP clauses are encoded (0 SAT variables, 93174286 SAT clauses) 1684.89/1345.06 c (1344,1288) 7432482 (80 %) CSP clauses are encoded (0 SAT variables, 94103346 SAT clauses) 1697.97/1355.32 c (1354,1298) 8361542 (90 %) CSP clauses are encoded (0 SAT variables, 95032406 SAT clauses) 1711.15/1365.57 c (1365,1308) 9290602 (100 %) CSP clauses are encoded (0 SAT variables, 95961466 SAT clauses) 1711.15/1365.57 c (1365,1308) CSPinCNF to SatSolver End 1711.15/1365.57 c (1365,1308) Heap : 14308 MiB used (max 21535 MiB), NonHeap : 31 MiB used (max 0 MiB) 1711.15/1365.57 c (1365,1308) 996696 bool, 95961467 clause 1711.15/1365.57 c (1365,1308) Export Begin 1711.27/1365.69 c (1365,1308) Export to HOME/scop-5929-serial-file.bin 1711.27/1365.69 c (1365,1308) Export End 1711.27/1365.69 c (1365,1308) Export File Size: 0.05 MB 1711.27/1365.69 c (1365,1308) 0,0,727,873,889,890,1365,STOP-AFTER(DIMACS) 1711.27/1365.69 c END-Prog: Sat Sep 14 05:54:55 CEST 2019 0.00/1365.80 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-5929-serial-file.bin 1712.09/1366.28 c (0,0) Read Serial File Begin 1712.09/1366.28 c (0,0) HOME/scop-5929-serial-file.bin 1712.55/1366.51 c (0,0) Read Serial File End 1712.55/1366.52 1712.55/1366.52 Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15) 1712.55/1366.53 (Solving Process) 1712.55/1366.53 1712.55/1366.55 c BEGIN-Prog: Sat Sep 14 05:54:56 CEST 2019 1712.55/1366.55 c PID: 6055 1712.55/1366.55 c IP: 172.20.3.141 1712.55/1366.55 c HOST: node141.alineos.net 1712.55/1366.55 c (0,0) SatSolver.solve Begin 1712.55/1366.55 c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392410-1568431971.xml-scop-5932.cnf 1712.55/1366.58 c (0,0) c 1712.55/1366.58 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) 1712.55/1366.58 c (0,0) c 1712.55/1366.58 c (0,0) c WARNING: for repeatability, setting FPU to use double precision 1712.55/1366.58 c (0,0) c 8 solvers engines and 1 companion as a blackboard created. 1712.55/1366.58 c (0,0) c ========================================[ Problem Statistics ]=========================================== 1712.55/1366.58 c (0,0) c | | 1746.51/1400.28 c (34,0) c | Number of variables: 996696 | 1746.51/1400.28 c (34,0) c | Number of clauses: 95961467 | 1746.51/1400.28 c (34,0) c | Parse time: 30.96 s | 1746.51/1400.28 c (34,0) c | | 1752.11/1405.81 c (39,0) c | Too many clauses... No preprocessing | 1752.11/1405.81 c (39,0) c | Simplification time: 4.95 s | 1752.11/1405.81 c (39,0) c | | 1752.11/1405.81 c (39,0) c | One Solver is taking 7685.34Mb... Let's take 1 solvers for this run (max 40% of the maxmemory). | 1752.11/1405.81 c (39,0) c | Generating clones | 1752.11/1405.81 c (39,0) c | all clones generated. Memory = 7685.34Mb. | 1752.11/1405.81 c (39,0) c ========================================================================================================| 1752.11/1405.81 c (39,0) c 1752.11/1405.82 c (39,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 1752.11/1405.82 c (39,0) c 1752.11/1405.82 c (39,0) c |-----------------------|------------| 1752.11/1405.82 c (39,0) c | Threads | 0 | 1752.11/1405.82 c (39,0) c |-----------------------|------------| 1752.11/1405.82 c (39,0) c | randomizeFirstDescent | False | 1752.11/1405.82 c (39,0) c | adaptStrategeis | True | 1752.11/1405.82 c (39,0) c | forceUnsatOnNewDescent| True | 1752.11/1405.82 c (39,0) c | Initial random_seed | 91648253 | 1752.11/1405.82 c (39,0) c | chanseokStrategy | False | 1752.11/1405.82 c (39,0) c | coLBDBound | 5 | 1752.11/1405.82 c (39,0) c | glureduce | True | 1752.11/1405.82 c (39,0) c | firstReduceDB | 2000 | 1752.11/1405.82 c (39,0) c | incReduceDB | 300 | 1752.11/1405.82 c (39,0) c | luby_restart | False | 1752.11/1405.82 c (39,0) c | luby_restart_factor | 100 | 1752.11/1405.82 c (39,0) c | var_decay | 0.8000 | 1752.11/1405.82 c (39,0) c | max_var_decay | 0.9500 | 1752.11/1405.82 c (39,0) c | randomize_on_restarts | False | 1752.11/1405.82 c (39,0) c | remove_satisfied | True | 1752.11/1405.82 c (39,0) c |-----------------------|------------| 1781.23/1434.97 c (68,0) c 1781.23/1434.97 c (68,0) c |------------------------------------------------------------------------------------------------------------------------| 1781.23/1434.97 c (68,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 1781.23/1434.97 c (68,0) c |------------------------------------------------------------------------------------------------------------------------| 1781.23/1434.97 c (68,0) c | 0 | 11 | 43173 | 6148 | 129806 | 5150 | 750 | 0 | 0 | 224 | 20 | 0.000 | 1781.23/1434.97 c (68,0) c 1781.23/1434.97 c (68,0) c synthesis 6148 conflicts 35522303 propagations 97 conflicts/sec 558070 propagations/sec 1781.23/1434.97 c (68,0) c real: 68.3984 s, cpu: 63.6521 s, memory: 8333.35 Mb 1810.23/1463.97 c (97,0) c 1810.23/1463.97 c (97,0) c |------------------------------------------------------------------------------------------------------------------------| 1810.23/1463.97 c (97,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 1810.23/1463.97 c (97,0) c |------------------------------------------------------------------------------------------------------------------------| 1810.23/1463.97 c (97,0) c | 0 | 34 | 73083 | 18654 | 211170 | 9856 | 4051 | 0 | 0 | 450 | 20 | 0.001 | 1810.23/1463.97 c (97,0) c 1810.23/1463.97 c (97,0) c synthesis 18654 conflicts 85309155 propagations 202 conflicts/sec 923666 propagations/sec 1810.23/1463.97 c (97,0) c real: 97.3985 s, cpu: 92.3593 s, memory: 8397.35 Mb 1835.27/1488.96 c (122,0) c 1835.27/1488.96 c (122,0) c real time : 122.381 s 1835.27/1488.96 c (122,0) c cpu time : 117.01 s 1835.27/1488.96 c (122,0) c 1835.27/1488.96 c (122,0) c 1835.27/1488.96 c (122,0) c 1835.27/1488.96 c (122,0) c |---------------------------------------- FINAL STATS --------------------------------------------------| 1835.27/1488.96 c (122,0) c 1835.27/1488.96 c (122,0) c |---------------|-----------------|------------| 1835.27/1488.96 c (122,0) c | Threads | Total | 0 | 1835.27/1488.96 c (122,0) c |---------------|-----------------|------------| 1835.27/1488.96 c (122,0) c | Conflicts | 28731 | 28731 | 1835.27/1488.96 c (122,0) c | Decisions | 96389 | 96389 | 1835.27/1488.96 c (122,0) c | Propagations | 125598932 | 125598932 | 1835.27/1488.96 c (122,0) c | ReduceDBs | 4 | 4 | 1835.27/1488.96 c (122,0) c | SimpDBs | 1 | 1 | 1835.27/1488.96 c (122,0) c | Restarts | 52 | 52 | 1835.27/1488.96 c (122,0) c | ForcedImports | 0 | 0 | 1835.27/1488.96 c (122,0) c | PropBinClauses| 123249321 | 123249321 | 1835.27/1488.96 c (122,0) c | PropPreBlocker| 2749070348 | 2749070348 | 1835.27/1488.96 c (122,0) c | PropNotBlocker| 828557530 | 828557530 | 1835.27/1488.96 c (122,0) c | LitFullScans | 3905513759 | 3905513759 | 1835.27/1488.96 c (122,0) c | LitScanFracts | 500378 | 500378 | 1835.27/1488.96 c (122,0) c | DecisionLevel0| 68 | 68 | 1835.27/1488.96 c (122,0) c | Periods | 650 | 650 | 1835.27/1488.96 c (122,0) c | Margin | 20 | 20 | 1835.27/1488.96 c (122,0) c | Avg_Trail | | 21625 | 1835.27/1488.96 c (122,0) c | Avg_DL | | 40 | 1835.27/1488.96 c (122,0) c | Avg_Res | | 0 | 1835.27/1488.96 c (122,0) c | Avg_Res_Seen | | 0 | 1835.27/1488.96 c (122,0) c |---------------|-----------------|------------| 1835.27/1488.96 c (122,0) c | Exported | 6404 | 6404 | 1835.27/1488.96 c (122,0) c | Imported | 0 | 0 | 1835.27/1488.96 c (122,0) c | Good | 0 | 0 | 1835.27/1488.96 c (122,0) c | Purge | 0 | 0 | 1835.27/1488.96 c (122,0) c | Promoted | 0 | 0 | 1835.27/1488.96 c (122,0) c | Remove_Imp | 0 | 0 | 1835.27/1488.96 c (122,0) c | Blocked_Reuse | 0 | 0 | 1835.27/1488.96 c (122,0) c |---------------|-----------------|------------| 1835.27/1488.96 c (122,0) c | Unaries | | 16 | 1835.27/1488.96 c (122,0) c | Binaries | | 408 | 1835.27/1488.96 c (122,0) c | Glues | | 1739 | 1835.27/1488.96 c (122,0) c |---------------|-----------------|------------| 1835.27/1488.96 c (122,0) c | Orig_Seen | 0 % | 241158 | 1835.27/1488.96 c (122,0) c | Diff Orig seen| | X | 1835.27/1488.96 c (122,0) c | Hamming | 0 % | X | 1835.27/1488.96 c (122,0) c |---------------|-----------------|------------| 1835.27/1488.96 c (122,0) c | RunningTime | | 83.1 100%| 1835.27/1488.96 c (122,0) c | WaitingTime | | 0.0 0%| 1835.27/1488.96 c (122,0) c | ExchangingTime| | 0.0 0%| 1835.27/1488.96 c (122,0) c | PeriodProcTime| | 0.0 0%| 1835.27/1488.96 c (122,0) c | SolvingTime | | 83.1 | 1835.27/1488.96 c (122,0) c | PropagationTim| | 78.9 95%| 1835.27/1488.96 c (122,0) c | AnalysisTime | | 2.8 3%| 1835.27/1488.96 c (122,0) c | ReductionTime | | 0.0 0%| 1835.27/1488.96 c (122,0) c | SimplifyTime | | 0.0 0%| 1835.27/1488.96 c (122,0) c | UsedRateTime | | 0.0 0%| 1835.27/1488.96 c (122,0) c | OverlapRateTim| | 0.0 0%| 1835.27/1488.96 c (122,0) c |---------------|-----------------|------------| 1835.27/1488.96 c (122,0) c 1835.27/1488.96 c (122,0) c 1835.27/1488.96 c (122,0) c Threads : 1 1835.27/1488.96 c (122,0) c Winner : 0 1835.27/1488.96 c (122,0) c Conflicts_0 : 28731 1835.27/1488.96 c (122,0) c Conflicts_total : 28731 1835.27/1488.96 c (122,0) c Conflicts_winner : 28731 1835.27/1488.96 c (122,0) c Decisions_0 : 96389 1835.27/1488.96 c (122,0) c Decisions_total : 96389 1835.27/1488.96 c (122,0) c Decisions_winner : 96389 1835.27/1488.96 c (122,0) c Propagations_0 : 125598932 1835.27/1488.96 c (122,0) c Propagations_total : 125598932 1835.27/1488.96 c (122,0) c Propagations_winner : 125598932 1835.27/1488.96 c (122,0) c ReduceDBs_0 : 4 1835.27/1488.96 c (122,0) c ReduceDBs_total : 4 1835.27/1488.96 c (122,0) c ReduceDBs_winner : 4 1835.27/1488.96 c (122,0) c SimpDBs_0 : 1 1835.27/1488.96 c (122,0) c SimpDBs_total : 1 1835.27/1488.96 c (122,0) c SimpDBs_winner : 1 1835.27/1488.96 c (122,0) c Restarts_0 : 52 1835.27/1488.96 c (122,0) c Restarts_total : 52 1835.27/1488.96 c (122,0) c Restarts_winner : 52 1835.27/1488.96 c (122,0) c ForcedImports_0 : 0 1835.27/1488.96 c (122,0) c ForcedImports_total : 0 1835.27/1488.96 c (122,0) c ForcedImports_winner : 0 1835.27/1488.96 c (122,0) c PropsBinClauses_0 : 123249321 1835.27/1488.96 c (122,0) c PropsBinClauses_total : 123249321 1835.27/1488.96 c (122,0) c PropsBinClauses_winner : 123249321 1835.27/1488.96 c (122,0) c PropsPreBlocker_0 : 2749070348 1835.27/1488.96 c (122,0) c PropsPreBlocker_total : 2749070348 1835.27/1488.96 c (122,0) c PropsPreBlocker_winner : 2749070348 1835.27/1488.96 c (122,0) c PropsNotBlocker_0 : 828557530 1835.27/1488.96 c (122,0) c PropsNotBlocker_total : 828557530 1835.27/1488.96 c (122,0) c PropsNotBlocker_winner : 828557530 1835.27/1488.96 c (122,0) c PropsLitFullScans_0 : 3905513759 1835.27/1488.96 c (122,0) c PropsLitFullScans_total : 3905513759 1835.27/1488.96 c (122,0) c PropsLitFullScans_winner : 3905513759 1835.27/1488.96 c (122,0) c LitScanFractions_0 : 500378 1835.27/1488.96 c (122,0) c LitScanFractions_total : 500378 1835.27/1488.96 c (122,0) c LitScanFractions_winner : 500378 1835.27/1488.96 c (122,0) c DecisionLevel0_0 : 68 1835.27/1488.96 c (122,0) c DecisionLevel0_total : 68 1835.27/1488.96 c (122,0) c DecisionLevel0_winner : 68 1835.27/1488.96 c (122,0) c Periods_0 : 650 1835.27/1488.96 c (122,0) c Periods_total : 650 1835.27/1488.96 c (122,0) c Periods_winner : 650 1835.27/1488.96 c (122,0) c Margin_0 : 20 1835.27/1488.96 c (122,0) c Margin_total : 20 1835.27/1488.96 c (122,0) c Margin_winner : 20 1835.27/1488.96 c (122,0) c Exported_0 : 6404 1835.27/1488.96 c (122,0) c Exported_total : 6404 1835.27/1488.96 c (122,0) c Exported_winner : 6404 1835.27/1488.96 c (122,0) c Imported_0 : 0 1835.27/1488.96 c (122,0) c Imported_total : 0 1835.27/1488.96 c (122,0) c Imported_winner : 0 1835.27/1488.96 c (122,0) c Good_0 : 0 1835.27/1488.96 c (122,0) c Good_total : 0 1835.27/1488.96 c (122,0) c Good_winner : 0 1835.27/1488.96 c (122,0) c Purge_0 : 0 1835.27/1488.96 c (122,0) c Purge_total : 0 1835.27/1488.96 c (122,0) c Purge_winner : 0 1835.27/1488.96 c (122,0) c Promoted_0 : 0 1835.27/1488.96 c (122,0) c Promoted_total : 0 1835.27/1488.96 c (122,0) c Promoted_winner : 0 1835.27/1488.96 c (122,0) c Remove_Imp_0 : 0 1835.27/1488.96 c (122,0) c Remove_Imp_total : 0 1835.27/1488.96 c (122,0) c Remove_Imp_winner : 0 1835.27/1488.96 c (122,0) c Blocked_Reuse_0 : 0 1835.27/1488.96 c (122,0) c Blocked_Reuse_total : 0 1835.27/1488.96 c (122,0) c Blocked_Reuse_winner : 0 1835.27/1488.96 c (122,0) c Unaries_0 : 16 1835.27/1488.96 c (122,0) c Unaries_total : 16 1835.27/1488.96 c (122,0) c Unaries_winner : 16 1835.27/1488.96 c (122,0) c Binaries_0 : 408 1835.27/1488.96 c (122,0) c Binaries_total : 408 1835.27/1488.96 c (122,0) c Binaries_winner : 408 1835.27/1488.96 c (122,0) c Glues_0 : 1739 1835.27/1488.96 c (122,0) c Glues_total : 1739 1835.27/1488.96 c (122,0) c Glues_winner : 1739 1835.27/1488.96 c (122,0) c RunningTime_0 : 83.101755 1835.27/1488.96 c (122,0) c RunningTime_total : 83.101755 1835.27/1488.96 c (122,0) c RunningTime_winner : 83.101755 1835.27/1488.96 c (122,0) c WaitingTime_0 : 0.000000 1835.27/1488.96 c (122,0) c WaitingTime_total : 0.000000 1835.27/1488.96 c (122,0) c WaitingTime_winner : 0.000000 1835.27/1488.96 c (122,0) c ExchangingTime_0 : 0.005954 1835.27/1488.96 c (122,0) c ExchangingTime_total : 0.005954 1835.27/1488.96 c (122,0) c ExchangingTime_winner : 0.005954 1835.27/1488.96 c (122,0) c PeriodProcTime_0 : 0.005683 1835.27/1488.96 c (122,0) c PeriodProcTime_total : 0.005683 1835.27/1488.96 c (122,0) c PeriodProcTime_winner : 0.005683 1835.27/1488.96 c (122,0) c SolvingTime_0 : 83.113392 1835.27/1488.96 c (122,0) c SolvingTime_total : 83.113392 1835.27/1488.96 c (122,0) c SolvingTime_winner : 83.113392 1835.27/1488.96 c (122,0) c PropagationTime_0 : 78.880019 1835.27/1488.96 c (122,0) c PropagationTime_total : 78.880019 1835.27/1488.96 c (122,0) c PropagationTime_winner : 78.880019 1835.27/1488.96 c (122,0) c AnalysisTime_0 : 2.769644 1835.27/1488.96 c (122,0) c AnalysisTime_total : 2.769644 1835.27/1488.96 c (122,0) c AnalysisTime_winner : 2.769644 1835.27/1488.96 c (122,0) c ReductionTime_0 : 0.006437 1835.27/1488.96 c (122,0) c ReductionTime_total : 0.006437 1835.27/1488.96 c (122,0) c ReductionTime_winner : 0.006437 1835.27/1488.96 c (122,0) c SimplifyTime_0 : 0.000002 1835.27/1488.96 c (122,0) c SimplifyTime_total : 0.000002 1835.27/1488.96 c (122,0) c SimplifyTime_winner : 0.000002 1835.27/1488.96 c (122,0) c UsedRateTime_0 : 0.000000 1835.27/1488.96 c (122,0) c UsedRateTime_total : 0.000000 1835.27/1488.96 c (122,0) c UsedRateTime_winner : 0.000000 1835.27/1488.96 c (122,0) c OverlapRateTime_0 : 0.000000 1835.27/1488.96 c (122,0) c OverlapRateTime_total : 0.000000 1835.27/1488.96 c (122,0) c OverlapRateTime_winner : 0.000000 1835.27/1488.96 c (122,0) c 1835.27/1488.96 c (122,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 1835.27/1488.96 c (122,0) c 1835.27/1488.96 c (122,0) c |-----------------------|------------| 1835.27/1488.96 c (122,0) c | Threads | 0 | 1835.27/1488.96 c (122,0) c |-----------------------|------------| 1835.27/1488.96 c (122,0) c | randomizeFirstDescent | False | 1835.27/1488.96 c (122,0) c | adaptStrategeis | True | 1835.27/1488.96 c (122,0) c | forceUnsatOnNewDescent| True | 1835.27/1488.96 c (122,0) c | Initial random_seed | 1784283744 | 1835.27/1488.96 c (122,0) c | chanseokStrategy | False | 1835.27/1488.96 c (122,0) c | coLBDBound | 5 | 1835.27/1488.96 c (122,0) c | glureduce | True | 1835.27/1488.96 c (122,0) c | firstReduceDB | 2000 | 1835.27/1488.96 c (122,0) c | incReduceDB | 300 | 1835.27/1488.96 c (122,0) c | luby_restart | False | 1835.27/1488.96 c (122,0) c | luby_restart_factor | 100 | 1835.27/1488.96 c (122,0) c | var_decay | 0.8500 | 1835.27/1488.96 c (122,0) c | max_var_decay | 0.9500 | 1835.27/1488.96 c (122,0) c | randomize_on_restarts | False | 1835.27/1488.96 c (122,0) c | remove_satisfied | True | 1835.27/1488.96 c (122,0) c |-----------------------|------------| 1835.27/1488.96 c (122,0) 1835.27/1488.97 c (122,0) s SATISFIABLE 1713.48/1489.49 c (123,0) SatSolver.solve End 1713.48/1489.49 c (123,0) Heap : 302 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB) 1713.48/1489.49 c (123,0) Show results Begin 1836.71/1489.65 c (123,0) x[0] = 0 1836.71/1489.65 c (123,0) x[1] = 11 1836.71/1489.65 c (123,0) x[2] = 79 1836.71/1489.65 c (123,0) x[3] = 563 1836.71/1489.65 c (123,0) x[4] = 709 1836.71/1489.65 c (123,0) x[5] = 729 1836.71/1489.65 c (123,0) x[6] = 733 1836.71/1489.65 c (123,0) x[7] = 958 1836.71/1489.65 c (123,0) x[8] = 1135 1836.71/1489.65 c (123,0) x[9] = 83 1836.71/1489.65 c (123,0) x[10] = 633 1836.71/1489.65 c (123,0) x[11] = 662 1836.71/1489.65 c (123,0) x[12] = 768 1836.71/1489.65 c (123,0) x[13] = 779 1836.71/1489.65 c (123,0) x[14] = 838 1836.71/1489.65 c (123,0) x[15] = 981 1836.71/1489.65 c (123,0) x[16] = 110 1836.71/1489.65 c (123,0) x[17] = 193 1836.71/1489.65 c (123,0) x[18] = 293 1836.71/1489.65 c (123,0) x[19] = 522 1836.71/1489.65 c (123,0) x[20] = 1016 1836.71/1489.65 c (123,0) x[21] = 1072 1836.71/1489.65 c (123,0) x[22] = 1207 1836.71/1489.65 c (123,0) x[23] = 82 1836.71/1489.65 c (123,0) x[24] = 392 1836.71/1489.65 c (123,0) x[25] = 576 1836.71/1489.65 c (123,0) x[26] = 866 1836.71/1489.65 c (123,0) x[27] = 207 1836.71/1489.65 c (123,0) x[28] = 335 1836.71/1489.65 c (123,0) x[29] = 873 1836.71/1489.65 c (123,0) x[30] = 894 1836.71/1489.65 c (123,0) x[31] = 895 1836.71/1489.65 c (123,0) x[32] = 997 1836.71/1489.65 c (123,0) x[33] = 434 1836.71/1489.65 c (123,0) x[34] = 463 1836.71/1489.65 c (123,0) x[35] = 502 1836.71/1489.65 c (123,0) x[36] = 675 1836.71/1489.65 c (123,0) x[37] = 877 1836.71/1489.65 c (123,0) x[38] = 923 1836.71/1489.65 c (123,0) x[39] = 948 1836.71/1489.65 c (123,0) x[40] = 1222 1836.71/1489.65 c (123,0) x[41] = 159 1836.71/1489.65 c (123,0) x[42] = 425 1836.71/1489.65 c (123,0) x[43] = 703 1836.71/1489.65 c (123,0) x[44] = 850 1836.71/1489.65 c (123,0) x[45] = 872 1836.71/1489.65 c (123,0) x[46] = 1246 1836.71/1489.65 c (123,0) x[47] = 249 1836.71/1489.65 c (123,0) x[48] = 272 1836.71/1489.65 c (123,0) x[49] = 776 1836.71/1489.65 c (123,0) x[50] = 14 1836.71/1489.65 c (123,0) x[51] = 67 1836.71/1489.65 c (123,0) x[52] = 558 1836.71/1489.65 c (123,0) x[53] = 725 1836.71/1489.65 c (123,0) x[54] = 75 1836.71/1489.65 c (123,0) x[55] = 346 1836.71/1489.65 c (123,0) x[56] = 548 1836.71/1489.65 c (123,0) x[57] = 793 1836.71/1489.65 c (123,0) x[58] = 812 1836.71/1489.65 c (123,0) x[59] = 137 1836.71/1489.65 c (123,0) x[60] = 229 1836.71/1489.65 c (123,0) x[61] = 245 1836.71/1489.65 c (123,0) x[62] = 444 1836.71/1489.65 c (123,0) x[63] = 686 1836.71/1489.65 c (123,0) x[64] = 744 1836.71/1489.65 c (123,0) x[65] = 138 1836.71/1489.65 c (123,0) x[66] = 1164 1836.71/1489.65 c (123,0) x[67] = 742 1836.71/1489.65 c (123,0) x[68] = 837 1836.71/1489.65 c (123,0) x[69] = 338 1836.71/1489.65 c (123,0) x[70] = 674 1836.71/1489.65 c (123,0) x[71] = 803 1836.71/1489.65 c (123,0) x[72] = 1004 1836.71/1489.65 c (123,0) x[73] = 985 1836.71/1489.65 c (123,0) x[74] = 1046 1836.71/1489.65 c (123,0) x[75] = 41 1836.71/1489.65 c (123,0) x[76] = 400 1836.71/1489.65 c (123,0) x[77] = 704 1836.71/1489.65 c (123,0) x[78] = 1020 1836.71/1489.65 c (123,0) x[79] = 113 1836.71/1489.65 c (123,0) x[80] = 461 1836.71/1489.65 c (123,0) x[81] = 710 1836.71/1489.65 c (123,0) x[82] = 1151 1836.71/1489.65 c (123,0) x[83] = 1212 1836.71/1489.65 c (123,0) x[84] = 653 1836.71/1489.65 c (123,0) x[85] = 808 1836.71/1489.65 c (123,0) x[86] = 857 1836.71/1489.65 c (123,0) x[87] = 1189 1836.71/1489.65 c (123,0) x[88] = 97 1836.71/1489.65 c (123,0) x[89] = 112 1836.71/1489.65 c (123,0) x[90] = 661 1836.71/1489.65 c (123,0) x[91] = 734 1836.71/1489.65 c (123,0) x[92] = 773 1836.71/1489.65 c (123,0) x[93] = 926 1836.71/1489.65 c (123,0) x[94] = 971 1836.71/1489.65 c (123,0) x[95] = 62 1836.71/1489.65 c (123,0) x[96] = 663 1836.71/1489.65 c (123,0) x[97] = 1022 1836.71/1489.65 c (123,0) x[98] = 1037 1836.71/1489.65 c (123,0) x[99] = 659 1836.71/1489.65 c (123,0) x[100] = 1010 1836.71/1489.65 c (123,0) x[101] = 244 1836.71/1489.65 c (123,0) x[102] = 312 1836.71/1489.65 c (123,0) x[103] = 751 1836.71/1489.65 c (123,0) x[104] = 1036 1836.71/1489.65 c (123,0) x[105] = 480 1836.71/1489.65 c (123,0) x[106] = 735 1836.71/1489.65 c (123,0) x[107] = 818 1836.71/1489.65 c (123,0) x[108] = 907 1836.71/1489.65 c (123,0) x[109] = 993 1836.71/1489.66 c (123,0) x[110] = 1014 1836.71/1489.66 c (123,0) x[111] = 1048 1836.71/1489.66 c (123,0) x[112] = 1179 1836.71/1489.66 c (123,0) x[113] = 1220 1836.71/1489.66 c (123,0) x[114] = 117 1836.71/1489.66 c (123,0) x[115] = 17 1836.71/1489.66 c (123,0) x[116] = 644 1836.71/1489.66 c (123,0) x[117] = 949 1836.71/1489.66 c (123,0) x[118] = 1193 1836.71/1489.66 c (123,0) x[119] = 130 1836.71/1489.66 c (123,0) x[120] = 892 1836.71/1489.66 c (123,0) x[121] = 215 1836.71/1489.66 c (123,0) x[122] = 291 1836.71/1489.66 c (123,0) x[123] = 963 1836.71/1489.66 c (123,0) x[124] = 39 1836.71/1489.66 c (123,0) x[125] = 1138 1836.71/1489.66 c (123,0) x[126] = 1210 1836.71/1489.66 c (123,0) x[127] = 1226 1836.71/1489.66 c (123,0) x[128] = 29 1836.71/1489.66 c (123,0) x[129] = 762 1836.71/1489.66 c (123,0) x[130] = 1049 1836.71/1489.66 c (123,0) x[131] = 1265 1836.71/1489.66 c (123,0) x[132] = 759 1836.71/1489.66 c (123,0) x[133] = 795 1836.71/1489.66 c (123,0) x[134] = 929 1836.71/1489.66 c (123,0) x[135] = 569 1836.71/1489.66 c (123,0) x[136] = 656 1836.71/1489.66 c (123,0) x[137] = 908 1836.71/1489.66 c (123,0) x[138] = 1040 1836.71/1489.66 c (123,0) x[139] = 220 1836.71/1489.66 c (123,0) x[140] = 831 1836.71/1489.66 c (123,0) x[141] = 1087 1836.71/1489.66 c (123,0) x[142] = 1142 1836.71/1489.66 c (123,0) x[143] = 1173 1836.71/1489.66 c (123,0) x[144] = 1278 1836.71/1489.66 c (123,0) x[145] = 66 1836.71/1489.66 c (123,0) x[146] = 124 1836.71/1489.66 c (123,0) x[147] = 625 1836.71/1489.66 c (123,0) x[148] = 1077 1836.71/1489.66 c (123,0) x[149] = 1074 1836.71/1489.66 c (123,0) x[150] = 738 1836.71/1489.66 c (123,0) x[151] = 1106 1836.71/1489.66 c (123,0) x[152] = 3 1836.71/1489.66 c (123,0) x[153] = 887 1836.71/1489.66 c (123,0) x[154] = 1125 1836.71/1489.66 c (123,0) x[155] = 1209 1836.71/1489.66 c (123,0) x[156] = 18 1836.71/1489.66 c (123,0) x[157] = 324 1836.71/1489.66 c (123,0) x[158] = 407 1836.71/1489.66 c (123,0) x[159] = 552 1836.71/1489.66 c (123,0) x[160] = 1291 1836.71/1489.66 c (123,0) x[161] = 19 1836.71/1489.66 c (123,0) x[162] = 350 1836.71/1489.66 c (123,0) x[163] = 505 1836.71/1489.66 c (123,0) x[164] = 737 1836.71/1489.66 c (123,0) x[165] = 916 1836.71/1489.66 c (123,0) x[166] = 4 1836.71/1489.66 c (123,0) x[167] = 495 1836.71/1489.66 c (123,0) x[168] = 629 1836.71/1489.66 c (123,0) x[169] = 904 1836.71/1489.66 c (123,0) x[170] = 144 1836.71/1489.66 c (123,0) x[171] = 1035 1836.71/1489.66 c (123,0) x[172] = 162 1836.71/1489.66 c (123,0) x[173] = 492 1836.71/1489.66 c (123,0) x[174] = 484 1836.71/1489.66 c (123,0) x[175] = 702 1836.71/1489.66 c (123,0) x[176] = 902 1836.71/1489.66 c (123,0) x[177] = 1239 1836.71/1489.66 c (123,0) x[178] = 1043 1836.71/1489.66 c (123,0) x[179] = 1295 1836.71/1489.66 c (123,0) x[180] = 641 1836.71/1489.66 c (123,0) x[181] = 701 1836.71/1489.66 c (123,0) x[182] = 586 1836.71/1489.66 c (123,0) x[183] = 305 1836.71/1489.66 c (123,0) x[184] = 1186 1836.71/1489.66 c (123,0) x[185] = 1066 1836.71/1489.66 c (123,0) x[186] = 1126 1836.71/1489.66 c (123,0) x[187] = 1172 1836.71/1489.66 c (123,0) x[188] = 843 1836.71/1489.66 c (123,0) x[189] = 1228 1836.71/1489.66 c (123,0) x[190] = 169 1836.71/1489.66 c (123,0) x[191] = 541 1836.71/1489.67 c (123,0) x[192] = 834 1836.71/1489.67 c (123,0) x[193] = 945 1836.71/1489.67 c (123,0) x[194] = 1089 1836.71/1489.67 c (123,0) x[195] = 1162 1836.71/1489.67 c (123,0) x[196] = 1203 1836.71/1489.67 c (123,0) x[197] = 395 1836.71/1489.67 c (123,0) x[198] = 1241 1836.71/1489.67 c (123,0) x[199] = 224 1836.71/1489.67 c (123,0) x[200] = 417 1836.71/1489.67 c (123,0) x[201] = 618 1836.71/1489.67 c (123,0) x[202] = 694 1836.71/1489.67 c (123,0) x[203] = 749 1836.71/1489.67 c (123,0) x[204] = 973 1836.71/1489.67 c (123,0) x[205] = 1052 1836.71/1489.67 c (123,0) x[206] = 1252 1836.71/1489.67 c (123,0) x[207] = 1283 1836.71/1489.67 c (123,0) x[208] = 1290 1836.71/1489.67 c (123,0) x[209] = 410 1836.71/1489.67 c (123,0) x[210] = 673 1836.71/1489.67 c (123,0) x[211] = 893 1836.71/1489.67 c (123,0) x[212] = 828 1836.71/1489.67 c (123,0) x[213] = 1152 1836.71/1489.67 c (123,0) x[214] = 1158 1836.71/1489.67 c (123,0) x[215] = 259 1836.71/1489.67 c (123,0) x[216] = 316 1836.71/1489.67 c (123,0) x[217] = 1271 1836.71/1489.67 c (123,0) x[218] = 720 1836.71/1489.67 c (123,0) x[219] = 901 1836.71/1489.67 c (123,0) x[220] = 53 1836.71/1489.67 c (123,0) x[221] = 920 1836.71/1489.67 c (123,0) x[222] = 248 1836.71/1489.67 c (123,0) x[223] = 823 1836.71/1489.67 c (123,0) x[224] = 966 1836.71/1489.67 c (123,0) x[225] = 1096 1836.71/1489.67 c (123,0) x[226] = 1188 1836.71/1489.67 c (123,0) x[227] = 603 1836.71/1489.67 c (123,0) x[228] = 852 1836.71/1489.67 c (123,0) x[229] = 888 1836.71/1489.67 c (123,0) x[230] = 1176 1836.71/1489.67 c (123,0) x[231] = 339 1836.71/1489.67 c (123,0) x[232] = 564 1836.71/1489.67 c (123,0) x[233] = 1064 1836.71/1489.67 c (123,0) x[234] = 1170 1836.71/1489.67 c (123,0) x[235] = 431 1836.71/1489.67 c (123,0) x[236] = 1082 1836.71/1489.67 c (123,0) x[237] = 382 1836.71/1489.67 c (123,0) x[238] = 860 1836.71/1489.67 c (123,0) x[239] = 937 1836.71/1489.67 c (123,0) x[240] = 1099 1836.71/1489.67 c (123,0) x[241] = 1131 1836.71/1489.67 c (123,0) x[242] = 1281 1836.71/1489.67 c (123,0) x[243] = 98 1836.71/1489.67 c (123,0) x[244] = 304 1836.71/1489.67 c (123,0) x[245] = 295 1836.71/1489.67 c (123,0) x[246] = 573 1836.71/1489.67 c (123,0) x[247] = 785 1836.71/1489.67 c (123,0) x[248] = 1109 1836.71/1489.67 c (123,0) x[249] = 369 1836.71/1489.67 c (123,0) x[250] = 436 1836.71/1489.67 c (123,0) x[251] = 485 1836.71/1489.67 c (123,0) x[252] = 990 1836.71/1489.67 c (123,0) x[253] = 276 1836.71/1489.67 c (123,0) x[254] = 506 1836.71/1489.67 c (123,0) x[255] = 822 1836.71/1489.67 c (123,0) x[256] = 589 1836.71/1489.67 c (123,0) x[257] = 622 1836.71/1489.67 c (123,0) x[258] = 1133 1836.71/1489.67 s SATISFIABLE 1836.71/1489.68 v <instantiation> 1836.71/1489.68 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179] x[180] x[181] x[182] x[183] x[184] x[185] x[186] x[187] x[188] x[189] x[190] x[191] x[192] x[193] x[194] x[195] x[196] x[197] x[198] x[199] x[200] x[201] x[202] x[203] x[204] x[205] x[206] x[207] x[208] x[209] x[210] x[211] x[212] x[213] x[214] x[215] x[216] x[217] x[218] x[219] x[220] x[221] x[222] x[223] x[224] x[225] x[226] x[227] x[228] x[229] x[230] x[231] x[232] x[233] x[234] x[235] x[236] x[237] x[238] x[239] x[240] x[241] x[242] x[243] x[244] x[245] x[246] x[247] x[248] x[249] x[250] x[251] x[252] x[253] x[254] x[255] x[256] x[257] x[258]</list> 1836.71/1489.68 v <values>0 11 79 563 709 729 733 958 1135 83 633 662 768 779 838 981 110 193 293 522 1016 1072 1207 82 392 576 866 207 335 873 894 895 997 434 463 502 675 877 923 948 1222 159 425 703 850 872 1246 249 272 776 14 67 558 725 75 346 548 793 812 137 229 245 444 686 744 138 1164 742 837 338 674 803 1004 985 1046 41 400 704 1020 113 461 710 1151 1212 653 808 857 1189 97 112 661 734 773 926 971 62 663 1022 1037 659 1010 244 312 751 1036 480 735 818 907 993 1014 1048 1179 1220 117 17 644 949 1193 130 892 215 291 963 39 1138 1210 1226 29 762 1049 1265 759 795 929 569 656 908 1040 220 831 1087 1142 1173 1278 66 124 625 1077 1074 738 1106 3 887 1125 1209 18 324 407 552 1291 19 350 505 737 916 4 495 629 904 144 1035 162 492 484 702 902 1239 1043 1295 641 701 586 305 1186 1066 1126 1172 843 1228 169 541 834 945 1089 1162 1203 395 1241 224 417 618 694 749 973 1052 1252 1283 1290 410 673 893 828 1152 1158 259 316 1271 720 901 53 920 248 823 966 1096 1188 603 852 888 1176 339 564 1064 1170 431 1082 382 860 937 1099 1131 1281 98 304 295 573 785 1109 369 436 485 990 276 506 822 589 622 1133</values> 1836.71/1489.68 v </instantiation> 1836.71/1489.68 c (123,0) Show results End 1836.71/1489.68 c (123,0) Heap : 323 MiB used (max 3925 MiB), NonHeap : 19 MiB used (max 0 MiB) 1836.71/1489.68 c (123,0) 123,123,STOP-AFTER(ALL) 1836.71/1489.68 c END-Prog: Sat Sep 14 05:56:59 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 (15072 MiB free) memory of node 1: 16384 MiB (15490 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392410-1568431971/watcher-4392410-1568431971 -o /tmp/evaluation-result-4392410-1568431971/solver-4392410-1568431971 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node141-1568427839-5017 --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-4392410-1568431971.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=5929, runsolver pid=5926 [startup+0.100153 s]* /proc/loadavg: 7.57 8.08 7.84 2/213 5951 /proc/meminfo: memFree=31205164/32770624 swapFree=66919284/67108860 [pid=5929] ppid=5926 vsize=113128 memory=1392 CPUtime=0 cores=0-7 /proc/5929/stat : 5929 (scop.sh) S 5926 5929 4990 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 419135017 115843072 348 33554432000 4194304 5098028 140724276264016 140724276261272 140346227094140 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 21692416 140724276265765 140724276266092 140724276266092 140724276269005 0 /proc/5929/statm: 28282 348 296 221 0 87 0 [pid=5932] ppid=5929 vsize=27314120 memory=105048 CPUtime=0.11 cores=0-7 /proc/5932/stat : 5932 (java) S 5929 5929 4990 0 -1 1077944320 6883 0 0 0 8 3 0 0 20 0 20 0 419135017 27969658880 26262 33554432000 4194304 4196468 140733739405408 140733739387952 139684019941111 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25079808 140733739410156 140733739410582 140733739410582 140733739413455 0 /proc/5932/statm: 6828530 26262 2774 1 0 6790935 0 [pid=5932/tid=5933] ppid=5929 vsize=27314120 memory=8317482817917895235 CPUtime=0.08 cores=0-7 /proc/5932/task/5933/stat : 5933 (java) R 5929 5929 4990 0 -1 4202560 4992 0 0 0 6 2 0 0 20 0 20 0 419135018 27969658880 26262 33554432000 4194304 4196468 140733739405408 139683991759488 139684019963037 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25079808 140733739410156 140733739410582 140733739410582 140733739413455 0 [pid=5932/tid=5934] ppid=5929 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/5932/task/5934/stat : 5934 (java) S 5929 5929 4990 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419135020 27969658880 26262 33554432000 4194304 4196468 140733739405408 139684024183440 139684019951317 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25079808 140733739410156 140733739410582 140733739410582 140733739413455 0 [pid=5932/tid=5935] ppid=5929 vsize=27314120 memory=139814565693056 CPUtime=0 cores=0-7 /proc/5932/task/5935/stat : 5935 (java) S 5929 5929 4990 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419135020 27969658880 26262 33554432000 4194304 4196468 140733739405408 139683838339600 139684019951317 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25079808 140733739410156 140733739410582 140733739410582 140733739413455 0 [pid=5932/tid=5936] ppid=5929 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5932/task/5936/stat : 5936 (java) S 5929 5929 4990 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419135020 27969658880 26262 33554432000 4194304 4196468 140733739405408 139683837286800 139684019951317 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25079808 140733739410156 140733739410582 140733739410582 140733739413455 0 [pid=5932/tid=5937] ppid=5929 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5932/task/5937/stat : 5937 (java) S 5929 5929 4990 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419135020 27969658880 26262 33554432000 4194304 4196468 140733739405408 139683836234000 139684019951317 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25079808 140733739410156 140733739410582 140733739410582 140733739413455 0 [pid=5932/tid=5938] ppid=5929 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5932/task/5938/stat : 5938 (java) S 5929 5929 4990 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419135020 27969658880 26262 33554432000 4194304 4196468 140733739405408 139683835182224 139684019951317 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25079808 140733739410156 140733739410582 140733739410582 140733739413455 0 [pid=5932/tid=5939] ppid=5929 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/5932/task/5939/stat : 5939 (java) S 5929 5929 4990 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419135020 27969658880 26262 33554432000 4194304 4196468 140733739405408 139683834129424 139684019951317 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25079808 140733739410156 140733739410582 140733739410582 140733739413455 0 [pid=5932/tid=5940] ppid=5929 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5932/task/5940/stat : 5940 (java) S 5929 5929 4990 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419135020 27969658880 26262 33554432000 4194304 4196468 140733739405408 139683833076624 139684019951317 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25079808 140733739410156 140733739410582 140733739410582 140733739413455 0 [pid=5932/tid=5941] ppid=5929 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5932/task/5941/stat : 5941 (java) S 5929 5929 4990 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419135020 27969658880 26262 33554432000 4194304 4196468 140733739405408 139683832023824 139684019951317 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25079808 140733739410156 140733739410582 140733739410582 140733739413455 0 [pid=5932/tid=5942] ppid=5929 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5932/task/5942/stat : 5942 (java) S 5929 5929 4990 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419135022 27969658880 26262 33554432000 4194304 4196468 140733739405408 139682541136240 139684019952258 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25079808 140733739410156 140733739410582 140733739410582 140733739413455 0 [pid=5932/tid=5943] ppid=5929 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5932/task/5943/stat : 5943 (java) S 5929 5929 4990 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419135022 27969658880 26262 33554432000 4194304 4196468 140733739405408 139681664590880 139684019951317 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25079808 140733739410156 140733739410582 140733739410582 140733739413455 0 [pid=5932/tid=5944] ppid=5929 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5932/task/5944/stat : 5944 (java) S 5929 5929 4990 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419135022 27969658880 26262 33554432000 4194304 4196468 140733739405408 139681530368880 139684019951317 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25079808 140733739410156 140733739410582 140733739410582 140733739413455 0 [pid=5932/tid=5945] ppid=5929 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5932/task/5945/stat : 5945 (java) S 5929 5929 4990 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419135025 27969658880 26262 33554432000 4194304 4196468 140733739405408 139681155864400 139684019959707 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25079808 140733739410156 140733739410582 140733739410582 140733739413455 0 [pid=5932/tid=5946] ppid=5929 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5932/task/5946/stat : 5946 (java) S 5929 5929 4990 0 -1 1077944384 286 0 0 0 0 0 0 0 20 0 20 0 419135025 27969658880 26262 33554432000 4194304 4196468 140733739405408 139682540084080 139684019952258 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25079808 140733739410156 140733739410582 140733739410582 140733739413455 0 [pid=5932/tid=5947] ppid=5929 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5932/task/5947/stat : 5947 (java) S 5929 5929 4990 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419135025 27969658880 26262 33554432000 4194304 4196468 140733739405408 139682539031280 139684019952258 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25079808 140733739410156 140733739410582 140733739410582 140733739413455 0 [pid=5932/tid=5948] ppid=5929 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5932/task/5948/stat : 5948 (java) S 5929 5929 4990 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419135025 27969658880 26262 33554432000 4194304 4196468 140733739405408 139682469898864 139684019952258 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25079808 140733739410156 140733739410582 140733739410582 140733739413455 0 [pid=5932/tid=5949] ppid=5929 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5932/task/5949/stat : 5949 (java) R 5929 5929 4990 0 -1 4202560 258 0 0 0 0 0 0 0 20 0 20 0 419135025 27969658880 26327 33554432000 4194304 4196468 140733739405408 139682468846064 139683998309780 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25079808 140733739410156 140733739410582 140733739410582 140733739413455 0 [pid=5932/tid=5950] ppid=5929 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5932/task/5950/stat : 5950 (java) S 5929 5929 4990 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419135025 27969658880 26327 33554432000 4194304 4196468 140733739405408 139680657959520 139684019951317 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25079808 140733739410156 140733739410582 140733739410582 140733739413455 0 [pid=5932/tid=5951] ppid=5929 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/5932/task/5951/stat : 5951 (java) S 5929 5929 4990 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419135026 27969658880 26327 33554432000 4194304 4196468 140733739405408 139682467793456 139684019952258 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25079808 140733739410156 140733739410582 140733739410582 140733739413455 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 106440 KiB [startup+0.209955 s]* /proc/loadavg: 7.57 8.08 7.84 4/213 5951 /proc/meminfo: memFree=31181804/32770624 swapFree=66919284/67108860 [pid=5929] ppid=5926 vsize=113128 memory=1392 CPUtime=0 cores=0-7 /proc/5929/stat : 5929 (scop.sh) S 5926 5929 4990 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 419135017 115843072 348 33554432000 4194304 5098028 140724276264016 140724276261272 140346227094140 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 21692416 140724276265765 140724276266092 140724276266092 140724276269005 0 /proc/5929/statm: 28282 348 296 221 0 87 0 [pid=5932] ppid=5929 vsize=27314120 memory=124444 CPUtime=0.24 cores=0-7 /proc/5932/stat : 5932 (java) S 5929 5929 4990 0 -1 1077944320 12538 0 0 0 20 4 0 0 20 0 20 0 419135017 27969658880 31111 33554432000 4194304 4196468 140733739405408 140733739387952 139684019941111 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25079808 140733739410156 140733739410582 140733739410582 140733739413455 0 /proc/5932/statm: 6828530 31111 2931 1 0 6790935 0 [pid=5932/tid=5933] ppid=5929 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/5932/task/5933/stat : 5933 (java) R 5929 5929 4990 0 -1 4202560 10252 0 0 0 16 3 0 0 20 0 20 0 419135018 27969658880 31111 33554432000 4194304 4196468 140733739405408 139683991740496 139684001504649 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25079808 140733739410156 140733739410582 140733739410582 140733739413455 0 [pid=5932/tid=5934] ppid=5929 vsize=27314120 memory=331 CPUtime=0 cores=0-7 /proc/5932/task/5934/stat : 5934 (java) S 5929 5929 4990 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419135020 27969658880 31111 33554432000 4194304 4196468 140733739405408 139684024183440 139684019951317 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25079808 140733739410156 140733739410582 140733739410582 140733739413455 0 [pid=5932/tid=5935] ppid=5929 vsize=27314120 memory=139814565699245 CPUtime=0 cores=0-7 /proc/5932/task/5935/stat : 5935 (java) S 5929 5929 4990 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419135020 27969658880 31111 33554432000 4194304 4196468 140733739405408 139683838339600 139684019951317 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25079808 140733739410156 140733739410582 140733739410582 140733739413455 0 [pid=5932/tid=5936] ppid=5929 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/5932/task/5936/stat : 5936 (java) S 5929 5929 4990 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419135020 27969658880 31111 33554432000 4194304 4196468 140733739405408 139683837286800 139684019951317 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25079808 140733739410156 140733739410582 140733739410582 140733739413455 0 [pid=5932/tid=5937] ppid=5929 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5932/task/5937/stat : 5937 (java) S 5929 5929 4990 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419135020 27969658880 31111 33554432000 4194304 4196468 140733739405408 139683836234000 139684019951317 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25079808 140733739410156 140733739410582 140733739410582 140733739413455 0 [pid=5932/tid=5938] ppid=5929 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5932/task/5938/stat : 5938 (java) S 5929 5929 4990 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419135020 27969658880 31111 33554432000 4194304 4196468 140733739405408 139683835182224 139684019951317 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25079808 140733739410156 140733739410582 140733739410582 140733739413455 0 [pid=5932/tid=5939] ppid=5929 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/5932/task/5939/stat : 5939 (java) S 5929 5929 4990 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419135020 27969658880 31111 33554432000 4194304 4196468 140733739405408 139683834129424 139684019951317 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25079808 140733739410156 140733739410582 140733739410582 140733739413455 0 [pid=5932/tid=5940] ppid=5929 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5932/task/5940/stat : 5940 (java) S 5929 5929 4990 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419135020 27969658880 31111 33554432000 4194304 4196468 140733739405408 139683833076624 139684019951317 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25079808 140733739410156 140733739410582 140733739410582 140733739413455 0 [pid=5932/tid=5941] ppid=5929 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5932/task/5941/stat : 5941 (java) S 5929 5929 4990 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419135020 27969658880 31111 33554432000 4194304 4196468 140733739405408 139683832023824 139684019951317 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25079808 140733739410156 140733739410582 140733739410582 140733739413455 0 [pid=5932/tid=5942] ppid=5929 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5932/task/5942/stat : 5942 (java) S 5929 5929 4990 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419135022 27969658880 31111 33554432000 4194304 4196468 140733739405408 139682541136240 139684019952258 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25079808 140733739410156 140733739410582 140733739410582 140733739413455 0 [pid=5932/tid=5943] ppid=5929 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5932/task/5943/stat : 5943 (java) S 5929 5929 4990 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419135022 27969658880 31111 33554432000 4194304 4196468 140733739405408 139681664590880 139684019951317 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25079808 140733739410156 140733739410582 140733739410582 140733739413455 0 [pid=5932/tid=5944] ppid=5929 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5932/task/5944/stat : 5944 (java) S 5929 5929 4990 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419135022 27969658880 31111 33554432000 4194304 4196468 140733739405408 139681530368880 139684019951317 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25079808 140733739410156 140733739410582 140733739410582 140733739413455 0 [pid=5932/tid=5945] ppid=5929 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5932/task/5945/stat : 5945 (java) S 5929 5929 4990 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419135025 27969658880 31111 33554432000 4194304 4196468 140733739405408 139681155864400 139684019959707 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25079808 140733739410156 140733739410582 140733739410582 140733739413455 0 [pid=5932/tid=5946] ppid=5929 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5932/task/5946/stat : 5946 (java) S 5929 5929 4990 0 -1 1077944384 450 0 0 0 0 0 0 0 20 0 20 0 419135025 27969658880 31111 33554432000 4194304 4196468 140733739405408 139682540084080 139684019952258 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25079808 140733739410156 140733739410582 140733739410582 140733739413455 0 [pid=5932/tid=5947] ppid=5929 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5932/task/5947/stat : 5947 (java) S 5929 5929 4990 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 20 0 419135025 27969658880 31111 33554432000 4194304 4196468 140733739405408 139682539031280 139684019952258 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25079808 140733739410156 140733739410582 140733739410582 140733739413455 0 [pid=5932/tid=5948] ppid=5929 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/5932/task/5948/stat : 5948 (java) S 5929 5929 4990 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419135025 27969658880 31111 33554432000 4194304 4196468 140733739405408 139682469898864 139684019952258 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25079808 140733739410156 140733739410582 140733739410582 140733739413455 0 [pid=5932/tid=5949] ppid=5929 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7 /proc/5932/task/5949/stat : 5949 (java) S 5929 5929 4990 0 -1 1077944384 455 0 0 0 2 0 0 0 20 0 20 0 419135025 27969658880 31111 33554432000 4194304 4196468 140733739405408 139682468846064 139684019952258 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25079808 140733739410156 140733739410582 140733739410582 140733739413455 0 [pid=5932/tid=5950] ppid=5929 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5932/task/5950/stat : 5950 (java) S 5929 5929 4990 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419135025 27969658880 31111 33554432000 4194304 4196468 140733739405408 139680657959520 139684019951317 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25079808 140733739410156 140733739410582 140733739410582 140733739413455 0 [pid=5932/tid=5951] ppid=5929 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/5932/task/5951/stat : 5951 (java) S 5929 5929 4990 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419135026 27969658880 31111 33554432000 4194304 4196468 140733739405408 139682467793456 139684019952258 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25079808 140733739410156 140733739410582 140733739410582 140733739413455 0 Current children cumulated CPU time: 0.24 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 125836 KiB [startup+0.309493 s]* /proc/loadavg: 7.57 8.08 7.84 2/213 5951 /proc/meminfo: memFree=31179484/32770624 swapFree=66919284/67108860 [pid=5929] ppid=5926 vsize=113128 memory=1392 CPUtime=0 cores=0-7 /proc/5929/stat : 5929 (scop.sh) S 5926 5929 4990 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 419135017 115843072 348 33554432000 4194304 5098028 140724276264016 140724276261272 140346227094140 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 21692416 140724276265765 140724276266092 140724276266092 140724276269005 0 /proc/5929/statm: 28282 348 296 221 0 87 0 [pid=5932] ppid=5929 vsize=27314120 memory=128048 CPUtime=0.42 cores=0-7 /proc/5932/stat : 5932 (java) S 5929 5929 4990 0 -1 1077944320 12892 0 0 0 38 4 0 0 20 0 20 0 419135017 27969658880 32012 33554432000 4194304 4196468 140733739405408 140733739387952 139684019941111 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25079808 140733739410156 140733739410582 140733739410582 140733739413455 0 /proc/5932/statm: 6828530 32012 3034 1 0 6790935 0 [pid=5932/tid=5933] ppid=5929 vsize=27314120 memory=8317482817917895235 CPUtime=0.3 cores=0-7 /proc/5932/task/5933/stat : 5933 (java) R 5929 5929 4990 0 -1 4202560 10438 0 0 0 26 4 0 0 20 0 20 0 419135018 27969658880 32012 33554432000 4194304 4196468 140733739405408 139683991768912 139684004021598 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25079808 140733739410156 140733739410582 140733739410582 140733739413455 0 [pid=5932/tid=5934] ppid=5929 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5932/task/5934/stat : 5934 (java) S 5929 5929 4990 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419135020 27969658880 32012 33554432000 4194304 4196468 140733739405408 139684024183440 139684019951317 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25079808 140733739410156 140733739410582 140733739410582 140733739413455 0 [pid=5932/tid=5935] ppid=5929 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5932/task/5935/stat : 5935 (java) S 5929 5929 4990 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419135020 27969658880 32012 33554432000 4194304 4196468 140733739405408 139683838339600 139684019951317 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25079808 140733739410156 140733739410582 140733739410582 140733739413455 0 [pid=5932/tid=5936] ppid=5929 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5932/task/5936/stat : 5936 (java) S 5929 5929 4990 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419135020 27969658880 32012 33554432000 4194304 4196468 140733739405408 139683837286800 139684019951317 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25079808 140733739410156 140733739410582 140733739410582 140733739413455 0 [pid=5932/tid=5937] ppid=5929 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5932/task/5937/stat : 5937 (java) S 5929 5929 4990 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419135020 27969658880 32012 33554432000 4194304 4196468 140733739405408 139683836234000 139684019951317 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25079808 140733739410156 140733739410582 140733739410582 140733739413455 0 [pid=5932/tid=5938] ppid=5929 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5932/task/5938/stat : 5938 (java) S 5929 5929 4990 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419135020 27969658880 32012 33554432000 4194304 4196468 140733739405408 139683835182224 139684019951317 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25079808 140733739410156 140733739410582 140733739410582 140733739413455 0 [pid=5932/tid=5939] ppid=5929 vsize=27314120 memory=139814406023855 CPUtime=0 cores=0-7 /proc/5932/task/5939/stat : 5939 (java) S 5929 5929 4990 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419135020 27969658880 32012 33554432000 4194304 4196468 140733739405408 139683834129424 139684019951317 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25079808 140733739410156 140733739410582 140733739410582 140733739413455 0 [pid=5932/tid=5940] ppid=5929 vsize=27314120 memory=139814406026160 CPUtime=0 cores=0-7 /proc/5932/task/5940/stat : 5940 (java) S 5929 5929 4990 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419135020 27969658880 32012 33554432000 4194304 4196468 140733739405408 139683833076624 139684019951317 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25079808 140733739410156 140733739410582 140733739410582 140733739413455 0 [pid=5932/tid=5941] ppid=5929 vsize=27314120 memory=139814406028464 CPUtime=0 cores=0-7 /proc/5932/task/5941/stat : 5941 (java) S 5929 5929 4990 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419135020 27969658880 32012 33554432000 4194304 4196468 140733739405408 139683832023824 139684019951317 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25079808 140733739410156 140733739410582 140733739410582 140733739413455 0 [pid=5932/tid=5942] ppid=5929 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5932/task/5942/stat : 5942 (java) S 5929 5929 4990 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419135022 27969658880 32012 33554432000 4194304 4196468 140733739405408 139682541136240 139684019952258 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25079808 140733739410156 140733739410582 140733739410582 140733739413455 0 [pid=5932/tid=5943] ppid=5929 vsize=27314120 memory=279628812070800 CPUtime=0 cores=0-7 /proc/5932/task/5943/stat : 5943 (java) S 5929 5929 4990 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419135022 27969658880 32012 33554432000 4194304 4196468 140733739405408 139681664590880 139684019951317 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25079808 140733739410156 140733739410582 140733739410582 140733739413455 0 [pid=5932/tid=5944] ppid=5929 vsize=27314120 memory=279628812068496 CPUtime=0 cores=0-7 /proc/5932/task/5944/stat : 5944 (java) S 5929 5929 4990 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419135022 27969658880 32012 33554432000 4194304 4196468 140733739405408 139681530368880 139684019951317 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25079808 140733739410156 140733739410582 140733739410582 140733739413455 0 [pid=5932/tid=5945] ppid=5929 vsize=27314120 memory=279628812075408 CPUtime=0 cores=0-7 /proc/5932/task/5945/stat : 5945 (java) S 5929 5929 4990 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419135025 27969658880 32012 33554432000 4194304 4196468 140733739405408 139681155864400 139684019959707 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25079808 140733739410156 140733739410582 140733739410582 140733739413455 0 [pid=5932/tid=5946] ppid=5929 vsize=27314120 memory=279628812016688 CPUtime=0.01 cores=0-7 /proc/5932/task/5946/stat : 5946 (java) S 5929 5929 4990 0 -1 1077944384 498 0 0 0 1 0 0 0 20 0 20 0 419135025 27969658880 32012 33554432000 4194304 4196468 140733739405408 139682540084080 139684019952258 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25079808 140733739410156 140733739410582 140733739410582 140733739413455 0 [pid=5932/tid=5947] ppid=5929 vsize=27314120 memory=279628812089232 CPUtime=0.01 cores=0-7 /proc/5932/task/5947/stat : 5947 (java) R 5929 5929 4990 0 -1 4202560 97 0 0 0 1 0 0 0 20 0 20 0 419135025 27969658880 32012 33554432000 4194304 4196468 140733739405408 139682539031280 139684003467779 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25079808 140733739410156 140733739410582 140733739410582 140733739413455 0 [pid=5932/tid=5948] ppid=5929 vsize=27314120 memory=279628812096144 CPUtime=0 cores=0-7 /proc/5932/task/5948/stat : 5948 (java) S 5929 5929 4990 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 20 0 419135025 27969658880 32012 33554432000 4194304 4196468 140733739405408 139682469898864 139684019952258 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25079808 140733739410156 140733739410582 140733739410582 140733739413455 0 [pid=5932/tid=5949] ppid=5929 vsize=27314120 memory=279628812093840 CPUtime=0.07 cores=0-7 /proc/5932/task/5949/stat : 5949 (java) S 5929 5929 4990 0 -1 1077944384 476 0 0 0 7 0 0 0 20 0 20 0 419135025 27969658880 32012 33554432000 4194304 4196468 140733739405408 139682468846064 139684019952258 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25079808 140733739410156 140733739410582 140733739410582 140733739413455 0 [pid=5932/tid=5950] ppid=5929 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5932/task/5950/stat : 5950 (java) S 5929 5929 4990 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419135025 27969658880 32012 33554432000 4194304 4196468 140733739405408 139680657959520 139684019951317 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25079808 140733739410156 140733739410582 140733739410582 140733739413455 0 [pid=5932/tid=5951] ppid=5929 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/5932/task/5951/stat : 5951 (java) S 5929 5929 4990 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419135026 27969658880 32012 33554432000 4194304 4196468 140733739405408 139682467793456 139684019952258 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25079808 140733739410156 140733739410582 140733739410582 140733739413455 0 Current children cumulated CPU time: 0.42 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 129440 KiB [startup+0.700902 s] /proc/loadavg: 7.57 8.08 7.84 3/213 5951 /proc/meminfo: memFree=31158512/32770624 swapFree=66919284/67108860 [pid=5929] ppid=5926 vsize=113128 memory=1392 CPUtime=0 cores=0-7 /proc/5929/stat : 5929 (scop.sh) S 5926 5929 4990 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 419135017 115843072 348 33554432000 4194304 5098028 140724276264016 140724276261272 140346227094140 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 21692416 140724276265765 140724276266092 140724276266092 140724276269005 0 /proc/5929/statm: 28282 348 296 221 0 87 0 [pid=5932] ppid=5929 vsize=27320392 memory=163252 CPUtime=0.99 cores=0-7 /proc/5932/stat : 5932 (java) S 5929 5929 4990 0 -1 1077944320 20434 0 0 0 91 8 0 0 20 0 20 0 419135017 27976081408 40813 33554432000 4194304 4196468 140733739405408 140733739387952 139684019941111 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25079808 140733739410156 140733739410582 140733739410582 140733739413455 0 /proc/5932/statm: 6830098 40813 3183 1 0 6791447 0 [pid=5932/tid=5933] ppid=5929 vsize=27320392 memory=0 CPUtime=0.68 cores=0-7 /proc/5932/task/5933/stat : 5933 (java) R 5929 5929 4990 0 -1 4202560 17431 0 0 0 61 7 0 0 20 0 20 0 419135018 27976081408 40813 33554432000 4194304 4196468 140733739405408 139683991771088 139683493419980 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25079808 140733739410156 140733739410582 140733739410582 140733739413455 0 [pid=5932/tid=5934] ppid=5929 vsize=27320392 memory=139814406234992 CPUtime=0 cores=0-7 /proc/5932/task/5934/stat : 5934 (java) S 5929 5929 4990 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419135020 27976081408 40813 33554432000 4194304 4196468 140733739405408 139684024183440 139684019951317 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25079808 140733739410156 140733739410582 140733739410582 140733739413455 0 [pid=5932/tid=5935] ppid=5929 vsize=27320392 memory=0 CPUtime=0 cores=0-7 /proc/5932/task/5935/stat : 5935 (java) S 5929 5929 4990 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419135020 27976081408 40813 33554432000 4194304 4196468 140733739405408 139683838339600 139684019951317 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25079808 140733739410156 140733739410582 140733739410582 140733739413455 0 [pid=5932/tid=5936] ppid=5929 vsize=27320392 memory=1560 CPUtime=0 cores=0-7 /proc/5932/task/5936/stat : 5936 (java) S 5929 5929 4990 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419135020 27976081408 40813 33554432000 4194304 4196468 140733739405408 139683837286800 139684019951317 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25079808 140733739410156 140733739410582 140733739410582 140733739413455 0 ################ # More data... # ################ /proc/5929/statm: 28282 368 311 221 0 87 0 [pid=6055] ppid=5929 vsize=8283048 memory=334124 CPUtime=125.13 cores=0-7 /proc/6055/stat : 6055 (java) S 5929 5929 4990 0 -1 1077944320 22981 4382313 0 0 207 17 11722 567 20 0 22 0 419271598 8481841152 83531 33554432000 4194304 4196468 140723441033296 140723441015840 140384530632439 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 20639744 140723441038328 140723441038486 140723441038486 140723441041359 0 /proc/6055/statm: 2070762 83531 3234 1 0 2032106 0 [pid=6055/tid=6056] ppid=5929 vsize=8283048 memory=171158 CPUtime=123.79 cores=0-7 /proc/6055/task/6056/stat : 6056 (java) R 5929 5929 4990 0 -1 4202560 18203 4382313 0 0 83 7 11722 567 20 0 22 0 419271598 8481841152 83531 33554432000 4194304 4196468 140723441033296 140384502462032 140384530653786 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20639744 140723441038328 140723441038486 140723441038486 140723441041359 0 [pid=6055/tid=6057] ppid=5929 vsize=8283048 memory=0 CPUtime=122.89 cores=0-7 /proc/6055/task/6057/stat : 6057 (java) S 5929 5929 4990 0 -1 1077944384 2 4382313 0 0 0 0 11722 567 20 0 22 0 419271600 8481841152 83531 33554432000 4194304 4196468 140723441033296 140384534874384 140384530642645 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20639744 140723441038328 140723441038486 140723441038486 140723441041359 0 [pid=6055/tid=6058] ppid=5929 vsize=8283048 memory=0 CPUtime=122.89 cores=0-7 /proc/6055/task/6058/stat : 6058 (java) S 5929 5929 4990 0 -1 1077944384 2 4382313 0 0 0 0 11722 567 20 0 22 0 419271600 8481841152 83531 33554432000 4194304 4196468 140723441033296 140384016091536 140384530642645 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20639744 140723441038328 140723441038486 140723441038486 140723441041359 0 [pid=6055/tid=6059] ppid=5929 vsize=8283048 memory=8112282956445269571 CPUtime=122.89 cores=0-7 /proc/6055/task/6059/stat : 6059 (java) S 5929 5929 4990 0 -1 1077944384 2 4382313 0 0 0 0 11722 567 20 0 22 0 419271600 8481841152 83531 33554432000 4194304 4196468 140723441033296 140384015038992 140384530642645 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20639744 140723441038328 140723441038486 140723441038486 140723441041359 0 [pid=6055/tid=6060] ppid=5929 vsize=8283048 memory=1472 CPUtime=122.89 cores=0-7 /proc/6055/task/6060/stat : 6060 (java) S 5929 5929 4990 0 -1 1077944384 1 4382313 0 0 0 0 11722 567 20 0 22 0 419271600 8481841152 83531 33554432000 4194304 4196468 140723441033296 140384013986448 140384530642645 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20639744 140723441038328 140723441038486 140723441038486 140723441041359 0 [pid=6055/tid=6061] ppid=5929 vsize=8283048 memory=120552 CPUtime=122.89 cores=0-7 /proc/6055/task/6061/stat : 6061 (java) S 5929 5929 4990 0 -1 1077944384 2 4382313 0 0 0 0 11722 567 20 0 22 0 419271600 8481841152 83531 33554432000 4194304 4196468 140723441033296 140384012933904 140384530642645 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20639744 140723441038328 140723441038486 140723441038486 140723441041359 0 [pid=6055/tid=6062] ppid=5929 vsize=8283048 memory=1472 CPUtime=122.89 cores=0-7 /proc/6055/task/6062/stat : 6062 (java) S 5929 5929 4990 0 -1 1077944384 1 4382313 0 0 0 0 11722 567 20 0 22 0 419271600 8481841152 83531 33554432000 4194304 4196468 140723441033296 140384011881360 140384530642645 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20639744 140723441038328 140723441038486 140723441038486 140723441041359 0 [pid=6055/tid=6063] ppid=5929 vsize=8283048 memory=23084 CPUtime=122.89 cores=0-7 /proc/6055/task/6063/stat : 6063 (java) S 5929 5929 4990 0 -1 1077944384 2 4382313 0 0 0 0 11722 567 20 0 22 0 419271600 8481841152 83531 33554432000 4194304 4196468 140723441033296 140384010828816 140384530642645 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20639744 140723441038328 140723441038486 140723441038486 140723441041359 0 [pid=6055/tid=6064] ppid=5929 vsize=8283048 memory=988 CPUtime=122.89 cores=0-7 /proc/6055/task/6064/stat : 6064 (java) S 5929 5929 4990 0 -1 1077944384 3 4382313 0 0 0 0 11722 567 20 0 22 0 419271600 8481841152 83531 33554432000 4194304 4196468 140723441033296 140384009776272 140384530642645 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20639744 140723441038328 140723441038486 140723441038486 140723441041359 0 [pid=6055/tid=6065] ppid=5929 vsize=8283048 memory=2012 CPUtime=122.89 cores=0-7 /proc/6055/task/6065/stat : 6065 (java) S 5929 5929 4990 0 -1 1077944384 9 4382313 0 0 0 0 11722 567 20 0 22 0 419271601 8481841152 83531 33554432000 4194304 4196468 140723441033296 140383757527024 140384530643586 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 9 0 0 6293624 6294260 20639744 140723441038328 140723441038486 140723441038486 140723441041359 0 [pid=6055/tid=6066] ppid=5929 vsize=8283048 memory=1324 CPUtime=122.89 cores=0-7 /proc/6055/task/6066/stat : 6066 (java) S 5929 5929 4990 0 -1 1077944384 13 4382313 0 0 0 0 11722 567 20 0 22 0 419271602 8481841152 83531 33554432000 4194304 4196468 140723441033296 140382818001824 140384530642645 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20639744 140723441038328 140723441038486 140723441038486 140723441041359 0 [pid=6055/tid=6067] ppid=5929 vsize=8283048 memory=1472 CPUtime=122.89 cores=0-7 /proc/6055/task/6067/stat : 6067 (java) S 5929 5929 4990 0 -1 1077944384 21 4382313 0 0 0 0 11722 567 20 0 22 0 419271602 8481841152 83531 33554432000 4194304 4196468 140723441033296 140382683780080 140384530642645 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20639744 140723441038328 140723441038486 140723441038486 140723441041359 0 [pid=6055/tid=6068] ppid=5929 vsize=8283048 memory=3616 CPUtime=122.89 cores=0-7 /proc/6055/task/6068/stat : 6068 (java) S 5929 5929 4990 0 -1 1077944384 1 4382313 0 0 0 0 11722 567 20 0 22 0 419271605 8481841152 83531 33554432000 4194304 4196468 140723441033296 140382309275856 140384530651035 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20639744 140723441038328 140723441038486 140723441038486 140723441041359 0 [pid=6055/tid=6069] ppid=5929 vsize=8283048 memory=23084 CPUtime=123.09 cores=0-7 /proc/6055/task/6069/stat : 6069 (java) S 5929 5929 4990 0 -1 1077944384 926 4382313 0 0 20 0 11722 567 20 0 22 0 419271605 8481841152 83531 33554432000 4194304 4196468 140723441033296 140383756474864 140384530643586 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20639744 140723441038328 140723441038486 140723441038486 140723441041359 0 [pid=6055/tid=6070] ppid=5929 vsize=8283048 memory=988 CPUtime=123.02 cores=0-7 /proc/6055/task/6070/stat : 6070 (java) S 5929 5929 4990 0 -1 1077944384 423 4382313 0 0 13 0 11722 567 20 0 22 0 419271605 8481841152 83531 33554432000 4194304 4196468 140723441033296 140383755422320 140384530643586 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20639744 140723441038328 140723441038486 140723441038486 140723441041359 0 [pid=6055/tid=6071] ppid=5929 vsize=8283048 memory=2012 CPUtime=123.08 cores=0-7 /proc/6055/task/6071/stat : 6071 (java) R 5929 5929 4990 0 -1 4202560 617 4382313 0 0 19 0 11722 567 20 0 22 0 419271605 8481841152 83531 33554432000 4194304 4196468 140723441033296 140383754369776 140384530653786 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20639744 140723441038328 140723441038486 140723441038486 140723441041359 0 [pid=6055/tid=6072] ppid=5929 vsize=8283048 memory=7686721470317696409 CPUtime=123.21 cores=0-7 /proc/6055/task/6072/stat : 6072 (java) S 5929 5929 4990 0 -1 1077944384 1225 4382313 0 0 31 1 11722 567 20 0 22 0 419271605 8481841152 83531 33554432000 4194304 4196468 140723441033296 140383753317232 140384530643586 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20639744 140723441038328 140723441038486 140723441038486 140723441041359 0 [pid=6055/tid=6073] ppid=5929 vsize=8283048 memory=1704 CPUtime=122.89 cores=0-7 /proc/6055/task/6073/stat : 6073 (java) S 5929 5929 4990 0 -1 1077944384 3 4382313 0 0 0 0 11722 567 20 0 22 0 419271605 8481841152 83531 33554432000 4194304 4196468 140723441033296 140381811370208 140384530642645 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20639744 140723441038328 140723441038486 140723441038486 140723441041359 0 [pid=6055/tid=6074] ppid=5929 vsize=8283048 memory=5936 CPUtime=122.92 cores=0-7 /proc/6055/task/6074/stat : 6074 (java) S 5929 5929 4990 0 -1 1077944384 9 4382313 0 0 1 2 11722 567 20 0 22 0 419271605 8481841152 83531 33554432000 4194304 4196468 140723441033296 140383752264112 140384530643586 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 13 0 0 6293624 6294260 20639744 140723441038328 140723441038486 140723441038486 140723441041359 0 [pid=6055/tid=6076] ppid=5929 vsize=8283048 memory=588 CPUtime=122.89 cores=0-7 /proc/6055/task/6076/stat : 6076 (java) S 5929 5929 4990 0 -1 1077944384 23 4382313 0 0 0 0 11722 567 20 0 22 0 419271675 8481841152 83531 33554432000 4194304 4196468 140723441033296 140383824920976 140384530643586 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20639744 140723441038328 140723441038486 140723441038486 140723441041359 0 [pid=6055/tid=6080] ppid=5929 vsize=8283048 memory=780 CPUtime=122.89 cores=0-7 /proc/6055/task/6080/stat : 6080 (java) S 5929 5929 4990 0 -1 1077944384 13 4382313 0 0 0 0 11722 567 20 0 22 0 419271678 8481841152 83531 33554432000 4194304 4196468 140723441033296 140380871845296 140384530643586 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20639744 140723441038328 140723441038486 140723441038486 140723441041359 0 Current children cumulated CPU time: 1836.71 s Current children cumulated vsize: 8396176 KiB Current children cumulated memory: 335596 KiB [startup+1489.8 s] /proc/loadavg: 1.03 1.14 2.48 3/217 6088 /proc/meminfo: memFree=21959232/32770624 swapFree=66919308/67108860 [pid=5929] ppid=5926 vsize=113128 memory=1472 CPUtime=1711.58 cores=0-7 /proc/5929/stat : 5929 (scop.sh) S 5926 5929 4990 0 -1 4202496 582 518989 0 0 0 0 166097 5061 20 0 1 0 419135017 115843072 368 33554432000 4194304 5098028 140724276264016 140724276260760 140346227094140 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 21692416 140724276265765 140724276266092 140724276266092 140724276269005 0 /proc/5929/statm: 28282 368 311 221 0 87 0 [pid=6055] ppid=5929 vsize=8283048 memory=339132 CPUtime=125.43 cores=0-7 /proc/6055/stat : 6055 (java) S 5929 5929 4990 0 -1 1077944320 24185 4382313 0 0 224 30 11722 567 20 0 22 0 419271598 8481841152 84783 33554432000 4194304 4196468 140723441033296 140723441015840 140384530632439 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 20639744 140723441038328 140723441038486 140723441038486 140723441041359 0 /proc/6055/statm: 2070762 84783 3235 1 0 2032106 0 [pid=6055/tid=6056] ppid=5929 vsize=8283048 memory=120552 CPUtime=123.99 cores=0-7 /proc/6055/task/6056/stat : 6056 (java) R 5929 5929 4990 0 -1 4202560 19253 4382313 0 0 91 19 11722 567 20 0 22 0 419271598 8481841152 84783 33554432000 4194304 4196468 140723441033296 140384502459168 140384523318071 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20639744 140723441038328 140723441038486 140723441038486 140723441041359 0 [pid=6055/tid=6057] ppid=5929 vsize=8283048 memory=6758344 CPUtime=122.89 cores=0-7 /proc/6055/task/6057/stat : 6057 (java) S 5929 5929 4990 0 -1 1077944384 2 4382313 0 0 0 0 11722 567 20 0 22 0 419271600 8481841152 84783 33554432000 4194304 4196468 140723441033296 140384534874384 140384530642645 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20639744 140723441038328 140723441038486 140723441038486 140723441041359 0 [pid=6055/tid=6058] ppid=5929 vsize=8283048 memory=2432 CPUtime=122.89 cores=0-7 /proc/6055/task/6058/stat : 6058 (java) S 5929 5929 4990 0 -1 1077944384 2 4382313 0 0 0 0 11722 567 20 0 22 0 419271600 8481841152 84783 33554432000 4194304 4196468 140723441033296 140384016091536 140384530642645 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20639744 140723441038328 140723441038486 140723441038486 140723441041359 0 [pid=6055/tid=6059] ppid=5929 vsize=8283048 memory=279628812941024 CPUtime=122.89 cores=0-7 /proc/6055/task/6059/stat : 6059 (java) S 5929 5929 4990 0 -1 1077944384 2 4382313 0 0 0 0 11722 567 20 0 22 0 419271600 8481841152 84783 33554432000 4194304 4196468 140723441033296 140384015038992 140384530642645 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20639744 140723441038328 140723441038486 140723441038486 140723441041359 0 [pid=6055/tid=6060] ppid=5929 vsize=8283048 memory=28179615976170 CPUtime=122.89 cores=0-7 /proc/6055/task/6060/stat : 6060 (java) S 5929 5929 4990 0 -1 1077944384 1 4382313 0 0 0 0 11722 567 20 0 22 0 419271600 8481841152 84783 33554432000 4194304 4196468 140723441033296 140384013986448 140384530642645 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20639744 140723441038328 140723441038486 140723441038486 140723441041359 0 [pid=6055/tid=6061] ppid=5929 vsize=8283048 memory=28179615975914 CPUtime=122.89 cores=0-7 /proc/6055/task/6061/stat : 6061 (java) S 5929 5929 4990 0 -1 1077944384 2 4382313 0 0 0 0 11722 567 20 0 22 0 419271600 8481841152 84783 33554432000 4194304 4196468 140723441033296 140384012933904 140384530642645 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20639744 140723441038328 140723441038486 140723441038486 140723441041359 0 [pid=6055/tid=6062] ppid=5929 vsize=8283048 memory=28179615975914 CPUtime=122.89 cores=0-7 /proc/6055/task/6062/stat : 6062 (java) S 5929 5929 4990 0 -1 1077944384 1 4382313 0 0 0 0 11722 567 20 0 22 0 419271600 8481841152 84783 33554432000 4194304 4196468 140723441033296 140384011881360 140384530642645 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20639744 140723441038328 140723441038486 140723441038486 140723441041359 0 [pid=6055/tid=6063] ppid=5929 vsize=8283048 memory=28179615975658 CPUtime=122.89 cores=0-7 /proc/6055/task/6063/stat : 6063 (java) S 5929 5929 4990 0 -1 1077944384 2 4382313 0 0 0 0 11722 567 20 0 22 0 419271600 8481841152 84783 33554432000 4194304 4196468 140723441033296 140384010828816 140384530642645 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20639744 140723441038328 140723441038486 140723441038486 140723441041359 0 [pid=6055/tid=6064] ppid=5929 vsize=8283048 memory=1472 CPUtime=122.89 cores=0-7 /proc/6055/task/6064/stat : 6064 (java) S 5929 5929 4990 0 -1 1077944384 3 4382313 0 0 0 0 11722 567 20 0 22 0 419271600 8481841152 84783 33554432000 4194304 4196468 140723441033296 140384009776272 140384530642645 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20639744 140723441038328 140723441038486 140723441038486 140723441041359 0 [pid=6055/tid=6065] ppid=5929 vsize=8283048 memory=120552 CPUtime=122.89 cores=0-7 /proc/6055/task/6065/stat : 6065 (java) S 5929 5929 4990 0 -1 1077944384 9 4382313 0 0 0 0 11722 567 20 0 22 0 419271601 8481841152 84783 33554432000 4194304 4196468 140723441033296 140383757527024 140384530643586 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 9 0 0 6293624 6294260 20639744 140723441038328 140723441038486 140723441038486 140723441041359 0 [pid=6055/tid=6066] ppid=5929 vsize=8283048 memory=6864936 CPUtime=122.89 cores=0-7 /proc/6055/task/6066/stat : 6066 (java) S 5929 5929 4990 0 -1 1077944384 13 4382313 0 0 0 0 11722 567 20 0 22 0 419271602 8481841152 84783 33554432000 4194304 4196468 140723441033296 140382818001824 140384530642645 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20639744 140723441038328 140723441038486 140723441038486 140723441041359 0 [pid=6055/tid=6067] ppid=5929 vsize=8283048 memory=2116 CPUtime=122.89 cores=0-7 /proc/6055/task/6067/stat : 6067 (java) S 5929 5929 4990 0 -1 1077944384 21 4382313 0 0 0 0 11722 567 20 0 22 0 419271602 8481841152 84783 33554432000 4194304 4196468 140723441033296 140382683780080 140384530642645 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20639744 140723441038328 140723441038486 140723441038486 140723441041359 0 [pid=6055/tid=6068] ppid=5929 vsize=8283048 memory=8844 CPUtime=122.89 cores=0-7 /proc/6055/task/6068/stat : 6068 (java) S 5929 5929 4990 0 -1 1077944384 1 4382313 0 0 0 0 11722 567 20 0 22 0 419271605 8481841152 84783 33554432000 4194304 4196468 140723441033296 140382309275856 140384530651035 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20639744 140723441038328 140723441038486 140723441038486 140723441041359 0 [pid=6055/tid=6069] ppid=5929 vsize=8283048 memory=1704 CPUtime=123.1 cores=0-7 /proc/6055/task/6069/stat : 6069 (java) S 5929 5929 4990 0 -1 1077944384 937 4382313 0 0 21 0 11722 567 20 0 22 0 419271605 8481841152 84783 33554432000 4194304 4196468 140723441033296 140383756474864 140384530643586 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20639744 140723441038328 140723441038486 140723441038486 140723441041359 0 [pid=6055/tid=6070] ppid=5929 vsize=8283048 memory=5936 CPUtime=123.04 cores=0-7 /proc/6055/task/6070/stat : 6070 (java) S 5929 5929 4990 0 -1 1077944384 432 4382313 0 0 15 0 11722 567 20 0 22 0 419271605 8481841152 84783 33554432000 4194304 4196468 140723441033296 140383755422320 140384530643586 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20639744 140723441038328 140723441038486 140723441038486 140723441041359 0 [pid=6055/tid=6071] ppid=5929 vsize=8283048 memory=588 CPUtime=123.09 cores=0-7 /proc/6055/task/6071/stat : 6071 (java) S 5929 5929 4990 0 -1 1077944384 627 4382313 0 0 20 0 11722 567 20 0 22 0 419271605 8481841152 84783 33554432000 4194304 4196468 140723441033296 140383754369776 140384530643586 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20639744 140723441038328 140723441038486 140723441038486 140723441041359 0 [pid=6055/tid=6072] ppid=5929 vsize=8283048 memory=780 CPUtime=123.26 cores=0-7 /proc/6055/task/6072/stat : 6072 (java) S 5929 5929 4990 0 -1 1077944384 1349 4382313 0 0 36 1 11722 567 20 0 22 0 419271605 8481841152 84783 33554432000 4194304 4196468 140723441033296 140383753317232 140384530643586 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20639744 140723441038328 140723441038486 140723441038486 140723441041359 0 [pid=6055/tid=6073] ppid=5929 vsize=8283048 memory=1056 CPUtime=122.89 cores=0-7 /proc/6055/task/6073/stat : 6073 (java) S 5929 5929 4990 0 -1 1077944384 3 4382313 0 0 0 0 11722 567 20 0 22 0 419271605 8481841152 84783 33554432000 4194304 4196468 140723441033296 140381811370208 140384530642645 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20639744 140723441038328 140723441038486 140723441038486 140723441041359 0 [pid=6055/tid=6074] ppid=5929 vsize=8283048 memory=11464 CPUtime=122.92 cores=0-7 /proc/6055/task/6074/stat : 6074 (java) S 5929 5929 4990 0 -1 1077944384 9 4382313 0 0 1 2 11722 567 20 0 22 0 419271605 8481841152 84783 33554432000 4194304 4196468 140723441033296 140383752264112 140384530643586 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 13 0 0 6293624 6294260 20639744 140723441038328 140723441038486 140723441038486 140723441041359 0 [pid=6055/tid=6076] ppid=5929 vsize=8283048 memory=4004 CPUtime=122.89 cores=0-7 /proc/6055/task/6076/stat : 6076 (java) S 5929 5929 4990 0 -1 1077944384 23 4382313 0 0 0 0 11722 567 20 0 22 0 419271675 8481841152 84783 33554432000 4194304 4196468 140723441033296 140383824920976 140384530643586 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20639744 140723441038328 140723441038486 140723441038486 140723441041359 0 [pid=6055/tid=6080] ppid=5929 vsize=8283048 memory=2828 CPUtime=122.89 cores=0-7 /proc/6055/task/6080/stat : 6080 (java) S 5929 5929 4990 0 -1 1077944384 13 4382313 0 0 0 0 11722 567 20 0 22 0 419271678 8481841152 84783 33554432000 4194304 4196468 140723441033296 140380871845296 140384530643586 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20639744 140723441038328 140723441038486 140723441038486 140723441041359 0 Current children cumulated CPU time: 1837.01 s Current children cumulated vsize: 8396176 KiB Current children cumulated memory: 340604 KiB [startup+1489.9 s] /proc/loadavg: 1.03 1.14 2.48 3/217 6088 /proc/meminfo: memFree=21959232/32770624 swapFree=66919308/67108860 [pid=5929] ppid=5926 vsize=113128 memory=1472 CPUtime=1711.58 cores=0-7 /proc/5929/stat : 5929 (scop.sh) S 5926 5929 4990 0 -1 4202496 582 518989 0 0 0 0 166097 5061 20 0 1 0 419135017 115843072 368 33554432000 4194304 5098028 140724276264016 140724276260760 140346227094140 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 21692416 140724276265765 140724276266092 140724276266092 140724276269005 0 /proc/5929/statm: 28282 368 311 221 0 87 0 [pid=6055] ppid=5929 vsize=8283048 memory=339132 CPUtime=125.53 cores=0-7 /proc/6055/stat : 6055 (java) S 5929 5929 4990 0 -1 1077944320 24185 4382313 0 0 224 40 11722 567 20 0 22 0 419271598 8481841152 84783 33554432000 4194304 4196468 140723441033296 140723441015840 140384530632439 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 20639744 140723441038328 140723441038486 140723441038486 140723441041359 0 /proc/6055/statm: 2070762 84783 3235 1 0 2032106 0 [pid=6055/tid=6056] ppid=5929 vsize=8283048 memory=316572 CPUtime=124.09 cores=0-7 /proc/6055/task/6056/stat : 6056 (java) R 5929 5929 4990 0 -1 4202560 19253 4382313 0 0 91 29 11722 567 20 0 22 0 419271598 8481841152 84783 33554432000 4194304 4196468 140723441033296 140384502459168 140384523318071 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20639744 140723441038328 140723441038486 140723441038486 140723441041359 0 [pid=6055/tid=6057] ppid=5929 vsize=8283048 memory=141808 CPUtime=122.89 cores=0-7 /proc/6055/task/6057/stat : 6057 (java) S 5929 5929 4990 0 -1 1077944384 2 4382313 0 0 0 0 11722 567 20 0 22 0 419271600 8481841152 84783 33554432000 4194304 4196468 140723441033296 140384534874384 140384530642645 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20639744 140723441038328 140723441038486 140723441038486 140723441041359 0 [pid=6055/tid=6058] ppid=5929 vsize=8283048 memory=120552 CPUtime=122.89 cores=0-7 /proc/6055/task/6058/stat : 6058 (java) S 5929 5929 4990 0 -1 1077944384 2 4382313 0 0 0 0 11722 567 20 0 22 0 419271600 8481841152 84783 33554432000 4194304 4196468 140723441033296 140384016091536 140384530642645 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20639744 140723441038328 140723441038486 140723441038486 140723441041359 0 [pid=6055/tid=6059] ppid=5929 vsize=8283048 memory=120552 CPUtime=122.89 cores=0-7 /proc/6055/task/6059/stat : 6059 (java) S 5929 5929 4990 0 -1 1077944384 2 4382313 0 0 0 0 11722 567 20 0 22 0 419271600 8481841152 84783 33554432000 4194304 4196468 140723441033296 140384015038992 140384530642645 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20639744 140723441038328 140723441038486 140723441038486 140723441041359 0 [pid=6055/tid=6060] ppid=5929 vsize=8283048 memory=120552 CPUtime=122.89 cores=0-7 /proc/6055/task/6060/stat : 6060 (java) S 5929 5929 4990 0 -1 1077944384 1 4382313 0 0 0 0 11722 567 20 0 22 0 419271600 8481841152 84783 33554432000 4194304 4196468 140723441033296 140384013986448 140384530642645 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20639744 140723441038328 140723441038486 140723441038486 140723441041359 0 [pid=6055/tid=6061] ppid=5929 vsize=8283048 memory=120552 CPUtime=122.89 cores=0-7 /proc/6055/task/6061/stat : 6061 (java) S 5929 5929 4990 0 -1 1077944384 2 4382313 0 0 0 0 11722 567 20 0 22 0 419271600 8481841152 84783 33554432000 4194304 4196468 140723441033296 140384012933904 140384530642645 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20639744 140723441038328 140723441038486 140723441038486 140723441041359 0 [pid=6055/tid=6062] ppid=5929 vsize=8283048 memory=339132 CPUtime=122.89 cores=0-7 /proc/6055/task/6062/stat : 6062 (java) S 5929 5929 4990 0 -1 1077944384 1 4382313 0 0 0 0 11722 567 20 0 22 0 419271600 8481841152 84783 33554432000 4194304 4196468 140723441033296 140384011881360 140384530642645 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20639744 140723441038328 140723441038486 140723441038486 140723441041359 0 [pid=6055/tid=6063] ppid=5929 vsize=8283048 memory=1472 CPUtime=122.89 cores=0-7 /proc/6055/task/6063/stat : 6063 (java) S 5929 5929 4990 0 -1 1077944384 2 4382313 0 0 0 0 11722 567 20 0 22 0 419271600 8481841152 84783 33554432000 4194304 4196468 140723441033296 140384010828816 140384530642645 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20639744 140723441038328 140723441038486 140723441038486 140723441041359 0 [pid=6055/tid=6064] ppid=5929 vsize=8283048 memory=0 CPUtime=122.89 cores=0-7 /proc/6055/task/6064/stat : 6064 (java) S 5929 5929 4990 0 -1 1077944384 3 4382313 0 0 0 0 11722 567 20 0 22 0 419271600 8481841152 84783 33554432000 4194304 4196468 140723441033296 140384009776272 140384530642645 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20639744 140723441038328 140723441038486 140723441038486 140723441041359 0 [pid=6055/tid=6065] ppid=5929 vsize=8283048 memory=14008 CPUtime=122.89 cores=0-7 /proc/6055/task/6065/stat : 6065 (java) S 5929 5929 4990 0 -1 1077944384 9 4382313 0 0 0 0 11722 567 20 0 22 0 419271601 8481841152 84783 33554432000 4194304 4196468 140723441033296 140383757527024 140384530643586 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 9 0 0 6293624 6294260 20639744 140723441038328 140723441038486 140723441038486 140723441041359 0 [pid=6055/tid=6066] ppid=5929 vsize=8283048 memory=14072 CPUtime=122.89 cores=0-7 /proc/6055/task/6066/stat : 6066 (java) S 5929 5929 4990 0 -1 1077944384 13 4382313 0 0 0 0 11722 567 20 0 22 0 419271602 8481841152 84783 33554432000 4194304 4196468 140723441033296 140382818001824 140384530642645 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20639744 140723441038328 140723441038486 140723441038486 140723441041359 0 [pid=6055/tid=6067] ppid=5929 vsize=8283048 memory=1472 CPUtime=122.89 cores=0-7 /proc/6055/task/6067/stat : 6067 (java) S 5929 5929 4990 0 -1 1077944384 21 4382313 0 0 0 0 11722 567 20 0 22 0 419271602 8481841152 84783 33554432000 4194304 4196468 140723441033296 140382683780080 140384530642645 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20639744 140723441038328 140723441038486 140723441038486 140723441041359 0 [pid=6055/tid=6068] ppid=5929 vsize=8283048 memory=120552 CPUtime=122.89 cores=0-7 /proc/6055/task/6068/stat : 6068 (java) S 5929 5929 4990 0 -1 1077944384 1 4382313 0 0 0 0 11722 567 20 0 22 0 419271605 8481841152 84783 33554432000 4194304 4196468 140723441033296 140382309275856 140384530651035 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20639744 140723441038328 140723441038486 140723441038486 140723441041359 0 [pid=6055/tid=6069] ppid=5929 vsize=8283048 memory=0 CPUtime=123.1 cores=0-7 /proc/6055/task/6069/stat : 6069 (java) S 5929 5929 4990 0 -1 1077944384 937 4382313 0 0 21 0 11722 567 20 0 22 0 419271605 8481841152 84783 33554432000 4194304 4196468 140723441033296 140383756474864 140384530643586 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20639744 140723441038328 140723441038486 140723441038486 140723441041359 0 [pid=6055/tid=6070] ppid=5929 vsize=8283048 memory=134 CPUtime=123.04 cores=0-7 /proc/6055/task/6070/stat : 6070 (java) S 5929 5929 4990 0 -1 1077944384 432 4382313 0 0 15 0 11722 567 20 0 22 0 419271605 8481841152 84783 33554432000 4194304 4196468 140723441033296 140383755422320 140384530643586 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20639744 140723441038328 140723441038486 140723441038486 140723441041359 0 [pid=6055/tid=6071] ppid=5929 vsize=8283048 memory=1472 CPUtime=123.09 cores=0-7 /proc/6055/task/6071/stat : 6071 (java) S 5929 5929 4990 0 -1 1077944384 627 4382313 0 0 20 0 11722 567 20 0 22 0 419271605 8481841152 84783 33554432000 4194304 4196468 140723441033296 140383754369776 140384530643586 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20639744 140723441038328 140723441038486 140723441038486 140723441041359 0 [pid=6055/tid=6072] ppid=5929 vsize=8283048 memory=120552 CPUtime=123.26 cores=0-7 /proc/6055/task/6072/stat : 6072 (java) S 5929 5929 4990 0 -1 1077944384 1349 4382313 0 0 36 1 11722 567 20 0 22 0 419271605 8481841152 84783 33554432000 4194304 4196468 140723441033296 140383753317232 140384530643586 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20639744 140723441038328 140723441038486 140723441038486 140723441041359 0 [pid=6055/tid=6073] ppid=5929 vsize=8283048 memory=23084 CPUtime=122.89 cores=0-7 /proc/6055/task/6073/stat : 6073 (java) S 5929 5929 4990 0 -1 1077944384 3 4382313 0 0 0 0 11722 567 20 0 22 0 419271605 8481841152 84783 33554432000 4194304 4196468 140723441033296 140381811370208 140384530642645 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20639744 140723441038328 140723441038486 140723441038486 140723441041359 0 [pid=6055/tid=6074] ppid=5929 vsize=8283048 memory=988 CPUtime=122.92 cores=0-7 /proc/6055/task/6074/stat : 6074 (java) S 5929 5929 4990 0 -1 1077944384 9 4382313 0 0 1 2 11722 567 20 0 22 0 419271605 8481841152 84783 33554432000 4194304 4196468 140723441033296 140383752264112 140384530643586 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 13 0 0 6293624 6294260 20639744 140723441038328 140723441038486 140723441038486 140723441041359 0 [pid=6055/tid=6076] ppid=5929 vsize=8283048 memory=1000 CPUtime=122.89 cores=0-7 /proc/6055/task/6076/stat : 6076 (java) S 5929 5929 4990 0 -1 1077944384 23 4382313 0 0 0 0 11722 567 20 0 22 0 419271675 8481841152 84783 33554432000 4194304 4196468 140723441033296 140383824920976 140384530643586 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20639744 140723441038328 140723441038486 140723441038486 140723441041359 0 [pid=6055/tid=6080] ppid=5929 vsize=8283048 memory=1560 CPUtime=122.89 cores=0-7 /proc/6055/task/6080/stat : 6080 (java) S 5929 5929 4990 0 -1 1077944384 13 4382313 0 0 0 0 11722 567 20 0 22 0 419271678 8481841152 84783 33554432000 4194304 4196468 140723441033296 140380871845296 140384530643586 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20639744 140723441038328 140723441038486 140723441038486 140723441041359 0 Current children cumulated CPU time: 1837.11 s Current children cumulated vsize: 8396176 KiB Current children cumulated memory: 340604 KiB Child status: 0 Real time (s): 1489.99 CPU time (s): 1837.22 CPU user time (s): 1780.44 CPU system time (s): 56.781 CPU usage (%): 123.305 Max. virtual memory (cumulated for all children) (KiB): 27443924 Max. memory (cumulated for all children) (KiB): 22972748 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1780.44 system time used= 56.781 maximum resident set size= 22971356 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 4926109 page faults= 0 swaps= 0 block input operations= 120 block output operations= 4567808 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 68214 involuntary context switches= 5943 # summary of solver processes directly reported to runsolver: # pid: 5929 # total CPU time (s): 1837.22 # total CPU user time (s): 1780.44 # total CPU system time (s): 56.781 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 10.2948 second user time and 13.6356 second system time The end
Begin job on node141 at 2019-09-14 05:32:09 IDJOB=4392410 IDBENCH=131451 IDSOLVER=2838 FILE ID=node141/4392410-1568431971 RUNJOBID= node141-1568427839-5017 PBS_JOBID= 21702301 Free space on /tmp= 58540 MiB SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-06-15) BENCH NAME= XCSP17/Subisomorphism/Subisomorphism-m1-si2-m4D/Subisomorphism-si2-m4Dr6-m1296-04.xml COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -order DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4392410-1568431971/watcher-4392410-1568431971 -o /tmp/evaluation-result-4392410-1568431971/solver-4392410-1568431971 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node141-1568427839-5017 --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-4392410-1568431971.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 2d28027fc76d6f94be685cc66f299382 RANDOM SEED=724551423 node141.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 : 5332.93 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 : 5332.93 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 : 5332.93 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 : 5332.93 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: 31296832 kB MemAvailable: 31842752 kB Buffers: 179020 kB Cached: 656016 kB SwapCached: 80332 kB Active: 438372 kB Inactive: 480440 kB Active(anon): 9508 kB Inactive(anon): 106128 kB Active(file): 428864 kB Inactive(file): 374312 kB Unevictable: 109464 kB Mlocked: 109464 kB SwapTotal: 67108860 kB SwapFree: 66919284 kB Dirty: 20472 kB Writeback: 0 kB AnonPages: 127368 kB Mapped: 36000 kB Shmem: 23312 kB Slab: 146832 kB SReclaimable: 117156 kB SUnreclaim: 29676 kB KernelStack: 3744 kB PageTables: 5228 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 498272 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 81920 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 128384 kB DirectMap2M: 33417216 kB Free space on /tmp at the end= 58520 MiB End job on node141 at 2019-09-14 05:57:00