Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
Fun-sCOP order+ManyGlucose (2019-06-15) | SAT | 182.533 | 115.201 |
Name | Queens/ Queens-m1-s1/Queens-0200-m1.xml |
MD5SUM | aa794b13577ab4fe7ac8dae6d6ffdfc7 |
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 | 18.6139 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 200 |
Number of constraints | 19901 |
Number of domains | 1 |
Minimum domain size | 200 |
Maximum domain size | 200 |
Distribution of domain sizes | [{"size":200,"count":200}] |
Minimum variable degree | 200 |
Maximum variable degree | 200 |
Distribution of variable degrees | [{"degree":200,"count":200}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 200 |
Distribution of constraint arities | [{"arity":2,"count":19900},{"arity":200,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 19900 |
Distribution of constraint types | [{"type":"intension","count":19900},{"type":"allDifferent","count":1}] |
Optimization problem | NO |
Type of objective |
0.00/0.00 c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -order -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-10014-serial-file.bin HOME/instance-4392377-1568442587.xml 0.65/0.54 0.65/0.54 Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15) 0.65/0.54 0.65/0.57 c BEGIN-Prog: Sat Sep 14 08:28:58 CEST 2019 0.65/0.57 c PID: 10017 0.65/0.57 c IP: 172.20.3.132 0.65/0.57 c HOST: node132.alineos.net 0.65/0.57 c (0,0) Parsing Begin 6.97/2.44 c (1,1) Parsing End 6.97/2.44 c (1,1) CSP: 200 int (0 aux), 0 bool (0 aux), 19901 ctr, max domain size 200 6.97/2.44 c (1,1) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB) 6.97/2.45 c (1,1) Constraint Name Generate Begin 7.18/2.52 c (1,1) Ctr:HOME/instance-4392377-1568442587.xml,AllDifferent:Dist:Ne:Num:Var 7.18/2.52 c (1,1) Constraint Name Generate End 7.18/2.52 c (1,1) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB) 7.18/2.52 c (1,1) CSP to CSPinCNF Begin 12.42/4.34 c (3,3) translated 1991 (10%) constraints 12.95/4.68 c (4,4) translated 3981 (20%) constraints 13.33/5.01 c (4,4) translated 5971 (30%) constraints 13.99/5.33 c (4,4) translated 7961 (40%) constraints 14.30/5.63 c (5,5) translated 9951 (50%) constraints 14.60/5.93 c (5,5) translated 11941 (60%) constraints 14.92/6.25 c (5,5) translated 13931 (70%) constraints 15.22/6.55 c (6,5) translated 15921 (80%) constraints 15.52/6.85 c (6,6) translated 17911 (90%) constraints 15.84/7.14 c (6,6) translated 19901 (100%) constraints 15.84/7.14 c (6,6) =========================================== 15.84/7.15 c (6,6) Order 15.84/7.15 c (6,6) =========================================== 16.80/7.46 c (6,6) translated 7981 (10%) constraints 17.23/7.66 c (7,7) translated 15961 (20%) constraints 19.83/9.59 c (9,9) translated 23941 (30%) constraints 20.10/9.77 c (9,9) translated 31921 (40%) constraints 20.30/9.94 c (9,9) translated 39901 (50%) constraints 20.52/10.11 c (9,9) translated 47882 (60%) constraints 20.60/10.29 c (9,9) translated 55862 (70%) constraints 20.81/10.46 c (9,9) translated 63842 (80%) constraints 21.00/10.63 c (10,10) translated 71822 (90%) constraints 21.20/10.81 c (10,10) translated 79802 (100%) constraints 21.20/10.81 c (10,10) CSP to CSPinCNF End 21.20/10.84 c (10,10) CSP: 200 int (0 aux), 59900 bool (59900 aux), 159802 ctr, max domain size 200 21.20/10.84 c (10,10) Heap : 3491 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB) 21.20/10.84 c (10,10) CSPinCNF Propagation Begin 23.58/12.50 c (11,11) 1 values, 4 unsatisfiable literals, and 401 valid clauses are removed 23.58/12.50 c (11,11) CSPinCNF Propagation End 23.58/12.52 c (11,11) CSP: 200 int (0 aux), 59900 bool (59900 aux), 159401 ctr, max domain size 200 23.58/12.52 c (11,11) Heap : 4618 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB) 23.58/12.52 c (11,11) Simplify CSPinCNF Begin 26.05/13.98 c (13,13) Simplify CSPinCNF End 26.17/14.02 c (13,13) CSP: 200 int (0 aux), 139498 bool (139498 aux), 238999 ctr, max domain size 200 26.17/14.02 c (13,13) Heap : 5294 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB) 26.17/14.02 c (13,13) Calculate Precise Domain Begin 26.17/14.02 c (13,13) 0 values are removed by re-calculation 26.17/14.02 c (13,13) Calculate Precise Domain End 26.17/14.06 c (13,13) CSP: 200 int (0 aux), 139498 bool (139498 aux), 238999 ctr, max domain size 200 26.17/14.06 c (13,13) Heap : 5294 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB) 26.17/14.06 c (13,13) CSPinCNF to SatSolver Begin 46.27/28.28 c (27,26) 23900 (10 %) CSP clauses are encoded (0 SAT variables, 3233967 SAT clauses) 60.59/40.93 c (40,39) 47800 (20 %) CSP clauses are encoded (0 SAT variables, 6428733 SAT clauses) 68.57/47.41 c (46,45) 71700 (30 %) CSP clauses are encoded (0 SAT variables, 8031499 SAT clauses) 68.77/47.63 c (47,45) 95600 (40 %) CSP clauses are encoded (0 SAT variables, 8055399 SAT clauses) 68.97/47.85 c (47,45) 119500 (50 %) CSP clauses are encoded (0 SAT variables, 8079299 SAT clauses) 70.57/49.34 c (48,47) 143400 (60 %) CSP clauses are encoded (0 SAT variables, 8418099 SAT clauses) 81.66/58.35 c (57,55) 167300 (70 %) CSP clauses are encoded (0 SAT variables, 10493579 SAT clauses) 91.37/68.22 c (67,65) 191200 (80 %) CSP clauses are encoded (0 SAT variables, 12836775 SAT clauses) 102.13/79.00 c (78,75) 215100 (90 %) CSP clauses are encoded (0 SAT variables, 15513795 SAT clauses) 115.17/92.17 c (91,88) 238999 (100 %) CSP clauses are encoded (0 SAT variables, 18705800 SAT clauses) 115.17/92.17 c (91,88) CSPinCNF to SatSolver End 115.17/92.17 c (91,88) Heap : 4184 MiB used (max 21757 MiB), NonHeap : 30 MiB used (max 0 MiB) 115.17/92.17 c (91,88) 179297 bool, 18705999 clause 115.17/92.17 c (91,88) Export Begin 115.28/92.27 c (91,88) Export to HOME/scop-10014-serial-file.bin 115.28/92.27 c (91,88) Export End 115.28/92.27 c (91,88) Export File Size: 0.03 MB 115.28/92.27 c (91,88) 1,1,10,11,13,13,91,STOP-AFTER(DIMACS) 115.28/92.27 c END-Prog: Sat Sep 14 08:30:30 CEST 2019 0.00/92.32 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-10014-serial-file.bin 115.48/92.79 c (0,0) Read Serial File Begin 115.48/92.79 c (0,0) HOME/scop-10014-serial-file.bin 115.48/93.00 c (0,0) Read Serial File End 116.42/93.02 116.42/93.02 Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15) 116.42/93.02 (Solving Process) 116.42/93.02 116.42/93.04 c BEGIN-Prog: Sat Sep 14 08:30:31 CEST 2019 116.42/93.04 c PID: 10047 116.42/93.04 c IP: 172.20.3.132 116.42/93.04 c HOST: node132.alineos.net 116.42/93.04 c (0,0) SatSolver.solve Begin 116.42/93.04 c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392377-1568442587.xml-scop-10017.cnf 116.42/93.07 c (0,0) c 116.42/93.07 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) 116.42/93.07 c (0,0) c 116.42/93.07 c (0,0) c WARNING: for repeatability, setting FPU to use double precision 116.42/93.07 c (0,0) c 8 solvers engines and 1 companion as a blackboard created. 116.42/93.07 c (0,0) c ========================================[ Problem Statistics ]=========================================== 116.42/93.07 c (0,0) c | | 122.70/99.14 c (6,0) c | Number of variables: 179297 | 122.70/99.14 c (6,0) c | Number of clauses: 18705999 | 122.70/99.14 c (6,0) c | Parse time: 5.54 s | 122.70/99.14 c (6,0) c | | 123.79/100.20 c (7,0) c | Too many clauses... No preprocessing | 123.79/100.20 c (7,0) c | Simplification time: 0.93 s | 123.79/100.20 c (7,0) c | | 123.79/100.20 c (7,0) c | One Solver is taking 1375.52Mb... Let's take 5 solvers for this run (max 40% of the maxmemory). | 123.79/100.20 c (7,0) c | Generating clones | 125.30/101.76 c (9,0) c | all clones generated. Memory = 5179.80Mb. | 125.30/101.76 c (9,0) c ========================================================================================================| 125.30/101.76 c (9,0) c 125.30/101.76 c (9,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 125.30/101.76 c (9,0) c 125.30/101.76 c (9,0) c |-----------------------|------------|------------|------------|------------|------------| 125.30/101.76 c (9,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 125.30/101.76 c (9,0) c |-----------------------|------------|------------|------------|------------|------------| 125.30/101.76 c (9,0) c | randomizeFirstDescent | False | True | True | True | True | 125.30/101.76 c (9,0) c | adaptStrategeis | True | False | True | False | True | 125.30/101.76 c (9,0) c | forceUnsatOnNewDescent| True | True | False | False | True | 125.30/101.76 c (9,0) c | Initial random_seed | 91648253 | 91648254 | 91648255 | 91648256 | 91648257 | 125.30/101.76 c (9,0) c | chanseokStrategy | False | False | False | False | False | 125.30/101.76 c (9,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 125.30/101.76 c (9,0) c | glureduce | True | True | True | True | True | 125.30/101.76 c (9,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 125.30/101.76 c (9,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 125.30/101.76 c (9,0) c | luby_restart | False | False | False | False | False | 125.30/101.76 c (9,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 125.30/101.76 c (9,0) c | var_decay | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 125.30/101.76 c (9,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 125.30/101.76 c (9,0) c | randomize_on_restarts | False | False | False | False | False | 125.30/101.76 c (9,0) c | remove_satisfied | True | True | True | True | True | 125.30/101.76 c (9,0) c |-----------------------|------------|------------|------------|------------|------------| 181.33/114.60 c (21,0) c 181.33/114.60 c (21,0) c real time : 21.5328 s 181.33/114.60 c (21,0) c cpu time : 58.7125 s 181.33/114.60 c (21,0) c 181.33/114.60 c (21,0) c 181.33/114.60 c (21,0) c 181.33/114.60 c (21,0) c |---------------------------------------- FINAL STATS --------------------------------------------------| 181.33/114.60 c (21,0) c 181.33/114.60 c (21,0) c |---------------|-----------------|------------|------------|------------|------------|------------| 181.33/114.60 c (21,0) c | Threads | Total | 0 | 1 | 2 | 3 | 4 | 181.33/114.60 c (21,0) c |---------------|-----------------|------------|------------|------------|------------|------------| 181.33/114.60 c (21,0) c | Conflicts | 4798 | 652 | 1013 | 1562 | 784 | 787 | 181.33/114.60 c (21,0) c | Decisions | 219874 | 125183 | 21284 | 19482 | 26741 | 27184 | 181.33/114.60 c (21,0) c | Propagations | 43709728 | 8495406 | 7905241 | 8393383 | 9318312 | 9597386 | 181.33/114.60 c (21,0) c | ReduceDBs | 0 | 0 | 0 | 0 | 0 | 0 | 181.33/114.60 c (21,0) c | SimpDBs | 5 | 1 | 1 | 1 | 1 | 1 | 181.33/114.60 c (21,0) c | Restarts | 79 | 8 | 19 | 25 | 14 | 13 | 181.33/114.60 c (21,0) c | ForcedImports | 0 | 0 | 0 | 0 | 0 | 0 | 181.33/114.60 c (21,0) c | PropBinClauses| 47956913 | 9067731 | 8865031 | 9568998 | 10070965 | 10384188 | 181.33/114.60 c (21,0) c | PropPreBlocker| 3144092327 | 596457240 | 593237656 | 652005544 | 643392680 | 658999207 | 181.33/114.60 c (21,0) c | PropNotBlocker| 297737030 | 59081883 | 62121453 | 62215031 | 62091406 | 52227257 | 181.33/114.60 c (21,0) c | LitFullScans | 3534326640 | 673409006 | 672121305 | 732154753 | 724539146 | 732102430 | 181.33/114.60 c (21,0) c | LitScanFracts | 475091 | 88737 | 96057 | 105936 | 97329 | 87032 | 181.33/114.60 c (21,0) c | DecisionLevel0| 81 | 8 | 20 | 25 | 14 | 14 | 181.33/114.60 c (21,0) c | Periods | 588 | 112 | 112 | 122 | 120 | 122 | 181.33/114.60 c (21,0) c | Margin | 100 | 20 | 20 | 20 | 20 | 20 | 181.33/114.60 c (21,0) c | Avg_Trail | | 132363 | 142155 | 129239 | 128462 | 125821 | 181.33/114.60 c (21,0) c | Avg_DL | | 1630 | 402 | 356 | 404 | 349 | 181.33/114.60 c (21,0) c | Avg_Res | | 0 | 0 | 0 | 0 | 0 | 181.33/114.60 c (21,0) c | Avg_Res_Seen | | 0 | 0 | 0 | 0 | 0 | 181.33/114.60 c (21,0) c |---------------|-----------------|------------|------------|------------|------------|------------| 181.33/114.60 c (21,0) c | Exported | 73 | 20 | 16 | 13 | 12 | 12 | 181.33/114.60 c (21,0) c | Imported | 273 | 50 | 51 | 58 | 57 | 57 | 181.33/114.60 c (21,0) c | Good | 20 | 4 | 3 | 5 | 5 | 3 | 181.33/114.60 c (21,0) c | Purge | 253 | 46 | 48 | 53 | 52 | 54 | 181.33/114.60 c (21,0) c | Promoted | 0 | 0 | 0 | 0 | 0 | 0 | 181.33/114.60 c (21,0) c | Remove_Imp | 0 | 0 | 0 | 0 | 0 | 0 | 181.33/114.60 c (21,0) c | Blocked_Reuse | 0 | 0 | 0 | 0 | 0 | 0 | 181.33/114.60 c (21,0) c |---------------|-----------------|------------|------------|------------|------------|------------| 181.33/114.60 c (21,0) c | Unaries | | 0 | 1 | 0 | 0 | 1 | 181.33/114.60 c (21,0) c | Binaries | | 1 | 2 | 0 | 0 | 2 | 181.33/114.60 c (21,0) c | Glues | | 20 | 16 | 13 | 12 | 12 | 181.33/114.60 c (21,0) c |---------------|-----------------|------------|------------|------------|------------|------------| 181.33/114.60 c (21,0) c | Orig_Seen | 0 % | 34487 | 69800 | 77547 | 59912 | 49703 | 181.33/114.60 c (21,0) c | Diff Orig seen| | X | 35313 | 43060 | 25425 | 15216 | 181.33/114.60 c (21,0) c | Hamming | 28 % | X | 49129 | 51117 | 51424 | 51525 | 181.33/114.60 c (21,0) c |---------------|-----------------|------------|------------|------------|------------|------------| 181.33/114.60 c (21,0) c | RunningTime | | 12.0 100%| 12.8 100%| 10.3 85%| 11.8 98%| 10.6 87%| 181.33/114.60 c (21,0) c | WaitingTime | | 0.0 0%| 0.0 0%| 1.9 15%| 0.3 2%| 1.6 13%| 181.33/114.60 c (21,0) c | ExchangingTime| | 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 181.33/114.60 c (21,0) c | PeriodProcTime| | 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 181.33/114.60 c (21,0) c | SolvingTime | | 12.0 | 12.8 | 12.1 | 12.0 | 12.1 | 181.33/114.60 c (21,0) c | PropagationTim| | 11.8 98%| 12.4 97%| 11.7 96%| 11.7 97%| 11.8 97%| 181.33/114.60 c (21,0) c | AnalysisTime | | 0.1 0%| 0.2 1%| 0.1 1%| 0.1 1%| 0.1 1%| 181.33/114.60 c (21,0) c | ReductionTime | | 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 181.33/114.60 c (21,0) c | SimplifyTime | | 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 181.33/114.60 c (21,0) c | UsedRateTime | | 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 181.33/114.60 c (21,0) c | OverlapRateTim| | 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 181.33/114.60 c (21,0) c |---------------|-----------------|------------|------------|------------|------------|------------| 181.33/114.60 c (21,0) c 181.33/114.60 c (21,0) c 181.33/114.60 c (21,0) c Threads : 5 181.33/114.60 c (21,0) c Winner : 0 181.33/114.60 c (21,0) c Conflicts_0 : 652 181.33/114.60 c (21,0) c Conflicts_1 : 1013 181.33/114.60 c (21,0) c Conflicts_2 : 1562 181.33/114.60 c (21,0) c Conflicts_3 : 784 181.33/114.60 c (21,0) c Conflicts_4 : 787 181.33/114.60 c (21,0) c Conflicts_total : 4798 181.33/114.60 c (21,0) c Conflicts_winner : 652 181.33/114.60 c (21,0) c Decisions_0 : 125183 181.33/114.60 c (21,0) c Decisions_1 : 21284 181.33/114.60 c (21,0) c Decisions_2 : 19482 181.33/114.60 c (21,0) c Decisions_3 : 26741 181.33/114.60 c (21,0) c Decisions_4 : 27184 181.33/114.60 c (21,0) c Decisions_total : 219874 181.33/114.60 c (21,0) c Decisions_winner : 125183 181.33/114.60 c (21,0) c Propagations_0 : 8495406 181.33/114.60 c (21,0) c Propagations_1 : 7905241 181.33/114.60 c (21,0) c Propagations_2 : 8393383 181.33/114.60 c (21,0) c Propagations_3 : 9318312 181.33/114.60 c (21,0) c Propagations_4 : 9597386 181.33/114.60 c (21,0) c Propagations_total : 43709728 181.33/114.60 c (21,0) c Propagations_winner : 8495406 181.33/114.60 c (21,0) c ReduceDBs_0 : 0 181.33/114.60 c (21,0) c ReduceDBs_1 : 0 181.33/114.60 c (21,0) c ReduceDBs_2 : 0 181.33/114.60 c (21,0) c ReduceDBs_3 : 0 181.33/114.60 c (21,0) c ReduceDBs_4 : 0 181.33/114.60 c (21,0) c ReduceDBs_total : 0 181.33/114.60 c (21,0) c ReduceDBs_winner : 0 181.33/114.60 c (21,0) c SimpDBs_0 : 1 181.33/114.60 c (21,0) c SimpDBs_1 : 1 181.33/114.60 c (21,0) c SimpDBs_2 : 1 181.33/114.60 c (21,0) c SimpDBs_3 : 1 181.33/114.60 c (21,0) c SimpDBs_4 : 1 181.33/114.60 c (21,0) c SimpDBs_total : 5 181.33/114.61 c (21,0) c SimpDBs_winner : 1 181.33/114.61 c (21,0) c Restarts_0 : 8 181.33/114.61 c (21,0) c Restarts_1 : 19 181.33/114.61 c (21,0) c Restarts_2 : 25 181.33/114.61 c (21,0) c Restarts_3 : 14 181.33/114.61 c (21,0) c Restarts_4 : 13 181.33/114.61 c (21,0) c Restarts_total : 79 181.33/114.61 c (21,0) c Restarts_winner : 8 181.33/114.61 c (21,0) c ForcedImports_0 : 0 181.33/114.61 c (21,0) c ForcedImports_1 : 0 181.33/114.61 c (21,0) c ForcedImports_2 : 0 181.33/114.61 c (21,0) c ForcedImports_3 : 0 181.33/114.61 c (21,0) c ForcedImports_4 : 0 181.33/114.61 c (21,0) c ForcedImports_total : 0 181.33/114.61 c (21,0) c ForcedImports_winner : 0 181.33/114.61 c (21,0) c PropsBinClauses_0 : 9067731 181.33/114.61 c (21,0) c PropsBinClauses_1 : 8865031 181.33/114.61 c (21,0) c PropsBinClauses_2 : 9568998 181.33/114.61 c (21,0) c PropsBinClauses_3 : 10070965 181.33/114.61 c (21,0) c PropsBinClauses_4 : 10384188 181.33/114.61 c (21,0) c PropsBinClauses_total : 47956913 181.33/114.61 c (21,0) c PropsBinClauses_winner : 9067731 181.33/114.61 c (21,0) c PropsPreBlocker_0 : 596457240 181.33/114.61 c (21,0) c PropsPreBlocker_1 : 593237656 181.33/114.61 c (21,0) c PropsPreBlocker_2 : 652005544 181.33/114.61 c (21,0) c PropsPreBlocker_3 : 643392680 181.33/114.61 c (21,0) c PropsPreBlocker_4 : 658999207 181.33/114.61 c (21,0) c PropsPreBlocker_total : 3144092327 181.33/114.61 c (21,0) c PropsPreBlocker_winner : 596457240 181.33/114.61 c (21,0) c PropsNotBlocker_0 : 59081883 181.33/114.61 c (21,0) c PropsNotBlocker_1 : 62121453 181.33/114.61 c (21,0) c PropsNotBlocker_2 : 62215031 181.33/114.61 c (21,0) c PropsNotBlocker_3 : 62091406 181.33/114.61 c (21,0) c PropsNotBlocker_4 : 52227257 181.33/114.61 c (21,0) c PropsNotBlocker_total : 297737030 181.33/114.61 c (21,0) c PropsNotBlocker_winner : 59081883 181.33/114.61 c (21,0) c PropsLitFullScans_0 : 673409006 181.33/114.61 c (21,0) c PropsLitFullScans_1 : 672121305 181.33/114.61 c (21,0) c PropsLitFullScans_2 : 732154753 181.33/114.61 c (21,0) c PropsLitFullScans_3 : 724539146 181.33/114.61 c (21,0) c PropsLitFullScans_4 : 732102430 181.33/114.61 c (21,0) c PropsLitFullScans_total : 3534326640 181.33/114.61 c (21,0) c PropsLitFullScans_winner : 673409006 181.33/114.61 c (21,0) c LitScanFractions_0 : 88737 181.33/114.61 c (21,0) c LitScanFractions_1 : 96057 181.33/114.61 c (21,0) c LitScanFractions_2 : 105936 181.33/114.61 c (21,0) c LitScanFractions_3 : 97329 181.33/114.61 c (21,0) c LitScanFractions_4 : 87032 181.33/114.61 c (21,0) c LitScanFractions_total : 475091 181.33/114.61 c (21,0) c LitScanFractions_winner : 88737 181.33/114.61 c (21,0) c DecisionLevel0_0 : 8 181.33/114.61 c (21,0) c DecisionLevel0_1 : 20 181.33/114.61 c (21,0) c DecisionLevel0_2 : 25 181.33/114.61 c (21,0) c DecisionLevel0_3 : 14 181.33/114.61 c (21,0) c DecisionLevel0_4 : 14 181.33/114.61 c (21,0) c DecisionLevel0_total : 81 181.33/114.61 c (21,0) c DecisionLevel0_winner : 8 181.33/114.61 c (21,0) c Periods_0 : 112 181.33/114.61 c (21,0) c Periods_1 : 112 181.33/114.61 c (21,0) c Periods_2 : 122 181.33/114.61 c (21,0) c Periods_3 : 120 181.33/114.61 c (21,0) c Periods_4 : 122 181.33/114.61 c (21,0) c Periods_total : 588 181.33/114.61 c (21,0) c Periods_winner : 112 181.33/114.61 c (21,0) c Margin_0 : 20 181.33/114.61 c (21,0) c Margin_1 : 20 181.33/114.61 c (21,0) c Margin_2 : 20 181.33/114.61 c (21,0) c Margin_3 : 20 181.33/114.61 c (21,0) c Margin_4 : 20 181.33/114.61 c (21,0) c Margin_total : 100 181.33/114.61 c (21,0) c Margin_winner : 20 181.33/114.61 c (21,0) c Exported_0 : 20 181.33/114.61 c (21,0) c Exported_1 : 16 181.33/114.61 c (21,0) c Exported_2 : 13 181.33/114.61 c (21,0) c Exported_3 : 12 181.33/114.61 c (21,0) c Exported_4 : 12 181.33/114.61 c (21,0) c Exported_total : 73 181.33/114.61 c (21,0) c Exported_winner : 20 181.33/114.61 c (21,0) c Imported_0 : 50 181.33/114.61 c (21,0) c Imported_1 : 51 181.33/114.61 c (21,0) c Imported_2 : 58 181.33/114.61 c (21,0) c Imported_3 : 57 181.33/114.61 c (21,0) c Imported_4 : 57 181.33/114.61 c (21,0) c Imported_total : 273 181.33/114.61 c (21,0) c Imported_winner : 50 181.33/114.61 c (21,0) c Good_0 : 4 181.33/114.61 c (21,0) c Good_1 : 3 181.33/114.61 c (21,0) c Good_2 : 5 181.33/114.61 c (21,0) c Good_3 : 5 181.33/114.61 c (21,0) c Good_4 : 3 181.33/114.61 c (21,0) c Good_total : 20 181.33/114.61 c (21,0) c Good_winner : 4 181.33/114.61 c (21,0) c Purge_0 : 46 181.33/114.61 c (21,0) c Purge_1 : 48 181.33/114.61 c (21,0) c Purge_2 : 53 181.33/114.61 c (21,0) c Purge_3 : 52 181.33/114.61 c (21,0) c Purge_4 : 54 181.33/114.61 c (21,0) c Purge_total : 253 181.33/114.61 c (21,0) c Purge_winner : 46 181.33/114.61 c (21,0) c Promoted_0 : 0 181.33/114.61 c (21,0) c Promoted_1 : 0 181.33/114.61 c (21,0) c Promoted_2 : 0 181.33/114.61 c (21,0) c Promoted_3 : 0 181.33/114.61 c (21,0) c Promoted_4 : 0 181.33/114.61 c (21,0) c Promoted_total : 0 181.33/114.61 c (21,0) c Promoted_winner : 0 181.33/114.61 c (21,0) c Remove_Imp_0 : 0 181.33/114.61 c (21,0) c Remove_Imp_1 : 0 181.33/114.61 c (21,0) c Remove_Imp_2 : 0 181.33/114.61 c (21,0) c Remove_Imp_3 : 0 181.33/114.61 c (21,0) c Remove_Imp_4 : 0 181.33/114.61 c (21,0) c Remove_Imp_total : 0 181.33/114.61 c (21,0) c Remove_Imp_winner : 0 181.33/114.61 c (21,0) c Blocked_Reuse_0 : 0 181.33/114.61 c (21,0) c Blocked_Reuse_1 : 0 181.33/114.61 c (21,0) c Blocked_Reuse_2 : 0 181.33/114.61 c (21,0) c Blocked_Reuse_3 : 0 181.33/114.61 c (21,0) c Blocked_Reuse_4 : 0 181.33/114.61 c (21,0) c Blocked_Reuse_total : 0 181.33/114.61 c (21,0) c Blocked_Reuse_winner : 0 181.33/114.61 c (21,0) c Unaries_0 : 0 181.33/114.61 c (21,0) c Unaries_1 : 1 181.33/114.61 c (21,0) c Unaries_2 : 0 181.33/114.61 c (21,0) c Unaries_3 : 0 181.33/114.61 c (21,0) c Unaries_4 : 1 181.33/114.61 c (21,0) c Unaries_total : 2 181.33/114.61 c (21,0) c Unaries_winner : 0 181.33/114.61 c (21,0) c Binaries_0 : 1 181.33/114.61 c (21,0) c Binaries_1 : 2 181.33/114.61 c (21,0) c Binaries_2 : 0 181.33/114.61 c (21,0) c Binaries_3 : 0 181.33/114.61 c (21,0) c Binaries_4 : 2 181.33/114.61 c (21,0) c Binaries_total : 5 181.33/114.61 c (21,0) c Binaries_winner : 1 181.33/114.61 c (21,0) c Glues_0 : 20 181.33/114.61 c (21,0) c Glues_1 : 16 181.33/114.61 c (21,0) c Glues_2 : 13 181.33/114.61 c (21,0) c Glues_3 : 12 181.33/114.61 c (21,0) c Glues_4 : 12 181.33/114.61 c (21,0) c Glues_total : 73 181.33/114.61 c (21,0) c Glues_winner : 20 181.33/114.61 c (21,0) c RunningTime_0 : 12.042021 181.33/114.61 c (21,0) c RunningTime_1 : 12.822789 181.33/114.61 c (21,0) c RunningTime_2 : 10.280020 181.33/114.61 c (21,0) c RunningTime_3 : 11.764808 181.33/114.61 c (21,0) c RunningTime_4 : 10.563648 181.33/114.61 c (21,0) c RunningTime_total : 57.473286 181.33/114.61 c (21,0) c RunningTime_winner : 12.042021 181.33/114.61 c (21,0) c WaitingTime_0 : 0.000096 181.33/114.61 c (21,0) c WaitingTime_1 : 0.000078 181.33/114.61 c (21,0) c WaitingTime_2 : 1.864658 181.33/114.61 c (21,0) c WaitingTime_3 : 0.280635 181.33/114.61 c (21,0) c WaitingTime_4 : 1.583164 181.33/114.61 c (21,0) c WaitingTime_total : 3.728631 181.33/114.61 c (21,0) c WaitingTime_winner : 0.000096 181.33/114.61 c (21,0) c ExchangingTime_0 : 0.000738 181.33/114.61 c (21,0) c ExchangingTime_1 : 0.000682 181.33/114.61 c (21,0) c ExchangingTime_2 : 0.000843 181.33/114.61 c (21,0) c ExchangingTime_3 : 0.000796 181.33/114.61 c (21,0) c ExchangingTime_4 : 0.000687 181.33/114.61 c (21,0) c ExchangingTime_total : 0.003746 181.33/114.61 c (21,0) c ExchangingTime_winner : 0.000738 181.33/114.61 c (21,0) c PeriodProcTime_0 : 0.001226 181.33/114.61 c (21,0) c PeriodProcTime_1 : 0.001518 181.33/114.61 c (21,0) c PeriodProcTime_2 : 0.003098 181.33/114.61 c (21,0) c PeriodProcTime_3 : 0.001291 181.33/114.61 c (21,0) c PeriodProcTime_4 : 0.001044 181.33/114.61 c (21,0) c PeriodProcTime_total : 0.008177 181.33/114.61 c (21,0) c PeriodProcTime_winner : 0.001226 181.33/114.61 c (21,0) c SolvingTime_0 : 12.044081 181.33/114.61 c (21,0) c SolvingTime_1 : 12.825068 181.33/114.61 c (21,0) c SolvingTime_2 : 12.148619 181.33/114.61 c (21,0) c SolvingTime_3 : 12.047530 181.33/114.61 c (21,0) c SolvingTime_4 : 12.148543 181.33/114.61 c (21,0) c SolvingTime_total : 61.213841 181.33/114.61 c (21,0) c SolvingTime_winner : 12.044081 181.33/114.61 c (21,0) c PropagationTime_0 : 11.784677 181.33/114.61 c (21,0) c PropagationTime_1 : 12.401470 181.33/114.61 c (21,0) c PropagationTime_2 : 11.702518 181.33/114.61 c (21,0) c PropagationTime_3 : 11.711545 181.33/114.61 c (21,0) c PropagationTime_4 : 11.779066 181.33/114.61 c (21,0) c PropagationTime_total : 59.379277 181.33/114.61 c (21,0) c PropagationTime_winner : 11.784677 181.33/114.61 c (21,0) c AnalysisTime_0 : 0.055434 181.33/114.61 c (21,0) c AnalysisTime_1 : 0.150742 181.33/114.61 c (21,0) c AnalysisTime_2 : 0.144444 181.33/114.61 c (21,0) c AnalysisTime_3 : 0.084572 181.33/114.61 c (21,0) c AnalysisTime_4 : 0.068753 181.33/114.61 c (21,0) c AnalysisTime_total : 0.503945 181.33/114.61 c (21,0) c AnalysisTime_winner : 0.055434 181.33/114.61 c (21,0) c ReductionTime_0 : 0.000000 181.33/114.61 c (21,0) c ReductionTime_1 : 0.000000 181.33/114.61 c (21,0) c ReductionTime_2 : 0.000000 181.33/114.61 c (21,0) c ReductionTime_3 : 0.000000 181.33/114.61 c (21,0) c ReductionTime_4 : 0.000000 181.33/114.61 c (21,0) c ReductionTime_total : 0.000000 181.33/114.61 c (21,0) c ReductionTime_winner : 0.000000 181.33/114.61 c (21,0) c SimplifyTime_0 : 0.000000 181.33/114.61 c (21,0) c SimplifyTime_1 : 0.000003 181.33/114.61 c (21,0) c SimplifyTime_2 : 0.000003 181.33/114.61 c (21,0) c SimplifyTime_3 : 0.000001 181.33/114.61 c (21,0) c SimplifyTime_4 : 0.000003 181.33/114.61 c (21,0) c SimplifyTime_total : 0.000010 181.33/114.61 c (21,0) c SimplifyTime_winner : 0.000000 181.33/114.61 c (21,0) c UsedRateTime_0 : 0.000000 181.33/114.61 c (21,0) c UsedRateTime_1 : 0.000000 181.33/114.61 c (21,0) c UsedRateTime_2 : 0.000000 181.33/114.61 c (21,0) c UsedRateTime_3 : 0.000000 181.33/114.61 c (21,0) c UsedRateTime_4 : 0.000000 181.33/114.61 c (21,0) c UsedRateTime_total : 0.000000 181.33/114.61 c (21,0) c UsedRateTime_winner : 0.000000 181.33/114.61 c (21,0) c OverlapRateTime_0 : 0.000000 181.33/114.61 c (21,0) c OverlapRateTime_1 : 0.000000 181.33/114.61 c (21,0) c OverlapRateTime_2 : 0.000000 181.33/114.61 c (21,0) c OverlapRateTime_3 : 0.000000 181.33/114.61 c (21,0) c OverlapRateTime_4 : 0.000000 181.33/114.61 c (21,0) c OverlapRateTime_total : 0.000000 181.33/114.61 c (21,0) c OverlapRateTime_winner : 0.000000 181.33/114.61 c (21,0) c 181.33/114.61 c (21,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 181.33/114.61 c (21,0) c 181.33/114.61 c (21,0) c |-----------------------|------------|------------|------------|------------|------------| 181.33/114.61 c (21,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 181.33/114.61 c (21,0) c |-----------------------|------------|------------|------------|------------|------------| 181.33/114.61 c (21,0) c | randomizeFirstDescent | False | True | True | True | True | 181.33/114.61 c (21,0) c | adaptStrategeis | True | False | True | False | True | 181.33/114.61 c (21,0) c | forceUnsatOnNewDescent| True | True | False | False | True | 181.33/114.61 c (21,0) c | Initial random_seed | 593892554 | 925435701 | 683832599 | 1627239063 | 307419474 | 181.33/114.61 c (21,0) c | chanseokStrategy | False | False | False | False | False | 181.33/114.61 c (21,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 181.33/114.61 c (21,0) c | glureduce | True | True | True | True | True | 181.33/114.61 c (21,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 181.33/114.61 c (21,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 181.33/114.61 c (21,0) c | luby_restart | False | False | False | False | False | 181.33/114.61 c (21,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 181.33/114.61 c (21,0) c | var_decay | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 181.33/114.61 c (21,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 181.33/114.61 c (21,0) c | randomize_on_restarts | False | False | False | False | False | 181.33/114.61 c (21,0) c | remove_satisfied | True | True | True | True | True | 181.33/114.61 c (21,0) c |-----------------------|------------|------------|------------|------------|------------| 181.33/114.61 c (21,0) 181.33/114.61 c (21,0) s SATISFIABLE 117.02/114.96 c (22,0) SatSolver.solve End 117.02/114.96 c (22,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB) 117.02/114.96 c (22,0) Show results Begin 182.11/115.11 c (22,0) q[0] = 88 182.11/115.11 c (22,0) q[1] = 56 182.11/115.11 c (22,0) q[2] = 159 182.11/115.11 c (22,0) q[3] = 173 182.11/115.11 c (22,0) q[4] = 80 182.11/115.11 c (22,0) q[5] = 19 182.11/115.11 c (22,0) q[6] = 185 182.11/115.11 c (22,0) q[7] = 183 182.11/115.11 c (22,0) q[8] = 75 182.11/115.11 c (22,0) q[9] = 10 182.11/115.11 c (22,0) q[10] = 171 182.11/115.11 c (22,0) q[11] = 109 182.11/115.11 c (22,0) q[12] = 172 182.11/115.11 c (22,0) q[13] = 179 182.11/115.11 c (22,0) q[14] = 71 182.11/115.11 c (22,0) q[15] = 65 182.11/115.11 c (22,0) q[16] = 181 182.11/115.11 c (22,0) q[17] = 47 182.11/115.11 c (22,0) q[18] = 180 182.11/115.11 c (22,0) q[19] = 194 182.11/115.11 c (22,0) q[20] = 78 182.11/115.11 c (22,0) q[21] = 93 182.11/115.11 c (22,0) q[22] = 158 182.11/115.11 c (22,0) q[23] = 156 182.11/115.11 c (22,0) q[24] = 85 182.11/115.11 c (22,0) q[25] = 22 182.11/115.11 c (22,0) q[26] = 91 182.11/115.11 c (22,0) q[27] = 86 182.11/115.11 c (22,0) q[28] = 121 182.11/115.11 c (22,0) q[29] = 4 182.11/115.11 c (22,0) q[30] = 82 182.11/115.11 c (22,0) q[31] = 95 182.11/115.11 c (22,0) q[32] = 164 182.11/115.11 c (22,0) q[33] = 96 182.11/115.11 c (22,0) q[34] = 100 182.11/115.11 c (22,0) q[35] = 160 182.11/115.11 c (22,0) q[36] = 45 182.11/115.11 c (22,0) q[37] = 190 182.11/115.11 c (22,0) q[38] = 149 182.11/115.11 c (22,0) q[39] = 67 182.11/115.11 c (22,0) q[40] = 23 182.11/115.11 c (22,0) q[41] = 92 182.11/115.11 c (22,0) q[42] = 57 182.11/115.11 c (22,0) q[43] = 182 182.11/115.11 c (22,0) q[44] = 138 182.11/115.11 c (22,0) q[45] = 70 182.11/115.11 c (22,0) q[46] = 54 182.11/115.11 c (22,0) q[47] = 69 182.11/115.11 c (22,0) q[48] = 188 182.11/115.11 c (22,0) q[49] = 59 182.11/115.11 c (22,0) q[50] = 133 182.11/115.11 c (22,0) q[51] = 72 182.11/115.11 c (22,0) q[52] = 137 182.11/115.11 c (22,0) q[53] = 40 182.11/115.11 c (22,0) q[54] = 97 182.11/115.11 c (22,0) q[55] = 14 182.11/115.11 c (22,0) q[56] = 129 182.11/115.11 c (22,0) q[57] = 102 182.11/115.11 c (22,0) q[58] = 114 182.11/115.11 c (22,0) q[59] = 0 182.11/115.11 c (22,0) q[60] = 87 182.11/115.11 c (22,0) q[61] = 64 182.11/115.11 c (22,0) q[62] = 39 182.11/115.11 c (22,0) q[63] = 68 182.39/115.12 c (22,0) q[64] = 25 182.39/115.12 c (22,0) q[65] = 83 182.39/115.12 c (22,0) q[66] = 6 182.39/115.12 c (22,0) q[67] = 99 182.39/115.12 c (22,0) q[68] = 28 182.39/115.12 c (22,0) q[69] = 89 182.39/115.12 c (22,0) q[70] = 118 182.39/115.12 c (22,0) q[71] = 104 182.39/115.12 c (22,0) q[72] = 18 182.39/115.12 c (22,0) q[73] = 30 182.39/115.12 c (22,0) q[74] = 50 182.39/115.12 c (22,0) q[75] = 1 182.39/115.12 c (22,0) q[76] = 110 182.39/115.12 c (22,0) q[77] = 177 182.39/115.12 c (22,0) q[78] = 43 182.39/115.12 c (22,0) q[79] = 31 182.39/115.12 c (22,0) q[80] = 126 182.39/115.12 c (22,0) q[81] = 130 182.39/115.12 c (22,0) q[82] = 123 182.39/115.12 c (22,0) q[83] = 127 182.39/115.12 c (22,0) q[84] = 174 182.39/115.12 c (22,0) q[85] = 124 182.39/115.12 c (22,0) q[86] = 196 182.39/115.12 c (22,0) q[87] = 66 182.39/115.12 c (22,0) q[88] = 163 182.39/115.12 c (22,0) q[89] = 74 182.39/115.12 c (22,0) q[90] = 113 182.39/115.12 c (22,0) q[91] = 128 182.39/115.12 c (22,0) q[92] = 13 182.39/115.12 c (22,0) q[93] = 42 182.39/115.12 c (22,0) q[94] = 24 182.39/115.12 c (22,0) q[95] = 62 182.39/115.12 c (22,0) q[96] = 112 182.39/115.12 c (22,0) q[97] = 33 182.39/115.12 c (22,0) q[98] = 46 182.39/115.12 c (22,0) q[99] = 12 182.39/115.12 c (22,0) q[100] = 199 182.39/115.12 c (22,0) q[101] = 21 182.39/115.12 c (22,0) q[102] = 26 182.39/115.12 c (22,0) q[103] = 34 182.39/115.12 c (22,0) q[104] = 51 182.39/115.12 c (22,0) q[105] = 117 182.39/115.12 c (22,0) q[106] = 184 182.39/115.12 c (22,0) q[107] = 178 182.39/115.12 c (22,0) q[108] = 195 182.39/115.12 c (22,0) q[109] = 53 182.39/115.12 c (22,0) q[110] = 35 182.39/115.12 c (22,0) q[111] = 107 182.39/115.12 c (22,0) q[112] = 105 182.39/115.12 c (22,0) q[113] = 101 182.39/115.12 c (22,0) q[114] = 154 182.39/115.12 c (22,0) q[115] = 150 182.39/115.12 c (22,0) q[116] = 193 182.39/115.12 c (22,0) q[117] = 52 182.39/115.12 c (22,0) q[118] = 116 182.39/115.12 c (22,0) q[119] = 37 182.39/115.12 c (22,0) q[120] = 48 182.39/115.12 c (22,0) q[121] = 11 182.39/115.12 c (22,0) q[122] = 5 182.39/115.12 c (22,0) q[123] = 103 182.39/115.12 c (22,0) q[124] = 16 182.39/115.12 c (22,0) q[125] = 119 182.39/115.12 c (22,0) q[126] = 94 182.39/115.12 c (22,0) q[127] = 9 182.39/115.12 c (22,0) q[128] = 15 182.39/115.12 c (22,0) q[129] = 17 182.39/115.12 c (22,0) q[130] = 166 182.39/115.12 c (22,0) q[131] = 73 182.39/115.12 c (22,0) q[132] = 7 182.39/115.12 c (22,0) q[133] = 32 182.39/115.12 c (22,0) q[134] = 8 182.39/115.12 c (22,0) q[135] = 3 182.39/115.12 c (22,0) q[136] = 41 182.39/115.12 c (22,0) q[137] = 111 182.39/115.12 c (22,0) q[138] = 55 182.39/115.12 c (22,0) q[139] = 192 182.39/115.12 c (22,0) q[140] = 38 182.39/115.12 c (22,0) q[141] = 165 182.39/115.12 c (22,0) q[142] = 58 182.39/115.12 c (22,0) q[143] = 197 182.39/115.12 c (22,0) q[144] = 77 182.39/115.12 c (22,0) q[145] = 115 182.39/115.12 c (22,0) q[146] = 27 182.39/115.12 c (22,0) q[147] = 84 182.39/115.12 c (22,0) q[148] = 152 182.39/115.12 c (22,0) q[149] = 120 182.39/115.12 c (22,0) q[150] = 167 182.39/115.12 c (22,0) q[151] = 162 182.39/115.12 c (22,0) q[152] = 143 182.39/115.12 c (22,0) q[153] = 148 182.39/115.12 c (22,0) q[154] = 161 182.39/115.12 c (22,0) q[155] = 157 182.39/115.12 c (22,0) q[156] = 60 182.39/115.12 c (22,0) q[157] = 176 182.39/115.12 c (22,0) q[158] = 2 182.39/115.12 c (22,0) q[159] = 81 182.39/115.12 c (22,0) q[160] = 186 182.39/115.12 c (22,0) q[161] = 63 182.39/115.12 c (22,0) q[162] = 191 182.39/115.12 c (22,0) q[163] = 147 182.39/115.12 c (22,0) q[164] = 79 182.39/115.12 c (22,0) q[165] = 29 182.39/115.12 c (22,0) q[166] = 36 182.39/115.12 c (22,0) q[167] = 140 182.39/115.12 c (22,0) q[168] = 106 182.39/115.12 c (22,0) q[169] = 108 182.39/115.12 c (22,0) q[170] = 132 182.39/115.12 c (22,0) q[171] = 134 182.39/115.12 c (22,0) q[172] = 153 182.39/115.12 c (22,0) q[173] = 155 182.39/115.12 c (22,0) q[174] = 146 182.39/115.12 c (22,0) q[175] = 144 182.39/115.12 c (22,0) q[176] = 142 182.39/115.12 c (22,0) q[177] = 131 182.39/115.12 c (22,0) q[178] = 170 182.39/115.12 c (22,0) q[179] = 135 182.39/115.12 c (22,0) q[180] = 169 182.39/115.12 c (22,0) q[181] = 20 182.39/115.12 c (22,0) q[182] = 168 182.39/115.12 c (22,0) q[183] = 141 182.39/115.12 c (22,0) q[184] = 139 182.39/115.12 c (22,0) q[185] = 175 182.39/115.12 c (22,0) q[186] = 136 182.39/115.12 c (22,0) q[187] = 151 182.39/115.12 c (22,0) q[188] = 187 182.39/115.12 c (22,0) q[189] = 189 182.39/115.12 c (22,0) q[190] = 98 182.39/115.12 c (22,0) q[191] = 125 182.39/115.12 c (22,0) q[192] = 198 182.39/115.12 c (22,0) q[193] = 49 182.39/115.12 c (22,0) q[194] = 145 182.39/115.12 c (22,0) q[195] = 44 182.39/115.12 c (22,0) q[196] = 76 182.39/115.12 c (22,0) q[197] = 90 182.39/115.12 c (22,0) q[198] = 61 182.39/115.12 c (22,0) q[199] = 122 182.39/115.12 s SATISFIABLE 182.39/115.13 v <instantiation> 182.39/115.13 v <list>q[0] q[1] q[2] q[3] q[4] q[5] q[6] q[7] q[8] q[9] q[10] q[11] q[12] q[13] q[14] q[15] q[16] q[17] q[18] q[19] q[20] q[21] q[22] q[23] q[24] q[25] q[26] q[27] q[28] q[29] q[30] q[31] q[32] q[33] q[34] q[35] q[36] q[37] q[38] q[39] q[40] q[41] q[42] q[43] q[44] q[45] q[46] q[47] q[48] q[49] q[50] q[51] q[52] q[53] q[54] q[55] q[56] q[57] q[58] q[59] q[60] q[61] q[62] q[63] q[64] q[65] q[66] q[67] q[68] q[69] q[70] q[71] q[72] q[73] q[74] q[75] q[76] q[77] q[78] q[79] q[80] q[81] q[82] q[83] q[84] q[85] q[86] q[87] q[88] q[89] q[90] q[91] q[92] q[93] q[94] q[95] q[96] q[97] q[98] q[99] q[100] q[101] q[102] q[103] q[104] q[105] q[106] q[107] q[108] q[109] q[110] q[111] q[112] q[113] q[114] q[115] q[116] q[117] q[118] q[119] q[120] q[121] q[122] q[123] q[124] q[125] q[126] q[127] q[128] q[129] q[130] q[131] q[132] q[133] q[134] q[135] q[136] q[137] q[138] q[139] q[140] q[141] q[142] q[143] q[144] q[145] q[146] q[147] q[148] q[149] q[150] q[151] q[152] q[153] q[154] q[155] q[156] q[157] q[158] q[159] q[160] q[161] q[162] q[163] q[164] q[165] q[166] q[167] q[168] q[169] q[170] q[171] q[172] q[173] q[174] q[175] q[176] q[177] q[178] q[179] q[180] q[181] q[182] q[183] q[184] q[185] q[186] q[187] q[188] q[189] q[190] q[191] q[192] q[193] q[194] q[195] q[196] q[197] q[198] q[199]</list> 182.39/115.13 v <values>88 56 159 173 80 19 185 183 75 10 171 109 172 179 71 65 181 47 180 194 78 93 158 156 85 22 91 86 121 4 82 95 164 96 100 160 45 190 149 67 23 92 57 182 138 70 54 69 188 59 133 72 137 40 97 14 129 102 114 0 87 64 39 68 25 83 6 99 28 89 118 104 18 30 50 1 110 177 43 31 126 130 123 127 174 124 196 66 163 74 113 128 13 42 24 62 112 33 46 12 199 21 26 34 51 117 184 178 195 53 35 107 105 101 154 150 193 52 116 37 48 11 5 103 16 119 94 9 15 17 166 73 7 32 8 3 41 111 55 192 38 165 58 197 77 115 27 84 152 120 167 162 143 148 161 157 60 176 2 81 186 63 191 147 79 29 36 140 106 108 132 134 153 155 146 144 142 131 170 135 169 20 168 141 139 175 136 151 187 189 98 125 198 49 145 44 76 90 61 122</values> 182.39/115.13 v </instantiation> 182.39/115.13 c (22,0) Show results End 182.39/115.13 c (22,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB) 182.39/115.13 c (22,0) 22,22,STOP-AFTER(ALL) 182.39/115.13 c END-Prog: Sat Sep 14 08:30:53 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 (15248 MiB free) memory of node 1: 16384 MiB (15632 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392377-1568442587/watcher-4392377-1568442587 -o /tmp/evaluation-result-4392377-1568442587/solver-4392377-1568442587 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node132-1568438679-8579 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392377-1568442587.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=10014, runsolver pid=10011 Current StackSize limit: 8192 KiB [startup+0.100112 s]* /proc/loadavg: 8.19 8.22 8.15 2/217 10036 /proc/meminfo: memFree=31527392/32770624 swapFree=67009756/67108860 [pid=10014] ppid=10011 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/10014/stat : 10014 (scop.sh) S 10011 10014 8552 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 420181413 115843072 349 33554432000 4194304 5098028 140723075542624 140723075539880 140500601393788 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 18083840 140723075547941 140723075548268 140723075548268 140723075551181 0 /proc/10014/statm: 28282 349 296 221 0 87 0 [pid=10017] ppid=10014 vsize=27314120 memory=107212 CPUtime=0.11 cores=0-7 /proc/10017/stat : 10017 (java) S 10014 10014 8552 0 -1 1077944320 6828 0 0 0 8 3 0 0 20 0 20 0 420181413 27969658880 26803 33554432000 4194304 4196468 140731822387248 140731822369792 139814467428087 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16162816 140731822396139 140731822396566 140731822396566 140731822399439 0 /proc/10017/statm: 6828530 26803 2795 1 0 6790935 0 [pid=10017/tid=10018] ppid=10014 vsize=27314120 memory=-7024592270288534718 CPUtime=0.09 cores=0-7 /proc/10017/task/10018/stat : 10018 (java) R 10014 10014 8552 0 -1 4202560 4920 0 0 0 7 2 0 0 20 0 20 0 420181414 27969658880 26803 33554432000 4194304 4196468 140731822387248 139814439232288 139814453496206 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16162816 140731822396139 140731822396566 140731822396566 140731822399439 0 [pid=10017/tid=10019] ppid=10014 vsize=27314120 memory=6735269665564437106 CPUtime=0 cores=0-7 /proc/10017/task/10019/stat : 10019 (java) S 10014 10014 8552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420181416 27969658880 26803 33554432000 4194304 4196468 140731822387248 139814471670800 139814467438293 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16162816 140731822396139 140731822396566 140731822396566 140731822399439 0 [pid=10017/tid=10020] ppid=10014 vsize=27314120 memory=139937732335232 CPUtime=0 cores=0-7 /proc/10017/task/10020/stat : 10020 (java) S 10014 10014 8552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420181416 27969658880 26803 33554432000 4194304 4196468 140731822387248 139814285827216 139814467438293 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16162816 140731822396139 140731822396566 140731822396566 140731822399439 0 [pid=10017/tid=10021] ppid=10014 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10017/task/10021/stat : 10021 (java) S 10014 10014 8552 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420181416 27969658880 26803 33554432000 4194304 4196468 140731822387248 139814284774160 139814467438293 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16162816 140731822396139 140731822396566 140731822396566 140731822399439 0 [pid=10017/tid=10022] ppid=10014 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10017/task/10022/stat : 10022 (java) S 10014 10014 8552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420181416 27969658880 26803 33554432000 4194304 4196468 140731822387248 139814283721616 139814467438293 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16162816 140731822396139 140731822396566 140731822396566 140731822399439 0 [pid=10017/tid=10023] ppid=10014 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10017/task/10023/stat : 10023 (java) S 10014 10014 8552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420181416 27969658880 26803 33554432000 4194304 4196468 140731822387248 139814282668560 139814467438293 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16162816 140731822396139 140731822396566 140731822396566 140731822399439 0 [pid=10017/tid=10024] ppid=10014 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/10017/task/10024/stat : 10024 (java) S 10014 10014 8552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420181416 27969658880 26803 33554432000 4194304 4196468 140731822387248 139814281616016 139814467438293 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16162816 140731822396139 140731822396566 140731822396566 140731822399439 0 [pid=10017/tid=10025] ppid=10014 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10017/task/10025/stat : 10025 (java) S 10014 10014 8552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420181416 27969658880 26803 33554432000 4194304 4196468 140731822387248 139814280562960 139814467438293 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16162816 140731822396139 140731822396566 140731822396566 140731822399439 0 [pid=10017/tid=10026] ppid=10014 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10017/task/10026/stat : 10026 (java) S 10014 10014 8552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420181416 27969658880 26803 33554432000 4194304 4196468 140731822387248 139814279510416 139814467438293 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16162816 140731822396139 140731822396566 140731822396566 140731822399439 0 [pid=10017/tid=10027] ppid=10014 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10017/task/10027/stat : 10027 (java) S 10014 10014 8552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420181417 27969658880 27315 33554432000 4194304 4196468 140731822387248 139812988218096 139814467439234 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16162816 140731822396139 140731822396566 140731822396566 140731822399439 0 [pid=10017/tid=10028] ppid=10014 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10017/task/10028/stat : 10028 (java) S 10014 10014 8552 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420181418 27969658880 27315 33554432000 4194304 4196468 140731822387248 139812057114272 139814467438293 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16162816 140731822396139 140731822396566 140731822396566 140731822399439 0 [pid=10017/tid=10029] ppid=10014 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10017/task/10029/stat : 10029 (java) S 10014 10014 8552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420181418 27969658880 27315 33554432000 4194304 4196468 140731822387248 139811788678384 139814467438293 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16162816 140731822396139 140731822396566 140731822396566 140731822399439 0 [pid=10017/tid=10030] ppid=10014 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10017/task/10030/stat : 10030 (java) S 10014 10014 8552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420181421 27969658880 27315 33554432000 4194304 4196468 140731822387248 139811414170064 139814467446683 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16162816 140731822396139 140731822396566 140731822396566 140731822399439 0 [pid=10017/tid=10031] ppid=10014 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10017/task/10031/stat : 10031 (java) S 10014 10014 8552 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 20 0 420181421 27969658880 27315 33554432000 4194304 4196468 140731822387248 139812987164912 139814467439234 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16162816 140731822396139 140731822396566 140731822396566 140731822399439 0 [pid=10017/tid=10032] ppid=10014 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10017/task/10032/stat : 10032 (java) S 10014 10014 8552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420181421 27969658880 27315 33554432000 4194304 4196468 140731822387248 139812986112368 139814467439234 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16162816 140731822396139 140731822396566 140731822396566 140731822399439 0 [pid=10017/tid=10033] ppid=10014 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10017/task/10033/stat : 10033 (java) S 10014 10014 8552 0 -1 1077944384 283 0 0 0 0 0 0 0 20 0 20 0 420181421 27969658880 27315 33554432000 4194304 4196468 140731822387248 139812985059312 139814467439234 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16162816 140731822396139 140731822396566 140731822396566 140731822399439 0 [pid=10017/tid=10034] ppid=10014 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10017/task/10034/stat : 10034 (java) S 10014 10014 8552 0 -1 1077944384 269 0 0 0 0 0 0 0 20 0 20 0 420181421 27969658880 27315 33554432000 4194304 4196468 140731822387248 139812984006768 139814467439234 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16162816 140731822396139 140731822396566 140731822396566 140731822399439 0 [pid=10017/tid=10035] ppid=10014 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10017/task/10035/stat : 10035 (java) S 10014 10014 8552 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420181421 27969658880 27315 33554432000 4194304 4196468 140731822387248 139810916264928 139814467438293 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16162816 140731822396139 140731822396566 140731822396566 140731822399439 0 [pid=10017/tid=10036] ppid=10014 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/10017/task/10036/stat : 10036 (java) S 10014 10014 8552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420181421 27969658880 27315 33554432000 4194304 4196468 140731822387248 139812982955184 139814467439234 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16162816 140731822396139 140731822396566 140731822396566 140731822399439 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 108608 KiB [startup+0.210737 s]* /proc/loadavg: 8.19 8.22 8.15 2/217 10036 /proc/meminfo: memFree=31506744/32770624 swapFree=67009756/67108860 [pid=10014] ppid=10011 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/10014/stat : 10014 (scop.sh) S 10011 10014 8552 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 420181413 115843072 349 33554432000 4194304 5098028 140723075542624 140723075539880 140500601393788 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 18083840 140723075547941 140723075548268 140723075548268 140723075551181 0 /proc/10014/statm: 28282 349 296 221 0 87 0 [pid=10017] ppid=10014 vsize=27314120 memory=126244 CPUtime=0.24 cores=0-7 /proc/10017/stat : 10017 (java) S 10014 10014 8552 0 -1 1077944320 12433 0 0 0 20 4 0 0 20 0 20 0 420181413 27969658880 31561 33554432000 4194304 4196468 140731822387248 140731822369792 139814467428087 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16162816 140731822396139 140731822396566 140731822396566 140731822399439 0 /proc/10017/statm: 6828530 31561 2928 1 0 6790935 0 [pid=10017/tid=10018] ppid=10014 vsize=27314120 memory=8390339637985935414 CPUtime=0.19 cores=0-7 /proc/10017/task/10018/stat : 10018 (java) R 10014 10014 8552 0 -1 4202560 10127 0 0 0 16 3 0 0 20 0 20 0 420181414 27969658880 31561 33554432000 4194304 4196468 140731822387248 139814439227472 139814448991743 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16162816 140731822396139 140731822396566 140731822396566 140731822399439 0 [pid=10017/tid=10019] ppid=10014 vsize=27314120 memory=288230613314710904 CPUtime=0 cores=0-7 /proc/10017/task/10019/stat : 10019 (java) S 10014 10014 8552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420181416 27969658880 31561 33554432000 4194304 4196468 140731822387248 139814471670800 139814467438293 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16162816 140731822396139 140731822396566 140731822396566 140731822399439 0 [pid=10017/tid=10020] ppid=10014 vsize=27314120 memory=288370313884046976 CPUtime=0 cores=0-7 /proc/10017/task/10020/stat : 10020 (java) S 10014 10014 8552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420181416 27969658880 31561 33554432000 4194304 4196468 140731822387248 139814285827216 139814467438293 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16162816 140731822396139 140731822396566 140731822396566 140731822399439 0 [pid=10017/tid=10021] ppid=10014 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/10017/task/10021/stat : 10021 (java) S 10014 10014 8552 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420181416 27969658880 31561 33554432000 4194304 4196468 140731822387248 139814284774160 139814467438293 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16162816 140731822396139 140731822396566 140731822396566 140731822399439 0 [pid=10017/tid=10022] ppid=10014 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10017/task/10022/stat : 10022 (java) S 10014 10014 8552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420181416 27969658880 31561 33554432000 4194304 4196468 140731822387248 139814283721616 139814467438293 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16162816 140731822396139 140731822396566 140731822396566 140731822399439 0 [pid=10017/tid=10023] ppid=10014 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10017/task/10023/stat : 10023 (java) S 10014 10014 8552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420181416 27969658880 31561 33554432000 4194304 4196468 140731822387248 139814282668560 139814467438293 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16162816 140731822396139 140731822396566 140731822396566 140731822399439 0 [pid=10017/tid=10024] ppid=10014 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/10017/task/10024/stat : 10024 (java) S 10014 10014 8552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420181416 27969658880 31561 33554432000 4194304 4196468 140731822387248 139814281616016 139814467438293 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16162816 140731822396139 140731822396566 140731822396566 140731822399439 0 [pid=10017/tid=10025] ppid=10014 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10017/task/10025/stat : 10025 (java) S 10014 10014 8552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420181416 27969658880 31561 33554432000 4194304 4196468 140731822387248 139814280562960 139814467438293 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16162816 140731822396139 140731822396566 140731822396566 140731822399439 0 [pid=10017/tid=10026] ppid=10014 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10017/task/10026/stat : 10026 (java) S 10014 10014 8552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420181416 27969658880 31561 33554432000 4194304 4196468 140731822387248 139814279510416 139814467438293 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16162816 140731822396139 140731822396566 140731822396566 140731822399439 0 [pid=10017/tid=10027] ppid=10014 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10017/task/10027/stat : 10027 (java) S 10014 10014 8552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420181417 27969658880 31561 33554432000 4194304 4196468 140731822387248 139812988218096 139814467439234 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16162816 140731822396139 140731822396566 140731822396566 140731822399439 0 [pid=10017/tid=10028] ppid=10014 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10017/task/10028/stat : 10028 (java) S 10014 10014 8552 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420181418 27969658880 31561 33554432000 4194304 4196468 140731822387248 139812057114272 139814467438293 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16162816 140731822396139 140731822396566 140731822396566 140731822399439 0 [pid=10017/tid=10029] ppid=10014 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10017/task/10029/stat : 10029 (java) S 10014 10014 8552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420181418 27969658880 31561 33554432000 4194304 4196468 140731822387248 139811788678384 139814467438293 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16162816 140731822396139 140731822396566 140731822396566 140731822399439 0 [pid=10017/tid=10030] ppid=10014 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10017/task/10030/stat : 10030 (java) S 10014 10014 8552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420181421 27969658880 31561 33554432000 4194304 4196468 140731822387248 139811414170064 139814467446683 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16162816 140731822396139 140731822396566 140731822396566 140731822399439 0 [pid=10017/tid=10031] ppid=10014 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10017/task/10031/stat : 10031 (java) S 10014 10014 8552 0 -1 1077944384 161 0 0 0 0 0 0 0 20 0 20 0 420181421 27969658880 31561 33554432000 4194304 4196468 140731822387248 139812987164912 139814467439234 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16162816 140731822396139 140731822396566 140731822396566 140731822399439 0 [pid=10017/tid=10032] ppid=10014 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10017/task/10032/stat : 10032 (java) S 10014 10014 8552 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 20 0 420181421 27969658880 31561 33554432000 4194304 4196468 140731822387248 139812986112368 139814467439234 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16162816 140731822396139 140731822396566 140731822396566 140731822399439 0 [pid=10017/tid=10033] ppid=10014 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10017/task/10033/stat : 10033 (java) S 10014 10014 8552 0 -1 1077944384 297 0 0 0 0 0 0 0 20 0 20 0 420181421 27969658880 31561 33554432000 4194304 4196468 140731822387248 139812985059312 139814467439234 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16162816 140731822396139 140731822396566 140731822396566 140731822399439 0 [pid=10017/tid=10034] ppid=10014 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7 /proc/10017/task/10034/stat : 10034 (java) S 10014 10014 8552 0 -1 1077944384 468 0 0 0 2 0 0 0 20 0 20 0 420181421 27969658880 31561 33554432000 4194304 4196468 140731822387248 139812984006768 139814467439234 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16162816 140731822396139 140731822396566 140731822396566 140731822399439 0 [pid=10017/tid=10035] ppid=10014 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10017/task/10035/stat : 10035 (java) S 10014 10014 8552 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420181421 27969658880 31561 33554432000 4194304 4196468 140731822387248 139810916264928 139814467438293 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16162816 140731822396139 140731822396566 140731822396566 140731822399439 0 [pid=10017/tid=10036] ppid=10014 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/10017/task/10036/stat : 10036 (java) S 10014 10014 8552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420181421 27969658880 31561 33554432000 4194304 4196468 140731822387248 139812982955184 139814467439234 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16162816 140731822396139 140731822396566 140731822396566 140731822399439 0 Current children cumulated CPU time: 0.24 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 127640 KiB [startup+0.310185 s]* /proc/loadavg: 8.19 8.22 8.15 2/217 10036 /proc/meminfo: memFree=31503952/32770624 swapFree=67009756/67108860 [pid=10014] ppid=10011 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/10014/stat : 10014 (scop.sh) S 10011 10014 8552 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 420181413 115843072 349 33554432000 4194304 5098028 140723075542624 140723075539880 140500601393788 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 18083840 140723075547941 140723075548268 140723075548268 140723075551181 0 /proc/10014/statm: 28282 349 296 221 0 87 0 [pid=10017] ppid=10014 vsize=27314120 memory=129864 CPUtime=0.42 cores=0-7 /proc/10017/stat : 10017 (java) S 10014 10014 8552 0 -1 1077944320 12807 0 0 0 37 5 0 0 20 0 20 0 420181413 27969658880 32400 33554432000 4194304 4196468 140731822387248 140731822369792 139814467428087 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16162816 140731822396139 140731822396566 140731822396566 140731822399439 0 /proc/10017/statm: 6828530 32400 3034 1 0 6790935 0 [pid=10017/tid=10018] ppid=10014 vsize=27314120 memory=1398722017469774279 CPUtime=0.3 cores=0-7 /proc/10017/task/10018/stat : 10018 (java) R 10014 10014 8552 0 -1 4202560 10318 0 0 0 26 4 0 0 20 0 20 0 420181414 27969658880 32466 33554432000 4194304 4196468 140731822387248 139814439258160 139814448991647 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16162816 140731822396139 140731822396566 140731822396566 140731822399439 0 [pid=10017/tid=10019] ppid=10014 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/10017/task/10019/stat : 10019 (java) S 10014 10014 8552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420181416 27969658880 32466 33554432000 4194304 4196468 140731822387248 139814471670800 139814467438293 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16162816 140731822396139 140731822396566 140731822396566 140731822399439 0 [pid=10017/tid=10020] ppid=10014 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10017/task/10020/stat : 10020 (java) S 10014 10014 8552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420181416 27969658880 32466 33554432000 4194304 4196468 140731822387248 139814285827216 139814467438293 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16162816 140731822396139 140731822396566 140731822396566 140731822399439 0 [pid=10017/tid=10021] ppid=10014 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10017/task/10021/stat : 10021 (java) S 10014 10014 8552 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420181416 27969658880 32466 33554432000 4194304 4196468 140731822387248 139814284774160 139814467438293 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16162816 140731822396139 140731822396566 140731822396566 140731822399439 0 [pid=10017/tid=10022] ppid=10014 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10017/task/10022/stat : 10022 (java) S 10014 10014 8552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420181416 27969658880 32466 33554432000 4194304 4196468 140731822387248 139814283721616 139814467438293 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16162816 140731822396139 140731822396566 140731822396566 140731822399439 0 [pid=10017/tid=10023] ppid=10014 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10017/task/10023/stat : 10023 (java) S 10014 10014 8552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420181416 27969658880 32466 33554432000 4194304 4196468 140731822387248 139814282668560 139814467438293 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16162816 140731822396139 140731822396566 140731822396566 140731822399439 0 [pid=10017/tid=10024] ppid=10014 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10017/task/10024/stat : 10024 (java) S 10014 10014 8552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420181416 27969658880 32466 33554432000 4194304 4196468 140731822387248 139814281616016 139814467438293 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16162816 140731822396139 140731822396566 140731822396566 140731822399439 0 [pid=10017/tid=10025] ppid=10014 vsize=27314120 memory=2244 CPUtime=0 cores=0-7 /proc/10017/task/10025/stat : 10025 (java) S 10014 10014 8552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420181416 27969658880 32466 33554432000 4194304 4196468 140731822387248 139814280562960 139814467438293 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16162816 140731822396139 140731822396566 140731822396566 140731822399439 0 [pid=10017/tid=10026] ppid=10014 vsize=27314120 memory=2244 CPUtime=0 cores=0-7 /proc/10017/task/10026/stat : 10026 (java) S 10014 10014 8552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420181416 27969658880 32466 33554432000 4194304 4196468 140731822387248 139814279510416 139814467438293 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16162816 140731822396139 140731822396566 140731822396566 140731822399439 0 [pid=10017/tid=10027] ppid=10014 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10017/task/10027/stat : 10027 (java) S 10014 10014 8552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420181417 27969658880 32466 33554432000 4194304 4196468 140731822387248 139812988218096 139814467439234 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16162816 140731822396139 140731822396566 140731822396566 140731822399439 0 [pid=10017/tid=10028] ppid=10014 vsize=27314120 memory=139937617895887 CPUtime=0 cores=0-7 /proc/10017/task/10028/stat : 10028 (java) S 10014 10014 8552 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420181418 27969658880 32466 33554432000 4194304 4196468 140731822387248 139812057114272 139814467438293 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16162816 140731822396139 140731822396566 140731822396566 140731822399439 0 [pid=10017/tid=10029] ppid=10014 vsize=27314120 memory=279875235819408 CPUtime=0 cores=0-7 /proc/10017/task/10029/stat : 10029 (java) S 10014 10014 8552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420181418 27969658880 32466 33554432000 4194304 4196468 140731822387248 139811788678384 139814467438293 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16162816 140731822396139 140731822396566 140731822396566 140731822399439 0 [pid=10017/tid=10030] ppid=10014 vsize=27314120 memory=279875235817104 CPUtime=0 cores=0-7 /proc/10017/task/10030/stat : 10030 (java) S 10014 10014 8552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420181421 27969658880 32466 33554432000 4194304 4196468 140731822387248 139811414170064 139814467446683 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16162816 140731822396139 140731822396566 140731822396566 140731822399439 0 [pid=10017/tid=10031] ppid=10014 vsize=27314120 memory=279875235824016 CPUtime=0 cores=0-7 /proc/10017/task/10031/stat : 10031 (java) S 10014 10014 8552 0 -1 1077944384 184 0 0 0 0 0 0 0 20 0 20 0 420181421 27969658880 32466 33554432000 4194304 4196468 140731822387248 139812987164912 139814467439234 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16162816 140731822396139 140731822396566 140731822396566 140731822399439 0 [pid=10017/tid=10032] ppid=10014 vsize=27314120 memory=279875235765296 CPUtime=0.01 cores=0-7 /proc/10017/task/10032/stat : 10032 (java) S 10014 10014 8552 0 -1 1077944384 150 0 0 0 1 0 0 0 20 0 20 0 420181421 27969658880 32466 33554432000 4194304 4196468 140731822387248 139812986112368 139814467439234 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16162816 140731822396139 140731822396566 140731822396566 140731822399439 0 [pid=10017/tid=10033] ppid=10014 vsize=27314120 memory=279875235837840 CPUtime=0.01 cores=0-7 /proc/10017/task/10033/stat : 10033 (java) S 10014 10014 8552 0 -1 1077944384 335 0 0 0 1 0 0 0 20 0 20 0 420181421 27969658880 32466 33554432000 4194304 4196468 140731822387248 139812985059312 139814467439234 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16162816 140731822396139 140731822396566 140731822396566 140731822399439 0 [pid=10017/tid=10034] ppid=10014 vsize=27314120 memory=279875235844720 CPUtime=0.07 cores=0-7 /proc/10017/task/10034/stat : 10034 (java) S 10014 10014 8552 0 -1 1077944384 490 0 0 0 7 0 0 0 20 0 20 0 420181421 27969658880 32466 33554432000 4194304 4196468 140731822387248 139812984006768 139814467439234 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16162816 140731822396139 140731822396566 140731822396566 140731822399439 0 [pid=10017/tid=10035] ppid=10014 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10017/task/10035/stat : 10035 (java) S 10014 10014 8552 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420181421 27969658880 32466 33554432000 4194304 4196468 140731822387248 139810916264928 139814467438293 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16162816 140731822396139 140731822396566 140731822396566 140731822399439 0 [pid=10017/tid=10036] ppid=10014 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/10017/task/10036/stat : 10036 (java) S 10014 10014 8552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420181421 27969658880 32466 33554432000 4194304 4196468 140731822387248 139812982955184 139814467439234 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16162816 140731822396139 140731822396566 140731822396566 140731822399439 0 Current children cumulated CPU time: 0.42 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 131260 KiB [startup+0.700926 s] /proc/loadavg: 8.19 8.22 8.15 3/217 10036 /proc/meminfo: memFree=31481944/32770624 swapFree=67009756/67108860 [pid=10014] ppid=10011 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/10014/stat : 10014 (scop.sh) S 10011 10014 8552 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 420181413 115843072 349 33554432000 4194304 5098028 140723075542624 140723075539880 140500601393788 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 18083840 140723075547941 140723075548268 140723075548268 140723075551181 0 /proc/10014/statm: 28282 349 296 221 0 87 0 [pid=10017] ppid=10014 vsize=27320392 memory=165620 CPUtime=1.01 cores=0-7 /proc/10017/stat : 10017 (java) S 10014 10014 8552 0 -1 1077944320 20517 0 0 0 93 8 0 0 20 0 20 0 420181413 27976081408 41405 33554432000 4194304 4196468 140731822387248 140731822369792 139814467428087 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16162816 140731822396139 140731822396566 140731822396566 140731822399439 0 /proc/10017/statm: 6830098 41405 3183 1 0 6791447 0 [pid=10017/tid=10018] ppid=10014 vsize=27320392 memory=2244 CPUtime=0.67 cores=0-7 /proc/10017/task/10018/stat : 10018 (java) R 10014 10014 8552 0 -1 4202560 17381 0 0 0 61 6 0 0 20 0 20 0 420181414 27976081408 41405 33554432000 4194304 4196468 140731822387248 139814439262808 139814445422219 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16162816 140731822396139 140731822396566 140731822396566 140731822399439 0 [pid=10017/tid=10019] ppid=10014 vsize=27320392 memory=0 CPUtime=0 cores=0-7 /proc/10017/task/10019/stat : 10019 (java) S 10014 10014 8552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420181416 27976081408 41405 33554432000 4194304 4196468 140731822387248 139814471670800 139814467438293 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16162816 140731822396139 140731822396566 140731822396566 140731822399439 0 [pid=10017/tid=10020] ppid=10014 vsize=27320392 memory=0 CPUtime=0 cores=0-7 /proc/10017/task/10020/stat : 10020 (java) S 10014 10014 8552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420181416 27976081408 41405 33554432000 4194304 4196468 140731822387248 139814285827216 139814467438293 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16162816 140731822396139 140731822396566 140731822396566 140731822399439 0 [pid=10017/tid=10021] ppid=10014 vsize=27320392 memory=14008 CPUtime=0 cores=0-7 /proc/10017/task/10021/stat : 10021 (java) S 10014 10014 8552 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420181416 27976081408 41405 33554432000 4194304 4196468 140731822387248 139814284774160 139814467438293 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16162816 140731822396139 140731822396566 140731822396566 140731822399439 0 ################ # More data... # ################ [pid=10047/tid=10048] ppid=10014 vsize=8414124 memory=1584 CPUtime=0.76 cores=0-7 /proc/10047/task/10048/stat : 10048 (java) S 10014 10014 8552 0 -1 1077944384 17437 0 0 0 71 5 0 0 20 0 24 0 420190646 8616062976 38872 33554432000 4194304 4196468 140735211136464 140355445370784 140355473540821 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17555456 140735211140087 140735211140246 140735211140246 140735211143119 0 [pid=10047/tid=10049] ppid=10014 vsize=8414124 memory=8324805597573839758 CPUtime=0 cores=0-7 /proc/10047/task/10049/stat : 10049 (java) S 10014 10014 8552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420190647 8616062976 38872 33554432000 4194304 4196468 140735211136464 140355477772560 140355473540821 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17555456 140735211140087 140735211140246 140735211140246 140735211143119 0 [pid=10047/tid=10050] ppid=10014 vsize=8414124 memory=182944131993192 CPUtime=0 cores=0-7 /proc/10047/task/10050/stat : 10050 (java) S 10014 10014 8552 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420190647 8616062976 38872 33554432000 4194304 4196468 140735211136464 140355304589712 140355473540821 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17555456 140735211140087 140735211140246 140735211140246 140735211143119 0 [pid=10047/tid=10051] ppid=10014 vsize=8414124 memory=182944131993193 CPUtime=0 cores=0-7 /proc/10047/task/10051/stat : 10051 (java) S 10014 10014 8552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420190647 8616062976 38872 33554432000 4194304 4196468 140735211136464 140354957953552 140355473540821 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17555456 140735211140087 140735211140246 140735211140246 140735211143119 0 [pid=10047/tid=10052] ppid=10014 vsize=8414124 memory=182944131993194 CPUtime=0 cores=0-7 /proc/10047/task/10052/stat : 10052 (java) S 10014 10014 8552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420190647 8616062976 38872 33554432000 4194304 4196468 140735211136464 140354956901008 140355473540821 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17555456 140735211140087 140735211140246 140735211140246 140735211143119 0 [pid=10047/tid=10053] ppid=10014 vsize=8414124 memory=182944131993195 CPUtime=0 cores=0-7 /proc/10047/task/10053/stat : 10053 (java) S 10014 10014 8552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420190647 8616062976 38872 33554432000 4194304 4196468 140735211136464 140354955848464 140355473540821 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17555456 140735211140087 140735211140246 140735211140246 140735211143119 0 [pid=10047/tid=10054] ppid=10014 vsize=8414124 memory=182944131993196 CPUtime=0 cores=0-7 /proc/10047/task/10054/stat : 10054 (java) S 10014 10014 8552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420190647 8616062976 38872 33554432000 4194304 4196468 140735211136464 140354954795920 140355473540821 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17555456 140735211140087 140735211140246 140735211140246 140735211143119 0 [pid=10047/tid=10055] ppid=10014 vsize=8414124 memory=182944131993197 CPUtime=0 cores=0-7 /proc/10047/task/10055/stat : 10055 (java) S 10014 10014 8552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420190647 8616062976 38872 33554432000 4194304 4196468 140735211136464 140354953743376 140355473540821 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17555456 140735211140087 140735211140246 140735211140246 140735211143119 0 [pid=10047/tid=10056] ppid=10014 vsize=8414124 memory=182944131993198 CPUtime=0 cores=0-7 /proc/10047/task/10056/stat : 10056 (java) S 10014 10014 8552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420190647 8616062976 38872 33554432000 4194304 4196468 140735211136464 140354952690832 140355473540821 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17555456 140735211140087 140735211140246 140735211140246 140735211143119 0 [pid=10047/tid=10057] ppid=10014 vsize=8414124 memory=6063440 CPUtime=0 cores=0-7 /proc/10047/task/10057/stat : 10057 (java) S 10014 10014 8552 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 24 0 420190649 8616062976 38872 33554432000 4194304 4196468 140735211136464 140354768394224 140355473541762 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17555456 140735211140087 140735211140246 140735211140246 140735211143119 0 [pid=10047/tid=10058] ppid=10014 vsize=8414124 memory=288230596050944315 CPUtime=0 cores=0-7 /proc/10047/task/10058/stat : 10058 (java) S 10014 10014 8552 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 420190649 8616062976 38872 33554432000 4194304 4196468 140735211136464 140353894081440 140355473540821 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17555456 140735211140087 140735211140246 140735211140246 140735211143119 0 [pid=10047/tid=10059] ppid=10014 vsize=8414124 memory=15262532197681593 CPUtime=0 cores=0-7 /proc/10047/task/10059/stat : 10059 (java) S 10014 10014 8552 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 420190649 8616062976 38872 33554432000 4194304 4196468 140735211136464 140353759859696 140355473540821 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17555456 140735211140087 140735211140246 140735211140246 140735211143119 0 [pid=10047/tid=10060] ppid=10014 vsize=8414124 memory=520 CPUtime=0 cores=0-7 /proc/10047/task/10060/stat : 10060 (java) S 10014 10014 8552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420190652 8616062976 38872 33554432000 4194304 4196468 140735211136464 140353385355472 140355473549211 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17555456 140735211140087 140735211140246 140735211140246 140735211143119 0 [pid=10047/tid=10061] ppid=10014 vsize=8414124 memory=1560 CPUtime=0.09 cores=0-7 /proc/10047/task/10061/stat : 10061 (java) S 10014 10014 8552 0 -1 1077944384 759 0 0 0 9 0 0 0 20 0 24 0 420190652 8616062976 38872 33554432000 4194304 4196468 140735211136464 140354565171696 140355473541762 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17555456 140735211140087 140735211140246 140735211140246 140735211143119 0 [pid=10047/tid=10062] ppid=10014 vsize=8414124 memory=928 CPUtime=0.12 cores=0-7 /proc/10047/task/10062/stat : 10062 (java) S 10014 10014 8552 0 -1 1077944384 415 0 0 0 12 0 0 0 20 0 24 0 420190652 8616062976 38872 33554432000 4194304 4196468 140735211136464 140354564119152 140355473541762 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17555456 140735211140087 140735211140246 140735211140246 140735211143119 0 [pid=10047/tid=10063] ppid=10014 vsize=8414124 memory=1616 CPUtime=0.11 cores=0-7 /proc/10047/task/10063/stat : 10063 (java) S 10014 10014 8552 0 -1 1077944384 508 0 0 0 11 0 0 0 20 0 24 0 420190652 8616062976 38872 33554432000 4194304 4196468 140735211136464 140354563066608 140355473541762 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17555456 140735211140087 140735211140246 140735211140246 140735211143119 0 [pid=10047/tid=10064] ppid=10014 vsize=8414124 memory=0 CPUtime=0.26 cores=0-7 /proc/10047/task/10064/stat : 10064 (java) S 10014 10014 8552 0 -1 1077944384 1096 0 0 0 26 0 0 0 20 0 24 0 420190652 8616062976 38872 33554432000 4194304 4196468 140735211136464 140354562014064 140355473541762 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17555456 140735211140087 140735211140246 140735211140246 140735211143119 0 [pid=10047/tid=10065] ppid=10014 vsize=8414124 memory=279875237172432 CPUtime=0 cores=0-7 /proc/10047/task/10065/stat : 10065 (java) S 10014 10014 8552 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420190652 8616062976 38872 33554432000 4194304 4196468 140735211136464 140352887449824 140355473540821 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17555456 140735211140087 140735211140246 140735211140246 140735211143119 0 [pid=10047/tid=10066] ppid=10014 vsize=8414124 memory=139937618189768 CPUtime=0 cores=0-7 /proc/10047/task/10066/stat : 10066 (java) S 10014 10014 8552 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420190653 8616062976 38872 33554432000 4194304 4196468 140735211136464 140354560960944 140355473541762 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 10 0 0 6293624 6294260 17555456 140735211140087 140735211140246 140735211140246 140735211143119 0 [pid=10047/tid=10069] ppid=10014 vsize=8414124 memory=2452 CPUtime=0 cores=0-7 /proc/10047/task/10069/stat : 10069 (java) S 10014 10014 8552 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 420190720 8616062976 38872 33554432000 4194304 4196468 140735211136464 140354766783680 140355473555225 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 17555456 140735211140087 140735211140246 140735211140246 140735211143119 0 [pid=10047/tid=10071] ppid=10014 vsize=8414124 memory=1764 CPUtime=0.13 cores=0-7 /proc/10047/task/10071/stat : 10071 (java) S 10014 10014 8552 0 -1 4202560 600 0 0 0 13 0 0 0 20 0 24 0 420190720 8616062976 38872 33554432000 4194304 4196468 140735211136464 140352484786064 140355473552541 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 17555456 140735211140087 140735211140246 140735211140246 140735211143119 0 [pid=10047/tid=10072] ppid=10014 vsize=8414124 memory=7014751519583130723 CPUtime=0 cores=0-7 /proc/10047/task/10072/stat : 10072 (java) S 10014 10014 8552 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 24 0 420190720 8616062976 38872 33554432000 4194304 4196468 140735211136464 140352216350640 140355473552541 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 17555456 140735211140087 140735211140246 140735211140246 140735211143119 0 [pid=10047/tid=10073] ppid=10014 vsize=8414124 memory=6082790135224887401 CPUtime=0 cores=0-7 /proc/10047/task/10073/stat : 10073 (java) S 10014 10014 8552 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 420190722 8616062976 38872 33554432000 4194304 4196468 140735211136464 140351947923120 140355473540821 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17555456 140735211140087 140735211140246 140735211140246 140735211143119 0 Current children cumulated CPU time: 117.02 s Current children cumulated vsize: 8527252 KiB Current children cumulated memory: 156964 KiB [startup+115.001 s]* /proc/loadavg: 2.93 6.16 7.40 2/219 10081 /proc/meminfo: memFree=31061376/32770624 swapFree=67009760/67108860 [pid=10014] ppid=10011 vsize=113128 memory=1476 CPUtime=115.48 cores=0-7 /proc/10014/stat : 10014 (scop.sh) S 10011 10014 8552 0 -1 4202496 583 59821 0 0 0 0 11047 501 20 0 1 0 420181413 115843072 369 33554432000 4194304 5098028 140723075542624 140723075539368 140500601393788 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 18083840 140723075547941 140723075548268 140723075548268 140723075551181 0 /proc/10014/statm: 28282 369 311 221 0 87 0 [pid=10047] ppid=10014 vsize=8283048 memory=156288 CPUtime=66.63 cores=0-7 /proc/10047/stat : 10047 (java) S 10014 10014 8552 0 -1 1077944320 22425 2955315 0 0 153 9 5875 626 20 0 22 0 420190645 8481841152 39072 33554432000 4194304 4196468 140735211136464 140735211119008 140355473530615 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17555456 140735211140087 140735211140246 140735211140246 140735211143119 0 /proc/10047/statm: 2070762 39072 3224 1 0 2032106 0 [pid=10047/tid=10048] ppid=10014 vsize=8283048 memory=8318255677412212789 CPUtime=65.82 cores=0-7 /proc/10047/task/10048/stat : 10048 (java) R 10014 10014 8552 0 -1 1077944384 17592 2955315 0 0 76 5 5875 626 20 0 22 0 420190646 8481841152 39072 33554432000 4194304 4196468 140735211136464 140355445368096 140355473540821 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17555456 140735211140087 140735211140246 140735211140246 140735211143119 0 [pid=10047/tid=10049] ppid=10014 vsize=8283048 memory=288230609019732336 CPUtime=65.01 cores=0-7 /proc/10047/task/10049/stat : 10049 (java) S 10014 10014 8552 0 -1 1077944384 2 2955315 0 0 0 0 5875 626 20 0 22 0 420190647 8481841152 39072 33554432000 4194304 4196468 140735211136464 140355477772560 140355473540821 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17555456 140735211140087 140735211140246 140735211140246 140735211143119 0 [pid=10047/tid=10050] ppid=10014 vsize=8283048 memory=4049499632812136096 CPUtime=65.01 cores=0-7 /proc/10047/task/10050/stat : 10050 (java) S 10014 10014 8552 0 -1 1077944384 3 2955315 0 0 0 0 5875 626 20 0 22 0 420190647 8481841152 39072 33554432000 4194304 4196468 140735211136464 140355304589712 140355473540821 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17555456 140735211140087 140735211140246 140735211140246 140735211143119 0 [pid=10047/tid=10051] ppid=10014 vsize=8283048 memory=-1 CPUtime=65.01 cores=0-7 /proc/10047/task/10051/stat : 10051 (java) S 10014 10014 8552 0 -1 1077944384 2 2955315 0 0 0 0 5875 626 20 0 22 0 420190647 8481841152 39072 33554432000 4194304 4196468 140735211136464 140354957953552 140355473540821 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17555456 140735211140087 140735211140246 140735211140246 140735211143119 0 [pid=10047/tid=10052] ppid=10014 vsize=8283048 memory=0 CPUtime=65.01 cores=0-7 /proc/10047/task/10052/stat : 10052 (java) S 10014 10014 8552 0 -1 1077944384 1 2955315 0 0 0 0 5875 626 20 0 22 0 420190647 8481841152 39072 33554432000 4194304 4196468 140735211136464 140354956901008 140355473540821 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17555456 140735211140087 140735211140246 140735211140246 140735211143119 0 [pid=10047/tid=10053] ppid=10014 vsize=8283048 memory=0 CPUtime=65.01 cores=0-7 /proc/10047/task/10053/stat : 10053 (java) S 10014 10014 8552 0 -1 1077944384 2 2955315 0 0 0 0 5875 626 20 0 22 0 420190647 8481841152 39072 33554432000 4194304 4196468 140735211136464 140354955848464 140355473540821 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17555456 140735211140087 140735211140246 140735211140246 140735211143119 0 [pid=10047/tid=10054] ppid=10014 vsize=8283048 memory=-1 CPUtime=65.01 cores=0-7 /proc/10047/task/10054/stat : 10054 (java) S 10014 10014 8552 0 -1 1077944384 1 2955315 0 0 0 0 5875 626 20 0 22 0 420190647 8481841152 39072 33554432000 4194304 4196468 140735211136464 140354954795920 140355473540821 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17555456 140735211140087 140735211140246 140735211140246 140735211143119 0 [pid=10047/tid=10055] ppid=10014 vsize=8283048 memory=0 CPUtime=65.01 cores=0-7 /proc/10047/task/10055/stat : 10055 (java) S 10014 10014 8552 0 -1 1077944384 2 2955315 0 0 0 0 5875 626 20 0 22 0 420190647 8481841152 39072 33554432000 4194304 4196468 140735211136464 140354953743376 140355473540821 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17555456 140735211140087 140735211140246 140735211140246 140735211143119 0 [pid=10047/tid=10056] ppid=10014 vsize=8283048 memory=0 CPUtime=65.01 cores=0-7 /proc/10047/task/10056/stat : 10056 (java) S 10014 10014 8552 0 -1 1077944384 2 2955315 0 0 0 0 5875 626 20 0 22 0 420190647 8481841152 39072 33554432000 4194304 4196468 140735211136464 140354952690832 140355473540821 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17555456 140735211140087 140735211140246 140735211140246 140735211143119 0 [pid=10047/tid=10057] ppid=10014 vsize=8283048 memory=0 CPUtime=65.01 cores=0-7 /proc/10047/task/10057/stat : 10057 (java) S 10014 10014 8552 0 -1 1077944384 6 2955315 0 0 0 0 5875 626 20 0 22 0 420190649 8481841152 39072 33554432000 4194304 4196468 140735211136464 140354768394224 140355473541762 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17555456 140735211140087 140735211140246 140735211140246 140735211143119 0 [pid=10047/tid=10058] ppid=10014 vsize=8283048 memory=0 CPUtime=65.01 cores=0-7 /proc/10047/task/10058/stat : 10058 (java) S 10014 10014 8552 0 -1 1077944384 13 2955315 0 0 0 0 5875 626 20 0 22 0 420190649 8481841152 39072 33554432000 4194304 4196468 140735211136464 140353894081440 140355473540821 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17555456 140735211140087 140735211140246 140735211140246 140735211143119 0 [pid=10047/tid=10059] ppid=10014 vsize=8283048 memory=0 CPUtime=65.01 cores=0-7 /proc/10047/task/10059/stat : 10059 (java) S 10014 10014 8552 0 -1 1077944384 21 2955315 0 0 0 0 5875 626 20 0 22 0 420190649 8481841152 39072 33554432000 4194304 4196468 140735211136464 140353759859696 140355473540821 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17555456 140735211140087 140735211140246 140735211140246 140735211143119 0 [pid=10047/tid=10060] ppid=10014 vsize=8283048 memory=0 CPUtime=65.01 cores=0-7 /proc/10047/task/10060/stat : 10060 (java) S 10014 10014 8552 0 -1 1077944384 1 2955315 0 0 0 0 5875 626 20 0 22 0 420190652 8481841152 39072 33554432000 4194304 4196468 140735211136464 140353385355472 140355473549211 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17555456 140735211140087 140735211140246 140735211140246 140735211143119 0 [pid=10047/tid=10061] ppid=10014 vsize=8283048 memory=0 CPUtime=65.1 cores=0-7 /proc/10047/task/10061/stat : 10061 (java) S 10014 10014 8552 0 -1 1077944384 760 2955315 0 0 9 0 5875 626 20 0 22 0 420190652 8481841152 39072 33554432000 4194304 4196468 140735211136464 140354565171696 140355473541762 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17555456 140735211140087 140735211140246 140735211140246 140735211143119 0 [pid=10047/tid=10062] ppid=10014 vsize=8283048 memory=0 CPUtime=65.13 cores=0-7 /proc/10047/task/10062/stat : 10062 (java) S 10014 10014 8552 0 -1 1077944384 415 2955315 0 0 12 0 5875 626 20 0 22 0 420190652 8481841152 39072 33554432000 4194304 4196468 140735211136464 140354564119152 140355473541762 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17555456 140735211140087 140735211140246 140735211140246 140735211143119 0 [pid=10047/tid=10063] ppid=10014 vsize=8283048 memory=-1 CPUtime=65.13 cores=0-7 /proc/10047/task/10063/stat : 10063 (java) S 10014 10014 8552 0 -1 1077944384 513 2955315 0 0 12 0 5875 626 20 0 22 0 420190652 8481841152 39072 33554432000 4194304 4196468 140735211136464 140354563066608 140355473541762 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17555456 140735211140087 140735211140246 140735211140246 140735211143119 0 [pid=10047/tid=10064] ppid=10014 vsize=8283048 memory=0 CPUtime=65.29 cores=0-7 /proc/10047/task/10064/stat : 10064 (java) R 10014 10014 8552 0 -1 4202560 1140 2955315 0 0 28 0 5875 626 20 0 22 0 420190652 8481841152 39072 33554432000 4194304 4196468 140735211136464 140354562014064 140355453245412 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17555456 140735211140087 140735211140246 140735211140246 140735211143119 0 [pid=10047/tid=10065] ppid=10014 vsize=8283048 memory=0 CPUtime=65.01 cores=0-7 /proc/10047/task/10065/stat : 10065 (java) S 10014 10014 8552 0 -1 1077944384 3 2955315 0 0 0 0 5875 626 20 0 22 0 420190652 8481841152 39072 33554432000 4194304 4196468 140735211136464 140352887449824 140355473540821 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17555456 140735211140087 140735211140246 140735211140246 140735211143119 0 [pid=10047/tid=10066] ppid=10014 vsize=8283048 memory=-1 CPUtime=65.01 cores=0-7 /proc/10047/task/10066/stat : 10066 (java) S 10014 10014 8552 0 -1 1077944384 3 2955315 0 0 0 0 5875 626 20 0 22 0 420190653 8481841152 39072 33554432000 4194304 4196468 140735211136464 140354560960944 140355473541762 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 10 0 0 6293624 6294260 17555456 140735211140087 140735211140246 140735211140246 140735211143119 0 [pid=10047/tid=10069] ppid=10014 vsize=8283048 memory=-1 CPUtime=65.01 cores=0-7 /proc/10047/task/10069/stat : 10069 (java) S 10014 10014 8552 0 -1 1077944384 24 2955315 0 0 0 0 5875 626 20 0 22 0 420190720 8481841152 39072 33554432000 4194304 4196468 140735211136464 140354766782864 140355473541762 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17555456 140735211140087 140735211140246 140735211140246 140735211143119 0 [pid=10047/tid=10073] ppid=10014 vsize=8283048 memory=0 CPUtime=65.01 cores=0-7 /proc/10047/task/10073/stat : 10073 (java) S 10014 10014 8552 0 -1 1077944384 15 2955315 0 0 0 0 5875 626 20 0 22 0 420190722 8481841152 39072 33554432000 4194304 4196468 140735211136464 140351947924912 140355473541762 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17555456 140735211140087 140735211140246 140735211140246 140735211143119 0 Current children cumulated CPU time: 182.11 s Current children cumulated vsize: 8396176 KiB Current children cumulated memory: 157764 KiB [startup+115.114 s] /proc/loadavg: 2.93 6.16 7.40 2/219 10081 /proc/meminfo: memFree=31061376/32770624 swapFree=67009760/67108860 [pid=10014] ppid=10011 vsize=113128 memory=1476 CPUtime=115.48 cores=0-7 /proc/10014/stat : 10014 (scop.sh) S 10011 10014 8552 0 -1 4202496 583 59821 0 0 0 0 11047 501 20 0 1 0 420181413 115843072 369 33554432000 4194304 5098028 140723075542624 140723075539368 140500601393788 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 18083840 140723075547941 140723075548268 140723075548268 140723075551181 0 /proc/10014/statm: 28282 369 311 221 0 87 0 [pid=10047] ppid=10014 vsize=8283048 memory=161848 CPUtime=66.91 cores=0-7 /proc/10047/stat : 10047 (java) S 10014 10014 8552 0 -1 1077944320 22766 2955315 0 0 181 9 5875 626 20 0 22 0 420190645 8481841152 40462 33554432000 4194304 4196468 140735211136464 140735211119008 140355473530615 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17555456 140735211140087 140735211140246 140735211140246 140735211143119 0 /proc/10047/statm: 2070762 40462 3232 1 0 2032106 0 [pid=10047/tid=10048] ppid=10014 vsize=8284072 memory=0 CPUtime=65.92 cores=0-7 /proc/10047/task/10048/stat : 10048 (java) R 10014 10014 8552 0 -1 4202560 17745 2955315 0 0 86 5 5875 626 20 0 22 0 420190646 8482889728 40462 33554432000 4194304 4196468 140735211136464 140355445357344 140355466210333 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17555456 140735211140087 140735211140246 140735211140246 140735211143119 0 [pid=10047/tid=10049] ppid=10014 vsize=8284072 memory=1696 CPUtime=65.01 cores=0-7 /proc/10047/task/10049/stat : 10049 (java) S 10014 10014 8552 0 -1 1077944384 2 2955315 0 0 0 0 5875 626 20 0 22 0 420190647 8482889728 40527 33554432000 4194304 4196468 140735211136464 140355477772560 140355473540821 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17555456 140735211140087 140735211140246 140735211140246 140735211143119 0 [pid=10047/tid=10050] ppid=10014 vsize=8284072 memory=1188 CPUtime=65.01 cores=0-7 /proc/10047/task/10050/stat : 10050 (java) S 10014 10014 8552 0 -1 1077944384 3 2955315 0 0 0 0 5875 626 20 0 22 0 420190647 8482889728 40527 33554432000 4194304 4196468 140735211136464 140355304589712 140355473540821 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17555456 140735211140087 140735211140246 140735211140246 140735211143119 0 [pid=10047/tid=10051] ppid=10014 vsize=8284072 memory=1436 CPUtime=65.01 cores=0-7 /proc/10047/task/10051/stat : 10051 (java) S 10014 10014 8552 0 -1 1077944384 2 2955315 0 0 0 0 5875 626 20 0 22 0 420190647 8482889728 40527 33554432000 4194304 4196468 140735211136464 140354957953552 140355473540821 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17555456 140735211140087 140735211140246 140735211140246 140735211143119 0 [pid=10047/tid=10052] ppid=10014 vsize=8284072 memory=1980 CPUtime=65.01 cores=0-7 /proc/10047/task/10052/stat : 10052 (java) S 10014 10014 8552 0 -1 1077944384 1 2955315 0 0 0 0 5875 626 20 0 22 0 420190647 8482889728 40527 33554432000 4194304 4196468 140735211136464 140354956901008 140355473540821 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17555456 140735211140087 140735211140246 140735211140246 140735211143119 0 [pid=10047/tid=10053] ppid=10014 vsize=8284072 memory=1476 CPUtime=65.01 cores=0-7 /proc/10047/task/10053/stat : 10053 (java) S 10014 10014 8552 0 -1 1077944384 2 2955315 0 0 0 0 5875 626 20 0 22 0 420190647 8482889728 40527 33554432000 4194304 4196468 140735211136464 140354955848464 140355473540821 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17555456 140735211140087 140735211140246 140735211140246 140735211143119 0 [pid=10047/tid=10054] ppid=10014 vsize=8284072 memory=117640 CPUtime=65.01 cores=0-7 /proc/10047/task/10054/stat : 10054 (java) S 10014 10014 8552 0 -1 1077944384 1 2955315 0 0 0 0 5875 626 20 0 22 0 420190647 8482889728 40527 33554432000 4194304 4196468 140735211136464 140354954795920 140355473540821 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17555456 140735211140087 140735211140246 140735211140246 140735211143119 0 [pid=10047/tid=10055] ppid=10014 vsize=8284072 memory=0 CPUtime=65.01 cores=0-7 /proc/10047/task/10055/stat : 10055 (java) S 10014 10014 8552 0 -1 1077944384 2 2955315 0 0 0 0 5875 626 20 0 22 0 420190647 8482889728 40593 33554432000 4194304 4196468 140735211136464 140354953743376 140355473540821 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17555456 140735211140087 140735211140246 140735211140246 140735211143119 0 [pid=10047/tid=10056] ppid=10014 vsize=8284072 memory=279875238123360 CPUtime=65.01 cores=0-7 /proc/10047/task/10056/stat : 10056 (java) S 10014 10014 8552 0 -1 1077944384 2 2955315 0 0 0 0 5875 626 20 0 22 0 420190647 8482889728 40593 33554432000 4194304 4196468 140735211136464 140354952690832 140355473540821 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17555456 140735211140087 140735211140246 140735211140246 140735211143119 0 [pid=10047/tid=10057] ppid=10014 vsize=8284072 memory=1476 CPUtime=65.01 cores=0-7 /proc/10047/task/10057/stat : 10057 (java) S 10014 10014 8552 0 -1 1077944384 6 2955315 0 0 0 0 5875 626 20 0 22 0 420190649 8482889728 40593 33554432000 4194304 4196468 140735211136464 140354768394224 140355473541762 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17555456 140735211140087 140735211140246 140735211140246 140735211143119 0 [pid=10047/tid=10058] ppid=10014 vsize=8284072 memory=117640 CPUtime=65.01 cores=0-7 /proc/10047/task/10058/stat : 10058 (java) S 10014 10014 8552 0 -1 1077944384 13 2955315 0 0 0 0 5875 626 20 0 22 0 420190649 8482889728 40593 33554432000 4194304 4196468 140735211136464 140353894081440 140355473540821 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17555456 140735211140087 140735211140246 140735211140246 140735211143119 0 [pid=10047/tid=10059] ppid=10014 vsize=8284072 memory=6064228 CPUtime=65.01 cores=0-7 /proc/10047/task/10059/stat : 10059 (java) S 10014 10014 8552 0 -1 1077944384 21 2955315 0 0 0 0 5875 626 20 0 22 0 420190649 8482889728 40593 33554432000 4194304 4196468 140735211136464 140353759859696 140355473540821 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17555456 140735211140087 140735211140246 140735211140246 140735211143119 0 [pid=10047/tid=10060] ppid=10014 vsize=8284072 memory=1476 CPUtime=65.01 cores=0-7 /proc/10047/task/10060/stat : 10060 (java) S 10014 10014 8552 0 -1 1077944384 1 2955315 0 0 0 0 5875 626 20 0 22 0 420190652 8482889728 40659 33554432000 4194304 4196468 140735211136464 140353385355472 140355473549211 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17555456 140735211140087 140735211140246 140735211140246 140735211143119 0 [pid=10047/tid=10061] ppid=10014 vsize=8284072 memory=117640 CPUtime=65.16 cores=0-7 /proc/10047/task/10061/stat : 10061 (java) R 10014 10014 8552 0 -1 4202560 799 2955315 0 0 15 0 5875 626 20 0 22 0 420190652 8482889728 40659 33554432000 4194304 4196468 140735211136464 140354565171696 140355457433712 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17555456 140735211140087 140735211140246 140735211140246 140735211143119 0 [pid=10047/tid=10062] ppid=10014 vsize=8284072 memory=6028964 CPUtime=65.17 cores=0-7 /proc/10047/task/10062/stat : 10062 (java) S 10014 10014 8552 0 -1 1077944384 432 2955315 0 0 16 0 5875 626 20 0 22 0 420190652 8482889728 40659 33554432000 4194304 4196468 140735211136464 140354564119152 140355473541762 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17555456 140735211140087 140735211140246 140735211140246 140735211143119 0 [pid=10047/tid=10063] ppid=10014 vsize=8284072 memory=1476 CPUtime=65.16 cores=0-7 /proc/10047/task/10063/stat : 10063 (java) R 10014 10014 8552 0 -1 4202560 534 2955315 0 0 15 0 5875 626 20 0 22 0 420190652 8482889728 40659 33554432000 4194304 4196468 140735211136464 140354563066608 140355458657050 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17555456 140735211140087 140735211140246 140735211140246 140735211143119 0 [pid=10047/tid=10064] ppid=10014 vsize=8284072 memory=117640 CPUtime=65.34 cores=0-7 /proc/10047/task/10064/stat : 10064 (java) S 10014 10014 8552 0 -1 1077944384 1262 2955315 0 0 33 0 5875 626 20 0 22 0 420190652 8482889728 40659 33554432000 4194304 4196468 140735211136464 140354562014064 140355473541762 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17555456 140735211140087 140735211140246 140735211140246 140735211143119 0 [pid=10047/tid=10065] ppid=10014 vsize=8284072 memory=7686721470351185299 CPUtime=65.01 cores=0-7 /proc/10047/task/10065/stat : 10065 (java) S 10014 10014 8552 0 -1 1077944384 3 2955315 0 0 0 0 5875 626 20 0 22 0 420190652 8482889728 40659 33554432000 4194304 4196468 140735211136464 140352887449824 140355473540821 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17555456 140735211140087 140735211140246 140735211140246 140735211143119 0 [pid=10047/tid=10066] ppid=10014 vsize=8284072 memory=1060 CPUtime=65.01 cores=0-7 /proc/10047/task/10066/stat : 10066 (java) S 10014 10014 8552 0 -1 1077944384 3 2955315 0 0 0 0 5875 626 20 0 22 0 420190653 8482889728 40725 33554432000 4194304 4196468 140735211136464 140354560960944 140355473541762 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 10 0 0 6293624 6294260 17555456 140735211140087 140735211140246 140735211140246 140735211143119 0 [pid=10047/tid=10069] ppid=10014 vsize=8284072 memory=7988 CPUtime=65.01 cores=0-7 /proc/10047/task/10069/stat : 10069 (java) S 10014 10014 8552 0 -1 1077944384 24 2955315 0 0 0 0 5875 626 20 0 22 0 420190720 8482889728 40725 33554432000 4194304 4196468 140735211136464 140354766782864 140355473541762 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17555456 140735211140087 140735211140246 140735211140246 140735211143119 0 [pid=10047/tid=10073] ppid=10014 vsize=8284072 memory=1476 CPUtime=65.01 cores=0-7 /proc/10047/task/10073/stat : 10073 (java) S 10014 10014 8552 0 -1 1077944384 15 2955315 0 0 0 0 5875 626 20 0 22 0 420190722 8482889728 40725 33554432000 4194304 4196468 140735211136464 140351947924912 140355473541762 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17555456 140735211140087 140735211140246 140735211140246 140735211143119 0 Current children cumulated CPU time: 182.39 s Current children cumulated vsize: 8396176 KiB Current children cumulated memory: 163324 KiB Child status: 0 Real time (s): 115.201 CPU time (s): 182.533 CPU user time (s): 171.077 CPU system time (s): 11.4563 CPU usage (%): 158.448 Max. virtual memory (cumulated for all children) (KiB): 27441876 Max. memory (cumulated for all children) (KiB): 7949104 getrusage(RUSAGE_CHILDREN,...) data: user time used= 171.077 system time used= 11.4563 maximum resident set size= 7948692 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3039582 page faults= 0 swaps= 0 block input operations= 16 block output operations= 813448 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 143474 involuntary context switches= 459 # summary of solver processes directly reported to runsolver: # pid: 10014 # total CPU time (s): 182.533 # total CPU user time (s): 171.077 # total CPU system time (s): 11.4563 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.819333 second user time and 1.25076 second system time The end
Begin job on node132 at 2019-09-14 08:28:57 IDJOB=4392377 IDBENCH=138779 IDSOLVER=2838 FILE ID=node132/4392377-1568442587 RUNJOBID= node132-1568438679-8579 PBS_JOBID= 21702326 Free space on /tmp= 61624 MiB SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-06-15) BENCH NAME= XCSP17/Queens/Queens-m1-s1/Queens-0200-m1.xml COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -order DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4392377-1568442587/watcher-4392377-1568442587 -o /tmp/evaluation-result-4392377-1568442587/solver-4392377-1568442587 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node132-1568438679-8579 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392377-1568442587.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= aa794b13577ab4fe7ac8dae6d6ffdfc7 RANDOM SEED=4619359 node132.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.95 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.95 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.95 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.95 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 31622236 kB MemAvailable: 31913464 kB Buffers: 74028 kB Cached: 496228 kB SwapCached: 6276 kB Active: 405888 kB Inactive: 172788 kB Active(anon): 4784 kB Inactive(anon): 31656 kB Active(file): 401104 kB Inactive(file): 141132 kB Unevictable: 109404 kB Mlocked: 109404 kB SwapTotal: 67108860 kB SwapFree: 67009756 kB Dirty: 21752 kB Writeback: 0 kB AnonPages: 143316 kB Mapped: 32492 kB Shmem: 19604 kB Slab: 158876 kB SReclaimable: 129656 kB SUnreclaim: 29220 kB KernelStack: 3808 kB PageTables: 6072 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 475884 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 98304 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 136576 kB DirectMap2M: 33409024 kB Free space on /tmp at the end= 61604 MiB End job on node132 at 2019-09-14 08:30:53