Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
Fun-sCOP hybrid+ManyGlucose (2019-09-22) | SAT | 2221.21 | 1692.77 |
Name | Subisomorphism/Subisomorphism-m1-SF/ Subisomorphism-B-08.xml |
MD5SUM | 47da5ea68f3d94e6d7990d40a1ef4aa5 |
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.530623 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 540 |
Number of constraints | 1676 |
Number of domains | 1 |
Minimum domain size | 600 |
Maximum domain size | 600 |
Distribution of domain sizes | [{"size":600,"count":540}] |
Minimum variable degree | 3 |
Maximum variable degree | 10 |
Distribution of variable degrees | [{"degree":3,"count":4},{"degree":4,"count":19},{"degree":5,"count":89},{"degree":6,"count":212},{"degree":8,"count":110},{"degree":9,"count":71},{"degree":10,"count":35}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 540 |
Distribution of constraint arities | [{"arity":1,"count":216},{"arity":2,"count":1459},{"arity":540,"count":1}] |
Number of extensional constraints | 1675 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":1675},{"type":"allDifferent","count":1}] |
Optimization problem | NO |
Type of objective |
0.00/0.00 c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -hybrid -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-10622-serial-file.bin HOME/instance-4405558-1569338703.xml 0.66/0.54 0.66/0.54 Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15) 0.66/0.54 0.66/0.56 c BEGIN-Prog: Tue Sep 24 17:24:19 CEST 2019 0.66/0.56 c PID: 10625 0.66/0.56 c IP: 172.20.3.136 0.66/0.56 c HOST: node136.alineos.net 0.66/0.57 c (0,0) Parsing Begin 2.62/1.28 c (0,0) Parsing End 2.62/1.29 c (0,0) CSP: 540 int (0 aux), 0 bool (0 aux), 1676 ctr, max domain size 600 2.62/1.29 c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 21 MiB used (max 0 MiB) 2.62/1.29 c (0,0) Constraint Name Generate Begin 2.90/1.31 c (0,0) Ctr:HOME/instance-4405558-1569338703.xml,AllDifferent:ExtensionConflict:ExtensionSupport:Var 2.90/1.31 c (0,0) Constraint Name Generate End 2.90/1.31 c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 21 MiB used (max 0 MiB) 2.90/1.31 c (0,0) CSP to CSPinCNF Begin 100.42/79.07 c (78,76) translated 168 (10%) constraints 201.02/155.53 c (154,149) translated 336 (20%) constraints 293.77/230.49 c (229,222) translated 503 (30%) constraints 380.76/305.16 c (304,295) translated 671 (40%) constraints 465.28/379.07 c (378,367) translated 838 (50%) constraints 554.17/453.89 c (453,440) translated 1006 (60%) constraints 640.53/528.43 c (527,513) translated 1174 (70%) constraints 727.42/602.79 c (602,585) translated 1341 (80%) constraints 787.15/655.70 c (655,637) translated 1509 (90%) constraints 787.15/655.75 c (655,637) translated 1676 (100%) constraints 787.15/655.75 c (655,637) =========================================== 794.94/659.66 c (659,641) Hybrid: #OE=875940, #LE=0 794.94/659.66 c (659,641) Hybrid 794.94/659.66 c (659,641) =========================================== 826.89/685.57 c (685,666) translated 1221752 (10%) constraints 851.95/710.53 c (709,691) translated 2443503 (20%) constraints 883.16/736.20 c (735,716) translated 3665255 (30%) constraints 914.06/761.84 c (761,740) translated 4887006 (40%) constraints 950.63/788.29 c (787,765) translated 6108758 (50%) constraints 981.74/814.19 c (813,791) translated 7330509 (60%) constraints 1012.53/839.96 c (839,816) translated 8552261 (70%) constraints 1043.83/865.92 c (865,841) translated 9774012 (80%) constraints 1074.72/891.83 c (891,866) translated 10995764 (90%) constraints 1106.15/917.92 c (917,891) translated 12217515 (100%) constraints 1106.15/917.92 c (917,891) CSP to CSPinCNF End 1106.57/918.31 c (917,892) CSP: 540 int (0 aux), 875400 bool (875400 aux), 12217515 ctr, max domain size 600 1106.57/918.31 c (917,892) Heap : 12978 MiB used (max 21884 MiB), NonHeap : 29 MiB used (max 0 MiB) 1106.57/918.31 c (917,892) CSPinCNF Propagation Begin 1468.47/1073.83 c (1073,1017) 36114 values, 3171271 unsatisfiable literals, and 2930105 valid clauses are removed 1468.47/1073.83 c (1073,1017) CSPinCNF Propagation End 1468.78/1074.19 c (1073,1018) CSP: 540 int (0 aux), 875400 bool (875400 aux), 9287410 ctr, max domain size 600 1468.78/1074.19 c (1073,1018) Heap : 14569 MiB used (max 21777 MiB), NonHeap : 31 MiB used (max 0 MiB) 1471.23/1076.58 c (1076,1020) Hybrid: #OE=875940, #LE=0 1471.23/1076.58 c (1076,1020) Simplify CSPinCNF Begin 1506.69/1097.35 c (1096,1039) Simplify CSPinCNF End 1507.19/1097.83 c (1097,1040) CSP: 540 int (0 aux), 1166460 bool (1166460 aux), 9578470 ctr, max domain size 600 1507.19/1097.83 c (1097,1040) Heap : 15991 MiB used (max 21363 MiB), NonHeap : 31 MiB used (max 0 MiB) 1507.19/1097.83 c (1097,1040) Calculate Precise Domain Begin 1507.19/1097.83 c (1097,1040) 0 values are removed by re-calculation 1507.19/1097.83 c (1097,1040) Calculate Precise Domain End 1507.69/1098.31 c (1097,1040) CSP: 540 int (0 aux), 1166460 bool (1166460 aux), 9578470 ctr, max domain size 600 1507.69/1098.31 c (1097,1040) Heap : 15991 MiB used (max 21363 MiB), NonHeap : 31 MiB used (max 0 MiB) 1507.69/1098.31 c (1097,1040) CSPinCNF to SatSolver Begin 2049.47/1543.21 c (1542,1462) 957847 (10 %) CSP clauses are encoded (0 SAT variables, 105760377 SAT clauses) 2060.73/1553.00 c (1552,1471) 1915694 (20 %) CSP clauses are encoded (0 SAT variables, 106718224 SAT clauses) 2071.86/1562.71 c (1562,1481) 2873541 (30 %) CSP clauses are encoded (0 SAT variables, 107676071 SAT clauses) 2083.38/1572.49 c (1571,1490) 3831388 (40 %) CSP clauses are encoded (0 SAT variables, 108633918 SAT clauses) 2094.52/1582.16 c (1581,1500) 4789235 (50 %) CSP clauses are encoded (0 SAT variables, 109591765 SAT clauses) 2106.51/1592.00 c (1591,1509) 5747082 (60 %) CSP clauses are encoded (0 SAT variables, 110549612 SAT clauses) 2118.04/1601.77 c (1601,1519) 6704929 (70 %) CSP clauses are encoded (0 SAT variables, 111507459 SAT clauses) 2130.51/1611.59 c (1611,1528) 7662776 (80 %) CSP clauses are encoded (0 SAT variables, 112465306 SAT clauses) 2145.35/1621.70 c (1621,1538) 8620623 (90 %) CSP clauses are encoded (0 SAT variables, 113423153 SAT clauses) 2158.22/1631.61 c (1631,1547) 9578470 (100 %) CSP clauses are encoded (0 SAT variables, 114381000 SAT clauses) 2158.22/1631.61 c (1631,1547) CSPinCNF to SatSolver End 2158.22/1631.61 c (1631,1547) Heap : 12326 MiB used (max 21772 MiB), NonHeap : 32 MiB used (max 0 MiB) 2158.22/1631.62 c (1631,1547) 1375815 bool, 114381001 clause 2158.22/1631.62 c (1631,1547) Export Begin 2158.37/1631.75 c (1631,1547) Export to HOME/scop-10622-serial-file.bin 2158.37/1631.75 c (1631,1547) Export End 2158.37/1631.76 c (1631,1547) Export File Size: 0.10 MB 2158.37/1631.76 c (1631,1547) 0,0,917,1073,1097,1097,1631,STOP-AFTER(DIMACS) 2158.37/1631.76 c END-Prog: Tue Sep 24 17:51:30 CEST 2019 0.00/1631.87 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-10622-serial-file.bin 2159.20/1632.34 c (0,0) Read Serial File Begin 2159.20/1632.34 c (0,0) HOME/scop-10622-serial-file.bin 2159.48/1632.59 c (0,0) Read Serial File End 2159.77/1632.61 2159.77/1632.61 Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15) 2159.77/1632.61 (Solving Process) 2159.77/1632.61 2159.77/1632.63 c BEGIN-Prog: Tue Sep 24 17:51:31 CEST 2019 2159.77/1632.63 c PID: 10770 2159.77/1632.63 c IP: 172.20.3.136 2159.77/1632.63 c HOST: node136.alineos.net 2159.77/1632.63 c (0,0) SatSolver.solve Begin 2159.77/1632.63 c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405558-1569338703.xml-scop-10625.cnf 2159.77/1632.66 c (0,0) c 2159.77/1632.66 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) 2159.77/1632.66 c (0,0) c 2159.77/1632.66 c (0,0) c WARNING: for repeatability, setting FPU to use double precision 2159.77/1632.66 c (0,0) c 8 solvers engines and 1 companion as a blackboard created. 2159.77/1632.66 c (0,0) c ========================================[ Problem Statistics ]=========================================== 2159.77/1632.66 c (0,0) c | | 2199.39/1672.04 c (39,0) c | Number of variables: 1375815 | 2199.39/1672.04 c (39,0) c | Number of clauses: 114381001 | 2199.39/1672.04 c (39,0) c | Parse time: 36.25 s | 2199.39/1672.04 c (39,0) c | | 2206.49/1679.16 c (46,0) c | Too many clauses... No preprocessing | 2206.49/1679.16 c (46,0) c | Simplification time: 6.26 s | 2206.49/1679.16 c (46,0) c | | 2206.49/1679.16 c (46,0) c | One Solver is taking 8254.59Mb... Let's take 1 solvers for this run (max 40% of the maxmemory). | 2206.49/1679.16 c (46,0) c | Generating clones | 2206.49/1679.16 c (46,0) c | all clones generated. Memory = 8254.59Mb. | 2206.49/1679.16 c (46,0) c ========================================================================================================| 2206.49/1679.16 c (46,0) c 2206.49/1679.16 c (46,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 2206.49/1679.16 c (46,0) c 2206.49/1679.16 c (46,0) c |-----------------------|------------| 2206.49/1679.16 c (46,0) c | Threads | 0 | 2206.49/1679.16 c (46,0) c |-----------------------|------------| 2206.49/1679.16 c (46,0) c | randomizeFirstDescent | False | 2206.49/1679.16 c (46,0) c | adaptStrategeis | True | 2206.49/1679.16 c (46,0) c | forceUnsatOnNewDescent| True | 2206.49/1679.16 c (46,0) c | Initial random_seed | 91648253 | 2206.49/1679.16 c (46,0) c | chanseokStrategy | False | 2206.49/1679.16 c (46,0) c | coLBDBound | 5 | 2206.49/1679.16 c (46,0) c | glureduce | True | 2206.49/1679.16 c (46,0) c | firstReduceDB | 2000 | 2206.49/1679.16 c (46,0) c | incReduceDB | 300 | 2206.49/1679.16 c (46,0) c | luby_restart | False | 2206.49/1679.16 c (46,0) c | luby_restart_factor | 100 | 2206.49/1679.16 c (46,0) c | var_decay | 0.8000 | 2206.49/1679.16 c (46,0) c | max_var_decay | 0.9500 | 2206.49/1679.16 c (46,0) c | randomize_on_restarts | False | 2206.49/1679.16 c (46,0) c | remove_satisfied | True | 2206.49/1679.16 c (46,0) c |-----------------------|------------| 2218.80/1691.45 c (59,0) c 2218.80/1691.45 c (59,0) c real time : 58.7966 s 2218.80/1691.45 c (59,0) c cpu time : 52.5706 s 2218.80/1691.45 c (59,0) c 2218.80/1691.45 c (59,0) c 2218.80/1691.45 c (59,0) c 2218.80/1691.45 c (59,0) c |---------------------------------------- FINAL STATS --------------------------------------------------| 2218.80/1691.45 c (59,0) c 2218.80/1691.45 c (59,0) c |---------------|-----------------|------------| 2218.80/1691.45 c (59,0) c | Threads | Total | 0 | 2218.80/1691.45 c (59,0) c |---------------|-----------------|------------| 2218.80/1691.45 c (59,0) c | Conflicts | 990 | 990 | 2218.80/1691.45 c (59,0) c | Decisions | 1858 | 1858 | 2218.80/1691.45 c (59,0) c | Propagations | 3330095 | 3330095 | 2218.80/1691.45 c (59,0) c | ReduceDBs | 0 | 0 | 2218.80/1691.45 c (59,0) c | SimpDBs | 1 | 1 | 2218.80/1691.45 c (59,0) c | Restarts | 1 | 1 | 2218.80/1691.45 c (59,0) c | ForcedImports | 0 | 0 | 2218.80/1691.45 c (59,0) c | PropBinClauses| 3807600 | 3807600 | 2218.80/1691.45 c (59,0) c | PropPreBlocker| 164182454 | 164182454 | 2218.80/1691.45 c (59,0) c | PropNotBlocker| 90687131 | 90687131 | 2218.80/1691.45 c (59,0) c | LitFullScans | 261425974 | 261425974 | 2218.80/1691.45 c (59,0) c | LitScanFracts | 81676 | 81676 | 2218.80/1691.45 c (59,0) c | DecisionLevel0| 9 | 9 | 2218.80/1691.45 c (59,0) c | Periods | 43 | 43 | 2218.80/1691.45 c (59,0) c | Margin | 20 | 20 | 2218.80/1691.45 c (59,0) c | Avg_Trail | | 6597 | 2218.80/1691.45 c (59,0) c | Avg_DL | | 11 | 2218.80/1691.45 c (59,0) c | Avg_Res | | 0 | 2218.80/1691.45 c (59,0) c | Avg_Res_Seen | | 0 | 2218.80/1691.45 c (59,0) c |---------------|-----------------|------------| 2218.80/1691.45 c (59,0) c | Exported | 93 | 93 | 2218.80/1691.45 c (59,0) c | Imported | 0 | 0 | 2218.80/1691.45 c (59,0) c | Good | 0 | 0 | 2218.80/1691.45 c (59,0) c | Purge | 0 | 0 | 2218.80/1691.45 c (59,0) c | Promoted | 0 | 0 | 2218.80/1691.46 c (59,0) c | Remove_Imp | 0 | 0 | 2218.80/1691.46 c (59,0) c | Blocked_Reuse | 0 | 0 | 2218.80/1691.46 c (59,0) c |---------------|-----------------|------------| 2218.80/1691.46 c (59,0) c | Unaries | | 8 | 2218.80/1691.46 c (59,0) c | Binaries | | 42 | 2218.80/1691.46 c (59,0) c | Glues | | 93 | 2218.80/1691.46 c (59,0) c |---------------|-----------------|------------| 2218.80/1691.46 c (59,0) c | Orig_Seen | 0 % | 19532 | 2218.80/1691.46 c (59,0) c | Diff Orig seen| | X | 2218.80/1691.46 c (59,0) c | Hamming | 0 % | X | 2218.80/1691.46 c (59,0) c |---------------|-----------------|------------| 2218.80/1691.46 c (59,0) c | RunningTime | | 12.2 100%| 2218.80/1691.46 c (59,0) c | WaitingTime | | 0.0 0%| 2218.80/1691.46 c (59,0) c | ExchangingTime| | 0.0 0%| 2218.80/1691.46 c (59,0) c | PeriodProcTime| | 0.0 0%| 2218.80/1691.46 c (59,0) c | SolvingTime | | 12.2 | 2218.80/1691.46 c (59,0) c | PropagationTim| | 12.1 99%| 2218.80/1691.46 c (59,0) c | AnalysisTime | | 0.0 0%| 2218.80/1691.46 c (59,0) c | ReductionTime | | 0.0 0%| 2218.80/1691.46 c (59,0) c | SimplifyTime | | 0.0 0%| 2218.80/1691.46 c (59,0) c | UsedRateTime | | 0.0 0%| 2218.80/1691.46 c (59,0) c | OverlapRateTim| | 0.0 0%| 2218.80/1691.46 c (59,0) c |---------------|-----------------|------------| 2218.80/1691.46 c (59,0) c 2218.80/1691.46 c (59,0) c 2218.80/1691.46 c (59,0) c Threads : 1 2218.80/1691.46 c (59,0) c Winner : 0 2218.80/1691.46 c (59,0) c Conflicts_0 : 990 2218.80/1691.46 c (59,0) c Conflicts_total : 990 2218.80/1691.46 c (59,0) c Conflicts_winner : 990 2218.80/1691.46 c (59,0) c Decisions_0 : 1858 2218.80/1691.46 c (59,0) c Decisions_total : 1858 2218.80/1691.46 c (59,0) c Decisions_winner : 1858 2218.80/1691.46 c (59,0) c Propagations_0 : 3330095 2218.80/1691.46 c (59,0) c Propagations_total : 3330095 2218.80/1691.46 c (59,0) c Propagations_winner : 3330095 2218.80/1691.46 c (59,0) c ReduceDBs_0 : 0 2218.80/1691.46 c (59,0) c ReduceDBs_total : 0 2218.80/1691.46 c (59,0) c ReduceDBs_winner : 0 2218.80/1691.46 c (59,0) c SimpDBs_0 : 1 2218.80/1691.46 c (59,0) c SimpDBs_total : 1 2218.80/1691.46 c (59,0) c SimpDBs_winner : 1 2218.80/1691.46 c (59,0) c Restarts_0 : 1 2218.80/1691.46 c (59,0) c Restarts_total : 1 2218.80/1691.46 c (59,0) c Restarts_winner : 1 2218.80/1691.46 c (59,0) c ForcedImports_0 : 0 2218.80/1691.46 c (59,0) c ForcedImports_total : 0 2218.80/1691.46 c (59,0) c ForcedImports_winner : 0 2218.80/1691.46 c (59,0) c PropsBinClauses_0 : 3807600 2218.80/1691.46 c (59,0) c PropsBinClauses_total : 3807600 2218.80/1691.46 c (59,0) c PropsBinClauses_winner : 3807600 2218.80/1691.46 c (59,0) c PropsPreBlocker_0 : 164182454 2218.80/1691.46 c (59,0) c PropsPreBlocker_total : 164182454 2218.80/1691.46 c (59,0) c PropsPreBlocker_winner : 164182454 2218.80/1691.46 c (59,0) c PropsNotBlocker_0 : 90687131 2218.80/1691.46 c (59,0) c PropsNotBlocker_total : 90687131 2218.80/1691.46 c (59,0) c PropsNotBlocker_winner : 90687131 2218.80/1691.46 c (59,0) c PropsLitFullScans_0 : 261425974 2218.80/1691.46 c (59,0) c PropsLitFullScans_total : 261425974 2218.80/1691.46 c (59,0) c PropsLitFullScans_winner : 261425974 2218.80/1691.46 c (59,0) c LitScanFractions_0 : 81676 2218.80/1691.46 c (59,0) c LitScanFractions_total : 81676 2218.80/1691.46 c (59,0) c LitScanFractions_winner : 81676 2218.80/1691.46 c (59,0) c DecisionLevel0_0 : 9 2218.80/1691.46 c (59,0) c DecisionLevel0_total : 9 2218.80/1691.46 c (59,0) c DecisionLevel0_winner : 9 2218.80/1691.46 c (59,0) c Periods_0 : 43 2218.80/1691.46 c (59,0) c Periods_total : 43 2218.80/1691.46 c (59,0) c Periods_winner : 43 2218.80/1691.46 c (59,0) c Margin_0 : 20 2218.80/1691.46 c (59,0) c Margin_total : 20 2218.80/1691.46 c (59,0) c Margin_winner : 20 2218.80/1691.46 c (59,0) c Exported_0 : 93 2218.80/1691.46 c (59,0) c Exported_total : 93 2218.80/1691.46 c (59,0) c Exported_winner : 93 2218.80/1691.46 c (59,0) c Imported_0 : 0 2218.80/1691.46 c (59,0) c Imported_total : 0 2218.80/1691.46 c (59,0) c Imported_winner : 0 2218.80/1691.46 c (59,0) c Good_0 : 0 2218.80/1691.46 c (59,0) c Good_total : 0 2218.80/1691.46 c (59,0) c Good_winner : 0 2218.80/1691.46 c (59,0) c Purge_0 : 0 2218.80/1691.46 c (59,0) c Purge_total : 0 2218.80/1691.46 c (59,0) c Purge_winner : 0 2218.80/1691.46 c (59,0) c Promoted_0 : 0 2218.80/1691.46 c (59,0) c Promoted_total : 0 2218.80/1691.46 c (59,0) c Promoted_winner : 0 2218.80/1691.46 c (59,0) c Remove_Imp_0 : 0 2218.80/1691.46 c (59,0) c Remove_Imp_total : 0 2218.80/1691.46 c (59,0) c Remove_Imp_winner : 0 2218.80/1691.46 c (59,0) c Blocked_Reuse_0 : 0 2218.80/1691.46 c (59,0) c Blocked_Reuse_total : 0 2218.80/1691.46 c (59,0) c Blocked_Reuse_winner : 0 2218.80/1691.46 c (59,0) c Unaries_0 : 8 2218.80/1691.46 c (59,0) c Unaries_total : 8 2218.80/1691.46 c (59,0) c Unaries_winner : 8 2218.80/1691.46 c (59,0) c Binaries_0 : 42 2218.80/1691.46 c (59,0) c Binaries_total : 42 2218.80/1691.46 c (59,0) c Binaries_winner : 42 2218.80/1691.46 c (59,0) c Glues_0 : 93 2218.80/1691.46 c (59,0) c Glues_total : 93 2218.80/1691.46 c (59,0) c Glues_winner : 93 2218.80/1691.46 c (59,0) c RunningTime_0 : 12.236865 2218.80/1691.46 c (59,0) c RunningTime_total : 12.236865 2218.80/1691.46 c (59,0) c RunningTime_winner : 12.236865 2218.80/1691.46 c (59,0) c WaitingTime_0 : 0.000000 2218.80/1691.46 c (59,0) c WaitingTime_total : 0.000000 2218.80/1691.46 c (59,0) c WaitingTime_winner : 0.000000 2218.80/1691.46 c (59,0) c ExchangingTime_0 : 0.000250 2218.80/1691.46 c (59,0) c ExchangingTime_total : 0.000250 2218.80/1691.46 c (59,0) c ExchangingTime_winner : 0.000250 2218.80/1691.46 c (59,0) c PeriodProcTime_0 : 0.000358 2218.80/1691.46 c (59,0) c PeriodProcTime_total : 0.000358 2218.80/1691.46 c (59,0) c PeriodProcTime_winner : 0.000358 2218.80/1691.46 c (59,0) c SolvingTime_0 : 12.237473 2218.80/1691.46 c (59,0) c SolvingTime_total : 12.237473 2218.80/1691.46 c (59,0) c SolvingTime_winner : 12.237473 2218.80/1691.46 c (59,0) c PropagationTime_0 : 12.143727 2218.80/1691.46 c (59,0) c PropagationTime_total : 12.143727 2218.80/1691.46 c (59,0) c PropagationTime_winner : 12.143727 2218.80/1691.46 c (59,0) c AnalysisTime_0 : 0.033522 2218.80/1691.46 c (59,0) c AnalysisTime_total : 0.033522 2218.80/1691.46 c (59,0) c AnalysisTime_winner : 0.033522 2218.80/1691.46 c (59,0) c ReductionTime_0 : 0.000000 2218.80/1691.46 c (59,0) c ReductionTime_total : 0.000000 2218.80/1691.46 c (59,0) c ReductionTime_winner : 0.000000 2218.80/1691.46 c (59,0) c SimplifyTime_0 : 0.000002 2218.80/1691.46 c (59,0) c SimplifyTime_total : 0.000002 2218.80/1691.46 c (59,0) c SimplifyTime_winner : 0.000002 2218.80/1691.46 c (59,0) c UsedRateTime_0 : 0.000000 2218.80/1691.46 c (59,0) c UsedRateTime_total : 0.000000 2218.80/1691.46 c (59,0) c UsedRateTime_winner : 0.000000 2218.80/1691.46 c (59,0) c OverlapRateTime_0 : 0.000000 2218.80/1691.46 c (59,0) c OverlapRateTime_total : 0.000000 2218.80/1691.46 c (59,0) c OverlapRateTime_winner : 0.000000 2218.80/1691.46 c (59,0) c 2218.80/1691.46 c (59,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 2218.80/1691.46 c (59,0) c 2218.80/1691.46 c (59,0) c |-----------------------|------------| 2218.80/1691.46 c (59,0) c | Threads | 0 | 2218.80/1691.46 c (59,0) c |-----------------------|------------| 2218.80/1691.46 c (59,0) c | randomizeFirstDescent | False | 2218.80/1691.46 c (59,0) c | adaptStrategeis | True | 2218.80/1691.46 c (59,0) c | forceUnsatOnNewDescent| True | 2218.80/1691.46 c (59,0) c | Initial random_seed | 1766099340 | 2218.80/1691.46 c (59,0) c | chanseokStrategy | False | 2218.80/1691.46 c (59,0) c | coLBDBound | 5 | 2218.80/1691.46 c (59,0) c | glureduce | True | 2218.80/1691.46 c (59,0) c | firstReduceDB | 2000 | 2218.80/1691.46 c (59,0) c | incReduceDB | 300 | 2218.80/1691.46 c (59,0) c | luby_restart | False | 2218.80/1691.46 c (59,0) c | luby_restart_factor | 100 | 2218.80/1691.46 c (59,0) c | var_decay | 0.8000 | 2218.80/1691.46 c (59,0) c | max_var_decay | 0.9500 | 2218.80/1691.46 c (59,0) c | randomize_on_restarts | False | 2218.80/1691.46 c (59,0) c | remove_satisfied | True | 2218.80/1691.46 c (59,0) c |-----------------------|------------| 2218.80/1691.46 c (59,0) 2218.80/1691.46 c (59,0) s SATISFIABLE 2160.77/1692.16 c (59,0) SatSolver.solve End 2160.77/1692.16 c (59,0) Heap : 394 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB) 2160.77/1692.16 c (59,0) Show results Begin 2220.60/1692.35 c (60,0) x[0] = 177 2220.60/1692.35 c (60,0) x[1] = 167 2220.60/1692.35 c (60,0) x[2] = 551 2220.60/1692.35 c (60,0) x[3] = 325 2220.60/1692.35 c (60,0) x[4] = 489 2220.60/1692.35 c (60,0) x[5] = 457 2220.60/1692.35 c (60,0) x[6] = 147 2220.60/1692.35 c (60,0) x[7] = 137 2220.60/1692.35 c (60,0) x[8] = 408 2220.60/1692.35 c (60,0) x[9] = 565 2220.60/1692.35 c (60,0) x[10] = 299 2220.60/1692.35 c (60,0) x[11] = 342 2220.60/1692.35 c (60,0) x[12] = 473 2220.60/1692.35 c (60,0) x[13] = 488 2220.60/1692.35 c (60,0) x[14] = 317 2220.60/1692.35 c (60,0) x[15] = 25 2220.60/1692.35 c (60,0) x[16] = 20 2220.60/1692.35 c (60,0) x[17] = 592 2220.60/1692.35 c (60,0) x[18] = 410 2220.60/1692.35 c (60,0) x[19] = 98 2220.60/1692.35 c (60,0) x[20] = 73 2220.60/1692.35 c (60,0) x[21] = 229 2220.60/1692.35 c (60,0) x[22] = 571 2220.60/1692.35 c (60,0) x[23] = 406 2220.60/1692.35 c (60,0) x[24] = 220 2220.60/1692.35 c (60,0) x[25] = 540 2220.60/1692.35 c (60,0) x[26] = 477 2220.60/1692.35 c (60,0) x[27] = 165 2220.60/1692.35 c (60,0) x[28] = 206 2220.60/1692.35 c (60,0) x[29] = 433 2220.60/1692.35 c (60,0) x[30] = 510 2220.60/1692.35 c (60,0) x[31] = 397 2220.60/1692.35 c (60,0) x[32] = 291 2220.60/1692.35 c (60,0) x[33] = 389 2220.60/1692.35 c (60,0) x[34] = 130 2220.60/1692.35 c (60,0) x[35] = 522 2220.60/1692.35 c (60,0) x[36] = 555 2220.60/1692.35 c (60,0) x[37] = 47 2220.60/1692.35 c (60,0) x[38] = 10 2220.60/1692.35 c (60,0) x[39] = 30 2220.60/1692.35 c (60,0) x[40] = 427 2220.60/1692.35 c (60,0) x[41] = 578 2220.60/1692.35 c (60,0) x[42] = 5 2220.60/1692.35 c (60,0) x[43] = 553 2220.60/1692.35 c (60,0) x[44] = 121 2220.60/1692.35 c (60,0) x[45] = 569 2220.60/1692.35 c (60,0) x[46] = 122 2220.60/1692.35 c (60,0) x[47] = 226 2220.60/1692.35 c (60,0) x[48] = 450 2220.60/1692.35 c (60,0) x[49] = 499 2220.60/1692.35 c (60,0) x[50] = 466 2220.60/1692.35 c (60,0) x[51] = 253 2220.60/1692.35 c (60,0) x[52] = 581 2220.60/1692.35 c (60,0) x[53] = 395 2220.60/1692.35 c (60,0) x[54] = 194 2220.60/1692.35 c (60,0) x[55] = 83 2220.60/1692.35 c (60,0) x[56] = 576 2220.60/1692.35 c (60,0) x[57] = 598 2220.60/1692.35 c (60,0) x[58] = 361 2220.60/1692.35 c (60,0) x[59] = 89 2220.60/1692.35 c (60,0) x[60] = 72 2220.60/1692.35 c (60,0) x[61] = 402 2220.60/1692.35 c (60,0) x[62] = 475 2220.60/1692.35 c (60,0) x[63] = 446 2220.60/1692.35 c (60,0) x[64] = 246 2220.60/1692.35 c (60,0) x[65] = 111 2220.60/1692.35 c (60,0) x[66] = 161 2220.60/1692.35 c (60,0) x[67] = 211 2220.60/1692.35 c (60,0) x[68] = 470 2220.60/1692.35 c (60,0) x[69] = 413 2220.60/1692.35 c (60,0) x[70] = 222 2220.60/1692.35 c (60,0) x[71] = 22 2220.60/1692.35 c (60,0) x[72] = 380 2220.60/1692.35 c (60,0) x[73] = 123 2220.60/1692.35 c (60,0) x[74] = 574 2220.60/1692.35 c (60,0) x[75] = 497 2220.60/1692.35 c (60,0) x[76] = 16 2220.60/1692.35 c (60,0) x[77] = 346 2220.60/1692.35 c (60,0) x[78] = 305 2220.60/1692.35 c (60,0) x[79] = 304 2220.60/1692.35 c (60,0) x[80] = 59 2220.60/1692.35 c (60,0) x[81] = 374 2220.60/1692.35 c (60,0) x[82] = 523 2220.60/1692.35 c (60,0) x[83] = 252 2220.60/1692.35 c (60,0) x[84] = 567 2220.60/1692.35 c (60,0) x[85] = 532 2220.60/1692.35 c (60,0) x[86] = 297 2220.60/1692.35 c (60,0) x[87] = 530 2220.60/1692.35 c (60,0) x[88] = 136 2220.60/1692.35 c (60,0) x[89] = 599 2220.60/1692.35 c (60,0) x[90] = 528 2220.60/1692.35 c (60,0) x[91] = 100 2220.60/1692.35 c (60,0) x[92] = 388 2220.60/1692.35 c (60,0) x[93] = 443 2220.60/1692.35 c (60,0) x[94] = 267 2220.60/1692.35 c (60,0) x[95] = 277 2220.60/1692.35 c (60,0) x[96] = 582 2220.60/1692.35 c (60,0) x[97] = 529 2220.60/1692.35 c (60,0) x[98] = 316 2220.60/1692.35 c (60,0) x[99] = 9 2220.60/1692.35 c (60,0) x[100] = 15 2220.60/1692.35 c (60,0) x[101] = 163 2220.60/1692.35 c (60,0) x[102] = 535 2220.60/1692.35 c (60,0) x[103] = 407 2220.60/1692.35 c (60,0) x[104] = 139 2220.60/1692.35 c (60,0) x[105] = 517 2220.60/1692.35 c (60,0) x[106] = 96 2220.60/1692.35 c (60,0) x[107] = 258 2220.60/1692.35 c (60,0) x[108] = 549 2220.60/1692.35 c (60,0) x[109] = 520 2220.60/1692.35 c (60,0) x[110] = 67 2220.60/1692.35 c (60,0) x[111] = 164 2220.60/1692.35 c (60,0) x[112] = 560 2220.60/1692.35 c (60,0) x[113] = 40 2220.60/1692.35 c (60,0) x[114] = 559 2220.60/1692.35 c (60,0) x[115] = 375 2220.60/1692.35 c (60,0) x[116] = 243 2220.60/1692.35 c (60,0) x[117] = 439 2220.60/1692.35 c (60,0) x[118] = 116 2220.60/1692.35 c (60,0) x[119] = 107 2220.60/1692.35 c (60,0) x[120] = 357 2220.60/1692.35 c (60,0) x[121] = 335 2220.60/1692.35 c (60,0) x[122] = 425 2220.60/1692.35 c (60,0) x[123] = 179 2220.60/1692.35 c (60,0) x[124] = 509 2220.60/1692.35 c (60,0) x[125] = 23 2220.60/1692.35 c (60,0) x[126] = 218 2220.60/1692.35 c (60,0) x[127] = 74 2220.60/1692.35 c (60,0) x[128] = 464 2220.60/1692.35 c (60,0) x[129] = 134 2220.60/1692.35 c (60,0) x[130] = 398 2220.60/1692.35 c (60,0) x[131] = 128 2220.60/1692.35 c (60,0) x[132] = 239 2220.60/1692.35 c (60,0) x[133] = 271 2220.60/1692.35 c (60,0) x[134] = 495 2220.60/1692.35 c (60,0) x[135] = 110 2220.60/1692.35 c (60,0) x[136] = 60 2220.60/1692.35 c (60,0) x[137] = 544 2220.60/1692.35 c (60,0) x[138] = 308 2220.60/1692.35 c (60,0) x[139] = 492 2220.60/1692.35 c (60,0) x[140] = 35 2220.60/1692.35 c (60,0) x[141] = 469 2220.60/1692.35 c (60,0) x[142] = 42 2220.60/1692.35 c (60,0) x[143] = 458 2220.60/1692.35 c (60,0) x[144] = 362 2220.60/1692.35 c (60,0) x[145] = 526 2220.60/1692.35 c (60,0) x[146] = 412 2220.60/1692.35 c (60,0) x[147] = 577 2220.60/1692.35 c (60,0) x[148] = 190 2220.60/1692.35 c (60,0) x[149] = 334 2220.60/1692.35 c (60,0) x[150] = 210 2220.60/1692.35 c (60,0) x[151] = 46 2220.60/1692.35 c (60,0) x[152] = 264 2220.60/1692.35 c (60,0) x[153] = 580 2220.60/1692.35 c (60,0) x[154] = 512 2220.60/1692.35 c (60,0) x[155] = 309 2220.60/1692.35 c (60,0) x[156] = 348 2220.60/1692.35 c (60,0) x[157] = 64 2220.60/1692.35 c (60,0) x[158] = 436 2220.60/1692.35 c (60,0) x[159] = 221 2220.60/1692.35 c (60,0) x[160] = 262 2220.60/1692.35 c (60,0) x[161] = 274 2220.60/1692.35 c (60,0) x[162] = 50 2220.60/1692.35 c (60,0) x[163] = 188 2220.60/1692.35 c (60,0) x[164] = 405 2220.60/1692.35 c (60,0) x[165] = 154 2220.60/1692.35 c (60,0) x[166] = 451 2220.60/1692.35 c (60,0) x[167] = 563 2220.60/1692.35 c (60,0) x[168] = 302 2220.60/1692.35 c (60,0) x[169] = 109 2220.60/1692.35 c (60,0) x[170] = 432 2220.60/1692.35 c (60,0) x[171] = 533 2220.60/1692.35 c (60,0) x[172] = 203 2220.60/1692.35 c (60,0) x[173] = 276 2220.60/1692.35 c (60,0) x[174] = 538 2220.60/1692.35 c (60,0) x[175] = 200 2220.60/1692.35 c (60,0) x[176] = 101 2220.60/1692.35 c (60,0) x[177] = 426 2220.60/1692.35 c (60,0) x[178] = 265 2220.60/1692.35 c (60,0) x[179] = 119 2220.60/1692.35 c (60,0) x[180] = 345 2220.60/1692.35 c (60,0) x[181] = 192 2220.60/1692.35 c (60,0) x[182] = 225 2220.60/1692.35 c (60,0) x[183] = 507 2220.60/1692.35 c (60,0) x[184] = 579 2220.60/1692.35 c (60,0) x[185] = 71 2220.60/1692.35 c (60,0) x[186] = 506 2220.60/1692.35 c (60,0) x[187] = 251 2220.60/1692.35 c (60,0) x[188] = 460 2220.60/1692.35 c (60,0) x[189] = 561 2220.60/1692.35 c (60,0) x[190] = 195 2220.60/1692.35 c (60,0) x[191] = 294 2220.60/1692.35 c (60,0) x[192] = 593 2220.60/1692.35 c (60,0) x[193] = 481 2220.60/1692.35 c (60,0) x[194] = 217 2220.60/1692.35 c (60,0) x[195] = 545 2220.60/1692.35 c (60,0) x[196] = 202 2220.60/1692.35 c (60,0) x[197] = 331 2220.60/1692.35 c (60,0) x[198] = 452 2220.60/1692.35 c (60,0) x[199] = 502 2220.60/1692.35 c (60,0) x[200] = 198 2220.60/1692.35 c (60,0) x[201] = 568 2220.60/1692.35 c (60,0) x[202] = 332 2220.60/1692.35 c (60,0) x[203] = 485 2220.60/1692.35 c (60,0) x[204] = 296 2220.60/1692.35 c (60,0) x[205] = 301 2220.60/1692.35 c (60,0) x[206] = 353 2220.60/1692.35 c (60,0) x[207] = 65 2220.60/1692.35 c (60,0) x[208] = 255 2220.60/1692.35 c (60,0) x[209] = 511 2220.60/1692.35 c (60,0) x[210] = 21 2220.60/1692.35 c (60,0) x[211] = 94 2220.60/1692.35 c (60,0) x[212] = 124 2220.60/1692.35 c (60,0) x[213] = 189 2220.60/1692.35 c (60,0) x[214] = 366 2220.60/1692.35 c (60,0) x[215] = 444 2220.60/1692.35 c (60,0) x[216] = 496 2220.60/1692.35 c (60,0) x[217] = 365 2220.60/1692.35 c (60,0) x[218] = 487 2220.60/1692.35 c (60,0) x[219] = 79 2220.60/1692.35 c (60,0) x[220] = 244 2220.60/1692.35 c (60,0) x[221] = 524 2220.60/1692.35 c (60,0) x[222] = 562 2220.60/1692.35 c (60,0) x[223] = 62 2220.60/1692.35 c (60,0) x[224] = 448 2220.60/1692.35 c (60,0) x[225] = 503 2220.60/1692.35 c (60,0) x[226] = 266 2220.60/1692.35 c (60,0) x[227] = 376 2220.60/1692.35 c (60,0) x[228] = 483 2220.60/1692.35 c (60,0) x[229] = 431 2220.60/1692.35 c (60,0) x[230] = 349 2220.60/1692.35 c (60,0) x[231] = 479 2220.60/1692.35 c (60,0) x[232] = 235 2220.60/1692.35 c (60,0) x[233] = 504 2220.60/1692.35 c (60,0) x[234] = 293 2220.60/1692.35 c (60,0) x[235] = 564 2220.60/1692.35 c (60,0) x[236] = 288 2220.60/1692.35 c (60,0) x[237] = 117 2220.60/1692.35 c (60,0) x[238] = 486 2220.60/1692.35 c (60,0) x[239] = 429 2220.60/1692.35 c (60,0) x[240] = 7 2220.60/1692.35 c (60,0) x[241] = 129 2220.60/1692.35 c (60,0) x[242] = 273 2220.60/1692.35 c (60,0) x[243] = 231 2220.60/1692.35 c (60,0) x[244] = 423 2220.60/1692.35 c (60,0) x[245] = 465 2220.60/1692.35 c (60,0) x[246] = 596 2220.60/1692.35 c (60,0) x[247] = 337 2220.60/1692.35 c (60,0) x[248] = 534 2220.60/1692.35 c (60,0) x[249] = 515 2220.60/1692.35 c (60,0) x[250] = 144 2220.60/1692.35 c (60,0) x[251] = 191 2220.60/1692.35 c (60,0) x[252] = 471 2220.60/1692.35 c (60,0) x[253] = 570 2220.60/1692.35 c (60,0) x[254] = 184 2220.60/1692.35 c (60,0) x[255] = 289 2220.60/1692.35 c (60,0) x[256] = 152 2220.60/1692.35 c (60,0) x[257] = 284 2220.60/1692.35 c (60,0) x[258] = 126 2220.60/1692.35 c (60,0) x[259] = 421 2220.60/1692.35 c (60,0) x[260] = 174 2220.60/1692.35 c (60,0) x[261] = 153 2220.60/1692.35 c (60,0) x[262] = 278 2220.60/1692.35 c (60,0) x[263] = 41 2220.60/1692.35 c (60,0) x[264] = 537 2220.60/1692.35 c (60,0) x[265] = 321 2220.60/1692.35 c (60,0) x[266] = 355 2220.60/1692.35 c (60,0) x[267] = 558 2220.60/1692.35 c (60,0) x[268] = 387 2220.60/1692.35 c (60,0) x[269] = 193 2220.60/1692.35 c (60,0) x[270] = 219 2220.60/1692.35 c (60,0) x[271] = 392 2220.60/1692.35 c (60,0) x[272] = 338 2220.60/1692.35 c (60,0) x[273] = 318 2220.60/1692.35 c (60,0) x[274] = 333 2220.60/1692.35 c (60,0) x[275] = 36 2220.60/1692.35 c (60,0) x[276] = 393 2220.60/1692.35 c (60,0) x[277] = 354 2220.60/1692.35 c (60,0) x[278] = 145 2220.60/1692.35 c (60,0) x[279] = 55 2220.60/1692.35 c (60,0) x[280] = 286 2220.60/1692.35 c (60,0) x[281] = 422 2220.60/1692.35 c (60,0) x[282] = 441 2220.60/1692.35 c (60,0) x[283] = 279 2220.60/1692.35 c (60,0) x[284] = 583 2220.60/1692.35 c (60,0) x[285] = 1 2220.60/1692.35 c (60,0) x[286] = 369 2220.60/1692.35 c (60,0) x[287] = 17 2220.60/1692.35 c (60,0) x[288] = 186 2220.60/1692.35 c (60,0) x[289] = 180 2220.60/1692.35 c (60,0) x[290] = 169 2220.60/1692.35 c (60,0) x[291] = 127 2220.60/1692.35 c (60,0) x[292] = 525 2220.60/1692.35 c (60,0) x[293] = 290 2220.60/1692.35 c (60,0) x[294] = 80 2220.60/1692.35 c (60,0) x[295] = 447 2220.60/1692.35 c (60,0) x[296] = 298 2220.60/1692.35 c (60,0) x[297] = 282 2220.60/1692.35 c (60,0) x[298] = 56 2220.60/1692.35 c (60,0) x[299] = 112 2220.60/1692.35 c (60,0) x[300] = 172 2220.60/1692.35 c (60,0) x[301] = 8 2220.60/1692.35 c (60,0) x[302] = 371 2220.60/1692.35 c (60,0) x[303] = 63 2220.60/1692.35 c (60,0) x[304] = 52 2220.60/1692.35 c (60,0) x[305] = 552 2220.60/1692.35 c (60,0) x[306] = 292 2220.60/1692.35 c (60,0) x[307] = 498 2220.60/1692.35 c (60,0) x[308] = 383 2220.60/1692.35 c (60,0) x[309] = 0 2220.60/1692.35 c (60,0) x[310] = 514 2220.60/1692.35 c (60,0) x[311] = 268 2220.60/1692.35 c (60,0) x[312] = 236 2220.60/1692.35 c (60,0) x[313] = 48 2220.60/1692.35 c (60,0) x[314] = 103 2220.60/1692.35 c (60,0) x[315] = 228 2220.60/1692.35 c (60,0) x[316] = 424 2220.60/1692.35 c (60,0) x[317] = 372 2220.60/1692.35 c (60,0) x[318] = 513 2220.60/1692.35 c (60,0) x[319] = 541 2220.60/1692.35 c (60,0) x[320] = 449 2220.60/1692.35 c (60,0) x[321] = 185 2220.60/1692.35 c (60,0) x[322] = 445 2220.60/1692.35 c (60,0) x[323] = 13 2220.60/1692.35 c (60,0) x[324] = 557 2220.60/1692.35 c (60,0) x[325] = 314 2220.60/1692.35 c (60,0) x[326] = 368 2220.60/1692.35 c (60,0) x[327] = 125 2220.60/1692.35 c (60,0) x[328] = 320 2220.60/1692.35 c (60,0) x[329] = 93 2220.60/1692.35 c (60,0) x[330] = 584 2220.60/1692.35 c (60,0) x[331] = 591 2220.60/1692.35 c (60,0) x[332] = 159 2220.60/1692.35 c (60,0) x[333] = 118 2220.60/1692.35 c (60,0) x[334] = 359 2220.60/1692.35 c (60,0) x[335] = 404 2220.60/1692.36 c (60,0) x[336] = 401 2220.60/1692.36 c (60,0) x[337] = 548 2220.60/1692.36 c (60,0) x[338] = 148 2220.60/1692.36 c (60,0) x[339] = 176 2220.60/1692.36 c (60,0) x[340] = 411 2220.60/1692.36 c (60,0) x[341] = 87 2220.60/1692.36 c (60,0) x[342] = 26 2220.60/1692.36 c (60,0) x[343] = 516 2220.60/1692.36 c (60,0) x[344] = 3 2220.60/1692.36 c (60,0) x[345] = 543 2220.60/1692.36 c (60,0) x[346] = 300 2220.60/1692.36 c (60,0) x[347] = 58 2220.60/1692.36 c (60,0) x[348] = 339 2220.60/1692.36 c (60,0) x[349] = 70 2220.60/1692.36 c (60,0) x[350] = 546 2220.60/1692.36 c (60,0) x[351] = 390 2220.60/1692.36 c (60,0) x[352] = 182 2220.60/1692.36 c (60,0) x[353] = 263 2220.60/1692.36 c (60,0) x[354] = 85 2220.60/1692.36 c (60,0) x[355] = 588 2220.60/1692.36 c (60,0) x[356] = 400 2220.60/1692.36 c (60,0) x[357] = 550 2220.60/1692.36 c (60,0) x[358] = 589 2220.60/1692.36 c (60,0) x[359] = 38 2220.60/1692.36 c (60,0) x[360] = 78 2220.60/1692.36 c (60,0) x[361] = 454 2220.60/1692.37 c (60,0) x[362] = 508 2220.60/1692.37 c (60,0) x[363] = 140 2220.60/1692.37 c (60,0) x[364] = 18 2220.60/1692.37 c (60,0) x[365] = 261 2220.60/1692.37 c (60,0) x[366] = 76 2220.60/1692.37 c (60,0) x[367] = 171 2220.60/1692.37 c (60,0) x[368] = 442 2220.60/1692.37 c (60,0) x[369] = 275 2220.60/1692.37 c (60,0) x[370] = 259 2220.60/1692.37 c (60,0) x[371] = 241 2220.60/1692.37 c (60,0) x[372] = 204 2220.60/1692.37 c (60,0) x[373] = 141 2220.60/1692.37 c (60,0) x[374] = 29 2220.60/1692.37 c (60,0) x[375] = 173 2220.60/1692.37 c (60,0) x[376] = 113 2220.60/1692.37 c (60,0) x[377] = 323 2220.60/1692.37 c (60,0) x[378] = 484 2220.60/1692.37 c (60,0) x[379] = 162 2220.60/1692.37 c (60,0) x[380] = 438 2220.60/1692.37 c (60,0) x[381] = 97 2220.60/1692.37 c (60,0) x[382] = 478 2220.60/1692.37 c (60,0) x[383] = 356 2220.60/1692.37 c (60,0) x[384] = 476 2220.60/1692.37 c (60,0) x[385] = 329 2220.60/1692.37 c (60,0) x[386] = 90 2220.60/1692.37 c (60,0) x[387] = 160 2220.60/1692.37 c (60,0) x[388] = 370 2220.60/1692.37 c (60,0) x[389] = 352 2220.60/1692.37 c (60,0) x[390] = 24 2220.60/1692.37 c (60,0) x[391] = 104 2220.60/1692.37 c (60,0) x[392] = 501 2220.60/1692.37 c (60,0) x[393] = 102 2220.60/1692.37 c (60,0) x[394] = 328 2220.60/1692.37 c (60,0) x[395] = 106 2220.60/1692.37 c (60,0) x[396] = 86 2220.60/1692.37 c (60,0) x[397] = 518 2220.60/1692.37 c (60,0) x[398] = 480 2220.60/1692.37 c (60,0) x[399] = 493 2220.60/1692.37 c (60,0) x[400] = 539 2220.60/1692.37 c (60,0) x[401] = 199 2220.60/1692.37 c (60,0) x[402] = 505 2220.60/1692.37 c (60,0) x[403] = 57 2220.60/1692.37 c (60,0) x[404] = 260 2220.60/1692.37 c (60,0) x[405] = 256 2220.60/1692.37 c (60,0) x[406] = 319 2220.60/1692.37 c (60,0) x[407] = 230 2220.60/1692.37 c (60,0) x[408] = 245 2220.60/1692.37 c (60,0) x[409] = 201 2220.60/1692.37 c (60,0) x[410] = 364 2220.60/1692.37 c (60,0) x[411] = 66 2220.60/1692.37 c (60,0) x[412] = 313 2220.60/1692.37 c (60,0) x[413] = 311 2220.60/1692.37 c (60,0) x[414] = 587 2220.60/1692.37 c (60,0) x[415] = 146 2220.60/1692.37 c (60,0) x[416] = 519 2220.60/1692.37 c (60,0) x[417] = 373 2220.60/1692.37 c (60,0) x[418] = 157 2220.60/1692.37 c (60,0) x[419] = 2 2220.60/1692.37 c (60,0) x[420] = 53 2220.60/1692.37 c (60,0) x[421] = 120 2220.60/1692.37 c (60,0) x[422] = 37 2220.60/1692.37 c (60,0) x[423] = 43 2220.60/1692.37 c (60,0) x[424] = 39 2220.60/1692.37 c (60,0) x[425] = 69 2220.60/1692.37 c (60,0) x[426] = 238 2220.60/1692.37 c (60,0) x[427] = 114 2220.60/1692.37 c (60,0) x[428] = 115 2220.60/1692.37 c (60,0) x[429] = 597 2220.60/1692.37 c (60,0) x[430] = 467 2220.60/1692.37 c (60,0) x[431] = 208 2220.60/1692.37 c (60,0) x[432] = 312 2220.60/1692.37 c (60,0) x[433] = 326 2220.60/1692.37 c (60,0) x[434] = 455 2220.60/1692.37 c (60,0) x[435] = 32 2220.60/1692.37 c (60,0) x[436] = 6 2220.60/1692.37 c (60,0) x[437] = 170 2220.60/1692.37 c (60,0) x[438] = 234 2220.60/1692.37 c (60,0) x[439] = 351 2220.60/1692.37 c (60,0) x[440] = 27 2220.60/1692.37 c (60,0) x[441] = 166 2220.60/1692.37 c (60,0) x[442] = 494 2220.60/1692.37 c (60,0) x[443] = 417 2220.60/1692.37 c (60,0) x[444] = 391 2220.60/1692.37 c (60,0) x[445] = 340 2220.60/1692.37 c (60,0) x[446] = 566 2220.60/1692.37 c (60,0) x[447] = 272 2220.60/1692.37 c (60,0) x[448] = 437 2220.60/1692.37 c (60,0) x[449] = 350 2220.60/1692.37 c (60,0) x[450] = 49 2220.60/1692.37 c (60,0) x[451] = 216 2220.60/1692.37 c (60,0) x[452] = 430 2220.60/1692.37 c (60,0) x[453] = 149 2220.60/1692.37 c (60,0) x[454] = 242 2220.60/1692.37 c (60,0) x[455] = 435 2220.60/1692.37 c (60,0) x[456] = 287 2220.60/1692.37 c (60,0) x[457] = 363 2220.60/1692.37 c (60,0) x[458] = 344 2220.60/1692.37 c (60,0) x[459] = 31 2220.60/1692.37 c (60,0) x[460] = 99 2220.60/1692.37 c (60,0) x[461] = 385 2220.60/1692.37 c (60,0) x[462] = 232 2220.60/1692.37 c (60,0) x[463] = 187 2220.60/1692.37 c (60,0) x[464] = 34 2220.60/1692.37 c (60,0) x[465] = 303 2220.60/1692.37 c (60,0) x[466] = 51 2220.60/1692.37 c (60,0) x[467] = 233 2220.60/1692.37 c (60,0) x[468] = 336 2220.60/1692.37 c (60,0) x[469] = 61 2220.60/1692.37 c (60,0) x[470] = 572 2220.60/1692.37 c (60,0) x[471] = 409 2220.60/1692.37 c (60,0) x[472] = 212 2220.60/1692.37 c (60,0) x[473] = 472 2220.60/1692.37 c (60,0) x[474] = 257 2220.60/1692.37 c (60,0) x[475] = 138 2220.60/1692.37 c (60,0) x[476] = 347 2220.60/1692.37 c (60,0) x[477] = 178 2220.60/1692.37 c (60,0) x[478] = 105 2220.60/1692.37 c (60,0) x[479] = 419 2220.60/1692.37 c (60,0) x[480] = 12 2220.60/1692.37 c (60,0) x[481] = 223 2220.60/1692.37 c (60,0) x[482] = 33 2220.60/1692.37 c (60,0) x[483] = 213 2220.60/1692.37 c (60,0) x[484] = 459 2220.60/1692.37 c (60,0) x[485] = 386 2220.60/1692.37 c (60,0) x[486] = 168 2220.60/1692.37 c (60,0) x[487] = 575 2220.60/1692.37 c (60,0) x[488] = 396 2220.60/1692.37 c (60,0) x[489] = 281 2220.60/1692.37 c (60,0) x[490] = 307 2220.60/1692.37 c (60,0) x[491] = 132 2220.60/1692.37 c (60,0) x[492] = 482 2220.60/1692.37 c (60,0) x[493] = 11 2220.60/1692.37 c (60,0) x[494] = 322 2220.60/1692.37 c (60,0) x[495] = 573 2220.60/1692.37 c (60,0) x[496] = 44 2220.60/1692.37 c (60,0) x[497] = 205 2220.60/1692.37 c (60,0) x[498] = 418 2220.60/1692.37 c (60,0) x[499] = 81 2220.60/1692.37 c (60,0) x[500] = 224 2220.60/1692.37 c (60,0) x[501] = 196 2220.60/1692.37 c (60,0) x[502] = 227 2220.60/1692.37 c (60,0) x[503] = 151 2220.60/1692.37 c (60,0) x[504] = 88 2220.60/1692.37 c (60,0) x[505] = 490 2220.60/1692.37 c (60,0) x[506] = 197 2220.60/1692.37 c (60,0) x[507] = 456 2220.60/1692.37 c (60,0) x[508] = 420 2220.60/1692.37 c (60,0) x[509] = 415 2220.60/1692.37 c (60,0) x[510] = 343 2220.60/1692.37 c (60,0) x[511] = 394 2220.60/1692.37 c (60,0) x[512] = 367 2220.60/1692.37 c (60,0) x[513] = 68 2220.60/1692.37 c (60,0) x[514] = 461 2220.60/1692.37 c (60,0) x[515] = 500 2220.60/1692.37 c (60,0) x[516] = 360 2220.60/1692.37 c (60,0) x[517] = 381 2220.60/1692.37 c (60,0) x[518] = 556 2220.60/1692.37 c (60,0) x[519] = 283 2220.60/1692.37 c (60,0) x[520] = 19 2220.60/1692.37 c (60,0) x[521] = 324 2220.60/1692.37 c (60,0) x[522] = 4 2220.60/1692.37 c (60,0) x[523] = 428 2220.60/1692.37 c (60,0) x[524] = 377 2220.60/1692.37 c (60,0) x[525] = 379 2220.60/1692.37 c (60,0) x[526] = 14 2220.60/1692.37 c (60,0) x[527] = 536 2220.60/1692.37 c (60,0) x[528] = 183 2220.60/1692.37 c (60,0) x[529] = 28 2220.60/1692.37 c (60,0) x[530] = 285 2220.60/1692.37 c (60,0) x[531] = 248 2220.60/1692.37 c (60,0) x[532] = 84 2220.60/1692.37 c (60,0) x[533] = 590 2220.60/1692.37 c (60,0) x[534] = 358 2220.60/1692.37 c (60,0) x[535] = 237 2220.60/1692.37 c (60,0) x[536] = 542 2220.60/1692.37 c (60,0) x[537] = 207 2220.60/1692.37 c (60,0) x[538] = 175 2220.60/1692.37 c (60,0) x[539] = 586 2220.60/1692.37 s SATISFIABLE 2220.60/1692.38 v <instantiation> 2220.60/1692.38 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] x[259] x[260] x[261] x[262] x[263] x[264] x[265] x[266] x[267] x[268] x[269] x[270] x[271] x[272] x[273] x[274] x[275] x[276] x[277] x[278] x[279] x[280] x[281] x[282] x[283] x[284] x[285] x[286] x[287] x[288] x[289] x[290] x[291] x[292] x[293] x[294] x[295] x[296] x[297] x[298] x[299] x[300] x[301] x[302] x[303] x[304] x[305] x[306] x[307] x[308] x[309] x[310] x[311] x[312] x[313] x[314] x[315] x[316] x[317] x[318] x[319] x[320] x[321] x[322] x[323] x[324] x[325] x[326] x[327] x[328] x[329] x[330] x[331] x[332] x[333] x[334] x[335] x[336] x[337] x[338] x[339] x[340] x[341] x[342] x[343] x[344] x[345] x[346] x[347] x[348] x[349] x[350] x[351] x[352] x[353] x[354] x[355] x[356] x[357] x[358] x[359] x[360] x[361] x[362] x[363] x[364] x[365] x[366] x[367] x[368] x[369] x[370] x[371] x[372] x[373] x[374] x[375] x[376] x[377] x[378] x[379] x[380] x[381] x[382] x[383] x[384] x[385] x[386] x[387] x[388] x[389] x[390] x[391] x[392] x[393] x[394] x[395] x[396] x[397] x[398] x[399] x[400] x[401] x[402] x[403] x[404] x[405] x[406] x[407] x[408] x[409] x[410] x[411] x[412] x[413] x[414] x[415] x[416] x[417] x[418] x[419] x[420] x[421] x[422] x[423] x[424] x[425] x[426] x[427] x[428] x[429] x[430] x[431] x[432] x[433] x[434] x[435] x[436] x[437] x[438] x[439] x[440] x[441] x[442] x[443] x[444] x[445] x[446] x[447] x[448] x[449] x[450] x[451] x[452] x[453] x[454] x[455] x[456] x[457] x[458] x[459] x[460] x[461] x[462] x[463] x[464] x[465] x[466] x[467] x[468] x[469] x[470] x[471] x[472] x[473] x[474] x[475] x[476] x[477] x[478] x[479] x[480] x[481] x[482] x[483] x[484] x[485] x[486] x[487] x[488] x[489] x[490] x[491] x[492] x[493] x[494] x[495] x[496] x[497] x[498] x[499] x[500] x[501] x[502] x[503] x[504] x[505] x[506] x[507] x[508] x[509] x[510] x[511] x[512] x[513] x[514] x[515] x[516] x[517] x[518] x[519] x[520] x[521] x[522] x[523] x[524] x[525] x[526] x[527] x[528] x[529] x[530] x[531] x[532] x[533] x[534] x[535] x[536] x[537] x[538] x[539]</list> 2220.60/1692.38 v <values>177 167 551 325 489 457 147 137 408 565 299 342 473 488 317 25 20 592 410 98 73 229 571 406 220 540 477 165 206 433 510 397 291 389 130 522 555 47 10 30 427 578 5 553 121 569 122 226 450 499 466 253 581 395 194 83 576 598 361 89 72 402 475 446 246 111 161 211 470 413 222 22 380 123 574 497 16 346 305 304 59 374 523 252 567 532 297 530 136 599 528 100 388 443 267 277 582 529 316 9 15 163 535 407 139 517 96 258 549 520 67 164 560 40 559 375 243 439 116 107 357 335 425 179 509 23 218 74 464 134 398 128 239 271 495 110 60 544 308 492 35 469 42 458 362 526 412 577 190 334 210 46 264 580 512 309 348 64 436 221 262 274 50 188 405 154 451 563 302 109 432 533 203 276 538 200 101 426 265 119 345 192 225 507 579 71 506 251 460 561 195 294 593 481 217 545 202 331 452 502 198 568 332 485 296 301 353 65 255 511 21 94 124 189 366 444 496 365 487 79 244 524 562 62 448 503 266 376 483 431 349 479 235 504 293 564 288 117 486 429 7 129 273 231 423 465 596 337 534 515 144 191 471 570 184 289 152 284 126 421 174 153 278 41 537 321 355 558 387 193 219 392 338 318 333 36 393 354 145 55 286 422 441 279 583 1 369 17 186 180 169 127 525 290 80 447 298 282 56 112 172 8 371 63 52 552 292 498 383 0 514 268 236 48 103 228 424 372 513 541 449 185 445 13 557 314 368 125 320 93 584 591 159 118 359 404 401 548 148 176 411 87 26 516 3 543 300 58 339 70 546 390 182 263 85 588 400 550 589 38 78 454 508 140 18 261 76 171 442 275 259 241 204 141 29 173 113 323 484 162 438 97 478 356 476 329 90 160 370 352 24 104 501 102 328 106 86 518 480 493 539 199 505 57 260 256 319 230 245 201 364 66 313 311 587 146 519 373 157 2 53 120 37 43 39 69 238 114 115 597 467 208 312 326 455 32 6 170 234 351 27 166 494 417 391 340 566 272 437 350 49 216 430 149 242 435 287 363 344 31 99 385 232 187 34 303 51 233 336 61 572 409 212 472 257 138 347 178 105 419 12 223 33 213 459 386 168 575 396 281 307 132 482 11 322 573 44 205 418 81 224 196 227 151 88 490 197 456 420 415 343 394 367 68 461 500 360 381 556 283 19 324 4 428 377 379 14 536 183 28 285 248 84 590 358 237 542 207 175 586</values> 2220.60/1692.38 v </instantiation> 2220.60/1692.38 c (60,0) Show results End 2220.60/1692.38 c (60,0) Heap : 415 MiB used (max 3925 MiB), NonHeap : 19 MiB used (max 0 MiB) 2220.60/1692.38 c (60,0) 59,60,STOP-AFTER(ALL) 2220.60/1692.38 c END-Prog: Tue Sep 24 17:52:31 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 (13135 MiB free) memory of node 1: 16384 MiB (12322 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405558-1569338703/watcher-4405558-1569338703 -o /var/tmp/evaluation-result-4405558-1569338703/solver-4405558-1569338703 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node136-1569335934-10152 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405558-1569338703.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 Starting watchdog thread solver pid=10622, runsolver pid=10619 Current StackSize limit: 8192 KiB [startup+0.100134 s]* /proc/loadavg: 7.93 7.18 6.11 2/215 10644 /proc/meminfo: memFree=25973752/32770624 swapFree=67002120/67108860 [pid=10622] ppid=10619 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/10622/stat : 10622 (scop.sh) S 10619 10622 10125 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 510118893 115843072 349 33554432000 4194304 5098028 140722629198064 140722629195320 139908959834748 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 7983104 140722629206780 140722629207128 140722629207128 140722629210057 0 /proc/10622/statm: 28282 349 296 221 0 87 0 [pid=10625] ppid=10622 vsize=27314120 memory=106536 CPUtime=0.1 cores=0-7 /proc/10625/stat : 10625 (java) S 10622 10622 10125 0 -1 1077944320 6142 0 0 0 8 2 0 0 20 0 20 0 510118893 27969658880 26634 33554432000 4194304 4196468 140734165834736 140734165817280 140083820986103 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22564864 140734165836486 140734165836934 140734165836934 140734165839823 0 /proc/10625/statm: 6828530 26634 2817 1 0 6790935 0 [pid=10625/tid=10626] ppid=10622 vsize=27314120 memory=4134930498285298233 CPUtime=0.09 cores=0-7 /proc/10625/task/10626/stat : 10626 (java) R 10622 10622 10125 0 -1 4202560 4247 0 0 0 7 2 0 0 20 0 20 0 510118894 27969658880 27146 33554432000 4194304 4196468 140734165834736 140083792809392 140083801262928 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22564864 140734165836486 140734165836934 140734165836934 140734165839823 0 [pid=10625/tid=10627] ppid=10622 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/10625/task/10627/stat : 10627 (java) S 10622 10622 10125 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510118896 27969658880 27146 33554432000 4194304 4196468 140734165834736 140083825228816 140083820996309 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22564864 140734165836486 140734165836934 140734165836934 140734165839823 0 [pid=10625/tid=10628] ppid=10622 vsize=27314120 memory=139679302346368 CPUtime=0 cores=0-7 /proc/10625/task/10628/stat : 10628 (java) S 10622 10622 10125 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510118896 27969658880 27146 33554432000 4194304 4196468 140734165834736 140083242679440 140083820996309 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22564864 140734165836486 140734165836934 140734165836934 140734165839823 0 [pid=10625/tid=10629] ppid=10622 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10625/task/10629/stat : 10629 (java) S 10622 10622 10125 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510118896 27969658880 27146 33554432000 4194304 4196468 140734165834736 140083241626384 140083820996309 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22564864 140734165836486 140734165836934 140734165836934 140734165839823 0 [pid=10625/tid=10630] ppid=10622 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10625/task/10630/stat : 10630 (java) S 10622 10622 10125 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510118896 27969658880 27146 33554432000 4194304 4196468 140734165834736 140083240573840 140083820996309 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22564864 140734165836486 140734165836934 140734165836934 140734165839823 0 [pid=10625/tid=10631] ppid=10622 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10625/task/10631/stat : 10631 (java) S 10622 10622 10125 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510118896 27969658880 27146 33554432000 4194304 4196468 140734165834736 140083239520784 140083820996309 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22564864 140734165836486 140734165836934 140734165836934 140734165839823 0 [pid=10625/tid=10632] ppid=10622 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/10625/task/10632/stat : 10632 (java) S 10622 10622 10125 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510118896 27969658880 27146 33554432000 4194304 4196468 140734165834736 140083238468240 140083820996309 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22564864 140734165836486 140734165836934 140734165836934 140734165839823 0 [pid=10625/tid=10633] ppid=10622 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10625/task/10633/stat : 10633 (java) S 10622 10622 10125 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510118896 27969658880 27146 33554432000 4194304 4196468 140734165834736 140083237415184 140083820996309 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22564864 140734165836486 140734165836934 140734165836934 140734165839823 0 [pid=10625/tid=10634] ppid=10622 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10625/task/10634/stat : 10634 (java) S 10622 10622 10125 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510118896 27969658880 27146 33554432000 4194304 4196468 140734165834736 140083236362640 140083820996309 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22564864 140734165836486 140734165836934 140734165836934 140734165839823 0 [pid=10625/tid=10635] ppid=10622 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10625/task/10635/stat : 10635 (java) S 10622 10622 10125 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510118898 27969658880 27146 33554432000 4194304 4196468 140734165834736 140082342521584 140083820997250 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22564864 140734165836486 140734165836934 140734165836934 140734165839823 0 [pid=10625/tid=10636] ppid=10622 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10625/task/10636/stat : 10636 (java) S 10622 10622 10125 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510118898 27969658880 27146 33554432000 4194304 4196468 140734165834736 140081700529824 140083820996309 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22564864 140734165836486 140734165836934 140734165836934 140734165839823 0 [pid=10625/tid=10637] ppid=10622 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10625/task/10637/stat : 10637 (java) S 10622 10622 10125 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510118898 27969658880 27146 33554432000 4194304 4196468 140734165834736 140081432093936 140083820996309 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22564864 140734165836486 140734165836934 140734165836934 140734165839823 0 [pid=10625/tid=10638] ppid=10622 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10625/task/10638/stat : 10638 (java) S 10622 10622 10125 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510118901 27969658880 27146 33554432000 4194304 4196468 140734165834736 140081057585616 140083821004699 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22564864 140734165836486 140734165836934 140734165836934 140734165839823 0 [pid=10625/tid=10639] ppid=10622 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10625/task/10639/stat : 10639 (java) S 10622 10622 10125 0 -1 1077944384 295 0 0 0 0 0 0 0 20 0 20 0 510118901 27969658880 27146 33554432000 4194304 4196468 140734165834736 140082341468400 140083820997250 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22564864 140734165836486 140734165836934 140734165836934 140734165839823 0 [pid=10625/tid=10640] ppid=10622 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10625/task/10640/stat : 10640 (java) S 10622 10622 10125 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510118901 27969658880 27146 33554432000 4194304 4196468 140734165834736 140082340415856 140083820997250 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22564864 140734165836486 140734165836934 140734165836934 140734165839823 0 [pid=10625/tid=10641] ppid=10622 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10625/task/10641/stat : 10641 (java) S 10622 10622 10125 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510118901 27969658880 27146 33554432000 4194304 4196468 140734165834736 140082339362800 140083820997250 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22564864 140734165836486 140734165836934 140734165836934 140734165839823 0 [pid=10625/tid=10642] ppid=10622 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10625/task/10642/stat : 10642 (java) S 10622 10622 10125 0 -1 1077944384 271 0 0 0 0 0 0 0 20 0 20 0 510118901 27969658880 27146 33554432000 4194304 4196468 140734165834736 140082338310256 140083820997250 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22564864 140734165836486 140734165836934 140734165836934 140734165839823 0 [pid=10625/tid=10643] ppid=10622 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10625/task/10643/stat : 10643 (java) S 10622 10622 10125 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510118901 27969658880 27146 33554432000 4194304 4196468 140734165834736 140080559680480 140083820996309 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22564864 140734165836486 140734165836934 140734165836934 140734165839823 0 [pid=10625/tid=10644] ppid=10622 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/10625/task/10644/stat : 10644 (java) S 10622 10622 10125 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510118901 27969658880 27146 33554432000 4194304 4196468 140734165834736 140082337258672 140083820997250 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22564864 140734165836486 140734165836934 140734165836934 140734165839823 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 107932 KiB [startup+0.210673 s]* /proc/loadavg: 7.93 7.18 6.11 3/215 10644 /proc/meminfo: memFree=25952012/32770624 swapFree=67002120/67108860 [pid=10622] ppid=10619 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/10622/stat : 10622 (scop.sh) S 10619 10622 10125 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 510118893 115843072 349 33554432000 4194304 5098028 140722629198064 140722629195320 139908959834748 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 7983104 140722629206780 140722629207128 140722629207128 140722629210057 0 /proc/10622/statm: 28282 349 296 221 0 87 0 [pid=10625] ppid=10622 vsize=27314120 memory=125632 CPUtime=0.24 cores=0-7 /proc/10625/stat : 10625 (java) S 10622 10622 10125 0 -1 1077944320 11757 0 0 0 20 4 0 0 20 0 20 0 510118893 27969658880 31408 33554432000 4194304 4196468 140734165834736 140734165817280 140083820986103 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22564864 140734165836486 140734165836934 140734165836934 140734165839823 0 /proc/10625/statm: 6828530 31408 2941 1 0 6790935 0 [pid=10625/tid=10626] ppid=10622 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/10625/task/10626/stat : 10626 (java) R 10622 10622 10125 0 -1 4202560 9464 0 0 0 16 3 0 0 20 0 20 0 510118894 27969658880 31408 33554432000 4194304 4196468 140734165834736 140083792785488 140083802549659 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22564864 140734165836486 140734165836934 140734165836934 140734165839823 0 [pid=10625/tid=10627] ppid=10622 vsize=27314120 memory=330 CPUtime=0 cores=0-7 /proc/10625/task/10627/stat : 10627 (java) S 10622 10622 10125 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510118896 27969658880 31408 33554432000 4194304 4196468 140734165834736 140083825228816 140083820996309 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22564864 140734165836486 140734165836934 140734165836934 140734165839823 0 [pid=10625/tid=10628] ppid=10622 vsize=27314120 memory=288370055454058112 CPUtime=0 cores=0-7 /proc/10625/task/10628/stat : 10628 (java) S 10622 10622 10125 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510118896 27969658880 31408 33554432000 4194304 4196468 140734165834736 140083242679440 140083820996309 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22564864 140734165836486 140734165836934 140734165836934 140734165839823 0 [pid=10625/tid=10629] ppid=10622 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/10625/task/10629/stat : 10629 (java) S 10622 10622 10125 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510118896 27969658880 31408 33554432000 4194304 4196468 140734165834736 140083241626384 140083820996309 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22564864 140734165836486 140734165836934 140734165836934 140734165839823 0 [pid=10625/tid=10630] ppid=10622 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10625/task/10630/stat : 10630 (java) S 10622 10622 10125 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510118896 27969658880 31408 33554432000 4194304 4196468 140734165834736 140083240573840 140083820996309 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22564864 140734165836486 140734165836934 140734165836934 140734165839823 0 [pid=10625/tid=10631] ppid=10622 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10625/task/10631/stat : 10631 (java) S 10622 10622 10125 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510118896 27969658880 31408 33554432000 4194304 4196468 140734165834736 140083239520784 140083820996309 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22564864 140734165836486 140734165836934 140734165836934 140734165839823 0 [pid=10625/tid=10632] ppid=10622 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/10625/task/10632/stat : 10632 (java) S 10622 10622 10125 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510118896 27969658880 31408 33554432000 4194304 4196468 140734165834736 140083238468240 140083820996309 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22564864 140734165836486 140734165836934 140734165836934 140734165839823 0 [pid=10625/tid=10633] ppid=10622 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10625/task/10633/stat : 10633 (java) S 10622 10622 10125 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510118896 27969658880 31408 33554432000 4194304 4196468 140734165834736 140083237415184 140083820996309 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22564864 140734165836486 140734165836934 140734165836934 140734165839823 0 [pid=10625/tid=10634] ppid=10622 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10625/task/10634/stat : 10634 (java) S 10622 10622 10125 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510118896 27969658880 31408 33554432000 4194304 4196468 140734165834736 140083236362640 140083820996309 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22564864 140734165836486 140734165836934 140734165836934 140734165839823 0 [pid=10625/tid=10635] ppid=10622 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10625/task/10635/stat : 10635 (java) S 10622 10622 10125 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510118898 27969658880 31408 33554432000 4194304 4196468 140734165834736 140082342521584 140083820997250 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22564864 140734165836486 140734165836934 140734165836934 140734165839823 0 [pid=10625/tid=10636] ppid=10622 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10625/task/10636/stat : 10636 (java) S 10622 10622 10125 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510118898 27969658880 31408 33554432000 4194304 4196468 140734165834736 140081700529824 140083820996309 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22564864 140734165836486 140734165836934 140734165836934 140734165839823 0 [pid=10625/tid=10637] ppid=10622 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10625/task/10637/stat : 10637 (java) S 10622 10622 10125 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510118898 27969658880 31408 33554432000 4194304 4196468 140734165834736 140081432093936 140083820996309 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22564864 140734165836486 140734165836934 140734165836934 140734165839823 0 [pid=10625/tid=10638] ppid=10622 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10625/task/10638/stat : 10638 (java) S 10622 10622 10125 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510118901 27969658880 31408 33554432000 4194304 4196468 140734165834736 140081057585616 140083821004699 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22564864 140734165836486 140734165836934 140734165836934 140734165839823 0 [pid=10625/tid=10639] ppid=10622 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10625/task/10639/stat : 10639 (java) S 10622 10622 10125 0 -1 1077944384 329 0 0 0 0 0 0 0 20 0 20 0 510118901 27969658880 31408 33554432000 4194304 4196468 140734165834736 140082341468400 140083820997250 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22564864 140734165836486 140734165836934 140734165836934 140734165839823 0 [pid=10625/tid=10640] ppid=10622 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10625/task/10640/stat : 10640 (java) S 10622 10622 10125 0 -1 1077944384 149 0 0 0 0 0 0 0 20 0 20 0 510118901 27969658880 31408 33554432000 4194304 4196468 140734165834736 140082340415856 140083820997250 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22564864 140734165836486 140734165836934 140734165836934 140734165839823 0 [pid=10625/tid=10641] ppid=10622 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/10625/task/10641/stat : 10641 (java) S 10622 10622 10125 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510118901 27969658880 31408 33554432000 4194304 4196468 140734165834736 140082339362800 140083820997250 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22564864 140734165836486 140734165836934 140734165836934 140734165839823 0 [pid=10625/tid=10642] ppid=10622 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7 /proc/10625/task/10642/stat : 10642 (java) S 10622 10622 10125 0 -1 1077944384 472 0 0 0 2 0 0 0 20 0 20 0 510118901 27969658880 31408 33554432000 4194304 4196468 140734165834736 140082338310256 140083820997250 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22564864 140734165836486 140734165836934 140734165836934 140734165839823 0 [pid=10625/tid=10643] ppid=10622 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10625/task/10643/stat : 10643 (java) S 10622 10622 10125 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510118901 27969658880 31408 33554432000 4194304 4196468 140734165834736 140080559680480 140083820996309 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22564864 140734165836486 140734165836934 140734165836934 140734165839823 0 [pid=10625/tid=10644] ppid=10622 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/10625/task/10644/stat : 10644 (java) S 10622 10622 10125 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510118901 27969658880 31408 33554432000 4194304 4196468 140734165834736 140082337258672 140083820997250 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22564864 140734165836486 140734165836934 140734165836934 140734165839823 0 Current children cumulated CPU time: 0.24 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 127028 KiB [startup+0.310448 s]* /proc/loadavg: 7.93 7.18 6.11 2/215 10644 /proc/meminfo: memFree=25948848/32770624 swapFree=67002120/67108860 [pid=10622] ppid=10619 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/10622/stat : 10622 (scop.sh) S 10619 10622 10125 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 510118893 115843072 349 33554432000 4194304 5098028 140722629198064 140722629195320 139908959834748 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 7983104 140722629206780 140722629207128 140722629207128 140722629210057 0 /proc/10622/statm: 28282 349 296 221 0 87 0 [pid=10625] ppid=10622 vsize=27314120 memory=129644 CPUtime=0.42 cores=0-7 /proc/10625/stat : 10625 (java) S 10622 10622 10125 0 -1 1077944320 12317 0 0 0 37 5 0 0 20 0 20 0 510118893 27969658880 32411 33554432000 4194304 4196468 140734165834736 140734165817280 140083820986103 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22564864 140734165836486 140734165836934 140734165836934 140734165839823 0 /proc/10625/statm: 6828530 32411 3021 1 0 6790935 0 [pid=10625/tid=10626] ppid=10622 vsize=27314120 memory=6791534058613427641 CPUtime=0.3 cores=0-7 /proc/10625/task/10626/stat : 10626 (java) R 10622 10622 10125 0 -1 4202560 9819 0 0 0 26 4 0 0 20 0 20 0 510118894 27969658880 32477 33554432000 4194304 4196468 140734165834736 140083792799968 140083802549663 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22564864 140734165836486 140734165836934 140734165836934 140734165839823 0 [pid=10625/tid=10627] ppid=10622 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10625/task/10627/stat : 10627 (java) S 10622 10622 10125 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510118896 27969658880 32477 33554432000 4194304 4196468 140734165834736 140083825228816 140083820996309 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22564864 140734165836486 140734165836934 140734165836934 140734165839823 0 [pid=10625/tid=10628] ppid=10622 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10625/task/10628/stat : 10628 (java) S 10622 10622 10125 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510118896 27969658880 32477 33554432000 4194304 4196468 140734165834736 140083242679440 140083820996309 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22564864 140734165836486 140734165836934 140734165836934 140734165839823 0 [pid=10625/tid=10629] ppid=10622 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10625/task/10629/stat : 10629 (java) S 10622 10622 10125 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510118896 27969658880 32477 33554432000 4194304 4196468 140734165834736 140083241626384 140083820996309 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22564864 140734165836486 140734165836934 140734165836934 140734165839823 0 [pid=10625/tid=10630] ppid=10622 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10625/task/10630/stat : 10630 (java) S 10622 10622 10125 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510118896 27969658880 32477 33554432000 4194304 4196468 140734165834736 140083240573840 140083820996309 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22564864 140734165836486 140734165836934 140734165836934 140734165839823 0 [pid=10625/tid=10631] ppid=10622 vsize=27314120 memory=2244 CPUtime=0 cores=0-7 /proc/10625/task/10631/stat : 10631 (java) S 10622 10622 10125 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510118896 27969658880 32477 33554432000 4194304 4196468 140734165834736 140083239520784 140083820996309 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22564864 140734165836486 140734165836934 140734165836934 140734165839823 0 [pid=10625/tid=10632] ppid=10622 vsize=27314120 memory=139679181665199 CPUtime=0 cores=0-7 /proc/10625/task/10632/stat : 10632 (java) S 10622 10622 10125 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510118896 27969658880 32477 33554432000 4194304 4196468 140734165834736 140083238468240 140083820996309 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22564864 140734165836486 140734165836934 140734165836934 140734165839823 0 [pid=10625/tid=10633] ppid=10622 vsize=27314120 memory=139679181667504 CPUtime=0 cores=0-7 /proc/10625/task/10633/stat : 10633 (java) S 10622 10622 10125 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510118896 27969658880 32477 33554432000 4194304 4196468 140734165834736 140083237415184 140083820996309 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22564864 140734165836486 140734165836934 140734165836934 140734165839823 0 [pid=10625/tid=10634] ppid=10622 vsize=27314120 memory=139679181669808 CPUtime=0 cores=0-7 /proc/10625/task/10634/stat : 10634 (java) S 10622 10622 10125 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510118896 27969658880 32477 33554432000 4194304 4196468 140734165834736 140083236362640 140083820996309 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22564864 140734165836486 140734165836934 140734165836934 140734165839823 0 [pid=10625/tid=10635] ppid=10622 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10625/task/10635/stat : 10635 (java) S 10622 10622 10125 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510118898 27969658880 32477 33554432000 4194304 4196468 140734165834736 140082342521584 140083820997250 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22564864 140734165836486 140734165836934 140734165836934 140734165839823 0 [pid=10625/tid=10636] ppid=10622 vsize=27314120 memory=279358363346576 CPUtime=0 cores=0-7 /proc/10625/task/10636/stat : 10636 (java) S 10622 10622 10125 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510118898 27969658880 32477 33554432000 4194304 4196468 140734165834736 140081700529824 140083820996309 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22564864 140734165836486 140734165836934 140734165836934 140734165839823 0 [pid=10625/tid=10637] ppid=10622 vsize=27314120 memory=279358363353488 CPUtime=0 cores=0-7 /proc/10625/task/10637/stat : 10637 (java) S 10622 10622 10125 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510118898 27969658880 32477 33554432000 4194304 4196468 140734165834736 140081432093936 140083820996309 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22564864 140734165836486 140734165836934 140734165836934 140734165839823 0 [pid=10625/tid=10638] ppid=10622 vsize=27314120 memory=279358363294768 CPUtime=0 cores=0-7 /proc/10625/task/10638/stat : 10638 (java) S 10622 10622 10125 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510118901 27969658880 32477 33554432000 4194304 4196468 140734165834736 140081057585616 140083821004699 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22564864 140734165836486 140734165836934 140734165836934 140734165839823 0 [pid=10625/tid=10639] ppid=10622 vsize=27314120 memory=279358363367312 CPUtime=0.01 cores=0-7 /proc/10625/task/10639/stat : 10639 (java) S 10622 10622 10125 0 -1 1077944384 412 0 0 0 1 0 0 0 20 0 20 0 510118901 27969658880 32477 33554432000 4194304 4196468 140734165834736 140082341468400 140083820997250 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22564864 140734165836486 140734165836934 140734165836934 140734165839823 0 [pid=10625/tid=10640] ppid=10622 vsize=27314120 memory=279358363374224 CPUtime=0.01 cores=0-7 /proc/10625/task/10640/stat : 10640 (java) R 10622 10622 10125 0 -1 4202560 199 0 0 0 1 0 0 0 20 0 20 0 510118901 27969658880 32477 33554432000 4194304 4196468 140734165834736 140082340415856 140083805910951 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22564864 140734165836486 140734165836934 140734165836934 140734165839823 0 [pid=10625/tid=10641] ppid=10622 vsize=27314120 memory=279358363371920 CPUtime=0 cores=0-7 /proc/10625/task/10641/stat : 10641 (java) S 10622 10622 10125 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 20 0 510118901 27969658880 32477 33554432000 4194304 4196468 140734165834736 140082339362800 140083820997250 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22564864 140734165836486 140734165836934 140734165836934 140734165839823 0 [pid=10625/tid=10642] ppid=10622 vsize=27314120 memory=279358363388080 CPUtime=0.07 cores=0-7 /proc/10625/task/10642/stat : 10642 (java) S 10622 10622 10125 0 -1 1077944384 523 0 0 0 7 0 0 0 20 0 20 0 510118901 27969658880 32477 33554432000 4194304 4196468 140734165834736 140082338310256 140083820997250 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22564864 140734165836486 140734165836934 140734165836934 140734165839823 0 [pid=10625/tid=10643] ppid=10622 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10625/task/10643/stat : 10643 (java) S 10622 10622 10125 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510118901 27969658880 32477 33554432000 4194304 4196468 140734165834736 140080559680480 140083820996309 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22564864 140734165836486 140734165836934 140734165836934 140734165839823 0 [pid=10625/tid=10644] ppid=10622 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/10625/task/10644/stat : 10644 (java) S 10622 10622 10125 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510118901 27969658880 32477 33554432000 4194304 4196468 140734165834736 140082337258672 140083820997250 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22564864 140734165836486 140734165836934 140734165836934 140734165839823 0 Current children cumulated CPU time: 0.42 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 131040 KiB [startup+0.701496 s] /proc/loadavg: 7.93 7.18 6.11 2/215 10644 /proc/meminfo: memFree=25927508/32770624 swapFree=67002120/67108860 [pid=10622] ppid=10619 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/10622/stat : 10622 (scop.sh) S 10619 10622 10125 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 510118893 115843072 349 33554432000 4194304 5098028 140722629198064 140722629195320 139908959834748 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 7983104 140722629206780 140722629207128 140722629207128 140722629210057 0 /proc/10622/statm: 28282 349 296 221 0 87 0 [pid=10625] ppid=10622 vsize=27320392 memory=165360 CPUtime=0.99 cores=0-7 /proc/10625/stat : 10625 (java) S 10622 10622 10125 0 -1 1077944320 19913 0 0 0 92 7 0 0 20 0 20 0 510118893 27976081408 41340 33554432000 4194304 4196468 140734165834736 140734165817280 140083820986103 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22564864 140734165836486 140734165836934 140734165836934 140734165839823 0 /proc/10625/statm: 6830098 41340 3182 1 0 6791447 0 [pid=10625/tid=10626] ppid=10622 vsize=27320392 memory=279358363745968 CPUtime=0.68 cores=0-7 /proc/10625/task/10626/stat : 10626 (java) R 10622 10622 10125 0 -1 4202560 16876 0 0 0 62 6 0 0 20 0 20 0 510118894 27976081408 41340 33554432000 4194304 4196468 140734165834736 140083792823616 140083820998038 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22564864 140734165836486 140734165836934 140734165836934 140734165839823 0 [pid=10625/tid=10627] ppid=10622 vsize=27320392 memory=139679181874032 CPUtime=0 cores=0-7 /proc/10625/task/10627/stat : 10627 (java) S 10622 10622 10125 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510118896 27976081408 41340 33554432000 4194304 4196468 140734165834736 140083825228816 140083820996309 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22564864 140734165836486 140734165836934 140734165836934 140734165839823 0 [pid=10625/tid=10628] ppid=10622 vsize=27320392 memory=0 CPUtime=0 cores=0-7 /proc/10625/task/10628/stat : 10628 (java) S 10622 10622 10125 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510118896 27976081408 41340 33554432000 4194304 4196468 140734165834736 140083242679440 140083820996309 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22564864 140734165836486 140734165836934 140734165836934 140734165839823 0 [pid=10625/tid=10629] ppid=10622 vsize=27320392 memory=1056 CPUtime=0 cores=0-7 ################ # More data... # ################ /proc/10622/statm: 28282 369 311 221 0 87 0 [pid=10770] ppid=10622 vsize=8283048 memory=445964 CPUtime=62.14 cores=0-7 /proc/10770/stat : 10770 (java) S 10622 10622 10125 0 -1 1077944320 23225 3345880 0 0 250 18 5287 659 20 0 22 0 510282080 8481841152 111491 33554432000 4194304 4196468 140735011586672 140735011569216 139840645373687 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 14032896 140735011591135 140735011591302 140735011591302 140735011594191 0 /proc/10770/statm: 2070762 111491 3235 1 0 2032106 0 [pid=10770/tid=10771] ppid=10622 vsize=8283048 memory=122324 CPUtime=60.5 cores=0-7 /proc/10770/task/10771/stat : 10771 (java) R 10622 10622 10125 0 -1 4202560 18246 3345880 0 0 96 8 5287 659 20 0 22 0 510282081 8481841152 111491 33554432000 4194304 4196468 140735011586672 139840617211440 139840638059319 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14032896 140735011591135 140735011591302 140735011591302 140735011594191 0 [pid=10770/tid=10772] ppid=10622 vsize=8283048 memory=1476 CPUtime=59.46 cores=0-7 /proc/10770/task/10772/stat : 10772 (java) S 10622 10622 10125 0 -1 1077944384 1 3345880 0 0 0 0 5287 659 20 0 22 0 510282082 8481841152 111491 33554432000 4194304 4196468 140735011586672 139840649616272 139840645383893 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14032896 140735011591135 140735011591302 140735011591302 140735011594191 0 [pid=10770/tid=10773] ppid=10622 vsize=8283048 memory=1656 CPUtime=59.46 cores=0-7 /proc/10770/task/10773/stat : 10773 (java) S 10622 10622 10125 0 -1 1077944384 1 3345880 0 0 0 0 5287 659 20 0 22 0 510282082 8481841152 111491 33554432000 4194304 4196468 140735011586672 139840449784592 139840645383893 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14032896 140735011591135 140735011591302 140735011591302 140735011594191 0 [pid=10770/tid=10774] ppid=10622 vsize=8283048 memory=804 CPUtime=59.46 cores=0-7 /proc/10770/task/10774/stat : 10774 (java) S 10622 10622 10125 0 -1 1077944384 1 3345880 0 0 0 0 5287 659 20 0 22 0 510282082 8481841152 111491 33554432000 4194304 4196468 140735011586672 139840448732304 139840645383893 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14032896 140735011591135 140735011591302 140735011591302 140735011594191 0 [pid=10770/tid=10775] ppid=10622 vsize=8283048 memory=6791534058613427641 CPUtime=59.46 cores=0-7 /proc/10770/task/10775/stat : 10775 (java) S 10622 10622 10125 0 -1 1077944384 1 3345880 0 0 0 0 5287 659 20 0 22 0 510282082 8481841152 111491 33554432000 4194304 4196468 140735011586672 139840447679504 139840645383893 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14032896 140735011591135 140735011591302 140735011591302 140735011594191 0 [pid=10770/tid=10776] ppid=10622 vsize=8283048 memory=1056 CPUtime=59.46 cores=0-7 /proc/10770/task/10776/stat : 10776 (java) S 10622 10622 10125 0 -1 1077944384 2 3345880 0 0 0 0 5287 659 20 0 22 0 510282082 8481841152 111491 33554432000 4194304 4196468 140735011586672 139840446626192 139840645383893 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14032896 140735011591135 140735011591302 140735011591302 140735011594191 0 [pid=10770/tid=10777] ppid=10622 vsize=8283048 memory=1568 CPUtime=59.46 cores=0-7 /proc/10770/task/10777/stat : 10777 (java) S 10622 10622 10125 0 -1 1077944384 2 3345880 0 0 0 0 5287 659 20 0 22 0 510282082 8481841152 111491 33554432000 4194304 4196468 140735011586672 139840445573392 139840645383893 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14032896 140735011591135 140735011591302 140735011591302 140735011594191 0 [pid=10770/tid=10778] ppid=10622 vsize=8283048 memory=1064 CPUtime=59.46 cores=0-7 /proc/10770/task/10778/stat : 10778 (java) S 10622 10622 10125 0 -1 1077944384 1 3345880 0 0 0 0 5287 659 20 0 22 0 510282082 8481841152 111491 33554432000 4194304 4196468 140735011586672 139840125397648 139840645383893 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14032896 140735011591135 140735011591302 140735011591302 140735011594191 0 [pid=10770/tid=10779] ppid=10622 vsize=8283048 memory=14008 CPUtime=59.46 cores=0-7 /proc/10770/task/10779/stat : 10779 (java) S 10622 10622 10125 0 -1 1077944384 1 3345880 0 0 0 0 5287 659 20 0 22 0 510282082 8481841152 111491 33554432000 4194304 4196468 140735011586672 139840124344848 139840645383893 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14032896 140735011591135 140735011591302 140735011591302 140735011594191 0 [pid=10770/tid=10780] ppid=10622 vsize=8283048 memory=12040 CPUtime=59.46 cores=0-7 /proc/10770/task/10780/stat : 10780 (java) S 10622 10622 10125 0 -1 1077944384 7 3345880 0 0 0 0 5287 659 20 0 22 0 510282084 8481841152 111491 33554432000 4194304 4196468 140735011586672 139839403338352 139840645384834 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14032896 140735011591135 140735011591302 140735011591302 140735011594191 0 [pid=10770/tid=10781] ppid=10622 vsize=8283048 memory=0 CPUtime=59.46 cores=0-7 /proc/10770/task/10781/stat : 10781 (java) S 10622 10622 10125 0 -1 1077944384 13 3345880 0 0 0 0 5287 659 20 0 22 0 510282084 8481841152 111491 33554432000 4194304 4196468 140735011586672 139839303312672 139840645383893 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14032896 140735011591135 140735011591302 140735011591302 140735011594191 0 [pid=10770/tid=10782] ppid=10622 vsize=8283048 memory=0 CPUtime=59.46 cores=0-7 /proc/10770/task/10782/stat : 10782 (java) S 10622 10622 10125 0 -1 1077944384 1 3345880 0 0 0 0 5287 659 20 0 22 0 510282085 8481841152 111491 33554432000 4194304 4196468 140735011586672 139839034877552 139840645383893 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14032896 140735011591135 140735011591302 140735011591302 140735011594191 0 [pid=10770/tid=10783] ppid=10622 vsize=8283048 memory=0 CPUtime=59.46 cores=0-7 /proc/10770/task/10783/stat : 10783 (java) S 10622 10622 10125 0 -1 1077944384 1 3345880 0 0 0 0 5287 659 20 0 22 0 510282087 8481841152 111491 33554432000 4194304 4196468 140735011586672 139838660368976 139840645392283 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14032896 140735011591135 140735011591302 140735011591302 140735011594191 0 [pid=10770/tid=10784] ppid=10622 vsize=8283048 memory=0 CPUtime=59.63 cores=0-7 /proc/10770/task/10784/stat : 10784 (java) S 10622 10622 10125 0 -1 1077944384 750 3345880 0 0 17 0 5287 659 20 0 22 0 510282087 8481841152 111491 33554432000 4194304 4196468 140735011586672 139839402285168 139840645384834 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14032896 140735011591135 140735011591302 140735011591302 140735011594191 0 [pid=10770/tid=10785] ppid=10622 vsize=8283048 memory=0 CPUtime=59.68 cores=0-7 /proc/10770/task/10785/stat : 10785 (java) S 10622 10622 10125 0 -1 1077944384 580 3345880 0 0 22 0 5287 659 20 0 22 0 510282087 8481841152 111491 33554432000 4194304 4196468 140735011586672 139839401232368 139840645384834 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14032896 140735011591135 140735011591302 140735011591302 140735011594191 0 [pid=10770/tid=10786] ppid=10622 vsize=8283048 memory=8 CPUtime=59.71 cores=0-7 /proc/10770/task/10786/stat : 10786 (java) S 10622 10622 10125 0 -1 1077944384 689 3345880 0 0 25 0 5287 659 20 0 22 0 510282087 8481841152 111491 33554432000 4194304 4196468 140735011586672 139839400180080 139840645384834 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14032896 140735011591135 140735011591302 140735011591302 140735011594191 0 [pid=10770/tid=10787] ppid=10622 vsize=8283048 memory=11 CPUtime=59.85 cores=0-7 /proc/10770/task/10787/stat : 10787 (java) S 10622 10622 10125 0 -1 1077944384 1358 3345880 0 0 38 1 5287 659 20 0 22 0 510282087 8481841152 111491 33554432000 4194304 4196468 140735011586672 139839399127280 139840645384834 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14032896 140735011591135 140735011591302 140735011591302 140735011594191 0 [pid=10770/tid=10788] ppid=10622 vsize=8283048 memory=776 CPUtime=59.46 cores=0-7 /proc/10770/task/10788/stat : 10788 (java) S 10622 10622 10125 0 -1 1077944384 3 3345880 0 0 0 0 5287 659 20 0 22 0 510282088 8481841152 111491 33554432000 4194304 4196468 140735011586672 139838162463584 139840645383893 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14032896 140735011591135 140735011591302 140735011591302 140735011594191 0 [pid=10770/tid=10789] ppid=10622 vsize=8283048 memory=3540 CPUtime=59.48 cores=0-7 /proc/10770/task/10789/stat : 10789 (java) S 10622 10622 10125 0 -1 1077944384 5 3345880 0 0 1 1 5287 659 20 0 22 0 510282088 8481841152 111491 33554432000 4194304 4196468 140735011586672 139839398075184 139840645384834 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14032896 140735011591135 140735011591302 140735011591302 140735011594191 0 [pid=10770/tid=10791] ppid=10622 vsize=8283048 memory=1232 CPUtime=59.46 cores=0-7 /proc/10770/task/10791/stat : 10791 (java) S 10622 10622 10125 0 -1 1077944384 24 3345880 0 0 0 0 5287 659 20 0 22 0 510282159 8481841152 111491 33554432000 4194304 4196468 140735011586672 139839390041104 139840645384834 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14032896 140735011591135 140735011591302 140735011591302 140735011594191 0 [pid=10770/tid=10795] ppid=10622 vsize=8283048 memory=10600 CPUtime=59.46 cores=0-7 /proc/10770/task/10795/stat : 10795 (java) S 10622 10622 10125 0 -1 1077944384 15 3345880 0 0 0 0 5287 659 20 0 22 0 510282162 8481841152 111491 33554432000 4194304 4196468 140735011586672 139837222937648 139840645384834 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14032896 140735011591135 140735011591302 140735011591302 140735011594191 0 Current children cumulated CPU time: 2220.79 s Current children cumulated vsize: 8396176 KiB Current children cumulated memory: 447440 KiB [startup+1692.6 s] /proc/loadavg: 0.88 1.16 2.04 4/217 10799 /proc/meminfo: memFree=18428932/32770624 swapFree=67002120/67108860 [pid=10622] ppid=10619 vsize=113128 memory=1476 CPUtime=2158.65 cores=0-7 /proc/10622/stat : 10622 (scop.sh) S 10619 10622 10125 0 -1 4202496 581 696670 0 0 0 0 211071 4794 20 0 1 0 510118893 115843072 369 33554432000 4194304 5098028 140722629198064 140722629194808 139908959834748 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 7983104 140722629206780 140722629207128 140722629207128 140722629210057 0 /proc/10622/statm: 28282 369 311 221 0 87 0 [pid=10770] ppid=10622 vsize=8283048 memory=445964 CPUtime=62.35 cores=0-7 /proc/10770/stat : 10770 (java) S 10622 10622 10125 0 -1 1077944320 23225 3345880 0 0 250 39 5287 659 20 0 22 0 510282080 8481841152 111491 33554432000 4194304 4196468 140735011586672 140735011569216 139840645373687 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 14032896 140735011591135 140735011591302 140735011591302 140735011594191 0 /proc/10770/statm: 2070762 111491 3235 1 0 2032106 0 [pid=10770/tid=10771] ppid=10622 vsize=8283048 memory=636 CPUtime=60.7 cores=0-7 /proc/10770/task/10771/stat : 10771 (java) R 10622 10622 10125 0 -1 4202560 18246 3345880 0 0 96 28 5287 659 20 0 22 0 510282081 8481841152 111491 33554432000 4194304 4196468 140735011586672 139840617211440 139840638059319 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14032896 140735011591135 140735011591302 140735011591302 140735011594191 0 [pid=10770/tid=10772] ppid=10622 vsize=8283048 memory=2836 CPUtime=59.46 cores=0-7 /proc/10770/task/10772/stat : 10772 (java) S 10622 10622 10125 0 -1 1077944384 1 3345880 0 0 0 0 5287 659 20 0 22 0 510282082 8481841152 111491 33554432000 4194304 4196468 140735011586672 139840649616272 139840645383893 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14032896 140735011591135 140735011591302 140735011591302 140735011594191 0 [pid=10770/tid=10773] ppid=10622 vsize=8283048 memory=1056 CPUtime=59.46 cores=0-7 /proc/10770/task/10773/stat : 10773 (java) S 10622 10622 10125 0 -1 1077944384 1 3345880 0 0 0 0 5287 659 20 0 22 0 510282082 8481841152 111491 33554432000 4194304 4196468 140735011586672 139840449784592 139840645383893 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14032896 140735011591135 140735011591302 140735011591302 140735011594191 0 [pid=10770/tid=10774] ppid=10622 vsize=8283048 memory=1568 CPUtime=59.46 cores=0-7 /proc/10770/task/10774/stat : 10774 (java) S 10622 10622 10125 0 -1 1077944384 1 3345880 0 0 0 0 5287 659 20 0 22 0 510282082 8481841152 111491 33554432000 4194304 4196468 140735011586672 139840448732304 139840645383893 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14032896 140735011591135 140735011591302 140735011591302 140735011594191 0 [pid=10770/tid=10775] ppid=10622 vsize=8283048 memory=6791534058613427641 CPUtime=59.46 cores=0-7 /proc/10770/task/10775/stat : 10775 (java) S 10622 10622 10125 0 -1 1077944384 1 3345880 0 0 0 0 5287 659 20 0 22 0 510282082 8481841152 111491 33554432000 4194304 4196468 140735011586672 139840447679504 139840645383893 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14032896 140735011591135 140735011591302 140735011591302 140735011594191 0 [pid=10770/tid=10776] ppid=10622 vsize=8283048 memory=4872558044660077418 CPUtime=59.46 cores=0-7 /proc/10770/task/10776/stat : 10776 (java) S 10622 10622 10125 0 -1 1077944384 2 3345880 0 0 0 0 5287 659 20 0 22 0 510282082 8481841152 111491 33554432000 4194304 4196468 140735011586672 139840446626192 139840645383893 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14032896 140735011591135 140735011591302 140735011591302 140735011594191 0 [pid=10770/tid=10777] ppid=10622 vsize=8283048 memory=2836 CPUtime=59.46 cores=0-7 /proc/10770/task/10777/stat : 10777 (java) S 10622 10622 10125 0 -1 1077944384 2 3345880 0 0 0 0 5287 659 20 0 22 0 510282082 8481841152 111491 33554432000 4194304 4196468 140735011586672 139840445573392 139840645383893 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14032896 140735011591135 140735011591302 140735011591302 140735011594191 0 [pid=10770/tid=10778] ppid=10622 vsize=8283048 memory=1056 CPUtime=59.46 cores=0-7 /proc/10770/task/10778/stat : 10778 (java) S 10622 10622 10125 0 -1 1077944384 1 3345880 0 0 0 0 5287 659 20 0 22 0 510282082 8481841152 111491 33554432000 4194304 4196468 140735011586672 139840125397648 139840645383893 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14032896 140735011591135 140735011591302 140735011591302 140735011594191 0 [pid=10770/tid=10779] ppid=10622 vsize=8283048 memory=1568 CPUtime=59.46 cores=0-7 /proc/10770/task/10779/stat : 10779 (java) S 10622 10622 10125 0 -1 1077944384 1 3345880 0 0 0 0 5287 659 20 0 22 0 510282082 8481841152 111491 33554432000 4194304 4196468 140735011586672 139840124344848 139840645383893 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14032896 140735011591135 140735011591302 140735011591302 140735011594191 0 [pid=10770/tid=10780] ppid=10622 vsize=8283048 memory=1064 CPUtime=59.46 cores=0-7 /proc/10770/task/10780/stat : 10780 (java) S 10622 10622 10125 0 -1 1077944384 7 3345880 0 0 0 0 5287 659 20 0 22 0 510282084 8481841152 111491 33554432000 4194304 4196468 140735011586672 139839403338352 139840645384834 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14032896 140735011591135 140735011591302 140735011591302 140735011594191 0 [pid=10770/tid=10781] ppid=10622 vsize=8283048 memory=14008 CPUtime=59.46 cores=0-7 /proc/10770/task/10781/stat : 10781 (java) S 10622 10622 10125 0 -1 1077944384 13 3345880 0 0 0 0 5287 659 20 0 22 0 510282084 8481841152 111491 33554432000 4194304 4196468 140735011586672 139839303312672 139840645383893 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14032896 140735011591135 140735011591302 140735011591302 140735011594191 0 [pid=10770/tid=10782] ppid=10622 vsize=8283048 memory=12040 CPUtime=59.46 cores=0-7 /proc/10770/task/10782/stat : 10782 (java) S 10622 10622 10125 0 -1 1077944384 1 3345880 0 0 0 0 5287 659 20 0 22 0 510282085 8481841152 111491 33554432000 4194304 4196468 140735011586672 139839034877552 139840645383893 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14032896 140735011591135 140735011591302 140735011591302 140735011594191 0 [pid=10770/tid=10783] ppid=10622 vsize=8283048 memory=2120 CPUtime=59.46 cores=0-7 /proc/10770/task/10783/stat : 10783 (java) S 10622 10622 10125 0 -1 1077944384 1 3345880 0 0 0 0 5287 659 20 0 22 0 510282087 8481841152 111491 33554432000 4194304 4196468 140735011586672 139838660368976 139840645392283 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14032896 140735011591135 140735011591302 140735011591302 140735011594191 0 [pid=10770/tid=10784] ppid=10622 vsize=8283048 memory=35188 CPUtime=59.63 cores=0-7 /proc/10770/task/10784/stat : 10784 (java) S 10622 10622 10125 0 -1 1077944384 750 3345880 0 0 17 0 5287 659 20 0 22 0 510282087 8481841152 111491 33554432000 4194304 4196468 140735011586672 139839402285168 139840645384834 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14032896 140735011591135 140735011591302 140735011591302 140735011594191 0 [pid=10770/tid=10785] ppid=10622 vsize=8283048 memory=1556 CPUtime=59.68 cores=0-7 /proc/10770/task/10785/stat : 10785 (java) S 10622 10622 10125 0 -1 1077944384 580 3345880 0 0 22 0 5287 659 20 0 22 0 510282087 8481841152 111491 33554432000 4194304 4196468 140735011586672 139839401232368 139840645384834 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14032896 140735011591135 140735011591302 140735011591302 140735011594191 0 [pid=10770/tid=10786] ppid=10622 vsize=8283048 memory=500 CPUtime=59.71 cores=0-7 /proc/10770/task/10786/stat : 10786 (java) S 10622 10622 10125 0 -1 1077944384 689 3345880 0 0 25 0 5287 659 20 0 22 0 510282087 8481841152 111491 33554432000 4194304 4196468 140735011586672 139839400180080 139840645384834 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14032896 140735011591135 140735011591302 140735011591302 140735011594191 0 [pid=10770/tid=10787] ppid=10622 vsize=8283048 memory=932 CPUtime=59.85 cores=0-7 /proc/10770/task/10787/stat : 10787 (java) S 10622 10622 10125 0 -1 1077944384 1358 3345880 0 0 38 1 5287 659 20 0 22 0 510282087 8481841152 111491 33554432000 4194304 4196468 140735011586672 139839399127280 139840645384834 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14032896 140735011591135 140735011591302 140735011591302 140735011594191 0 [pid=10770/tid=10788] ppid=10622 vsize=8283048 memory=1824 CPUtime=59.46 cores=0-7 /proc/10770/task/10788/stat : 10788 (java) S 10622 10622 10125 0 -1 1077944384 3 3345880 0 0 0 0 5287 659 20 0 22 0 510282088 8481841152 111491 33554432000 4194304 4196468 140735011586672 139838162463584 139840645383893 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14032896 140735011591135 140735011591302 140735011591302 140735011594191 0 [pid=10770/tid=10789] ppid=10622 vsize=8283048 memory=1656 CPUtime=59.48 cores=0-7 /proc/10770/task/10789/stat : 10789 (java) S 10622 10622 10125 0 -1 1077944384 5 3345880 0 0 1 1 5287 659 20 0 22 0 510282088 8481841152 111491 33554432000 4194304 4196468 140735011586672 139839398075184 139840645384834 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14032896 140735011591135 140735011591302 140735011591302 140735011594191 0 [pid=10770/tid=10791] ppid=10622 vsize=8283048 memory=804 CPUtime=59.46 cores=0-7 /proc/10770/task/10791/stat : 10791 (java) S 10622 10622 10125 0 -1 1077944384 24 3345880 0 0 0 0 5287 659 20 0 22 0 510282159 8481841152 111491 33554432000 4194304 4196468 140735011586672 139839390041104 139840645384834 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14032896 140735011591135 140735011591302 140735011591302 140735011594191 0 [pid=10770/tid=10795] ppid=10622 vsize=8283048 memory=1448 CPUtime=59.46 cores=0-7 /proc/10770/task/10795/stat : 10795 (java) S 10622 10622 10125 0 -1 1077944384 15 3345880 0 0 0 0 5287 659 20 0 22 0 510282162 8481841152 111491 33554432000 4194304 4196468 140735011586672 139837222937648 139840645384834 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14032896 140735011591135 140735011591302 140735011591302 140735011594191 0 Current children cumulated CPU time: 2221 s Current children cumulated vsize: 8396176 KiB Current children cumulated memory: 447440 KiB [startup+1692.7 s] /proc/loadavg: 0.88 1.16 2.04 4/217 10799 /proc/meminfo: memFree=18428932/32770624 swapFree=67002120/67108860 [pid=10622] ppid=10619 vsize=113128 memory=1476 CPUtime=2158.65 cores=0-7 /proc/10622/stat : 10622 (scop.sh) S 10619 10622 10125 0 -1 4202496 581 696670 0 0 0 0 211071 4794 20 0 1 0 510118893 115843072 369 33554432000 4194304 5098028 140722629198064 140722629194808 139908959834748 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 7983104 140722629206780 140722629207128 140722629207128 140722629210057 0 /proc/10622/statm: 28282 369 311 221 0 87 0 [pid=10770] ppid=10622 vsize=8283048 memory=445964 CPUtime=62.45 cores=0-7 /proc/10770/stat : 10770 (java) S 10622 10622 10125 0 -1 1077944320 23225 3345880 0 0 250 49 5287 659 20 0 22 0 510282080 8481841152 111491 33554432000 4194304 4196468 140735011586672 140735011569216 139840645373687 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 14032896 140735011591135 140735011591302 140735011591302 140735011594191 0 /proc/10770/statm: 2070762 111491 3235 1 0 2032106 0 [pid=10770/tid=10771] ppid=10622 vsize=8283048 memory=439212 CPUtime=60.8 cores=0-7 /proc/10770/task/10771/stat : 10771 (java) R 10622 10622 10125 0 -1 4202560 18246 3345880 0 0 96 38 5287 659 20 0 22 0 510282081 8481841152 111491 33554432000 4194304 4196468 140735011586672 139840617211440 139840638059319 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14032896 140735011591135 140735011591302 140735011591302 140735011594191 0 [pid=10770/tid=10772] ppid=10622 vsize=8283048 memory=129644 CPUtime=59.46 cores=0-7 /proc/10770/task/10772/stat : 10772 (java) S 10622 10622 10125 0 -1 1077944384 1 3345880 0 0 0 0 5287 659 20 0 22 0 510282082 8481841152 111491 33554432000 4194304 4196468 140735011586672 139840649616272 139840645383893 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14032896 140735011591135 140735011591302 140735011591302 140735011594191 0 [pid=10770/tid=10773] ppid=10622 vsize=8283048 memory=122324 CPUtime=59.46 cores=0-7 /proc/10770/task/10773/stat : 10773 (java) S 10622 10622 10125 0 -1 1077944384 1 3345880 0 0 0 0 5287 659 20 0 22 0 510282082 8481841152 111491 33554432000 4194304 4196468 140735011586672 139840449784592 139840645383893 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14032896 140735011591135 140735011591302 140735011591302 140735011594191 0 [pid=10770/tid=10774] ppid=10622 vsize=8283048 memory=1476 CPUtime=59.46 cores=0-7 /proc/10770/task/10774/stat : 10774 (java) S 10622 10622 10125 0 -1 1077944384 1 3345880 0 0 0 0 5287 659 20 0 22 0 510282082 8481841152 111491 33554432000 4194304 4196468 140735011586672 139840448732304 139840645383893 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14032896 140735011591135 140735011591302 140735011591302 140735011594191 0 [pid=10770/tid=10775] ppid=10622 vsize=8283048 memory=166528 CPUtime=59.46 cores=0-7 /proc/10770/task/10775/stat : 10775 (java) S 10622 10622 10125 0 -1 1077944384 1 3345880 0 0 0 0 5287 659 20 0 22 0 510282082 8481841152 111491 33554432000 4194304 4196468 140735011586672 139840447679504 139840645383893 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14032896 140735011591135 140735011591302 140735011591302 140735011594191 0 [pid=10770/tid=10776] ppid=10622 vsize=8283048 memory=1476 CPUtime=59.46 cores=0-7 /proc/10770/task/10776/stat : 10776 (java) S 10622 10622 10125 0 -1 1077944384 2 3345880 0 0 0 0 5287 659 20 0 22 0 510282082 8481841152 111491 33554432000 4194304 4196468 140735011586672 139840446626192 139840645383893 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14032896 140735011591135 140735011591302 140735011591302 140735011594191 0 [pid=10770/tid=10777] ppid=10622 vsize=8283048 memory=1476 CPUtime=59.46 cores=0-7 /proc/10770/task/10777/stat : 10777 (java) S 10622 10622 10125 0 -1 1077944384 2 3345880 0 0 0 0 5287 659 20 0 22 0 510282082 8481841152 111491 33554432000 4194304 4196468 140735011586672 139840445573392 139840645383893 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14032896 140735011591135 140735011591302 140735011591302 140735011594191 0 [pid=10770/tid=10778] ppid=10622 vsize=8283048 memory=1476 CPUtime=59.46 cores=0-7 /proc/10770/task/10778/stat : 10778 (java) S 10622 10622 10125 0 -1 1077944384 1 3345880 0 0 0 0 5287 659 20 0 22 0 510282082 8481841152 111491 33554432000 4194304 4196468 140735011586672 139840125397648 139840645383893 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14032896 140735011591135 140735011591302 140735011591302 140735011594191 0 [pid=10770/tid=10779] ppid=10622 vsize=8283048 memory=227968 CPUtime=59.46 cores=0-7 /proc/10770/task/10779/stat : 10779 (java) S 10622 10622 10125 0 -1 1077944384 1 3345880 0 0 0 0 5287 659 20 0 22 0 510282082 8481841152 111491 33554432000 4194304 4196468 140735011586672 139840124344848 139840645383893 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14032896 140735011591135 140735011591302 140735011591302 140735011594191 0 [pid=10770/tid=10780] ppid=10622 vsize=8283048 memory=122324 CPUtime=59.46 cores=0-7 /proc/10770/task/10780/stat : 10780 (java) S 10622 10622 10125 0 -1 1077944384 7 3345880 0 0 0 0 5287 659 20 0 22 0 510282084 8481841152 111491 33554432000 4194304 4196468 140735011586672 139839403338352 139840645384834 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14032896 140735011591135 140735011591302 140735011591302 140735011594191 0 [pid=10770/tid=10781] ppid=10622 vsize=8283048 memory=4002100 CPUtime=59.46 cores=0-7 /proc/10770/task/10781/stat : 10781 (java) S 10622 10622 10125 0 -1 1077944384 13 3345880 0 0 0 0 5287 659 20 0 22 0 510282084 8481841152 111491 33554432000 4194304 4196468 140735011586672 139839303312672 139840645383893 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14032896 140735011591135 140735011591302 140735011591302 140735011594191 0 [pid=10770/tid=10782] ppid=10622 vsize=8283048 memory=122324 CPUtime=59.46 cores=0-7 /proc/10770/task/10782/stat : 10782 (java) S 10622 10622 10125 0 -1 1077944384 1 3345880 0 0 0 0 5287 659 20 0 22 0 510282085 8481841152 111491 33554432000 4194304 4196468 140735011586672 139839034877552 139840645383893 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14032896 140735011591135 140735011591302 140735011591302 140735011594191 0 [pid=10770/tid=10783] ppid=10622 vsize=8283048 memory=0 CPUtime=59.46 cores=0-7 /proc/10770/task/10783/stat : 10783 (java) S 10622 10622 10125 0 -1 1077944384 1 3345880 0 0 0 0 5287 659 20 0 22 0 510282087 8481841152 111491 33554432000 4194304 4196468 140735011586672 139838660368976 139840645392283 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14032896 140735011591135 140735011591302 140735011591302 140735011594191 0 [pid=10770/tid=10784] ppid=10622 vsize=8283048 memory=141 CPUtime=59.63 cores=0-7 /proc/10770/task/10784/stat : 10784 (java) S 10622 10622 10125 0 -1 1077944384 750 3345880 0 0 17 0 5287 659 20 0 22 0 510282087 8481841152 111491 33554432000 4194304 4196468 140735011586672 139839402285168 139840645384834 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14032896 140735011591135 140735011591302 140735011591302 140735011594191 0 [pid=10770/tid=10785] ppid=10622 vsize=8283048 memory=5754 CPUtime=59.68 cores=0-7 /proc/10770/task/10785/stat : 10785 (java) S 10622 10622 10125 0 -1 1077944384 580 3345880 0 0 22 0 5287 659 20 0 22 0 510282087 8481841152 111491 33554432000 4194304 4196468 140735011586672 139839401232368 139840645384834 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14032896 140735011591135 140735011591302 140735011591302 140735011594191 0 [pid=10770/tid=10786] ppid=10622 vsize=8283048 memory=1 CPUtime=59.71 cores=0-7 /proc/10770/task/10786/stat : 10786 (java) S 10622 10622 10125 0 -1 1077944384 689 3345880 0 0 25 0 5287 659 20 0 22 0 510282087 8481841152 111491 33554432000 4194304 4196468 140735011586672 139839400180080 139840645384834 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14032896 140735011591135 140735011591302 140735011591302 140735011594191 0 [pid=10770/tid=10787] ppid=10622 vsize=8283048 memory=0 CPUtime=59.85 cores=0-7 /proc/10770/task/10787/stat : 10787 (java) S 10622 10622 10125 0 -1 1077944384 1358 3345880 0 0 38 1 5287 659 20 0 22 0 510282087 8481841152 111491 33554432000 4194304 4196468 140735011586672 139839399127280 139840645384834 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14032896 140735011591135 140735011591302 140735011591302 140735011594191 0 [pid=10770/tid=10788] ppid=10622 vsize=8283048 memory=445964 CPUtime=59.46 cores=0-7 /proc/10770/task/10788/stat : 10788 (java) S 10622 10622 10125 0 -1 1077944384 3 3345880 0 0 0 0 5287 659 20 0 22 0 510282088 8481841152 111491 33554432000 4194304 4196468 140735011586672 139838162463584 139840645383893 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14032896 140735011591135 140735011591302 140735011591302 140735011594191 0 [pid=10770/tid=10789] ppid=10622 vsize=8283048 memory=1476 CPUtime=59.48 cores=0-7 /proc/10770/task/10789/stat : 10789 (java) S 10622 10622 10125 0 -1 1077944384 5 3345880 0 0 1 1 5287 659 20 0 22 0 510282088 8481841152 111491 33554432000 4194304 4196468 140735011586672 139839398075184 139840645384834 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14032896 140735011591135 140735011591302 140735011591302 140735011594191 0 [pid=10770/tid=10791] ppid=10622 vsize=8283048 memory=144000 CPUtime=59.46 cores=0-7 /proc/10770/task/10791/stat : 10791 (java) S 10622 10622 10125 0 -1 1077944384 24 3345880 0 0 0 0 5287 659 20 0 22 0 510282159 8481841152 111491 33554432000 4194304 4196468 140735011586672 139839390041104 139840645384834 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14032896 140735011591135 140735011591302 140735011591302 140735011594191 0 [pid=10770/tid=10795] ppid=10622 vsize=8283048 memory=4486604260213485459 CPUtime=59.46 cores=0-7 /proc/10770/task/10795/stat : 10795 (java) S 10622 10622 10125 0 -1 1077944384 15 3345880 0 0 0 0 5287 659 20 0 22 0 510282162 8481841152 111491 33554432000 4194304 4196468 140735011586672 139837222937648 139840645384834 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14032896 140735011591135 140735011591302 140735011591302 140735011594191 0 Current children cumulated CPU time: 2221.1 s Current children cumulated vsize: 8396176 KiB Current children cumulated memory: 447440 KiB Child status: 0 Real time (s): 1692.77 CPU time (s): 2221.21 CPU user time (s): 2166.1 CPU system time (s): 55.113 CPU usage (%): 131.217 Max. virtual memory (cumulated for all children) (KiB): 27443924 Max. memory (cumulated for all children) (KiB): 23436084 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2166.1 system time used= 55.113 maximum resident set size= 23434932 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 4066393 page faults= 0 swaps= 0 block input operations= 192 block output operations= 5612480 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 76606 involuntary context switches= 8533 # summary of solver processes directly reported to runsolver: # pid: 10622 # total CPU time (s): 2221.21 # total CPU user time (s): 2166.1 # total CPU system time (s): 55.113 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 11.9963 second user time and 15.5077 second system time The end
Begin job on node136 at 2019-09-24 17:24:18 IDJOB=4405558 IDBENCH=131280 IDSOLVER=2868 FILE ID=node136/4405558-1569338703 RUNJOBID= node136-1569335934-10152 PBS_JOBID= 21705056 Free space on /var/tmp= 13484 MiB SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-09-22) BENCH NAME= XCSP17/Subisomorphism/Subisomorphism-m1-SF/Subisomorphism-B-08.xml COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -hybrid DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405558-1569338703/watcher-4405558-1569338703 -o /var/tmp/evaluation-result-4405558-1569338703/solver-4405558-1569338703 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node136-1569335934-10152 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405558-1569338703.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 47da5ea68f3d94e6d7990d40a1ef4aa5 RANDOM SEED=1849938884 node136.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.00 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.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.00 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.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.00 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.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.00 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.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 26069344 kB MemAvailable: 31840620 kB Buffers: 137728 kB Cached: 5752488 kB SwapCached: 3560 kB Active: 2701644 kB Inactive: 3195452 kB Active(anon): 5176 kB Inactive(anon): 58352 kB Active(file): 2696468 kB Inactive(file): 3137100 kB Unevictable: 108444 kB Mlocked: 108444 kB SwapTotal: 67108860 kB SwapFree: 67002120 kB Dirty: 20804 kB Writeback: 16 kB AnonPages: 112288 kB Mapped: 57192 kB Shmem: 48256 kB Slab: 395596 kB SReclaimable: 366168 kB SUnreclaim: 29428 kB KernelStack: 3456 kB PageTables: 5404 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 515696 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 67584 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /var/tmp at the end= 13464 MiB End job on node136 at 2019-09-24 17:52:31