Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
Fun-sCOP hybrid+ManyGlucose (2019-06-15) | UNSAT | 280.864 | 76.4744 |
Name | QRandom/QRandom-mdd-7-25-5-p7/ mdd-7-25-5-ps05-psh07-9.xml |
MD5SUM | 2d7f03e466d78847960dc3f747db29ef |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 42.4013 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 25 |
Number of constraints | 58 |
Number of domains | 1 |
Minimum domain size | 5 |
Maximum domain size | 5 |
Distribution of domain sizes | [{"size":5,"count":25}] |
Minimum variable degree | 12 |
Maximum variable degree | 25 |
Distribution of variable degrees | [{"degree":12,"count":1},{"degree":13,"count":3},{"degree":14,"count":6},{"degree":15,"count":2},{"degree":16,"count":3},{"degree":17,"count":4},{"degree":18,"count":1},{"degree":19,"count":1},{"degree":20,"count":2},{"degree":23,"count":1},{"degree":25,"count":1}] |
Minimum constraint arity | 7 |
Maximum constraint arity | 7 |
Distribution of constraint arities | [{"arity":7,"count":58}] |
Number of extensional constraints | 58 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":58}] |
Optimization problem | NO |
Type of objective |
0.00/0.00 c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -hybrid -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-10349-serial-file.bin HOME/instance-4392622-1568425171.xml 0.66/0.60 0.66/0.60 Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15) 0.66/0.60 0.77/0.63 c BEGIN-Prog: Thu Dec 15 09:59:55 CET 2011 0.77/0.63 c PID: 10352 0.77/0.63 c IP: 172.20.3.120 0.77/0.63 c HOST: node120.alineos.net 0.77/0.64 c (0,0) Parsing Begin 7.20/5.54 c (4,4) Parsing End 7.20/5.55 c (4,4) CSP: 25 int (0 aux), 0 bool (0 aux), 58 ctr, max domain size 5 7.20/5.55 c (4,4) Heap : 4170 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB) 7.20/5.55 c (4,4) Constraint Name Generate Begin 7.20/5.55 c (4,4) Ctr:HOME/instance-4392622-1568425171.xml,ExtensionSupport:Var 7.20/5.55 c (4,4) Constraint Name Generate End 7.20/5.55 c (4,4) Heap : 4170 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB) 7.20/5.55 c (4,4) CSP to CSPinCNF Begin 19.99/10.50 c (9,9) translated 6 (10%) constraints 25.07/14.39 c (13,13) translated 12 (20%) constraints 33.06/18.47 c (17,17) translated 18 (30%) constraints 37.95/22.35 c (21,21) translated 24 (40%) constraints 41.12/25.49 c (24,24) translated 29 (50%) constraints 45.07/29.31 c (28,28) translated 35 (60%) constraints 49.66/33.13 c (32,32) translated 41 (70%) constraints 54.83/36.91 c (36,35) translated 47 (80%) constraints 59.31/40.79 c (40,39) translated 53 (90%) constraints 62.32/43.73 c (43,42) translated 58 (100%) constraints 62.92/44.30 c (43,43) =========================================== 62.92/44.35 c (43,43) Hybrid: #OE=8487, #LE=0 62.92/44.35 c (43,43) Hybrid 62.92/44.35 c (43,43) =========================================== 63.77/44.64 c (44,43) translated 8073 (10%) constraints 64.08/44.85 c (44,43) translated 16145 (20%) constraints 64.31/45.06 c (44,43) translated 24218 (30%) constraints 64.55/45.27 c (44,44) translated 32290 (40%) constraints 64.75/45.47 c (44,44) translated 40362 (50%) constraints 64.95/45.68 c (45,44) translated 48435 (60%) constraints 65.15/45.88 c (45,44) translated 56507 (70%) constraints 65.36/46.09 c (45,44) translated 64580 (80%) constraints 65.55/46.29 c (45,45) translated 72652 (90%) constraints 65.91/46.50 c (45,45) translated 80724 (100%) constraints 65.91/46.50 c (45,45) CSP to CSPinCNF End 65.91/46.51 c (45,45) CSP: 25 int (0 aux), 8462 bool (8462 aux), 80724 ctr, max domain size 5 65.91/46.51 c (45,45) Heap : 3150 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB) 65.91/46.51 c (45,45) CSPinCNF Propagation Begin 67.22/47.12 c (46,45) 0 values, 154 unsatisfiable literals, and 138 valid clauses are removed 67.22/47.12 c (46,45) CSPinCNF Propagation End 67.22/47.12 c (46,45) CSP: 25 int (0 aux), 8462 bool (8462 aux), 80586 ctr, max domain size 5 67.22/47.12 c (46,45) Heap : 3595 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB) 67.22/47.17 c (46,46) Hybrid: #OE=8487, #LE=0 67.22/47.17 c (46,46) Simplify CSPinCNF Begin 67.66/47.40 c (46,46) Simplify CSPinCNF End 67.66/47.40 c (46,46) CSP: 25 int (0 aux), 8462 bool (8462 aux), 80586 ctr, max domain size 5 67.66/47.40 c (46,46) Heap : 3706 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB) 67.66/47.40 c (46,46) Calculate Precise Domain Begin 67.66/47.40 c (46,46) 0 values are removed by re-calculation 67.66/47.40 c (46,46) Calculate Precise Domain End 67.66/47.40 c (46,46) CSP: 25 int (0 aux), 8462 bool (8462 aux), 80586 ctr, max domain size 5 67.66/47.40 c (46,46) Heap : 3706 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB) 67.66/47.40 c (46,46) CSPinCNF to SatSolver Begin 68.73/47.76 c (47,46) 8059 (10 %) CSP clauses are encoded (0 SAT variables, 8133 SAT clauses) 69.13/47.86 c (47,46) 16118 (20 %) CSP clauses are encoded (0 SAT variables, 16192 SAT clauses) 69.26/47.95 c (47,46) 24176 (30 %) CSP clauses are encoded (0 SAT variables, 24250 SAT clauses) 69.37/48.04 c (47,46) 32235 (40 %) CSP clauses are encoded (0 SAT variables, 32309 SAT clauses) 69.49/48.13 c (47,46) 40293 (50 %) CSP clauses are encoded (0 SAT variables, 40367 SAT clauses) 69.58/48.22 c (47,47) 48352 (60 %) CSP clauses are encoded (0 SAT variables, 48426 SAT clauses) 69.68/48.32 c (47,47) 56411 (70 %) CSP clauses are encoded (0 SAT variables, 56485 SAT clauses) 69.79/48.41 c (47,47) 64469 (80 %) CSP clauses are encoded (0 SAT variables, 64543 SAT clauses) 69.79/48.49 c (47,47) 72528 (90 %) CSP clauses are encoded (0 SAT variables, 72602 SAT clauses) 69.89/48.58 c (47,47) 80586 (100 %) CSP clauses are encoded (0 SAT variables, 80660 SAT clauses) 69.89/48.58 c (47,47) CSPinCNF to SatSolver End 69.89/48.58 c (47,47) Heap : 4484 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB) 69.89/48.58 c (47,47) 8541 bool, 80661 clause 69.89/48.58 c (47,47) Export Begin 69.99/48.68 c (48,47) Export to HOME/scop-10349-serial-file.bin 69.99/48.68 c (48,47) Export End 69.99/48.68 c (48,47) Export File Size: 0.01 MB 69.99/48.68 c (48,47) 4,4,45,46,46,46,47,STOP-AFTER(DIMACS) 69.99/48.68 c END-Prog: Thu Dec 15 10:00:43 CET 2011 0.00/48.72 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-10349-serial-file.bin 70.81/49.24 c (0,0) Read Serial File Begin 70.81/49.24 c (0,0) HOME/scop-10349-serial-file.bin 71.09/49.49 c (0,0) Read Serial File End 71.22/49.50 71.22/49.50 Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15) 71.22/49.50 (Solving Process) 71.22/49.50 71.22/49.52 c BEGIN-Prog: Thu Dec 15 10:00:44 CET 2011 71.22/49.52 c PID: 10383 71.22/49.52 c IP: 172.20.3.120 71.22/49.52 c HOST: node120.alineos.net 71.22/49.53 c (0,0) SatSolver.solve Begin 71.22/49.53 c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392622-1568425171.xml-scop-10352.cnf 71.22/49.56 c (0,0) c 71.22/49.56 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) 71.22/49.56 c (0,0) c 71.22/49.56 c (0,0) c WARNING: for repeatability, setting FPU to use double precision 71.22/49.56 c (0,0) c 8 solvers engines and 1 companion as a blackboard created. 71.22/49.56 c (0,0) c ========================================[ Problem Statistics ]=========================================== 71.22/49.56 c (0,0) c | | 71.22/49.59 c (0,0) c | Number of variables: 8541 | 71.22/49.59 c (0,0) c | Number of clauses: 80661 | 71.22/49.59 c (0,0) c | Parse time: 0.04 s | 71.22/49.59 c (0,0) c | | 71.47/49.65 c (0,0) c | Simplification time: 0.05 s | 71.47/49.65 c (0,0) c | | 71.47/49.65 c (0,0) c | Generating clones | 71.47/49.67 c (0,0) c | all clones generated. Memory = 67.07Mb. | 71.47/49.67 c (0,0) c ========================================================================================================| 71.47/49.67 c (0,0) c 71.47/49.67 c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 71.47/49.67 c (0,0) c 71.47/49.67 c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 71.47/49.67 c (0,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 71.47/49.67 c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 71.47/49.67 c (0,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 71.47/49.67 c (0,0) c | adaptStrategeis | True | False | True | False | True | False | True | False | 71.47/49.67 c (0,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 71.47/49.67 c (0,0) c | Initial random_seed | 91648253 | 91648254 | 91648255 | 91648256 | 91648257 | 91648258 | 91648259 | 91648260 | 71.47/49.67 c (0,0) c | chanseokStrategy | False | False | False | False | False | False | False | False | 71.47/49.67 c (0,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 71.47/49.67 c (0,0) c | glureduce | True | True | True | True | True | True | True | True | 71.47/49.67 c (0,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 71.47/49.67 c (0,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 71.47/49.67 c (0,0) c | luby_restart | False | False | False | False | False | False | False | False | 71.47/49.67 c (0,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 71.47/49.67 c (0,0) c | var_decay | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 71.47/49.67 c (0,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 71.47/49.67 c (0,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 71.47/49.67 c (0,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 71.47/49.68 c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 280.70/76.44 c (27,0) c 280.70/76.44 c (27,0) c real time : 26.8804 s 280.70/76.44 c (27,0) c cpu time : 208.522 s 280.70/76.44 c (27,0) c 280.70/76.44 c (27,0) c 280.70/76.44 c (27,0) c 280.70/76.44 c (27,0) c |---------------------------------------- FINAL STATS --------------------------------------------------| 280.70/76.44 c (27,0) c 280.70/76.44 c (27,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 280.70/76.44 c (27,0) c | Threads | Total | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 280.70/76.44 c (27,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 280.70/76.44 c (27,0) c | Conflicts | 347219 | 43969 | 42450 | 43937 | 42437 | 43828 | 43051 | 43555 | 43992 | 280.70/76.44 c (27,0) c | Decisions | 429155 | 55297 | 51921 | 54221 | 52228 | 54160 | 53076 | 54229 | 54023 | 280.70/76.44 c (27,0) c | Propagations | 586519244 | 72535152 | 73135471 | 74708611 | 73860618 | 73383420 | 72710153 | 72718835 | 73466984 | 280.70/76.44 c (27,0) c | ReduceDBs | 40 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 280.70/76.44 c (27,0) c | SimpDBs | 32 | 3 | 7 | 3 | 4 | 3 | 3 | 2 | 7 | 280.70/76.44 c (27,0) c | Restarts | 264 | 54 | 35 | 36 | 15 | 33 | 28 | 36 | 27 | 280.70/76.44 c (27,0) c | ForcedImports | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 280.70/76.44 c (27,0) c | PropBinClauses| 248418748 | 29929156 | 30557109 | 31120183 | 31369986 | 32549077 | 31395147 | 31430582 | 30067508 | 280.70/76.44 c (27,0) c | PropPreBlocker| 5181907063 | 644108428 | 644238676 | 653193962 | 649486849 | 648788487 | 647515394 | 645041269 | 649533998 | 280.70/76.44 c (27,0) c | PropNotBlocker| 1984254882 | 246181645 | 246894483 | 242313459 | 253398902 | 247309013 | 254561302 | 245374690 | 248221388 | 280.70/76.44 c (27,0) c | LitFullScans | 9076397834 | 1128155695 | 1131488818 | 1134105929 | 1140128558 | 1134136953 | 1140128272 | 1128108034 | 1140145575 | 280.70/76.44 c (27,0) c | LitScanFracts | 926005 | 125424 | 128804 | 97358 | 119640 | 127161 | 117415 | 104902 | 105301 | 280.70/76.44 c (27,0) c | DecisionLevel0| 288 | 55 | 47 | 37 | 17 | 35 | 29 | 36 | 32 | 280.70/76.44 c (27,0) c | Periods | 1512 | 188 | 188 | 189 | 190 | 189 | 190 | 188 | 190 | 280.70/76.44 c (27,0) c | Margin | 160 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 280.70/76.44 c (27,0) c | Avg_Trail | | 4911 | 4992 | 4970 | 4917 | 4876 | 4818 | 4872 | 4937 | 280.70/76.44 c (27,0) c | Avg_DL | | 12 | 11 | 11 | 11 | 11 | 11 | 11 | 11 | 280.70/76.44 c (27,0) c | Avg_Res | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 280.70/76.44 c (27,0) c | Avg_Res_Seen | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 280.70/76.44 c (27,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 280.70/76.44 c (27,0) c | Exported | 58472 | 6941 | 7545 | 7258 | 7169 | 7254 | 7235 | 7439 | 7631 | 280.70/76.44 c (27,0) c | Imported | 360679 | 46885 | 47195 | 45003 | 44201 | 47049 | 43214 | 40252 | 46880 | 280.70/76.44 c (27,0) c | Good | 2461 | 322 | 331 | 294 | 296 | 319 | 284 | 279 | 336 | 280.70/76.44 c (27,0) c | Purge | 358218 | 46563 | 46864 | 44709 | 43905 | 46730 | 42930 | 39973 | 46544 | 280.70/76.44 c (27,0) c | Promoted | 42401 | 5473 | 5476 | 5074 | 5105 | 5365 | 5211 | 5273 | 5424 | 280.70/76.44 c (27,0) c | Remove_Imp | 137011 | 17997 | 18957 | 16788 | 22197 | 15618 | 19748 | 9328 | 16378 | 280.70/76.44 c (27,0) c | Blocked_Reuse | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 280.70/76.44 c (27,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 280.70/76.44 c (27,0) c | Unaries | | 1 | 12 | 1 | 2 | 2 | 1 | 0 | 5 | 280.70/76.44 c (27,0) c | Binaries | | 54 | 74 | 64 | 60 | 61 | 54 | 45 | 61 | 280.70/76.44 c (27,0) c | Glues | | 659 | 602 | 615 | 612 | 639 | 599 | 640 | 569 | 280.70/76.44 c (27,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 280.70/76.44 c (27,0) c | Orig_Seen | 39 % | 31089 | 29481 | 30304 | 30549 | 30661 | 30549 | 30464 | 30154 | 280.70/76.44 c (27,0) c | Diff Orig seen| | 1608 | X | 823 | 1068 | 1180 | 1068 | 983 | 673 | 280.70/76.44 c (27,0) c | Hamming | 47 % | 4226 | X | 3525 | 4103 | 4377 | 4235 | 4066 | 3629 | 280.70/76.44 c (27,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 280.70/76.44 c (27,0) c | RunningTime | | 26.7 100%| 26.1 100%| 26.2 100%| 26.2 100%| 26.1 100%| 26.1 100%| 26.4 100%| 26.2 100%| 280.70/76.44 c (27,0) c | WaitingTime | | 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 280.70/76.44 c (27,0) c | ExchangingTime| | 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 280.70/76.44 c (27,0) c | PeriodProcTime| | 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 280.70/76.44 c (27,0) c | SolvingTime | | 26.8 | 26.1 | 26.2 | 26.2 | 26.1 | 26.2 | 26.4 | 26.2 | 280.70/76.44 c (27,0) c | PropagationTim| | 25.4 95%| 24.7 95%| 24.9 95%| 24.9 95%| 24.8 95%| 24.9 95%| 25.1 95%| 24.8 95%| 280.70/76.44 c (27,0) c | AnalysisTime | | 0.6 2%| 0.6 2%| 0.6 2%| 0.6 2%| 0.6 2%| 0.6 2%| 0.6 2%| 0.6 2%| 280.70/76.44 c (27,0) c | ReductionTime | | 0.1 0%| 0.1 0%| 0.1 0%| 0.1 0%| 0.1 0%| 0.1 0%| 0.0 0%| 0.1 0%| 280.70/76.44 c (27,0) c | SimplifyTime | | 0.0 0%| 0.1 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 280.70/76.44 c (27,0) c | UsedRateTime | | 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 280.70/76.44 c (27,0) c | OverlapRateTim| | 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 280.70/76.44 c (27,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 280.70/76.44 c (27,0) c 280.70/76.44 c (27,0) c 280.70/76.44 c (27,0) c Threads : 8 280.70/76.44 c (27,0) c Winner : 1 280.70/76.44 c (27,0) c Conflicts_0 : 43969 280.70/76.44 c (27,0) c Conflicts_1 : 42450 280.70/76.44 c (27,0) c Conflicts_2 : 43937 280.70/76.44 c (27,0) c Conflicts_3 : 42437 280.70/76.44 c (27,0) c Conflicts_4 : 43828 280.70/76.44 c (27,0) c Conflicts_5 : 43051 280.70/76.44 c (27,0) c Conflicts_6 : 43555 280.70/76.44 c (27,0) c Conflicts_7 : 43992 280.70/76.44 c (27,0) c Conflicts_total : 347219 280.70/76.44 c (27,0) c Conflicts_winner : 42450 280.70/76.44 c (27,0) c Decisions_0 : 55297 280.70/76.44 c (27,0) c Decisions_1 : 51921 280.70/76.44 c (27,0) c Decisions_2 : 54221 280.70/76.44 c (27,0) c Decisions_3 : 52228 280.70/76.44 c (27,0) c Decisions_4 : 54160 280.70/76.44 c (27,0) c Decisions_5 : 53076 280.70/76.44 c (27,0) c Decisions_6 : 54229 280.70/76.44 c (27,0) c Decisions_7 : 54023 280.70/76.44 c (27,0) c Decisions_total : 429155 280.70/76.44 c (27,0) c Decisions_winner : 51921 280.70/76.44 c (27,0) c Propagations_0 : 72535152 280.70/76.44 c (27,0) c Propagations_1 : 73135471 280.70/76.44 c (27,0) c Propagations_2 : 74708611 280.70/76.44 c (27,0) c Propagations_3 : 73860618 280.70/76.44 c (27,0) c Propagations_4 : 73383420 280.70/76.44 c (27,0) c Propagations_5 : 72710153 280.70/76.44 c (27,0) c Propagations_6 : 72718835 280.70/76.44 c (27,0) c Propagations_7 : 73466984 280.70/76.44 c (27,0) c Propagations_total : 586519244 280.70/76.44 c (27,0) c Propagations_winner : 73135471 280.70/76.44 c (27,0) c ReduceDBs_0 : 5 280.70/76.44 c (27,0) c ReduceDBs_1 : 5 280.70/76.44 c (27,0) c ReduceDBs_2 : 5 280.70/76.44 c (27,0) c ReduceDBs_3 : 5 280.70/76.44 c (27,0) c ReduceDBs_4 : 5 280.70/76.44 c (27,0) c ReduceDBs_5 : 5 280.70/76.44 c (27,0) c ReduceDBs_6 : 5 280.70/76.44 c (27,0) c ReduceDBs_7 : 5 280.70/76.44 c (27,0) c ReduceDBs_total : 40 280.70/76.44 c (27,0) c ReduceDBs_winner : 5 280.70/76.44 c (27,0) c SimpDBs_0 : 3 280.70/76.44 c (27,0) c SimpDBs_1 : 7 280.70/76.44 c (27,0) c SimpDBs_2 : 3 280.70/76.44 c (27,0) c SimpDBs_3 : 4 280.70/76.44 c (27,0) c SimpDBs_4 : 3 280.70/76.44 c (27,0) c SimpDBs_5 : 3 280.70/76.44 c (27,0) c SimpDBs_6 : 2 280.70/76.44 c (27,0) c SimpDBs_7 : 7 280.70/76.44 c (27,0) c SimpDBs_total : 32 280.70/76.44 c (27,0) c SimpDBs_winner : 7 280.70/76.44 c (27,0) c Restarts_0 : 54 280.70/76.44 c (27,0) c Restarts_1 : 35 280.70/76.44 c (27,0) c Restarts_2 : 36 280.70/76.44 c (27,0) c Restarts_3 : 15 280.70/76.44 c (27,0) c Restarts_4 : 33 280.70/76.44 c (27,0) c Restarts_5 : 28 280.70/76.44 c (27,0) c Restarts_6 : 36 280.70/76.44 c (27,0) c Restarts_7 : 27 280.70/76.44 c (27,0) c Restarts_total : 264 280.70/76.44 c (27,0) c Restarts_winner : 35 280.70/76.44 c (27,0) c ForcedImports_0 : 0 280.70/76.44 c (27,0) c ForcedImports_1 : 0 280.70/76.44 c (27,0) c ForcedImports_2 : 0 280.70/76.44 c (27,0) c ForcedImports_3 : 0 280.70/76.44 c (27,0) c ForcedImports_4 : 0 280.70/76.44 c (27,0) c ForcedImports_5 : 0 280.70/76.44 c (27,0) c ForcedImports_6 : 0 280.70/76.44 c (27,0) c ForcedImports_7 : 0 280.70/76.44 c (27,0) c ForcedImports_total : 0 280.70/76.44 c (27,0) c ForcedImports_winner : 0 280.70/76.44 c (27,0) c PropsBinClauses_0 : 29929156 280.70/76.44 c (27,0) c PropsBinClauses_1 : 30557109 280.70/76.44 c (27,0) c PropsBinClauses_2 : 31120183 280.70/76.44 c (27,0) c PropsBinClauses_3 : 31369986 280.70/76.44 c (27,0) c PropsBinClauses_4 : 32549077 280.70/76.44 c (27,0) c PropsBinClauses_5 : 31395147 280.70/76.44 c (27,0) c PropsBinClauses_6 : 31430582 280.70/76.44 c (27,0) c PropsBinClauses_7 : 30067508 280.70/76.44 c (27,0) c PropsBinClauses_total : 248418748 280.70/76.44 c (27,0) c PropsBinClauses_winner : 30557109 280.70/76.44 c (27,0) c PropsPreBlocker_0 : 644108428 280.70/76.44 c (27,0) c PropsPreBlocker_1 : 644238676 280.70/76.44 c (27,0) c PropsPreBlocker_2 : 653193962 280.70/76.44 c (27,0) c PropsPreBlocker_3 : 649486849 280.70/76.44 c (27,0) c PropsPreBlocker_4 : 648788487 280.70/76.44 c (27,0) c PropsPreBlocker_5 : 647515394 280.70/76.44 c (27,0) c PropsPreBlocker_6 : 645041269 280.70/76.44 c (27,0) c PropsPreBlocker_7 : 649533998 280.70/76.44 c (27,0) c PropsPreBlocker_total : 5181907063 280.70/76.44 c (27,0) c PropsPreBlocker_winner : 644238676 280.70/76.44 c (27,0) c PropsNotBlocker_0 : 246181645 280.70/76.44 c (27,0) c PropsNotBlocker_1 : 246894483 280.70/76.44 c (27,0) c PropsNotBlocker_2 : 242313459 280.70/76.44 c (27,0) c PropsNotBlocker_3 : 253398902 280.70/76.44 c (27,0) c PropsNotBlocker_4 : 247309013 280.70/76.44 c (27,0) c PropsNotBlocker_5 : 254561302 280.70/76.44 c (27,0) c PropsNotBlocker_6 : 245374690 280.70/76.44 c (27,0) c PropsNotBlocker_7 : 248221388 280.70/76.44 c (27,0) c PropsNotBlocker_total : 1984254882 280.70/76.44 c (27,0) c PropsNotBlocker_winner : 246894483 280.70/76.44 c (27,0) c PropsLitFullScans_0 : 1128155695 280.70/76.44 c (27,0) c PropsLitFullScans_1 : 1131488818 280.70/76.44 c (27,0) c PropsLitFullScans_2 : 1134105929 280.70/76.44 c (27,0) c PropsLitFullScans_3 : 1140128558 280.70/76.44 c (27,0) c PropsLitFullScans_4 : 1134136953 280.70/76.44 c (27,0) c PropsLitFullScans_5 : 1140128272 280.70/76.44 c (27,0) c PropsLitFullScans_6 : 1128108034 280.70/76.44 c (27,0) c PropsLitFullScans_7 : 1140145575 280.70/76.44 c (27,0) c PropsLitFullScans_total : 9076397834 280.70/76.44 c (27,0) c PropsLitFullScans_winner : 1131488818 280.70/76.44 c (27,0) c LitScanFractions_0 : 125424 280.70/76.44 c (27,0) c LitScanFractions_1 : 128804 280.70/76.44 c (27,0) c LitScanFractions_2 : 97358 280.70/76.44 c (27,0) c LitScanFractions_3 : 119640 280.70/76.44 c (27,0) c LitScanFractions_4 : 127161 280.70/76.44 c (27,0) c LitScanFractions_5 : 117415 280.70/76.44 c (27,0) c LitScanFractions_6 : 104902 280.70/76.44 c (27,0) c LitScanFractions_7 : 105301 280.70/76.44 c (27,0) c LitScanFractions_total : 926005 280.70/76.44 c (27,0) c LitScanFractions_winner : 128804 280.70/76.44 c (27,0) c DecisionLevel0_0 : 55 280.70/76.44 c (27,0) c DecisionLevel0_1 : 47 280.70/76.44 c (27,0) c DecisionLevel0_2 : 37 280.70/76.44 c (27,0) c DecisionLevel0_3 : 17 280.70/76.44 c (27,0) c DecisionLevel0_4 : 35 280.70/76.44 c (27,0) c DecisionLevel0_5 : 29 280.70/76.44 c (27,0) c DecisionLevel0_6 : 36 280.70/76.44 c (27,0) c DecisionLevel0_7 : 32 280.70/76.44 c (27,0) c DecisionLevel0_total : 288 280.70/76.44 c (27,0) c DecisionLevel0_winner : 47 280.70/76.45 c (27,0) c Periods_0 : 188 280.70/76.45 c (27,0) c Periods_1 : 188 280.70/76.45 c (27,0) c Periods_2 : 189 280.70/76.45 c (27,0) c Periods_3 : 190 280.70/76.45 c (27,0) c Periods_4 : 189 280.70/76.45 c (27,0) c Periods_5 : 190 280.70/76.45 c (27,0) c Periods_6 : 188 280.70/76.45 c (27,0) c Periods_7 : 190 280.70/76.45 c (27,0) c Periods_total : 1512 280.70/76.45 c (27,0) c Periods_winner : 188 280.70/76.45 c (27,0) c Margin_0 : 20 280.70/76.45 c (27,0) c Margin_1 : 20 280.70/76.45 c (27,0) c Margin_2 : 20 280.70/76.45 c (27,0) c Margin_3 : 20 280.70/76.45 c (27,0) c Margin_4 : 20 280.70/76.45 c (27,0) c Margin_5 : 20 280.70/76.45 c (27,0) c Margin_6 : 20 280.70/76.45 c (27,0) c Margin_7 : 20 280.70/76.45 c (27,0) c Margin_total : 160 280.70/76.45 c (27,0) c Margin_winner : 20 280.70/76.45 c (27,0) c Exported_0 : 6941 280.70/76.45 c (27,0) c Exported_1 : 7545 280.70/76.45 c (27,0) c Exported_2 : 7258 280.70/76.45 c (27,0) c Exported_3 : 7169 280.70/76.45 c (27,0) c Exported_4 : 7254 280.70/76.45 c (27,0) c Exported_5 : 7235 280.70/76.45 c (27,0) c Exported_6 : 7439 280.70/76.45 c (27,0) c Exported_7 : 7631 280.70/76.45 c (27,0) c Exported_total : 58472 280.70/76.45 c (27,0) c Exported_winner : 7545 280.70/76.45 c (27,0) c Imported_0 : 46885 280.70/76.45 c (27,0) c Imported_1 : 47195 280.70/76.45 c (27,0) c Imported_2 : 45003 280.70/76.45 c (27,0) c Imported_3 : 44201 280.70/76.45 c (27,0) c Imported_4 : 47049 280.70/76.45 c (27,0) c Imported_5 : 43214 280.70/76.45 c (27,0) c Imported_6 : 40252 280.70/76.45 c (27,0) c Imported_7 : 46880 280.70/76.45 c (27,0) c Imported_total : 360679 280.70/76.45 c (27,0) c Imported_winner : 47195 280.70/76.45 c (27,0) c Good_0 : 322 280.70/76.45 c (27,0) c Good_1 : 331 280.70/76.45 c (27,0) c Good_2 : 294 280.70/76.45 c (27,0) c Good_3 : 296 280.70/76.45 c (27,0) c Good_4 : 319 280.70/76.45 c (27,0) c Good_5 : 284 280.70/76.45 c (27,0) c Good_6 : 279 280.70/76.45 c (27,0) c Good_7 : 336 280.70/76.45 c (27,0) c Good_total : 2461 280.70/76.45 c (27,0) c Good_winner : 331 280.70/76.45 c (27,0) c Purge_0 : 46563 280.70/76.45 c (27,0) c Purge_1 : 46864 280.70/76.45 c (27,0) c Purge_2 : 44709 280.70/76.45 c (27,0) c Purge_3 : 43905 280.70/76.45 c (27,0) c Purge_4 : 46730 280.70/76.45 c (27,0) c Purge_5 : 42930 280.70/76.45 c (27,0) c Purge_6 : 39973 280.70/76.45 c (27,0) c Purge_7 : 46544 280.70/76.45 c (27,0) c Purge_total : 358218 280.70/76.45 c (27,0) c Purge_winner : 46864 280.70/76.45 c (27,0) c Promoted_0 : 5473 280.70/76.45 c (27,0) c Promoted_1 : 5476 280.70/76.45 c (27,0) c Promoted_2 : 5074 280.70/76.45 c (27,0) c Promoted_3 : 5105 280.70/76.45 c (27,0) c Promoted_4 : 5365 280.70/76.45 c (27,0) c Promoted_5 : 5211 280.70/76.45 c (27,0) c Promoted_6 : 5273 280.70/76.45 c (27,0) c Promoted_7 : 5424 280.70/76.45 c (27,0) c Promoted_total : 42401 280.70/76.45 c (27,0) c Promoted_winner : 5476 280.70/76.45 c (27,0) c Remove_Imp_0 : 17997 280.70/76.45 c (27,0) c Remove_Imp_1 : 18957 280.70/76.45 c (27,0) c Remove_Imp_2 : 16788 280.70/76.45 c (27,0) c Remove_Imp_3 : 22197 280.70/76.45 c (27,0) c Remove_Imp_4 : 15618 280.70/76.45 c (27,0) c Remove_Imp_5 : 19748 280.70/76.45 c (27,0) c Remove_Imp_6 : 9328 280.70/76.45 c (27,0) c Remove_Imp_7 : 16378 280.70/76.45 c (27,0) c Remove_Imp_total : 137011 280.70/76.45 c (27,0) c Remove_Imp_winner : 18957 280.70/76.45 c (27,0) c Blocked_Reuse_0 : 0 280.70/76.45 c (27,0) c Blocked_Reuse_1 : 0 280.70/76.45 c (27,0) c Blocked_Reuse_2 : 0 280.70/76.45 c (27,0) c Blocked_Reuse_3 : 0 280.70/76.45 c (27,0) c Blocked_Reuse_4 : 0 280.70/76.45 c (27,0) c Blocked_Reuse_5 : 0 280.70/76.45 c (27,0) c Blocked_Reuse_6 : 0 280.70/76.45 c (27,0) c Blocked_Reuse_7 : 0 280.70/76.45 c (27,0) c Blocked_Reuse_total : 0 280.70/76.45 c (27,0) c Blocked_Reuse_winner : 0 280.70/76.45 c (27,0) c Unaries_0 : 1 280.70/76.45 c (27,0) c Unaries_1 : 12 280.70/76.45 c (27,0) c Unaries_2 : 1 280.70/76.45 c (27,0) c Unaries_3 : 2 280.70/76.45 c (27,0) c Unaries_4 : 2 280.70/76.45 c (27,0) c Unaries_5 : 1 280.70/76.45 c (27,0) c Unaries_6 : 0 280.70/76.45 c (27,0) c Unaries_7 : 5 280.70/76.45 c (27,0) c Unaries_total : 24 280.70/76.45 c (27,0) c Unaries_winner : 12 280.70/76.45 c (27,0) c Binaries_0 : 54 280.70/76.45 c (27,0) c Binaries_1 : 74 280.70/76.45 c (27,0) c Binaries_2 : 64 280.70/76.45 c (27,0) c Binaries_3 : 60 280.70/76.45 c (27,0) c Binaries_4 : 61 280.70/76.45 c (27,0) c Binaries_5 : 54 280.70/76.45 c (27,0) c Binaries_6 : 45 280.70/76.45 c (27,0) c Binaries_7 : 61 280.70/76.45 c (27,0) c Binaries_total : 473 280.70/76.45 c (27,0) c Binaries_winner : 74 280.70/76.45 c (27,0) c Glues_0 : 659 280.70/76.45 c (27,0) c Glues_1 : 602 280.70/76.45 c (27,0) c Glues_2 : 615 280.70/76.45 c (27,0) c Glues_3 : 612 280.70/76.45 c (27,0) c Glues_4 : 639 280.70/76.45 c (27,0) c Glues_5 : 599 280.70/76.45 c (27,0) c Glues_6 : 640 280.70/76.45 c (27,0) c Glues_7 : 569 280.70/76.45 c (27,0) c Glues_total : 4935 280.70/76.45 c (27,0) c Glues_winner : 602 280.70/76.45 c (27,0) c RunningTime_0 : 26.733875 280.70/76.45 c (27,0) c RunningTime_1 : 26.072114 280.70/76.45 c (27,0) c RunningTime_2 : 26.157740 280.70/76.45 c (27,0) c RunningTime_3 : 26.156289 280.70/76.45 c (27,0) c RunningTime_4 : 26.117016 280.70/76.45 c (27,0) c RunningTime_5 : 26.147653 280.70/76.45 c (27,0) c RunningTime_6 : 26.371002 280.70/76.45 c (27,0) c RunningTime_7 : 26.180182 280.70/76.45 c (27,0) c RunningTime_total : 209.935872 280.70/76.45 c (27,0) c RunningTime_winner : 26.072114 280.70/76.45 c (27,0) c WaitingTime_0 : 0.000216 280.70/76.45 c (27,0) c WaitingTime_1 : 0.000271 280.70/76.45 c (27,0) c WaitingTime_2 : 0.000273 280.70/76.45 c (27,0) c WaitingTime_3 : 0.000252 280.70/76.45 c (27,0) c WaitingTime_4 : 0.000246 280.70/76.45 c (27,0) c WaitingTime_5 : 0.000247 280.70/76.45 c (27,0) c WaitingTime_6 : 0.000281 280.70/76.45 c (27,0) c WaitingTime_7 : 0.000262 280.70/76.45 c (27,0) c WaitingTime_total : 0.002048 280.70/76.45 c (27,0) c WaitingTime_winner : 0.000271 280.70/76.45 c (27,0) c ExchangingTime_0 : 0.019440 280.70/76.45 c (27,0) c ExchangingTime_1 : 0.018409 280.70/76.45 c (27,0) c ExchangingTime_2 : 0.021805 280.70/76.45 c (27,0) c ExchangingTime_3 : 0.020544 280.70/76.45 c (27,0) c ExchangingTime_4 : 0.022960 280.70/76.45 c (27,0) c ExchangingTime_5 : 0.020071 280.70/76.45 c (27,0) c ExchangingTime_6 : 0.019854 280.70/76.45 c (27,0) c ExchangingTime_7 : 0.017768 280.70/76.45 c (27,0) c ExchangingTime_total : 0.160851 280.70/76.45 c (27,0) c ExchangingTime_winner : 0.018409 280.70/76.45 c (27,0) c PeriodProcTime_0 : 0.001870 280.70/76.45 c (27,0) c PeriodProcTime_1 : 0.001639 280.70/76.45 c (27,0) c PeriodProcTime_2 : 0.001659 280.70/76.45 c (27,0) c PeriodProcTime_3 : 0.001807 280.70/76.45 c (27,0) c PeriodProcTime_4 : 0.001577 280.70/76.45 c (27,0) c PeriodProcTime_5 : 0.001635 280.70/76.45 c (27,0) c PeriodProcTime_6 : 0.001592 280.70/76.45 c (27,0) c PeriodProcTime_7 : 0.001657 280.70/76.45 c (27,0) c PeriodProcTime_total : 0.013438 280.70/76.45 c (27,0) c PeriodProcTime_winner : 0.001639 280.70/76.45 c (27,0) c SolvingTime_0 : 26.755402 280.70/76.45 c (27,0) c SolvingTime_1 : 26.092433 280.70/76.45 c (27,0) c SolvingTime_2 : 26.181477 280.70/76.45 c (27,0) c SolvingTime_3 : 26.178892 280.70/76.45 c (27,0) c SolvingTime_4 : 26.141800 280.70/76.45 c (27,0) c SolvingTime_5 : 26.169606 280.70/76.45 c (27,0) c SolvingTime_6 : 26.392729 280.70/76.45 c (27,0) c SolvingTime_7 : 26.199870 280.70/76.45 c (27,0) c SolvingTime_total : 210.112209 280.70/76.45 c (27,0) c SolvingTime_winner : 26.092433 280.70/76.45 c (27,0) c PropagationTime_0 : 25.425598 280.70/76.45 c (27,0) c PropagationTime_1 : 24.730685 280.70/76.45 c (27,0) c PropagationTime_2 : 24.859116 280.70/76.45 c (27,0) c PropagationTime_3 : 24.885183 280.70/76.45 c (27,0) c PropagationTime_4 : 24.828680 280.70/76.45 c (27,0) c PropagationTime_5 : 24.874592 280.70/76.45 c (27,0) c PropagationTime_6 : 25.087142 280.70/76.45 c (27,0) c PropagationTime_7 : 24.838999 280.70/76.45 c (27,0) c PropagationTime_total : 199.529993 280.70/76.45 c (27,0) c PropagationTime_winner : 24.730685 280.70/76.45 c (27,0) c AnalysisTime_0 : 0.634652 280.70/76.45 c (27,0) c AnalysisTime_1 : 0.597008 280.70/76.45 c (27,0) c AnalysisTime_2 : 0.617703 280.70/76.45 c (27,0) c AnalysisTime_3 : 0.587090 280.70/76.45 c (27,0) c AnalysisTime_4 : 0.600343 280.70/76.45 c (27,0) c AnalysisTime_5 : 0.600502 280.70/76.45 c (27,0) c AnalysisTime_6 : 0.612266 280.70/76.45 c (27,0) c AnalysisTime_7 : 0.619807 280.70/76.45 c (27,0) c AnalysisTime_total : 4.869371 280.70/76.45 c (27,0) c AnalysisTime_winner : 0.597008 280.70/76.45 c (27,0) c ReductionTime_0 : 0.067633 280.70/76.45 c (27,0) c ReductionTime_1 : 0.071184 280.70/76.45 c (27,0) c ReductionTime_2 : 0.066066 280.70/76.45 c (27,0) c ReductionTime_3 : 0.064856 280.70/76.45 c (27,0) c ReductionTime_4 : 0.051464 280.70/76.45 c (27,0) c ReductionTime_5 : 0.066944 280.70/76.45 c (27,0) c ReductionTime_6 : 0.045266 280.70/76.45 c (27,0) c ReductionTime_7 : 0.068571 280.70/76.45 c (27,0) c ReductionTime_total : 0.501983 280.70/76.45 c (27,0) c ReductionTime_winner : 0.071184 280.70/76.45 c (27,0) c SimplifyTime_0 : 0.009008 280.70/76.45 c (27,0) c SimplifyTime_1 : 0.063159 280.70/76.45 c (27,0) c SimplifyTime_2 : 0.009817 280.70/76.45 c (27,0) c SimplifyTime_3 : 0.013376 280.70/76.45 c (27,0) c SimplifyTime_4 : 0.026127 280.70/76.45 c (27,0) c SimplifyTime_5 : 0.009681 280.70/76.45 c (27,0) c SimplifyTime_6 : 0.022109 280.70/76.45 c (27,0) c SimplifyTime_7 : 0.042996 280.70/76.45 c (27,0) c SimplifyTime_total : 0.196273 280.70/76.45 c (27,0) c SimplifyTime_winner : 0.063159 280.70/76.45 c (27,0) c UsedRateTime_0 : 0.000000 280.70/76.45 c (27,0) c UsedRateTime_1 : 0.000000 280.70/76.45 c (27,0) c UsedRateTime_2 : 0.000000 280.70/76.45 c (27,0) c UsedRateTime_3 : 0.000000 280.70/76.45 c (27,0) c UsedRateTime_4 : 0.000000 280.70/76.45 c (27,0) c UsedRateTime_5 : 0.000000 280.70/76.45 c (27,0) c UsedRateTime_6 : 0.000000 280.70/76.45 c (27,0) c UsedRateTime_7 : 0.000000 280.70/76.45 c (27,0) c UsedRateTime_total : 0.000000 280.70/76.45 c (27,0) c UsedRateTime_winner : 0.000000 280.70/76.45 c (27,0) c OverlapRateTime_0 : 0.000000 280.70/76.45 c (27,0) c OverlapRateTime_1 : 0.000000 280.70/76.45 c (27,0) c OverlapRateTime_2 : 0.000000 280.70/76.45 c (27,0) c OverlapRateTime_3 : 0.000000 280.70/76.45 c (27,0) c OverlapRateTime_4 : 0.000000 280.70/76.45 c (27,0) c OverlapRateTime_5 : 0.000000 280.70/76.45 c (27,0) c OverlapRateTime_6 : 0.000000 280.70/76.45 c (27,0) c OverlapRateTime_7 : 0.000000 280.70/76.45 c (27,0) c OverlapRateTime_total : 0.000000 280.70/76.45 c (27,0) c OverlapRateTime_winner : 0.000000 280.70/76.45 c (27,0) c 280.70/76.45 c (27,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 280.70/76.45 c (27,0) c 280.70/76.45 c (27,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 280.70/76.45 c (27,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 280.70/76.45 c (27,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 280.70/76.45 c (27,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 280.70/76.45 c (27,0) c | adaptStrategeis | True | False | True | False | True | False | True | False | 280.70/76.45 c (27,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 280.70/76.45 c (27,0) c | Initial random_seed | 418288695 | 1645334336 | 195225010 | 1188299717 | 584759922 | 2083249792 | 1320631848 | 1966403161 | 280.70/76.45 c (27,0) c | chanseokStrategy | False | False | False | False | False | False | False | False | 280.70/76.45 c (27,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 280.70/76.45 c (27,0) c | glureduce | True | True | True | True | True | True | True | True | 280.70/76.45 c (27,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 280.70/76.45 c (27,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 280.70/76.45 c (27,0) c | luby_restart | False | False | False | False | False | False | False | False | 280.70/76.45 c (27,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 280.70/76.45 c (27,0) c | var_decay | 0.8800 | 0.8800 | 0.8800 | 0.8800 | 0.8800 | 0.8800 | 0.8800 | 0.8800 | 280.70/76.45 c (27,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 280.70/76.45 c (27,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 280.70/76.45 c (27,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 280.70/76.45 c (27,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 280.70/76.45 c (27,0) 280.70/76.45 c (27,0) s UNSATISFIABLE 280.70/76.46 c (27,0) SatSolver.solve End 280.70/76.46 c (27,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB) 280.70/76.46 c (27,0) Show results Begin 280.70/76.46 s UNSATISFIABLE 280.70/76.46 c (27,0) Show results End 280.70/76.46 c (27,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB) 280.70/76.46 c (27,0) 27,27,STOP-AFTER(ALL) 280.70/76.46 c END-Prog: Thu Dec 15 10:01:11 CET 2011
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: 16375 MiB (13723 MiB free) memory of node 1: 16384 MiB (13848 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392622-1568425171/watcher-4392622-1568425171 -o /tmp/evaluation-result-4392622-1568425171/solver-4392622-1568425171 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node120-1323932029-9409 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392622-1568425171.xml running on 8 cores: 0-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=10349, runsolver pid=10346 Current StackSize limit: 8192 KiB [startup+0.10011 s]* /proc/loadavg: 2.79 2.71 3.00 2/211 10371 /proc/meminfo: memFree=28139928/32770688 swapFree=66919992/67108860 [pid=10349] ppid=10346 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/10349/stat : 10349 (scop.sh) S 10346 10349 9382 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 418523519 115843072 349 33554432000 4194304 5098028 140734200537536 140734200534792 139852869177980 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35438592 140734200546084 140734200546412 140734200546412 140734200549325 0 /proc/10349/statm: 28282 349 296 221 0 87 0 [pid=10352] ppid=10349 vsize=27314120 memory=105224 CPUtime=0.11 cores=0-7 /proc/10352/stat : 10352 (java) S 10349 10349 9382 0 -1 1077944320 6388 0 0 0 9 2 0 0 20 0 20 0 418523520 27969658880 26306 33554432000 4194304 4196468 140735364256592 140735364239136 140122018623223 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30855168 140735364264682 140735364265110 140735364265110 140735364267983 0 /proc/10352/statm: 6828530 26306 2754 1 0 6790935 0 [pid=10352/tid=10353] ppid=10349 vsize=27314120 memory=1398722017469774279 CPUtime=0.08 cores=0-7 /proc/10352/task/10353/stat : 10353 (java) R 10349 10349 9382 0 -1 4202560 4506 0 0 0 7 1 0 0 20 0 20 0 418523520 27969658880 26342 33554432000 4194304 4196468 140735364256592 140121990460040 140122010864613 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30855168 140735364264682 140735364265110 140735364265110 140735364267983 0 [pid=10352/tid=10354] ppid=10349 vsize=27314120 memory=4126316290023845779 CPUtime=0 cores=0-7 /proc/10352/task/10354/stat : 10354 (java) S 10349 10349 9382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418523523 27969658880 26342 33554432000 4194304 4196468 140735364256592 140122022866064 140122018633429 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30855168 140735364264682 140735364265110 140735364265110 140735364267983 0 [pid=10352/tid=10355] ppid=10349 vsize=27314120 memory=140678237542016 CPUtime=0 cores=0-7 /proc/10352/task/10355/stat : 10355 (java) S 10349 10349 9382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418523523 27969658880 26342 33554432000 4194304 4196468 140735364256592 140121837022224 140122018633429 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30855168 140735364264682 140735364265110 140735364265110 140735364267983 0 [pid=10352/tid=10356] ppid=10349 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10352/task/10356/stat : 10356 (java) S 10349 10349 9382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418523523 27969658880 26342 33554432000 4194304 4196468 140735364256592 140121835969424 140122018633429 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30855168 140735364264682 140735364265110 140735364265110 140735364267983 0 [pid=10352/tid=10357] ppid=10349 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10352/task/10357/stat : 10357 (java) S 10349 10349 9382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418523523 27969658880 26342 33554432000 4194304 4196468 140735364256592 140121834916624 140122018633429 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30855168 140735364264682 140735364265110 140735364265110 140735364267983 0 [pid=10352/tid=10358] ppid=10349 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10352/task/10358/stat : 10358 (java) S 10349 10349 9382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418523523 27969658880 26342 33554432000 4194304 4196468 140735364256592 140121833863824 140122018633429 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30855168 140735364264682 140735364265110 140735364265110 140735364267983 0 [pid=10352/tid=10359] ppid=10349 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/10352/task/10359/stat : 10359 (java) S 10349 10349 9382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418523523 27969658880 26342 33554432000 4194304 4196468 140735364256592 140121832811024 140122018633429 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30855168 140735364264682 140735364265110 140735364265110 140735364267983 0 [pid=10352/tid=10360] ppid=10349 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10352/task/10360/stat : 10360 (java) S 10349 10349 9382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418523523 27969658880 26342 33554432000 4194304 4196468 140735364256592 140121435961744 140122018633429 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30855168 140735364264682 140735364265110 140735364265110 140735364267983 0 [pid=10352/tid=10361] ppid=10349 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10352/task/10361/stat : 10361 (java) S 10349 10349 9382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418523523 27969658880 26342 33554432000 4194304 4196468 140735364256592 140121434908944 140122018633429 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30855168 140735364264682 140735364265110 140735364265110 140735364267983 0 [pid=10352/tid=10362] ppid=10349 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10352/task/10362/stat : 10362 (java) S 10349 10349 9382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418523524 27969658880 26342 33554432000 4194304 4196468 140735364256592 140120338393968 140122018634370 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30855168 140735364264682 140735364265110 140735364265110 140735364267983 0 [pid=10352/tid=10363] ppid=10349 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10352/task/10363/stat : 10363 (java) S 10349 10349 9382 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418523525 27969658880 26342 33554432000 4194304 4196468 140735364256592 140119818364448 140122018633429 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30855168 140735364264682 140735364265110 140735364265110 140735364267983 0 [pid=10352/tid=10364] ppid=10349 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10352/task/10364/stat : 10364 (java) S 10349 10349 9382 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418523525 27969658880 26342 33554432000 4194304 4196468 140735364256592 140119684142448 140122018633429 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30855168 140735364264682 140735364265110 140735364265110 140735364267983 0 [pid=10352/tid=10365] ppid=10349 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10352/task/10365/stat : 10365 (java) S 10349 10349 9382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418523528 27969658880 26342 33554432000 4194304 4196468 140735364256592 140119309637968 140122018641819 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30855168 140735364264682 140735364265110 140735364265110 140735364267983 0 [pid=10352/tid=10366] ppid=10349 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10352/task/10366/stat : 10366 (java) S 10349 10349 9382 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 20 0 418523528 27969658880 26342 33554432000 4194304 4196468 140735364256592 140120337340784 140122018634370 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30855168 140735364264682 140735364265110 140735364265110 140735364267983 0 [pid=10352/tid=10367] ppid=10349 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10352/task/10367/stat : 10367 (java) S 10349 10349 9382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418523528 27969658880 26342 33554432000 4194304 4196468 140735364256592 140120336287984 140122018634370 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30855168 140735364264682 140735364265110 140735364265110 140735364267983 0 [pid=10352/tid=10368] ppid=10349 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10352/task/10368/stat : 10368 (java) S 10349 10349 9382 0 -1 1077944384 277 0 0 0 0 0 0 0 20 0 20 0 418523528 27969658880 26342 33554432000 4194304 4196468 140735364256592 140120335235184 140122018634370 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30855168 140735364264682 140735364265110 140735364265110 140735364267983 0 [pid=10352/tid=10369] ppid=10349 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10352/task/10369/stat : 10369 (java) S 10349 10349 9382 0 -1 1077944384 235 0 0 0 0 0 0 0 20 0 20 0 418523528 27969658880 26342 33554432000 4194304 4196468 140735364256592 140120334182384 140122018634370 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30855168 140735364264682 140735364265110 140735364265110 140735364267983 0 [pid=10352/tid=10370] ppid=10349 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10352/task/10370/stat : 10370 (java) S 10349 10349 9382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418523528 27969658880 26342 33554432000 4194304 4196468 140735364256592 140118811733088 140122018633429 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30855168 140735364264682 140735364265110 140735364265110 140735364267983 0 [pid=10352/tid=10371] ppid=10349 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/10352/task/10371/stat : 10371 (java) S 10349 10349 9382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418523528 27969658880 26342 33554432000 4194304 4196468 140735364256592 140120333130800 140122018634370 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30855168 140735364264682 140735364265110 140735364265110 140735364267983 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 106620 KiB [startup+0.211297 s]* /proc/loadavg: 2.79 2.71 3.00 2/211 10371 /proc/meminfo: memFree=28121372/32770688 swapFree=66919992/67108860 [pid=10349] ppid=10346 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/10349/stat : 10349 (scop.sh) S 10346 10349 9382 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 418523519 115843072 349 33554432000 4194304 5098028 140734200537536 140734200534792 139852869177980 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35438592 140734200546084 140734200546412 140734200546412 140734200549325 0 /proc/10349/statm: 28282 349 296 221 0 87 0 [pid=10352] ppid=10349 vsize=27314120 memory=124704 CPUtime=0.23 cores=0-7 /proc/10352/stat : 10352 (java) S 10349 10349 9382 0 -1 1077944320 11888 0 0 0 20 3 0 0 20 0 20 0 418523520 27969658880 31176 33554432000 4194304 4196468 140735364256592 140735364239136 140122018623223 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30855168 140735364264682 140735364265110 140735364265110 140735364267983 0 /proc/10352/statm: 6828530 31176 2921 1 0 6790935 0 [pid=10352/tid=10353] ppid=10349 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/10352/task/10353/stat : 10353 (java) R 10349 10349 9382 0 -1 4202560 9661 0 0 0 16 3 0 0 20 0 20 0 418523520 27969658880 31176 33554432000 4194304 4196468 140735364256592 140121990446528 140122018645149 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30855168 140735364264682 140735364265110 140735364265110 140735364267983 0 [pid=10352/tid=10354] ppid=10349 vsize=27314120 memory=339 CPUtime=0 cores=0-7 /proc/10352/task/10354/stat : 10354 (java) S 10349 10349 9382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418523523 27969658880 31176 33554432000 4194304 4196468 140735364256592 140122022866064 140122018633429 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30855168 140735364264682 140735364265110 140735364265110 140735364267983 0 [pid=10352/tid=10355] ppid=10349 vsize=27314120 memory=140678237552469 CPUtime=0 cores=0-7 /proc/10352/task/10355/stat : 10355 (java) S 10349 10349 9382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418523523 27969658880 31176 33554432000 4194304 4196468 140735364256592 140121837022224 140122018633429 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30855168 140735364264682 140735364265110 140735364265110 140735364267983 0 [pid=10352/tid=10356] ppid=10349 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/10352/task/10356/stat : 10356 (java) S 10349 10349 9382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418523523 27969658880 31176 33554432000 4194304 4196468 140735364256592 140121835969424 140122018633429 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30855168 140735364264682 140735364265110 140735364265110 140735364267983 0 [pid=10352/tid=10357] ppid=10349 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10352/task/10357/stat : 10357 (java) S 10349 10349 9382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418523523 27969658880 31176 33554432000 4194304 4196468 140735364256592 140121834916624 140122018633429 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30855168 140735364264682 140735364265110 140735364265110 140735364267983 0 [pid=10352/tid=10358] ppid=10349 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10352/task/10358/stat : 10358 (java) S 10349 10349 9382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418523523 27969658880 31176 33554432000 4194304 4196468 140735364256592 140121833863824 140122018633429 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30855168 140735364264682 140735364265110 140735364265110 140735364267983 0 [pid=10352/tid=10359] ppid=10349 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/10352/task/10359/stat : 10359 (java) S 10349 10349 9382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418523523 27969658880 31176 33554432000 4194304 4196468 140735364256592 140121832811024 140122018633429 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30855168 140735364264682 140735364265110 140735364265110 140735364267983 0 [pid=10352/tid=10360] ppid=10349 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10352/task/10360/stat : 10360 (java) S 10349 10349 9382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418523523 27969658880 31176 33554432000 4194304 4196468 140735364256592 140121435961744 140122018633429 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30855168 140735364264682 140735364265110 140735364265110 140735364267983 0 [pid=10352/tid=10361] ppid=10349 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10352/task/10361/stat : 10361 (java) S 10349 10349 9382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418523523 27969658880 31176 33554432000 4194304 4196468 140735364256592 140121434908944 140122018633429 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30855168 140735364264682 140735364265110 140735364265110 140735364267983 0 [pid=10352/tid=10362] ppid=10349 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10352/task/10362/stat : 10362 (java) S 10349 10349 9382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418523524 27969658880 31176 33554432000 4194304 4196468 140735364256592 140120338393968 140122018634370 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30855168 140735364264682 140735364265110 140735364265110 140735364267983 0 [pid=10352/tid=10363] ppid=10349 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10352/task/10363/stat : 10363 (java) S 10349 10349 9382 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418523525 27969658880 31176 33554432000 4194304 4196468 140735364256592 140119818364448 140122018633429 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30855168 140735364264682 140735364265110 140735364265110 140735364267983 0 [pid=10352/tid=10364] ppid=10349 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10352/task/10364/stat : 10364 (java) S 10349 10349 9382 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418523525 27969658880 31176 33554432000 4194304 4196468 140735364256592 140119684142448 140122018633429 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30855168 140735364264682 140735364265110 140735364265110 140735364267983 0 [pid=10352/tid=10365] ppid=10349 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10352/task/10365/stat : 10365 (java) S 10349 10349 9382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418523528 27969658880 31176 33554432000 4194304 4196468 140735364256592 140119309637968 140122018641819 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30855168 140735364264682 140735364265110 140735364265110 140735364267983 0 [pid=10352/tid=10366] ppid=10349 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10352/task/10366/stat : 10366 (java) S 10349 10349 9382 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 20 0 418523528 27969658880 31176 33554432000 4194304 4196468 140735364256592 140120337340784 140122018634370 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30855168 140735364264682 140735364265110 140735364265110 140735364267983 0 [pid=10352/tid=10367] ppid=10349 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10352/task/10367/stat : 10367 (java) S 10349 10349 9382 0 -1 1077944384 133 0 0 0 0 0 0 0 20 0 20 0 418523528 27969658880 31176 33554432000 4194304 4196468 140735364256592 140120336287984 140122018634370 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30855168 140735364264682 140735364265110 140735364265110 140735364267983 0 [pid=10352/tid=10368] ppid=10349 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/10352/task/10368/stat : 10368 (java) S 10349 10349 9382 0 -1 1077944384 277 0 0 0 0 0 0 0 20 0 20 0 418523528 27969658880 31176 33554432000 4194304 4196468 140735364256592 140120335235184 140122018634370 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30855168 140735364264682 140735364265110 140735364265110 140735364267983 0 [pid=10352/tid=10369] ppid=10349 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7 /proc/10352/task/10369/stat : 10369 (java) R 10349 10349 9382 0 -1 4202560 432 0 0 0 2 0 0 0 20 0 20 0 418523528 27969658880 31176 33554432000 4194304 4196468 140735364256592 140120334182384 140121997328329 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30855168 140735364264682 140735364265110 140735364265110 140735364267983 0 [pid=10352/tid=10370] ppid=10349 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10352/task/10370/stat : 10370 (java) S 10349 10349 9382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418523528 27969658880 31176 33554432000 4194304 4196468 140735364256592 140118811733088 140122018633429 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30855168 140735364264682 140735364265110 140735364265110 140735364267983 0 [pid=10352/tid=10371] ppid=10349 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/10352/task/10371/stat : 10371 (java) S 10349 10349 9382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418523528 27969658880 31176 33554432000 4194304 4196468 140735364256592 140120333130800 140122018634370 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30855168 140735364264682 140735364265110 140735364265110 140735364267983 0 Current children cumulated CPU time: 0.23 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 126100 KiB [startup+0.310793 s]* /proc/loadavg: 2.79 2.71 3.00 2/211 10371 /proc/meminfo: memFree=28117052/32770688 swapFree=66919992/67108860 [pid=10349] ppid=10346 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/10349/stat : 10349 (scop.sh) S 10346 10349 9382 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 418523519 115843072 349 33554432000 4194304 5098028 140734200537536 140734200534792 139852869177980 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35438592 140734200546084 140734200546412 140734200546412 140734200549325 0 /proc/10349/statm: 28282 349 296 221 0 87 0 [pid=10352] ppid=10349 vsize=27314120 memory=127864 CPUtime=0.42 cores=0-7 /proc/10352/stat : 10352 (java) S 10349 10349 9382 0 -1 1077944320 12393 0 0 0 38 4 0 0 20 0 20 0 418523520 27969658880 31966 33554432000 4194304 4196468 140735364256592 140735364239136 140122018623223 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30855168 140735364264682 140735364265110 140735364265110 140735364267983 0 /proc/10352/statm: 6828530 31966 3006 1 0 6790935 0 [pid=10352/tid=10353] ppid=10349 vsize=27314120 memory=1398722017469774279 CPUtime=0.3 cores=0-7 /proc/10352/task/10353/stat : 10353 (java) R 10349 10349 9382 0 -1 4202560 9942 0 0 0 26 4 0 0 20 0 20 0 418523520 27969658880 31966 33554432000 4194304 4196468 140735364256592 140121990453072 140122002703710 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30855168 140735364264682 140735364265110 140735364265110 140735364267983 0 [pid=10352/tid=10354] ppid=10349 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10352/task/10354/stat : 10354 (java) S 10349 10349 9382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418523523 27969658880 31966 33554432000 4194304 4196468 140735364256592 140122022866064 140122018633429 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30855168 140735364264682 140735364265110 140735364265110 140735364267983 0 [pid=10352/tid=10355] ppid=10349 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10352/task/10355/stat : 10355 (java) S 10349 10349 9382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418523523 27969658880 31966 33554432000 4194304 4196468 140735364256592 140121837022224 140122018633429 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30855168 140735364264682 140735364265110 140735364265110 140735364267983 0 [pid=10352/tid=10356] ppid=10349 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10352/task/10356/stat : 10356 (java) S 10349 10349 9382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418523523 27969658880 31966 33554432000 4194304 4196468 140735364256592 140121835969424 140122018633429 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30855168 140735364264682 140735364265110 140735364265110 140735364267983 0 [pid=10352/tid=10357] ppid=10349 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10352/task/10357/stat : 10357 (java) S 10349 10349 9382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418523523 27969658880 31966 33554432000 4194304 4196468 140735364256592 140121834916624 140122018633429 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30855168 140735364264682 140735364265110 140735364265110 140735364267983 0 [pid=10352/tid=10358] ppid=10349 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10352/task/10358/stat : 10358 (java) S 10349 10349 9382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418523523 27969658880 31966 33554432000 4194304 4196468 140735364256592 140121833863824 140122018633429 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30855168 140735364264682 140735364265110 140735364265110 140735364267983 0 [pid=10352/tid=10359] ppid=10349 vsize=27314120 memory=140678097103535 CPUtime=0 cores=0-7 /proc/10352/task/10359/stat : 10359 (java) S 10349 10349 9382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418523523 27969658880 31966 33554432000 4194304 4196468 140735364256592 140121832811024 140122018633429 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30855168 140735364264682 140735364265110 140735364265110 140735364267983 0 [pid=10352/tid=10360] ppid=10349 vsize=27314120 memory=140678097105840 CPUtime=0 cores=0-7 /proc/10352/task/10360/stat : 10360 (java) S 10349 10349 9382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418523523 27969658880 31966 33554432000 4194304 4196468 140735364256592 140121435961744 140122018633429 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30855168 140735364264682 140735364265110 140735364265110 140735364267983 0 [pid=10352/tid=10361] ppid=10349 vsize=27314120 memory=140678097108144 CPUtime=0 cores=0-7 /proc/10352/task/10361/stat : 10361 (java) S 10349 10349 9382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418523523 27969658880 31966 33554432000 4194304 4196468 140735364256592 140121434908944 140122018633429 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30855168 140735364264682 140735364265110 140735364265110 140735364267983 0 [pid=10352/tid=10362] ppid=10349 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10352/task/10362/stat : 10362 (java) S 10349 10349 9382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418523524 27969658880 31966 33554432000 4194304 4196468 140735364256592 140120338393968 140122018634370 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30855168 140735364264682 140735364265110 140735364265110 140735364267983 0 [pid=10352/tid=10363] ppid=10349 vsize=27314120 memory=281356194230160 CPUtime=0 cores=0-7 /proc/10352/task/10363/stat : 10363 (java) S 10349 10349 9382 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418523525 27969658880 31966 33554432000 4194304 4196468 140735364256592 140119818364448 140122018633429 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30855168 140735364264682 140735364265110 140735364265110 140735364267983 0 [pid=10352/tid=10364] ppid=10349 vsize=27314120 memory=281356194227856 CPUtime=0 cores=0-7 /proc/10352/task/10364/stat : 10364 (java) S 10349 10349 9382 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418523525 27969658880 31966 33554432000 4194304 4196468 140735364256592 140119684142448 140122018633429 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30855168 140735364264682 140735364265110 140735364265110 140735364267983 0 [pid=10352/tid=10365] ppid=10349 vsize=27314120 memory=281356194234768 CPUtime=0 cores=0-7 /proc/10352/task/10365/stat : 10365 (java) S 10349 10349 9382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418523528 27969658880 31966 33554432000 4194304 4196468 140735364256592 140119309637968 140122018641819 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30855168 140735364264682 140735364265110 140735364265110 140735364267983 0 [pid=10352/tid=10366] ppid=10349 vsize=27314120 memory=281356194176048 CPUtime=0 cores=0-7 /proc/10352/task/10366/stat : 10366 (java) S 10349 10349 9382 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 20 0 418523528 27969658880 31966 33554432000 4194304 4196468 140735364256592 140120337340784 140122018634370 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30855168 140735364264682 140735364265110 140735364265110 140735364267983 0 [pid=10352/tid=10367] ppid=10349 vsize=27314120 memory=281356194248592 CPUtime=0.01 cores=0-7 /proc/10352/task/10367/stat : 10367 (java) S 10349 10349 9382 0 -1 1077944384 184 0 0 0 1 0 0 0 20 0 20 0 418523528 27969658880 31966 33554432000 4194304 4196468 140735364256592 140120336287984 140122018634370 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30855168 140735364264682 140735364265110 140735364265110 140735364267983 0 [pid=10352/tid=10368] ppid=10349 vsize=27314120 memory=281356194255504 CPUtime=0.01 cores=0-7 /proc/10352/task/10368/stat : 10368 (java) S 10349 10349 9382 0 -1 1077944384 374 0 0 0 1 0 0 0 20 0 20 0 418523528 27969658880 31966 33554432000 4194304 4196468 140735364256592 140120335235184 140122018634370 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30855168 140735364264682 140735364265110 140735364265110 140735364267983 0 [pid=10352/tid=10369] ppid=10349 vsize=27314120 memory=281356194253200 CPUtime=0.07 cores=0-7 /proc/10352/task/10369/stat : 10369 (java) S 10349 10349 9382 0 -1 1077944384 456 0 0 0 7 0 0 0 20 0 20 0 418523528 27969658880 31966 33554432000 4194304 4196468 140735364256592 140120334182384 140122018634370 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30855168 140735364264682 140735364265110 140735364265110 140735364267983 0 [pid=10352/tid=10370] ppid=10349 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10352/task/10370/stat : 10370 (java) S 10349 10349 9382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418523528 27969658880 31966 33554432000 4194304 4196468 140735364256592 140118811733088 140122018633429 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30855168 140735364264682 140735364265110 140735364265110 140735364267983 0 [pid=10352/tid=10371] ppid=10349 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/10352/task/10371/stat : 10371 (java) S 10349 10349 9382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418523528 27969658880 31966 33554432000 4194304 4196468 140735364256592 140120333130800 140122018634370 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30855168 140735364264682 140735364265110 140735364265110 140735364267983 0 Current children cumulated CPU time: 0.42 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 129260 KiB [startup+0.701062 s] /proc/loadavg: 2.79 2.71 3.00 2/211 10371 /proc/meminfo: memFree=28107296/32770688 swapFree=66919992/67108860 [pid=10349] ppid=10346 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/10349/stat : 10349 (scop.sh) S 10346 10349 9382 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 418523519 115843072 349 33554432000 4194304 5098028 140734200537536 140734200534792 139852869177980 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35438592 140734200546084 140734200546412 140734200546412 140734200549325 0 /proc/10349/statm: 28282 349 296 221 0 87 0 [pid=10352] ppid=10349 vsize=27320392 memory=157896 CPUtime=0.9 cores=0-7 /proc/10352/stat : 10352 (java) S 10349 10349 9382 0 -1 1077944320 19064 0 0 0 84 6 0 0 20 0 20 0 418523520 27976081408 39474 33554432000 4194304 4196468 140735364256592 140735364239136 140122018623223 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30855168 140735364264682 140735364265110 140735364265110 140735364267983 0 /proc/10352/statm: 6830098 39474 3155 1 0 6791447 0 [pid=10352/tid=10353] ppid=10349 vsize=27320392 memory=0 CPUtime=0.68 cores=0-7 /proc/10352/task/10353/stat : 10353 (java) R 10349 10349 9382 0 -1 4202560 16450 0 0 0 62 6 0 0 20 0 20 0 418523520 27976081408 39474 33554432000 4194304 4196468 140735364256592 140121990448968 140122018645149 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30855168 140735364264682 140735364265110 140735364265110 140735364267983 0 [pid=10352/tid=10354] ppid=10349 vsize=27320392 memory=140678097314672 CPUtime=0 cores=0-7 /proc/10352/task/10354/stat : 10354 (java) S 10349 10349 9382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418523523 27976081408 39474 33554432000 4194304 4196468 140735364256592 140122022866064 140122018633429 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30855168 140735364264682 140735364265110 140735364265110 140735364267983 0 [pid=10352/tid=10355] ppid=10349 vsize=27320392 memory=0 CPUtime=0 cores=0-7 /proc/10352/task/10355/stat : 10355 (java) S 10349 10349 9382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418523523 27976081408 39474 33554432000 4194304 4196468 140735364256592 140121837022224 140122018633429 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30855168 140735364264682 140735364265110 140735364265110 140735364267983 0 [pid=10352/tid=10356] ppid=10349 vsize=27320392 memory=1176 CPUtime=0 cores=0-7 /proc/10352/task/10356/stat : 10356 (java) S 10349 10349 9382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418523523 27976081408 39474 33554432000 4194304 4196468 140735364256592 140121835969424 140122018633429 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30855168 140735364264682 140735364265110 140735364265110 140735364267983 0 ################ # More data... # ################ [pid=10383/tid=10394] ppid=10349 vsize=8414124 memory=1712 CPUtime=0 cores=0-7 /proc/10383/task/10394/stat : 10394 (java) S 10349 10349 9382 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 418528396 8616062976 29896 33554432000 4194304 4196468 140725211495360 140229944009632 140231316346581 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34463744 140725211497463 140725211497622 140725211497622 140725211500495 0 [pid=10383/tid=10395] ppid=10349 vsize=8414124 memory=5980 CPUtime=0 cores=0-7 /proc/10383/task/10395/stat : 10395 (java) S 10349 10349 9382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418528396 8616062976 29896 33554432000 4194304 4196468 140725211495360 140229675574256 140231316346581 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34463744 140725211497463 140725211497622 140725211497622 140725211500495 0 [pid=10383/tid=10396] ppid=10349 vsize=8414124 memory=1476 CPUtime=0 cores=0-7 /proc/10383/task/10396/stat : 10396 (java) S 10349 10349 9382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418528399 8616062976 29896 33554432000 4194304 4196468 140725211495360 140229301065936 140231316354971 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34463744 140725211497463 140725211497622 140725211497622 140725211500495 0 [pid=10383/tid=10397] ppid=10349 vsize=8414124 memory=119584 CPUtime=0.08 cores=0-7 /proc/10383/task/10397/stat : 10397 (java) S 10349 10349 9382 0 -1 1077944384 641 0 0 0 8 0 0 0 20 0 24 0 418528399 8616062976 29896 33554432000 4194304 4196468 140725211495360 140230274292208 140231316347522 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34463744 140725211497463 140725211497622 140725211497622 140725211500495 0 [pid=10383/tid=10398] ppid=10349 vsize=8414124 memory=185608 CPUtime=0.05 cores=0-7 /proc/10383/task/10398/stat : 10398 (java) S 10349 10349 9382 0 -1 1077944384 163 0 0 0 5 0 0 0 20 0 24 0 418528399 8616062976 29896 33554432000 4194304 4196468 140725211495360 140230273239664 140231316347522 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34463744 140725211497463 140725211497622 140725211497622 140725211500495 0 [pid=10383/tid=10399] ppid=10349 vsize=8414124 memory=1556 CPUtime=0.05 cores=0-7 /proc/10383/task/10399/stat : 10399 (java) S 10349 10349 9382 0 -1 1077944384 397 0 0 0 5 0 0 0 20 0 24 0 418528399 8616062976 29896 33554432000 4194304 4196468 140725211495360 140230272187120 140231316347522 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34463744 140725211497463 140725211497622 140725211497622 140725211500495 0 [pid=10383/tid=10400] ppid=10349 vsize=8414124 memory=9588 CPUtime=0.21 cores=0-7 /proc/10383/task/10400/stat : 10400 (java) S 10349 10349 9382 0 -1 1077944384 750 0 0 0 21 0 0 0 20 0 24 0 418528399 8616062976 29896 33554432000 4194304 4196468 140725211495360 140230271134576 140231316347522 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34463744 140725211497463 140725211497622 140725211497622 140725211500495 0 [pid=10383/tid=10401] ppid=10349 vsize=8414124 memory=1712 CPUtime=0 cores=0-7 /proc/10383/task/10401/stat : 10401 (java) S 10349 10349 9382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418528399 8616062976 29896 33554432000 4194304 4196468 140725211495360 140228803160288 140231316346581 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34463744 140725211497463 140725211497622 140725211497622 140725211500495 0 [pid=10383/tid=10402] ppid=10349 vsize=8414124 memory=5980 CPUtime=0.01 cores=0-7 /proc/10383/task/10402/stat : 10402 (java) S 10349 10349 9382 0 -1 1077944384 2 0 0 0 0 1 0 0 20 0 24 0 418528400 8616062976 29896 33554432000 4194304 4196468 140725211495360 140230270081456 140231316347522 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34463744 140725211497463 140725211497622 140725211497622 140725211500495 0 [pid=10383/tid=10404] ppid=10349 vsize=8414124 memory=4164 CPUtime=0 cores=0-7 /proc/10383/task/10404/stat : 10404 (java) S 10349 10349 9382 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 418528475 8616062976 29896 33554432000 4194304 4196468 140725211495360 140230262047936 140231316360985 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 34463744 140725211497463 140725211497622 140725211497622 140725211500495 0 [pid=10383/tid=10406] ppid=10349 vsize=8414124 memory=1056 CPUtime=0 cores=0-7 /proc/10383/task/10406/stat : 10406 (java) S 10349 10349 9382 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 418528476 8616062976 29896 33554432000 4194304 4196468 140725211495360 140228132060944 140231316358301 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 34463744 140725211497463 140725211497622 140725211497622 140725211500495 0 [pid=10383/tid=10407] ppid=10349 vsize=8414124 memory=2828 CPUtime=0 cores=0-7 /proc/10383/task/10407/stat : 10407 (java) S 10349 10349 9382 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 418528476 8616062976 29896 33554432000 4194304 4196468 140725211495360 140228400496528 140231316358301 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 34463744 140725211497463 140725211497622 140725211497622 140725211500495 0 [pid=10383/tid=10408] ppid=10349 vsize=8414124 memory=1176 CPUtime=0 cores=0-7 /proc/10383/task/10408/stat : 10408 (java) S 10349 10349 9382 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 418528478 8616062976 29896 33554432000 4194304 4196468 140725211495360 140227863633584 140231316346581 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34463744 140725211497463 140725211497622 140725211497622 140725211500495 0 Current children cumulated CPU time: 274.79 s Current children cumulated vsize: 9190612 KiB Current children cumulated memory: 308980 KiB [startup+76.0014 s]* /proc/loadavg: 4.02 2.93 3.05 3/219 10439 /proc/meminfo: memFree=27938168/32770688 swapFree=66919992/67108860 [pid=10349] ppid=10346 vsize=113128 memory=1476 CPUtime=70.2 cores=0-7 /proc/10349/stat : 10349 (scop.sh) S 10346 10349 9382 0 -1 4202496 582 61622 0 0 0 0 6774 246 20 0 1 0 418523519 115843072 369 33554432000 4194304 5098028 140734200537536 140734200534280 139852869177980 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 35438592 140734200546084 140734200546412 140734200546412 140734200549325 0 /proc/10349/statm: 28282 369 311 221 0 87 0 [pid=10383] ppid=10349 vsize=8414124 memory=119584 CPUtime=1.31 cores=0-7 /proc/10383/stat : 10383 (java) S 10349 10349 9382 0 -1 1077944320 21377 0 0 0 124 7 0 0 20 0 24 0 418528392 8616062976 29896 33554432000 4194304 4196468 140725211495360 140725211477904 140231316336375 0 0 2 25189581 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 34463744 140725211497463 140725211497622 140725211497622 140725211500495 0 /proc/10383/statm: 2103531 29896 3209 1 0 2064875 0 [pid=10403] ppid=10383 vsize=663360 memory=186504 CPUtime=208.73 cores=0-7 /proc/10403/stat : 10403 (manyglucose-4.1) S 10383 10349 9382 0 -1 1077944320 134342 0 0 0 20802 71 0 0 20 0 3 0 418528475 679280640 46626 33554432000 4194304 4454172 140724176879584 140724176877968 140412827963127 0 4 0 8388610 18446744073709551615 0 0 17 3 0 0 0 0 0 6552832 6554400 38338560 140724176888681 140724176888880 140724176888880 140724176891834 0 /proc/10403/statm: 165840 46626 416 64 0 161508 0 [pid=10403/tid=10409] ppid=10383 vsize=663360 memory=2111028705448276 CPUtime=25.62 cores=0-7 /proc/10403/task/10409/stat : 10409 (manyglucose-4.1) R 10383 10349 9382 0 -1 4202560 15752 0 0 0 2554 8 0 0 20 0 3 0 418528487 679280640 46626 33554432000 4194304 4454172 140724176879584 140412804779112 4350902 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6552832 6554400 38338560 140724176888681 140724176888880 140724176888880 140724176891834 0 [pid=10403/tid=10415] ppid=10383 vsize=663360 memory=0 CPUtime=26.27 cores=0-7 /proc/10403/task/10415/stat : 10415 (manyglucose-4.1) R 10383 10349 9382 0 -1 4202560 16605 0 0 0 2619 8 0 0 20 0 3 0 418528487 679280640 46626 33554432000 4194304 4454172 140724176879584 140412620205160 4349976 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6552832 6554400 38338560 140724176888681 140724176888880 140724176888880 140724176891834 0 [pid=10383/tid=10384] ppid=10349 vsize=8414124 memory=1398722017469774279 CPUtime=0.85 cores=0-7 /proc/10383/task/10384/stat : 10384 (java) S 10349 10349 9382 0 -1 1077944384 18026 0 0 0 80 5 0 0 20 0 24 0 418528393 8616062976 29896 33554432000 4194304 4196468 140725211495360 140231288176544 140231316346581 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34463744 140725211497463 140725211497622 140725211497622 140725211500495 0 [pid=10383/tid=10385] ppid=10349 vsize=8414124 memory=4126316290023845779 CPUtime=0 cores=0-7 /proc/10383/task/10385/stat : 10385 (java) S 10349 10349 9382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418528394 8616062976 29896 33554432000 4194304 4196468 140725211495360 140231320578320 140231316346581 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34463744 140725211497463 140725211497622 140725211497622 140725211500495 0 [pid=10383/tid=10386] ppid=10349 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/10383/task/10386/stat : 10386 (java) S 10349 10349 9382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418528394 8616062976 29896 33554432000 4194304 4196468 140725211495360 140231153957264 140231316346581 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34463744 140725211497463 140725211497622 140725211497622 140725211500495 0 [pid=10383/tid=10387] ppid=10349 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/10383/task/10387/stat : 10387 (java) S 10349 10349 9382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418528394 8616062976 29896 33554432000 4194304 4196468 140725211495360 140230799993360 140231316346581 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34463744 140725211497463 140725211497622 140725211497622 140725211500495 0 [pid=10383/tid=10388] ppid=10349 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/10383/task/10388/stat : 10388 (java) S 10349 10349 9382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418528394 8616062976 29896 33554432000 4194304 4196468 140725211495360 140230798940816 140231316346581 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34463744 140725211497463 140725211497622 140725211497622 140725211500495 0 [pid=10383/tid=10389] ppid=10349 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/10383/task/10389/stat : 10389 (java) S 10349 10349 9382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418528394 8616062976 29896 33554432000 4194304 4196468 140725211495360 140230797888272 140231316346581 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34463744 140725211497463 140725211497622 140725211497622 140725211500495 0 [pid=10383/tid=10390] ppid=10349 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/10383/task/10390/stat : 10390 (java) S 10349 10349 9382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418528394 8616062976 29896 33554432000 4194304 4196468 140725211495360 140230796835728 140231316346581 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34463744 140725211497463 140725211497622 140725211497622 140725211500495 0 [pid=10383/tid=10391] ppid=10349 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/10383/task/10391/stat : 10391 (java) S 10349 10349 9382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418528394 8616062976 29896 33554432000 4194304 4196468 140725211495360 140230795783184 140231316346581 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34463744 140725211497463 140725211497622 140725211497622 140725211500495 0 [pid=10383/tid=10392] ppid=10349 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/10383/task/10392/stat : 10392 (java) S 10349 10349 9382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418528394 8616062976 29896 33554432000 4194304 4196468 140725211495360 140230794730640 140231316346581 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34463744 140725211497463 140725211497622 140725211497622 140725211500495 0 [pid=10383/tid=10393] ppid=10349 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/10383/task/10393/stat : 10393 (java) S 10349 10349 9382 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 24 0 418528396 8616062976 29896 33554432000 4194304 4196468 140725211495360 140230275344368 140231316347522 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34463744 140725211497463 140725211497622 140725211497622 140725211500495 0 [pid=10383/tid=10394] ppid=10349 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/10383/task/10394/stat : 10394 (java) S 10349 10349 9382 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 418528396 8616062976 29896 33554432000 4194304 4196468 140725211495360 140229944009632 140231316346581 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34463744 140725211497463 140725211497622 140725211497622 140725211500495 0 [pid=10383/tid=10395] ppid=10349 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/10383/task/10395/stat : 10395 (java) S 10349 10349 9382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418528396 8616062976 29896 33554432000 4194304 4196468 140725211495360 140229675574256 140231316346581 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34463744 140725211497463 140725211497622 140725211497622 140725211500495 0 [pid=10383/tid=10396] ppid=10349 vsize=8414124 memory=288230591722422566 CPUtime=0 cores=0-7 /proc/10383/task/10396/stat : 10396 (java) S 10349 10349 9382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418528399 8616062976 29896 33554432000 4194304 4196468 140725211495360 140229301065936 140231316354971 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34463744 140725211497463 140725211497622 140725211497622 140725211500495 0 [pid=10383/tid=10397] ppid=10349 vsize=8414124 memory=303993190418219302 CPUtime=0.08 cores=0-7 /proc/10383/task/10397/stat : 10397 (java) S 10349 10349 9382 0 -1 1077944384 641 0 0 0 8 0 0 0 20 0 24 0 418528399 8616062976 29896 33554432000 4194304 4196468 140725211495360 140230274292208 140231316347522 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34463744 140725211497463 140725211497622 140725211497622 140725211500495 0 [pid=10383/tid=10398] ppid=10349 vsize=8414124 memory=15815595119609398 CPUtime=0.05 cores=0-7 /proc/10383/task/10398/stat : 10398 (java) S 10349 10349 9382 0 -1 1077944384 163 0 0 0 5 0 0 0 20 0 24 0 418528399 8616062976 29896 33554432000 4194304 4196468 140725211495360 140230273239664 140231316347522 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34463744 140725211497463 140725211497622 140725211497622 140725211500495 0 [pid=10383/tid=10399] ppid=10349 vsize=8414124 memory=0 CPUtime=0.05 cores=0-7 /proc/10383/task/10399/stat : 10399 (java) S 10349 10349 9382 0 -1 1077944384 397 0 0 0 5 0 0 0 20 0 24 0 418528399 8616062976 29896 33554432000 4194304 4196468 140725211495360 140230272187120 140231316347522 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34463744 140725211497463 140725211497622 140725211497622 140725211500495 0 [pid=10383/tid=10400] ppid=10349 vsize=8414124 memory=140678237568161 CPUtime=0.21 cores=0-7 /proc/10383/task/10400/stat : 10400 (java) S 10349 10349 9382 0 -1 1077944384 750 0 0 0 21 0 0 0 20 0 24 0 418528399 8616062976 29896 33554432000 4194304 4196468 140725211495360 140230271134576 140231316347522 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34463744 140725211497463 140725211497622 140725211497622 140725211500495 0 [pid=10383/tid=10401] ppid=10349 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/10383/task/10401/stat : 10401 (java) S 10349 10349 9382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418528399 8616062976 29896 33554432000 4194304 4196468 140725211495360 140228803160288 140231316346581 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34463744 140725211497463 140725211497622 140725211497622 140725211500495 0 [pid=10383/tid=10402] ppid=10349 vsize=8414124 memory=0 CPUtime=0.01 cores=0-7 /proc/10383/task/10402/stat : 10402 (java) S 10349 10349 9382 0 -1 1077944384 2 0 0 0 0 1 0 0 20 0 24 0 418528400 8616062976 29896 33554432000 4194304 4196468 140725211495360 140230270081456 140231316347522 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34463744 140725211497463 140725211497622 140725211497622 140725211500495 0 [pid=10383/tid=10404] ppid=10349 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/10383/task/10404/stat : 10404 (java) S 10349 10349 9382 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 418528475 8616062976 29896 33554432000 4194304 4196468 140725211495360 140230262047936 140231316360985 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 34463744 140725211497463 140725211497622 140725211497622 140725211500495 0 [pid=10383/tid=10406] ppid=10349 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/10383/task/10406/stat : 10406 (java) S 10349 10349 9382 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 418528476 8616062976 29896 33554432000 4194304 4196468 140725211495360 140228132060944 140231316358301 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 34463744 140725211497463 140725211497622 140725211497622 140725211500495 0 [pid=10383/tid=10407] ppid=10349 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/10383/task/10407/stat : 10407 (java) S 10349 10349 9382 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 418528476 8616062976 29896 33554432000 4194304 4196468 140725211495360 140228400496528 140231316358301 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 34463744 140725211497463 140725211497622 140725211497622 140725211500495 0 [pid=10383/tid=10408] ppid=10349 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/10383/task/10408/stat : 10408 (java) S 10349 10349 9382 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 418528478 8616062976 29896 33554432000 4194304 4196468 140725211495360 140227863633584 140231316346581 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34463744 140725211497463 140725211497622 140725211497622 140725211500495 0 Current children cumulated CPU time: 280.24 s Current children cumulated vsize: 9190612 KiB Current children cumulated memory: 307564 KiB [startup+76.4011 s] /proc/loadavg: 4.02 2.93 3.05 3/219 10439 /proc/meminfo: memFree=27938168/32770688 swapFree=66919992/67108860 [pid=10349] ppid=10346 vsize=113128 memory=1476 CPUtime=70.2 cores=0-7 /proc/10349/stat : 10349 (scop.sh) S 10346 10349 9382 0 -1 4202496 582 61622 0 0 0 0 6774 246 20 0 1 0 418523519 115843072 369 33554432000 4194304 5098028 140734200537536 140734200534280 139852869177980 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 35438592 140734200546084 140734200546412 140734200546412 140734200549325 0 /proc/10349/statm: 28282 369 311 221 0 87 0 [pid=10383] ppid=10349 vsize=8414124 memory=119584 CPUtime=1.31 cores=0-7 /proc/10383/stat : 10383 (java) S 10349 10349 9382 0 -1 1077944320 21377 0 0 0 124 7 0 0 20 0 24 0 418528392 8616062976 29896 33554432000 4194304 4196468 140725211495360 140725211477904 140231316336375 0 0 2 25189581 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 34463744 140725211497463 140725211497622 140725211497622 140725211500495 0 /proc/10383/statm: 2103531 29896 3209 1 0 2064875 0 [pid=10403] ppid=10383 vsize=663360 memory=186504 CPUtime=209.19 cores=0-7 /proc/10403/stat : 10403 (manyglucose-4.1) S 10383 10349 9382 0 -1 1077944320 134343 0 0 0 20848 71 0 0 20 0 2 0 418528475 679280640 46626 33554432000 4194304 4454172 140724176879584 140724176877968 140412827963127 0 4 0 8388610 18446744073709551615 0 0 17 3 0 0 0 0 0 6552832 6554400 38338560 140724176888681 140724176888880 140724176888880 140724176891834 0 /proc/10403/statm: 165840 46626 416 64 0 161508 0 [pid=10403/tid=10409] ppid=10383 vsize=663360 memory=1056 CPUtime=26.01 cores=0-7 /proc/10403/task/10409/stat : 10409 (manyglucose-4.1) R 10383 10349 9382 0 -1 4202560 15753 0 0 0 2593 8 0 0 20 0 2 0 418528487 679280640 46626 33554432000 4194304 4454172 140724176879584 140412804779112 4350328 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6552832 6554400 38338560 140724176888681 140724176888880 140724176888880 140724176891834 0 [pid=10383/tid=10384] ppid=10349 vsize=8414124 memory=980 CPUtime=0.85 cores=0-7 /proc/10383/task/10384/stat : 10384 (java) S 10349 10349 9382 0 -1 1077944384 18026 0 0 0 80 5 0 0 20 0 24 0 418528393 8616062976 29896 33554432000 4194304 4196468 140725211495360 140231288176544 140231316346581 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34463744 140725211497463 140725211497622 140725211497622 140725211500495 0 [pid=10383/tid=10385] ppid=10349 vsize=8414124 memory=14008 CPUtime=0 cores=0-7 /proc/10383/task/10385/stat : 10385 (java) S 10349 10349 9382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418528394 8616062976 29896 33554432000 4194304 4196468 140725211495360 140231320578320 140231316346581 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34463744 140725211497463 140725211497622 140725211497622 140725211500495 0 [pid=10383/tid=10386] ppid=10349 vsize=8414124 memory=12028 CPUtime=0 cores=0-7 /proc/10383/task/10386/stat : 10386 (java) S 10349 10349 9382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418528394 8616062976 29896 33554432000 4194304 4196468 140725211495360 140231153957264 140231316346581 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34463744 140725211497463 140725211497622 140725211497622 140725211500495 0 [pid=10383/tid=10387] ppid=10349 vsize=8414124 memory=7686721470284339347 CPUtime=0 cores=0-7 /proc/10383/task/10387/stat : 10387 (java) S 10349 10349 9382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418528394 8616062976 29896 33554432000 4194304 4196468 140725211495360 140230799993360 140231316346581 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34463744 140725211497463 140725211497622 140725211497622 140725211500495 0 [pid=10383/tid=10388] ppid=10349 vsize=8414124 memory=119584 CPUtime=0 cores=0-7 /proc/10383/task/10388/stat : 10388 (java) S 10349 10349 9382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418528394 8616062976 29896 33554432000 4194304 4196468 140725211495360 140230798940816 140231316346581 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34463744 140725211497463 140725211497622 140725211497622 140725211500495 0 [pid=10383/tid=10389] ppid=10349 vsize=8414124 memory=105240 CPUtime=0 cores=0-7 /proc/10383/task/10389/stat : 10389 (java) S 10349 10349 9382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418528394 8616062976 29896 33554432000 4194304 4196468 140725211495360 140230797888272 140231316346581 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34463744 140725211497463 140725211497622 140725211497622 140725211500495 0 [pid=10383/tid=10390] ppid=10349 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/10383/task/10390/stat : 10390 (java) S 10349 10349 9382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418528394 8616062976 29896 33554432000 4194304 4196468 140725211495360 140230796835728 140231316346581 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34463744 140725211497463 140725211497622 140725211497622 140725211500495 0 [pid=10383/tid=10391] ppid=10349 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/10383/task/10391/stat : 10391 (java) S 10349 10349 9382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418528394 8616062976 29896 33554432000 4194304 4196468 140725211495360 140230795783184 140231316346581 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34463744 140725211497463 140725211497622 140725211497622 140725211500495 0 [pid=10383/tid=10392] ppid=10349 vsize=8414124 memory=1476 CPUtime=0 cores=0-7 /proc/10383/task/10392/stat : 10392 (java) S 10349 10349 9382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418528394 8616062976 29896 33554432000 4194304 4196468 140725211495360 140230794730640 140231316346581 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34463744 140725211497463 140725211497622 140725211497622 140725211500495 0 [pid=10383/tid=10393] ppid=10349 vsize=8414124 memory=7686721470284339347 CPUtime=0 cores=0-7 /proc/10383/task/10393/stat : 10393 (java) S 10349 10349 9382 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 24 0 418528396 8616062976 29896 33554432000 4194304 4196468 140725211495360 140230275344368 140231316347522 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34463744 140725211497463 140725211497622 140725211497622 140725211500495 0 [pid=10383/tid=10394] ppid=10349 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/10383/task/10394/stat : 10394 (java) S 10349 10349 9382 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 418528396 8616062976 29896 33554432000 4194304 4196468 140725211495360 140229944009632 140231316346581 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34463744 140725211497463 140725211497622 140725211497622 140725211500495 0 [pid=10383/tid=10395] ppid=10349 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/10383/task/10395/stat : 10395 (java) S 10349 10349 9382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418528396 8616062976 29896 33554432000 4194304 4196468 140725211495360 140229675574256 140231316346581 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34463744 140725211497463 140725211497622 140725211497622 140725211500495 0 [pid=10383/tid=10396] ppid=10349 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/10383/task/10396/stat : 10396 (java) S 10349 10349 9382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418528399 8616062976 29896 33554432000 4194304 4196468 140725211495360 140229301065936 140231316354971 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34463744 140725211497463 140725211497622 140725211497622 140725211500495 0 [pid=10383/tid=10397] ppid=10349 vsize=8414124 memory=0 CPUtime=0.08 cores=0-7 /proc/10383/task/10397/stat : 10397 (java) S 10349 10349 9382 0 -1 1077944384 641 0 0 0 8 0 0 0 20 0 24 0 418528399 8616062976 29896 33554432000 4194304 4196468 140725211495360 140230274292208 140231316347522 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34463744 140725211497463 140725211497622 140725211497622 140725211500495 0 [pid=10383/tid=10398] ppid=10349 vsize=8414124 memory=0 CPUtime=0.05 cores=0-7 /proc/10383/task/10398/stat : 10398 (java) S 10349 10349 9382 0 -1 1077944384 163 0 0 0 5 0 0 0 20 0 24 0 418528399 8616062976 29896 33554432000 4194304 4196468 140725211495360 140230273239664 140231316347522 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34463744 140725211497463 140725211497622 140725211497622 140725211500495 0 [pid=10383/tid=10399] ppid=10349 vsize=8414124 memory=0 CPUtime=0.05 cores=0-7 /proc/10383/task/10399/stat : 10399 (java) S 10349 10349 9382 0 -1 1077944384 397 0 0 0 5 0 0 0 20 0 24 0 418528399 8616062976 29896 33554432000 4194304 4196468 140725211495360 140230272187120 140231316347522 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34463744 140725211497463 140725211497622 140725211497622 140725211500495 0 [pid=10383/tid=10400] ppid=10349 vsize=8414124 memory=0 CPUtime=0.21 cores=0-7 /proc/10383/task/10400/stat : 10400 (java) S 10349 10349 9382 0 -1 1077944384 750 0 0 0 21 0 0 0 20 0 24 0 418528399 8616062976 29896 33554432000 4194304 4196468 140725211495360 140230271134576 140231316347522 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34463744 140725211497463 140725211497622 140725211497622 140725211500495 0 [pid=10383/tid=10401] ppid=10349 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/10383/task/10401/stat : 10401 (java) S 10349 10349 9382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418528399 8616062976 29896 33554432000 4194304 4196468 140725211495360 140228803160288 140231316346581 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34463744 140725211497463 140725211497622 140725211497622 140725211500495 0 [pid=10383/tid=10402] ppid=10349 vsize=8414124 memory=0 CPUtime=0.01 cores=0-7 /proc/10383/task/10402/stat : 10402 (java) S 10349 10349 9382 0 -1 1077944384 2 0 0 0 0 1 0 0 20 0 24 0 418528400 8616062976 29896 33554432000 4194304 4196468 140725211495360 140230270081456 140231316347522 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34463744 140725211497463 140725211497622 140725211497622 140725211500495 0 [pid=10383/tid=10404] ppid=10349 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/10383/task/10404/stat : 10404 (java) S 10349 10349 9382 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 418528475 8616062976 29896 33554432000 4194304 4196468 140725211495360 140230262047936 140231316360985 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 34463744 140725211497463 140725211497622 140725211497622 140725211500495 0 [pid=10383/tid=10406] ppid=10349 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/10383/task/10406/stat : 10406 (java) S 10349 10349 9382 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 418528476 8616062976 29896 33554432000 4194304 4196468 140725211495360 140228132060944 140231316358301 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 34463744 140725211497463 140725211497622 140725211497622 140725211500495 0 [pid=10383/tid=10407] ppid=10349 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/10383/task/10407/stat : 10407 (java) S 10349 10349 9382 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 418528476 8616062976 29896 33554432000 4194304 4196468 140725211495360 140228400496528 140231316358301 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 34463744 140725211497463 140725211497622 140725211497622 140725211500495 0 [pid=10383/tid=10408] ppid=10349 vsize=8414124 memory=1176 CPUtime=0 cores=0-7 /proc/10383/task/10408/stat : 10408 (java) S 10349 10349 9382 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 418528478 8616062976 29896 33554432000 4194304 4196468 140725211495360 140227863633584 140231316346581 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34463744 140725211497463 140725211497622 140725211497622 140725211500495 0 Current children cumulated CPU time: 280.7 s Current children cumulated vsize: 9190612 KiB Current children cumulated memory: 307564 KiB Child status: 0 Real time (s): 76.4744 CPU time (s): 280.864 CPU user time (s): 277.58 CPU system time (s): 3.2834 CPU usage (%): 367.265 Max. virtual memory (cumulated for all children) (KiB): 27441856 Max. memory (cumulated for all children) (KiB): 6459480 getrusage(RUSAGE_CHILDREN,...) data: user time used= 277.58 system time used= 3.2834 maximum resident set size= 6459408 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 218252 page faults= 0 swaps= 0 block input operations= 0 block output operations= 3720 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 50778 involuntary context switches= 2827 # summary of solver processes directly reported to runsolver: # pid: 10349 # total CPU time (s): 280.864 # total CPU user time (s): 277.58 # total CPU system time (s): 3.2834 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.579439 second user time and 1.05541 second system time The end
Begin job on node120 at 2011-12-15 09:59:54 IDJOB=4392622 IDBENCH=125590 IDSOLVER=2839 FILE ID=node120/4392622-1568425171 RUNJOBID= node120-1323932029-9409 PBS_JOBID= 21702277 Free space on /tmp= 61616 MiB SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-06-15) BENCH NAME= XCSP17/QRandom/QRandom-mdd-7-25-5-p7/mdd-7-25-5-ps05-psh07-9.xml COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -hybrid DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4392622-1568425171/watcher-4392622-1568425171 -o /tmp/evaluation-result-4392622-1568425171/solver-4392622-1568425171 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node120-1323932029-9409 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392622-1568425171.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 2d7f03e466d78847960dc3f747db29ef RANDOM SEED=1009982951 node120.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 : 2667.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.49 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 : 2667.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.49 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 : 2667.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.49 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 : 2667.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.49 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 : 2667.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 : 5329.69 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 : 2667.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 : 5329.69 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 : 2667.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 : 5329.69 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 : 2667.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 : 5329.69 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770688 kB MemFree: 28234516 kB MemAvailable: 31827052 kB Buffers: 194772 kB Cached: 3702200 kB SwapCached: 77548 kB Active: 1134452 kB Inactive: 2844680 kB Active(anon): 3288 kB Inactive(anon): 128580 kB Active(file): 1131164 kB Inactive(file): 2716100 kB Unevictable: 106532 kB Mlocked: 106532 kB SwapTotal: 67108860 kB SwapFree: 66919992 kB Dirty: 53560 kB Writeback: 0 kB AnonPages: 112692 kB Mapped: 48636 kB Shmem: 41008 kB Slab: 151384 kB SReclaimable: 122216 kB SUnreclaim: 29168 kB KernelStack: 3440 kB PageTables: 5220 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494204 kB Committed_AS: 514860 kB VmallocTotal: 34359738367 kB VmallocUsed: 350212 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 67584 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 146880 kB DirectMap2M: 33398784 kB Free space on /tmp at the end= 61596 MiB End job on node120 at 2011-12-15 10:01:11