Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
Fun-sCOP hybrid+ManyGlucose (2019-09-22) | UNSAT | 168.791 | 64.4873 |
Name | Random/Random-D-t090/ rand-2-40-180-84-090-90.xml |
MD5SUM | b787e2fb655876ad1ad352aa15cc79d3 |
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 | 0.914535 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 40 |
Number of constraints | 84 |
Number of domains | 1 |
Minimum domain size | 180 |
Maximum domain size | 180 |
Distribution of domain sizes | [{"size":180,"count":40}] |
Minimum variable degree | 1 |
Maximum variable degree | 8 |
Distribution of variable degrees | [{"degree":1,"count":2},{"degree":2,"count":8},{"degree":3,"count":6},{"degree":4,"count":5},{"degree":5,"count":8},{"degree":6,"count":6},{"degree":7,"count":4},{"degree":8,"count":1}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 2 |
Distribution of constraint arities | [{"arity":2,"count":84}] |
Number of extensional constraints | 84 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":84}] |
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-28502-serial-file.bin HOME/instance-4405464-1569239458.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: Mon Sep 23 13:50:17 CEST 2019 0.77/0.63 c PID: 28505 0.77/0.63 c IP: 172.20.3.116 0.77/0.63 c HOST: node116.alineos.net 0.77/0.64 c (0,0) Parsing Begin 3.27/1.52 c (0,0) Parsing End 3.27/1.53 c (0,0) CSP: 40 int (0 aux), 0 bool (0 aux), 84 ctr, max domain size 180 3.27/1.53 c (0,0) Heap : 563 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB) 3.27/1.53 c (0,0) Constraint Name Generate Begin 3.27/1.54 c (0,0) Ctr:HOME/instance-4405464-1569239458.xml,ExtensionSupport:Var 3.27/1.54 c (0,0) Constraint Name Generate End 3.27/1.54 c (0,0) Heap : 563 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB) 3.27/1.54 c (0,0) CSP to CSPinCNF Begin 15.98/5.41 c (4,4) translated 9 (10%) constraints 20.32/8.34 c (7,7) translated 17 (20%) constraints 24.44/11.63 c (11,11) translated 26 (30%) constraints 27.54/14.47 c (13,13) translated 34 (40%) constraints 32.03/17.58 c (16,16) translated 42 (50%) constraints 35.43/20.67 c (20,19) translated 51 (60%) constraints 38.17/23.38 c (22,22) translated 59 (70%) constraints 41.35/26.45 c (25,25) translated 68 (80%) constraints 44.07/29.17 c (28,28) translated 76 (90%) constraints 46.82/31.89 c (31,31) translated 84 (100%) constraints 47.23/32.23 c (31,31) =========================================== 47.46/32.41 c (31,31) Hybrid: #OE=15160, #LE=0 47.46/32.41 c (31,31) Hybrid 47.46/32.41 c (31,31) =========================================== 52.17/33.80 c (33,32) translated 51534 (10%) constraints 53.18/34.79 c (34,33) translated 103068 (20%) constraints 54.18/35.78 c (35,34) translated 154601 (30%) constraints 55.20/36.76 c (36,35) translated 206135 (40%) constraints 56.20/37.75 c (37,36) translated 257668 (50%) constraints 57.21/38.74 c (38,37) translated 309202 (60%) constraints 58.21/39.72 c (39,38) translated 360736 (70%) constraints 59.21/40.71 c (40,39) translated 412269 (80%) constraints 60.21/41.70 c (41,40) translated 463803 (90%) constraints 61.18/42.69 c (42,41) translated 515336 (100%) constraints 61.18/42.69 c (42,41) CSP to CSPinCNF End 61.29/42.71 c (42,41) CSP: 40 int (0 aux), 15120 bool (15120 aux), 515336 ctr, max domain size 180 61.29/42.71 c (42,41) Heap : 2928 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB) 61.29/42.71 c (42,41) CSPinCNF Propagation Begin 64.36/44.92 c (44,43) 0 values, 84 unsatisfiable literals, and 0 valid clauses are removed 64.36/44.92 c (44,43) CSPinCNF Propagation End 64.36/44.93 c (44,43) CSP: 40 int (0 aux), 15120 bool (15120 aux), 515336 ctr, max domain size 180 64.36/44.93 c (44,43) Heap : 5180 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB) 64.59/45.14 c (44,43) Hybrid: #OE=15160, #LE=0 64.59/45.14 c (44,43) Simplify CSPinCNF Begin 65.55/45.96 c (45,44) Simplify CSPinCNF End 65.55/45.97 c (45,44) CSP: 40 int (0 aux), 15120 bool (15120 aux), 515336 ctr, max domain size 180 65.55/45.97 c (45,44) Heap : 5734 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB) 65.55/45.97 c (45,44) Calculate Precise Domain Begin 65.55/45.97 c (45,44) 0 values are removed by re-calculation 65.55/45.97 c (45,44) Calculate Precise Domain End 65.55/45.97 c (45,44) CSP: 40 int (0 aux), 15120 bool (15120 aux), 515336 ctr, max domain size 180 65.55/45.97 c (45,44) Heap : 5734 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB) 65.55/45.97 c (45,44) CSPinCNF to SatSolver Begin 70.82/47.13 c (46,45) 51534 (10 %) CSP clauses are encoded (0 SAT variables, 58653 SAT clauses) 71.25/47.57 c (46,46) 103068 (20 %) CSP clauses are encoded (0 SAT variables, 110187 SAT clauses) 71.66/48.00 c (47,46) 154601 (30 %) CSP clauses are encoded (0 SAT variables, 161720 SAT clauses) 72.18/48.43 c (47,46) 206135 (40 %) CSP clauses are encoded (0 SAT variables, 213254 SAT clauses) 72.59/48.86 c (48,47) 257668 (50 %) CSP clauses are encoded (0 SAT variables, 264787 SAT clauses) 72.99/49.29 c (48,47) 309202 (60 %) CSP clauses are encoded (0 SAT variables, 316321 SAT clauses) 73.49/49.72 c (49,48) 360736 (70 %) CSP clauses are encoded (0 SAT variables, 367855 SAT clauses) 73.91/50.15 c (49,48) 412269 (80 %) CSP clauses are encoded (0 SAT variables, 419388 SAT clauses) 74.30/50.57 c (49,49) 463803 (90 %) CSP clauses are encoded (0 SAT variables, 470922 SAT clauses) 74.70/51.00 c (50,49) 515336 (100 %) CSP clauses are encoded (0 SAT variables, 522455 SAT clauses) 74.70/51.00 c (50,49) CSPinCNF to SatSolver End 74.70/51.00 c (50,49) Heap : 3962 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB) 74.70/51.00 c (50,49) 22280 bool, 522456 clause 74.70/51.00 c (50,49) Export Begin 74.81/51.10 c (50,49) Export to HOME/scop-28502-serial-file.bin 74.81/51.10 c (50,49) Export End 74.81/51.10 c (50,49) Export File Size: 0.01 MB 74.81/51.10 c (50,49) 0,0,42,44,45,45,50,STOP-AFTER(DIMACS) 74.81/51.10 c END-Prog: Mon Sep 23 13:51:08 CEST 2019 74.99/51.15 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-28502-serial-file.bin 75.03/51.66 c (0,0) Read Serial File Begin 75.03/51.66 c (0,0) HOME/scop-28502-serial-file.bin 75.03/51.89 c (0,0) Read Serial File End 75.03/51.91 75.03/51.91 Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15) 75.03/51.91 (Solving Process) 75.03/51.91 75.03/51.93 c BEGIN-Prog: Mon Sep 23 13:51:09 CEST 2019 75.03/51.93 c PID: 28528 75.03/51.93 c IP: 172.20.3.116 75.03/51.93 c HOST: node116.alineos.net 75.03/51.93 c (0,0) SatSolver.solve Begin 75.03/51.93 c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405464-1569239458.xml-scop-28505.cnf 75.03/51.96 c (0,0) c 75.03/51.96 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) 75.03/51.96 c (0,0) c 75.03/51.96 c (0,0) c WARNING: for repeatability, setting FPU to use double precision 75.03/51.96 c (0,0) c 8 solvers engines and 1 companion as a blackboard created. 75.03/51.96 c (0,0) c ========================================[ Problem Statistics ]=========================================== 75.03/51.96 c (0,0) c | | 76.46/52.15 c (0,0) c | Number of variables: 22280 | 76.46/52.15 c (0,0) c | Number of clauses: 522456 | 76.46/52.15 c (0,0) c | Parse time: 0.17 s | 76.46/52.15 c (0,0) c | | 76.75/52.48 c (0,0) c | Simplification time: 0.33 s | 76.75/52.48 c (0,0) c | | 76.75/52.48 c (0,0) c | Generating clones | 76.95/52.60 c (1,0) c | all clones generated. Memory = 295.93Mb. | 76.95/52.60 c (1,0) c ========================================================================================================| 76.95/52.60 c (1,0) c 76.95/52.60 c (1,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 76.95/52.60 c (1,0) c 76.95/52.60 c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 76.95/52.60 c (1,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 76.95/52.60 c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 76.95/52.60 c (1,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 76.95/52.60 c (1,0) c | adaptStrategeis | True | False | True | False | True | False | True | False | 76.95/52.60 c (1,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 76.95/52.60 c (1,0) c | Initial random_seed | 91648253 | 91648254 | 91648255 | 91648256 | 91648257 | 91648258 | 91648259 | 91648260 | 76.95/52.60 c (1,0) c | chanseokStrategy | False | False | False | False | False | False | False | False | 76.95/52.60 c (1,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 76.95/52.60 c (1,0) c | glureduce | True | True | True | True | True | True | True | True | 76.95/52.60 c (1,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 76.95/52.60 c (1,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 76.95/52.60 c (1,0) c | luby_restart | False | False | False | False | False | False | False | False | 76.95/52.60 c (1,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 76.95/52.60 c (1,0) c | var_decay | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 76.95/52.60 c (1,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 76.95/52.60 c (1,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 76.95/52.60 c (1,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 76.95/52.60 c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 168.60/64.45 c (12,0) c 168.60/64.45 c (12,0) c real time : 12.4879 s 168.60/64.45 c (12,0) c cpu time : 91.7497 s 168.60/64.45 c (12,0) c 168.60/64.45 c (12,0) c 168.60/64.45 c (12,0) c 168.60/64.45 c (12,0) c |---------------------------------------- FINAL STATS --------------------------------------------------| 168.60/64.45 c (12,0) c 168.60/64.45 c (12,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 168.60/64.45 c (12,0) c | Threads | Total | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 168.60/64.45 c (12,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 168.60/64.45 c (12,0) c | Conflicts | 174832 | 21717 | 22137 | 21785 | 21295 | 22425 | 21476 | 21752 | 22245 | 168.60/64.45 c (12,0) c | Decisions | 381333 | 44418 | 49339 | 48134 | 48388 | 48447 | 47795 | 46728 | 48084 | 168.60/64.45 c (12,0) c | Propagations | 205214858 | 26221788 | 24773596 | 25792059 | 25290149 | 26278120 | 25327018 | 25719180 | 25812948 | 168.60/64.45 c (12,0) c | ReduceDBs | 24 | 3 | 3 | 3 | 3 | 3 | 3 | 3 | 3 | 168.60/64.45 c (12,0) c | SimpDBs | 44 | 5 | 6 | 5 | 6 | 5 | 6 | 5 | 6 | 168.60/64.45 c (12,0) c | Restarts | 532 | 61 | 65 | 61 | 82 | 49 | 72 | 65 | 77 | 168.60/64.45 c (12,0) c | ForcedImports | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 168.60/64.45 c (12,0) c | PropBinClauses| 121861461 | 15350615 | 14645293 | 15380275 | 14992551 | 15830927 | 15229784 | 15365417 | 15066599 | 168.60/64.45 c (12,0) c | PropPreBlocker| 3638501639 | 459176966 | 442236859 | 456049807 | 453958118 | 453606143 | 455926158 | 454033918 | 463513670 | 168.60/64.45 c (12,0) c | PropNotBlocker| 1131894656 | 143674490 | 137938464 | 140105338 | 141222351 | 140327118 | 142643016 | 141407503 | 144576376 | 168.60/64.45 c (12,0) c | LitFullScans | 5678208893 | 708047914 | 708128139 | 708560900 | 708677869 | 708568568 | 708062312 | 708078740 | 720084451 | 168.60/64.45 c (12,0) c | LitScanFracts | 1595143 | 32936 | 118347 | 553700 | 671023 | 55088 | 55886 | 60522 | 47641 | 168.60/64.45 c (12,0) c | DecisionLevel0| 598 | 65 | 69 | 70 | 95 | 58 | 81 | 71 | 89 | 168.60/64.45 c (12,0) c | Periods | 946 | 118 | 118 | 118 | 118 | 118 | 118 | 118 | 120 | 168.60/64.45 c (12,0) c | Margin | 160 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 168.60/64.45 c (12,0) c | Avg_Trail | | 4413 | 4526 | 4694 | 4390 | 4978 | 4841 | 4698 | 4356 | 168.60/64.45 c (12,0) c | Avg_DL | | 19 | 25 | 25 | 26 | 23 | 23 | 23 | 21 | 168.60/64.45 c (12,0) c | Avg_Res | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 168.60/64.45 c (12,0) c | Avg_Res_Seen | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 168.60/64.45 c (12,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 168.60/64.45 c (12,0) c | Exported | 33176 | 4051 | 4303 | 3925 | 4410 | 4203 | 3916 | 4071 | 4297 | 168.60/64.45 c (12,0) c | Imported | 181222 | 22555 | 22148 | 22549 | 22518 | 22820 | 22937 | 22788 | 22907 | 168.60/64.45 c (12,0) c | Good | 11460 | 1422 | 1446 | 1430 | 1417 | 1427 | 1427 | 1436 | 1455 | 168.60/64.45 c (12,0) c | Purge | 169762 | 21133 | 20702 | 21119 | 21101 | 21393 | 21510 | 21352 | 21452 | 168.60/64.45 c (12,0) c | Promoted | 8324 | 1044 | 1072 | 1046 | 1109 | 940 | 1059 | 1018 | 1036 | 168.60/64.45 c (12,0) c | Remove_Imp | 3601 | 223 | 14 | 945 | 1076 | 0 | 1199 | 0 | 144 | 168.60/64.45 c (12,0) c | Blocked_Reuse | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 168.60/64.45 c (12,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 168.60/64.45 c (12,0) c | Unaries | | 4 | 4 | 9 | 13 | 9 | 9 | 6 | 12 | 168.60/64.45 c (12,0) c | Binaries | | 247 | 220 | 255 | 288 | 283 | 272 | 252 | 278 | 168.60/64.45 c (12,0) c | Glues | | 1172 | 1174 | 1210 | 1249 | 1215 | 1212 | 1070 | 1295 | 168.60/64.45 c (12,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 168.60/64.45 c (12,0) c | Orig_Seen | 37 % | 194467 | 195076 | 194530 | 193979 | 199474 | 196263 | 194365 | 192717 | 168.60/64.45 c (12,0) c | Diff Orig seen| | - 5007 | - 4398 | - 4944 | - 5495 | X | - 3211 | - 5109 | - 6757 | 168.60/64.45 c (12,0) c | Hamming | 20 % | 4504 | 4393 | 4454 | 4847 | X | 4059 | 4587 | 4405 | 168.60/64.45 c (12,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 168.60/64.45 c (12,0) c | RunningTime | | 11.7 100%| 11.8 100%| 11.5 100%| 11.6 100%| 11.4 100%| 11.6 100%| 11.4 100%| 11.4 100%| 168.60/64.45 c (12,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%| 168.60/64.45 c (12,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%| 168.60/64.45 c (12,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%| 168.60/64.45 c (12,0) c | SolvingTime | | 11.7 | 11.8 | 11.5 | 11.7 | 11.4 | 11.6 | 11.4 | 11.4 | 168.60/64.45 c (12,0) c | PropagationTim| | 10.4 89%| 10.3 87%| 10.1 88%| 10.2 88%| 9.9 87%| 10.2 88%| 10.0 88%| 10.1 88%| 168.60/64.45 c (12,0) c | AnalysisTime | | 0.9 7%| 1.0 8%| 0.9 8%| 0.9 8%| 0.9 8%| 0.9 8%| 0.9 8%| 0.9 8%| 168.60/64.45 c (12,0) c | ReductionTime | | 0.1 0%| 0.1 1%| 0.1 1%| 0.1 1%| 0.1 1%| 0.1 1%| 0.1 1%| 0.1 1%| 168.60/64.45 c (12,0) c | SimplifyTime | | 0.1 1%| 0.1 1%| 0.1 1%| 0.1 1%| 0.1 1%| 0.1 1%| 0.1 1%| 0.1 1%| 168.60/64.45 c (12,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%| 168.60/64.45 c (12,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%| 168.60/64.45 c (12,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 168.60/64.45 c (12,0) c 168.60/64.45 c (12,0) c 168.60/64.45 c (12,0) c Threads : 8 168.60/64.45 c (12,0) c Winner : 4 168.60/64.45 c (12,0) c Conflicts_0 : 21717 168.60/64.45 c (12,0) c Conflicts_1 : 22137 168.60/64.45 c (12,0) c Conflicts_2 : 21785 168.60/64.45 c (12,0) c Conflicts_3 : 21295 168.60/64.45 c (12,0) c Conflicts_4 : 22425 168.60/64.45 c (12,0) c Conflicts_5 : 21476 168.60/64.45 c (12,0) c Conflicts_6 : 21752 168.60/64.45 c (12,0) c Conflicts_7 : 22245 168.60/64.45 c (12,0) c Conflicts_total : 174832 168.60/64.45 c (12,0) c Conflicts_winner : 22425 168.60/64.45 c (12,0) c Decisions_0 : 44418 168.60/64.45 c (12,0) c Decisions_1 : 49339 168.60/64.45 c (12,0) c Decisions_2 : 48134 168.60/64.45 c (12,0) c Decisions_3 : 48388 168.60/64.45 c (12,0) c Decisions_4 : 48447 168.60/64.45 c (12,0) c Decisions_5 : 47795 168.60/64.45 c (12,0) c Decisions_6 : 46728 168.60/64.45 c (12,0) c Decisions_7 : 48084 168.60/64.45 c (12,0) c Decisions_total : 381333 168.60/64.45 c (12,0) c Decisions_winner : 48447 168.60/64.45 c (12,0) c Propagations_0 : 26221788 168.60/64.45 c (12,0) c Propagations_1 : 24773596 168.60/64.45 c (12,0) c Propagations_2 : 25792059 168.60/64.45 c (12,0) c Propagations_3 : 25290149 168.60/64.45 c (12,0) c Propagations_4 : 26278120 168.60/64.45 c (12,0) c Propagations_5 : 25327018 168.60/64.45 c (12,0) c Propagations_6 : 25719180 168.60/64.45 c (12,0) c Propagations_7 : 25812948 168.60/64.45 c (12,0) c Propagations_total : 205214858 168.60/64.45 c (12,0) c Propagations_winner : 26278120 168.60/64.45 c (12,0) c ReduceDBs_0 : 3 168.60/64.45 c (12,0) c ReduceDBs_1 : 3 168.60/64.45 c (12,0) c ReduceDBs_2 : 3 168.60/64.45 c (12,0) c ReduceDBs_3 : 3 168.60/64.45 c (12,0) c ReduceDBs_4 : 3 168.60/64.45 c (12,0) c ReduceDBs_5 : 3 168.60/64.45 c (12,0) c ReduceDBs_6 : 3 168.60/64.45 c (12,0) c ReduceDBs_7 : 3 168.60/64.45 c (12,0) c ReduceDBs_total : 24 168.60/64.45 c (12,0) c ReduceDBs_winner : 3 168.60/64.45 c (12,0) c SimpDBs_0 : 5 168.60/64.45 c (12,0) c SimpDBs_1 : 6 168.60/64.45 c (12,0) c SimpDBs_2 : 5 168.60/64.45 c (12,0) c SimpDBs_3 : 6 168.60/64.45 c (12,0) c SimpDBs_4 : 5 168.60/64.45 c (12,0) c SimpDBs_5 : 6 168.60/64.45 c (12,0) c SimpDBs_6 : 5 168.60/64.45 c (12,0) c SimpDBs_7 : 6 168.60/64.45 c (12,0) c SimpDBs_total : 44 168.60/64.45 c (12,0) c SimpDBs_winner : 5 168.60/64.45 c (12,0) c Restarts_0 : 61 168.60/64.45 c (12,0) c Restarts_1 : 65 168.60/64.45 c (12,0) c Restarts_2 : 61 168.60/64.45 c (12,0) c Restarts_3 : 82 168.60/64.45 c (12,0) c Restarts_4 : 49 168.60/64.45 c (12,0) c Restarts_5 : 72 168.60/64.45 c (12,0) c Restarts_6 : 65 168.60/64.45 c (12,0) c Restarts_7 : 77 168.60/64.45 c (12,0) c Restarts_total : 532 168.60/64.45 c (12,0) c Restarts_winner : 49 168.60/64.45 c (12,0) c ForcedImports_0 : 0 168.60/64.45 c (12,0) c ForcedImports_1 : 0 168.60/64.45 c (12,0) c ForcedImports_2 : 0 168.60/64.45 c (12,0) c ForcedImports_3 : 0 168.60/64.45 c (12,0) c ForcedImports_4 : 0 168.60/64.45 c (12,0) c ForcedImports_5 : 0 168.60/64.45 c (12,0) c ForcedImports_6 : 0 168.60/64.45 c (12,0) c ForcedImports_7 : 0 168.60/64.45 c (12,0) c ForcedImports_total : 0 168.60/64.45 c (12,0) c ForcedImports_winner : 0 168.60/64.45 c (12,0) c PropsBinClauses_0 : 15350615 168.60/64.45 c (12,0) c PropsBinClauses_1 : 14645293 168.60/64.45 c (12,0) c PropsBinClauses_2 : 15380275 168.60/64.45 c (12,0) c PropsBinClauses_3 : 14992551 168.60/64.45 c (12,0) c PropsBinClauses_4 : 15830927 168.60/64.45 c (12,0) c PropsBinClauses_5 : 15229784 168.60/64.45 c (12,0) c PropsBinClauses_6 : 15365417 168.60/64.45 c (12,0) c PropsBinClauses_7 : 15066599 168.60/64.45 c (12,0) c PropsBinClauses_total : 121861461 168.60/64.46 c (12,0) c PropsBinClauses_winner : 15830927 168.60/64.46 c (12,0) c PropsPreBlocker_0 : 459176966 168.60/64.46 c (12,0) c PropsPreBlocker_1 : 442236859 168.60/64.46 c (12,0) c PropsPreBlocker_2 : 456049807 168.60/64.46 c (12,0) c PropsPreBlocker_3 : 453958118 168.60/64.46 c (12,0) c PropsPreBlocker_4 : 453606143 168.60/64.46 c (12,0) c PropsPreBlocker_5 : 455926158 168.60/64.46 c (12,0) c PropsPreBlocker_6 : 454033918 168.60/64.46 c (12,0) c PropsPreBlocker_7 : 463513670 168.60/64.46 c (12,0) c PropsPreBlocker_total : 3638501639 168.60/64.46 c (12,0) c PropsPreBlocker_winner : 453606143 168.60/64.46 c (12,0) c PropsNotBlocker_0 : 143674490 168.60/64.46 c (12,0) c PropsNotBlocker_1 : 137938464 168.60/64.46 c (12,0) c PropsNotBlocker_2 : 140105338 168.60/64.46 c (12,0) c PropsNotBlocker_3 : 141222351 168.60/64.46 c (12,0) c PropsNotBlocker_4 : 140327118 168.60/64.46 c (12,0) c PropsNotBlocker_5 : 142643016 168.60/64.46 c (12,0) c PropsNotBlocker_6 : 141407503 168.60/64.46 c (12,0) c PropsNotBlocker_7 : 144576376 168.60/64.46 c (12,0) c PropsNotBlocker_total : 1131894656 168.60/64.46 c (12,0) c PropsNotBlocker_winner : 140327118 168.60/64.46 c (12,0) c PropsLitFullScans_0 : 708047914 168.60/64.46 c (12,0) c PropsLitFullScans_1 : 708128139 168.60/64.46 c (12,0) c PropsLitFullScans_2 : 708560900 168.60/64.46 c (12,0) c PropsLitFullScans_3 : 708677869 168.60/64.46 c (12,0) c PropsLitFullScans_4 : 708568568 168.60/64.46 c (12,0) c PropsLitFullScans_5 : 708062312 168.60/64.46 c (12,0) c PropsLitFullScans_6 : 708078740 168.60/64.46 c (12,0) c PropsLitFullScans_7 : 720084451 168.60/64.46 c (12,0) c PropsLitFullScans_total : 5678208893 168.60/64.46 c (12,0) c PropsLitFullScans_winner : 708568568 168.60/64.46 c (12,0) c LitScanFractions_0 : 32936 168.60/64.46 c (12,0) c LitScanFractions_1 : 118347 168.60/64.46 c (12,0) c LitScanFractions_2 : 553700 168.60/64.46 c (12,0) c LitScanFractions_3 : 671023 168.60/64.46 c (12,0) c LitScanFractions_4 : 55088 168.60/64.46 c (12,0) c LitScanFractions_5 : 55886 168.60/64.46 c (12,0) c LitScanFractions_6 : 60522 168.60/64.46 c (12,0) c LitScanFractions_7 : 47641 168.60/64.46 c (12,0) c LitScanFractions_total : 1595143 168.60/64.46 c (12,0) c LitScanFractions_winner : 55088 168.60/64.46 c (12,0) c DecisionLevel0_0 : 65 168.60/64.46 c (12,0) c DecisionLevel0_1 : 69 168.60/64.46 c (12,0) c DecisionLevel0_2 : 70 168.60/64.46 c (12,0) c DecisionLevel0_3 : 95 168.60/64.46 c (12,0) c DecisionLevel0_4 : 58 168.60/64.46 c (12,0) c DecisionLevel0_5 : 81 168.60/64.46 c (12,0) c DecisionLevel0_6 : 71 168.60/64.46 c (12,0) c DecisionLevel0_7 : 89 168.60/64.46 c (12,0) c DecisionLevel0_total : 598 168.60/64.46 c (12,0) c DecisionLevel0_winner : 58 168.60/64.46 c (12,0) c Periods_0 : 118 168.60/64.46 c (12,0) c Periods_1 : 118 168.60/64.46 c (12,0) c Periods_2 : 118 168.60/64.46 c (12,0) c Periods_3 : 118 168.60/64.46 c (12,0) c Periods_4 : 118 168.60/64.46 c (12,0) c Periods_5 : 118 168.60/64.46 c (12,0) c Periods_6 : 118 168.60/64.46 c (12,0) c Periods_7 : 120 168.60/64.46 c (12,0) c Periods_total : 946 168.60/64.46 c (12,0) c Periods_winner : 118 168.60/64.46 c (12,0) c Margin_0 : 20 168.60/64.46 c (12,0) c Margin_1 : 20 168.60/64.46 c (12,0) c Margin_2 : 20 168.60/64.46 c (12,0) c Margin_3 : 20 168.60/64.46 c (12,0) c Margin_4 : 20 168.60/64.46 c (12,0) c Margin_5 : 20 168.60/64.46 c (12,0) c Margin_6 : 20 168.60/64.46 c (12,0) c Margin_7 : 20 168.60/64.46 c (12,0) c Margin_total : 160 168.60/64.46 c (12,0) c Margin_winner : 20 168.60/64.46 c (12,0) c Exported_0 : 4051 168.60/64.46 c (12,0) c Exported_1 : 4303 168.60/64.46 c (12,0) c Exported_2 : 3925 168.60/64.46 c (12,0) c Exported_3 : 4410 168.60/64.46 c (12,0) c Exported_4 : 4203 168.60/64.46 c (12,0) c Exported_5 : 3916 168.60/64.46 c (12,0) c Exported_6 : 4071 168.60/64.46 c (12,0) c Exported_7 : 4297 168.60/64.46 c (12,0) c Exported_total : 33176 168.60/64.46 c (12,0) c Exported_winner : 4203 168.60/64.46 c (12,0) c Imported_0 : 22555 168.60/64.46 c (12,0) c Imported_1 : 22148 168.60/64.46 c (12,0) c Imported_2 : 22549 168.60/64.46 c (12,0) c Imported_3 : 22518 168.60/64.46 c (12,0) c Imported_4 : 22820 168.60/64.46 c (12,0) c Imported_5 : 22937 168.60/64.46 c (12,0) c Imported_6 : 22788 168.60/64.46 c (12,0) c Imported_7 : 22907 168.60/64.46 c (12,0) c Imported_total : 181222 168.60/64.46 c (12,0) c Imported_winner : 22820 168.60/64.46 c (12,0) c Good_0 : 1422 168.60/64.46 c (12,0) c Good_1 : 1446 168.60/64.46 c (12,0) c Good_2 : 1430 168.60/64.46 c (12,0) c Good_3 : 1417 168.60/64.46 c (12,0) c Good_4 : 1427 168.60/64.46 c (12,0) c Good_5 : 1427 168.60/64.46 c (12,0) c Good_6 : 1436 168.60/64.46 c (12,0) c Good_7 : 1455 168.60/64.46 c (12,0) c Good_total : 11460 168.60/64.46 c (12,0) c Good_winner : 1427 168.60/64.46 c (12,0) c Purge_0 : 21133 168.60/64.46 c (12,0) c Purge_1 : 20702 168.60/64.46 c (12,0) c Purge_2 : 21119 168.60/64.46 c (12,0) c Purge_3 : 21101 168.60/64.46 c (12,0) c Purge_4 : 21393 168.60/64.46 c (12,0) c Purge_5 : 21510 168.60/64.46 c (12,0) c Purge_6 : 21352 168.60/64.46 c (12,0) c Purge_7 : 21452 168.60/64.46 c (12,0) c Purge_total : 169762 168.60/64.46 c (12,0) c Purge_winner : 21393 168.60/64.46 c (12,0) c Promoted_0 : 1044 168.60/64.46 c (12,0) c Promoted_1 : 1072 168.60/64.46 c (12,0) c Promoted_2 : 1046 168.60/64.46 c (12,0) c Promoted_3 : 1109 168.60/64.46 c (12,0) c Promoted_4 : 940 168.60/64.46 c (12,0) c Promoted_5 : 1059 168.60/64.46 c (12,0) c Promoted_6 : 1018 168.60/64.46 c (12,0) c Promoted_7 : 1036 168.60/64.46 c (12,0) c Promoted_total : 8324 168.60/64.46 c (12,0) c Promoted_winner : 940 168.60/64.46 c (12,0) c Remove_Imp_0 : 223 168.60/64.46 c (12,0) c Remove_Imp_1 : 14 168.60/64.46 c (12,0) c Remove_Imp_2 : 945 168.60/64.46 c (12,0) c Remove_Imp_3 : 1076 168.60/64.46 c (12,0) c Remove_Imp_4 : 0 168.60/64.46 c (12,0) c Remove_Imp_5 : 1199 168.60/64.46 c (12,0) c Remove_Imp_6 : 0 168.60/64.46 c (12,0) c Remove_Imp_7 : 144 168.60/64.46 c (12,0) c Remove_Imp_total : 3601 168.60/64.46 c (12,0) c Remove_Imp_winner : 0 168.60/64.46 c (12,0) c Blocked_Reuse_0 : 0 168.60/64.46 c (12,0) c Blocked_Reuse_1 : 0 168.60/64.46 c (12,0) c Blocked_Reuse_2 : 0 168.60/64.46 c (12,0) c Blocked_Reuse_3 : 0 168.60/64.46 c (12,0) c Blocked_Reuse_4 : 0 168.60/64.46 c (12,0) c Blocked_Reuse_5 : 0 168.60/64.46 c (12,0) c Blocked_Reuse_6 : 0 168.60/64.46 c (12,0) c Blocked_Reuse_7 : 0 168.60/64.46 c (12,0) c Blocked_Reuse_total : 0 168.60/64.46 c (12,0) c Blocked_Reuse_winner : 0 168.60/64.46 c (12,0) c Unaries_0 : 4 168.60/64.46 c (12,0) c Unaries_1 : 4 168.60/64.46 c (12,0) c Unaries_2 : 9 168.60/64.46 c (12,0) c Unaries_3 : 13 168.60/64.46 c (12,0) c Unaries_4 : 9 168.60/64.46 c (12,0) c Unaries_5 : 9 168.60/64.46 c (12,0) c Unaries_6 : 6 168.60/64.46 c (12,0) c Unaries_7 : 12 168.60/64.46 c (12,0) c Unaries_total : 66 168.60/64.46 c (12,0) c Unaries_winner : 9 168.60/64.46 c (12,0) c Binaries_0 : 247 168.60/64.46 c (12,0) c Binaries_1 : 220 168.60/64.46 c (12,0) c Binaries_2 : 255 168.60/64.46 c (12,0) c Binaries_3 : 288 168.60/64.46 c (12,0) c Binaries_4 : 283 168.60/64.46 c (12,0) c Binaries_5 : 272 168.60/64.46 c (12,0) c Binaries_6 : 252 168.60/64.46 c (12,0) c Binaries_7 : 278 168.60/64.46 c (12,0) c Binaries_total : 2095 168.60/64.46 c (12,0) c Binaries_winner : 283 168.60/64.46 c (12,0) c Glues_0 : 1172 168.60/64.46 c (12,0) c Glues_1 : 1174 168.60/64.46 c (12,0) c Glues_2 : 1210 168.60/64.46 c (12,0) c Glues_3 : 1249 168.60/64.46 c (12,0) c Glues_4 : 1215 168.60/64.46 c (12,0) c Glues_5 : 1212 168.60/64.46 c (12,0) c Glues_6 : 1070 168.60/64.46 c (12,0) c Glues_7 : 1295 168.60/64.46 c (12,0) c Glues_total : 9597 168.60/64.46 c (12,0) c Glues_winner : 1215 168.60/64.46 c (12,0) c RunningTime_0 : 11.677582 168.60/64.46 c (12,0) c RunningTime_1 : 11.810845 168.60/64.46 c (12,0) c RunningTime_2 : 11.504267 168.60/64.46 c (12,0) c RunningTime_3 : 11.630348 168.60/64.46 c (12,0) c RunningTime_4 : 11.360384 168.60/64.46 c (12,0) c RunningTime_5 : 11.586784 168.60/64.46 c (12,0) c RunningTime_6 : 11.364463 168.60/64.46 c (12,0) c RunningTime_7 : 11.406314 168.60/64.46 c (12,0) c RunningTime_total : 92.340988 168.60/64.46 c (12,0) c RunningTime_winner : 11.360384 168.60/64.46 c (12,0) c WaitingTime_0 : 0.000140 168.60/64.46 c (12,0) c WaitingTime_1 : 0.000111 168.60/64.46 c (12,0) c WaitingTime_2 : 0.000170 168.60/64.46 c (12,0) c WaitingTime_3 : 0.000149 168.60/64.46 c (12,0) c WaitingTime_4 : 0.000149 168.60/64.46 c (12,0) c WaitingTime_5 : 0.000162 168.60/64.46 c (12,0) c WaitingTime_6 : 0.000148 168.60/64.46 c (12,0) c WaitingTime_7 : 0.000152 168.60/64.46 c (12,0) c WaitingTime_total : 0.001181 168.60/64.46 c (12,0) c WaitingTime_winner : 0.000149 168.60/64.46 c (12,0) c ExchangingTime_0 : 0.017484 168.60/64.46 c (12,0) c ExchangingTime_1 : 0.026929 168.60/64.46 c (12,0) c ExchangingTime_2 : 0.016803 168.60/64.46 c (12,0) c ExchangingTime_3 : 0.018906 168.60/64.46 c (12,0) c ExchangingTime_4 : 0.017319 168.60/64.46 c (12,0) c ExchangingTime_5 : 0.026796 168.60/64.46 c (12,0) c ExchangingTime_6 : 0.030941 168.60/64.46 c (12,0) c ExchangingTime_7 : 0.017618 168.60/64.46 c (12,0) c ExchangingTime_total : 0.172798 168.60/64.46 c (12,0) c ExchangingTime_winner : 0.017319 168.60/64.46 c (12,0) c PeriodProcTime_0 : 0.000909 168.60/64.46 c (12,0) c PeriodProcTime_1 : 0.001006 168.60/64.46 c (12,0) c PeriodProcTime_2 : 0.000959 168.60/64.46 c (12,0) c PeriodProcTime_3 : 0.000983 168.60/64.46 c (12,0) c PeriodProcTime_4 : 0.000947 168.60/64.46 c (12,0) c PeriodProcTime_5 : 0.001142 168.60/64.46 c (12,0) c PeriodProcTime_6 : 0.001122 168.60/64.46 c (12,0) c PeriodProcTime_7 : 0.000940 168.60/64.46 c (12,0) c PeriodProcTime_total : 0.008008 168.60/64.46 c (12,0) c PeriodProcTime_winner : 0.000947 168.60/64.46 c (12,0) c SolvingTime_0 : 11.696115 168.60/64.46 c (12,0) c SolvingTime_1 : 11.838892 168.60/64.46 c (12,0) c SolvingTime_2 : 11.522199 168.60/64.46 c (12,0) c SolvingTime_3 : 11.650387 168.60/64.46 c (12,0) c SolvingTime_4 : 11.378800 168.60/64.46 c (12,0) c SolvingTime_5 : 11.614884 168.60/64.46 c (12,0) c SolvingTime_6 : 11.396675 168.60/64.46 c (12,0) c SolvingTime_7 : 11.425024 168.60/64.46 c (12,0) c SolvingTime_total : 92.522975 168.60/64.46 c (12,0) c SolvingTime_winner : 11.378800 168.60/64.46 c (12,0) c PropagationTime_0 : 10.372635 168.60/64.46 c (12,0) c PropagationTime_1 : 10.309256 168.60/64.46 c (12,0) c PropagationTime_2 : 10.111599 168.60/64.46 c (12,0) c PropagationTime_3 : 10.239530 168.60/64.46 c (12,0) c PropagationTime_4 : 9.929739 168.60/64.46 c (12,0) c PropagationTime_5 : 10.186887 168.60/64.46 c (12,0) c PropagationTime_6 : 9.996090 168.60/64.46 c (12,0) c PropagationTime_7 : 10.069232 168.60/64.46 c (12,0) c PropagationTime_total : 81.214968 168.60/64.46 c (12,0) c PropagationTime_winner : 9.929739 168.60/64.46 c (12,0) c AnalysisTime_0 : 0.851988 168.60/64.46 c (12,0) c AnalysisTime_1 : 0.998347 168.60/64.46 c (12,0) c AnalysisTime_2 : 0.922805 168.60/64.46 c (12,0) c AnalysisTime_3 : 0.904847 168.60/64.46 c (12,0) c AnalysisTime_4 : 0.932957 168.60/64.46 c (12,0) c AnalysisTime_5 : 0.886014 168.60/64.46 c (12,0) c AnalysisTime_6 : 0.909107 168.60/64.46 c (12,0) c AnalysisTime_7 : 0.859577 168.60/64.46 c (12,0) c AnalysisTime_total : 7.265642 168.60/64.46 c (12,0) c AnalysisTime_winner : 0.932957 168.60/64.46 c (12,0) c ReductionTime_0 : 0.057142 168.60/64.46 c (12,0) c ReductionTime_1 : 0.067241 168.60/64.46 c (12,0) c ReductionTime_2 : 0.059438 168.60/64.46 c (12,0) c ReductionTime_3 : 0.061016 168.60/64.46 c (12,0) c ReductionTime_4 : 0.059391 168.60/64.46 c (12,0) c ReductionTime_5 : 0.064188 168.60/64.46 c (12,0) c ReductionTime_6 : 0.060046 168.60/64.46 c (12,0) c ReductionTime_7 : 0.060184 168.60/64.46 c (12,0) c ReductionTime_total : 0.488646 168.60/64.46 c (12,0) c ReductionTime_winner : 0.059391 168.60/64.46 c (12,0) c SimplifyTime_0 : 0.066438 168.60/64.46 c (12,0) c SimplifyTime_1 : 0.093762 168.60/64.46 c (12,0) c SimplifyTime_2 : 0.060886 168.60/64.46 c (12,0) c SimplifyTime_3 : 0.091346 168.60/64.46 c (12,0) c SimplifyTime_4 : 0.071446 168.60/64.46 c (12,0) c SimplifyTime_5 : 0.101559 168.60/64.46 c (12,0) c SimplifyTime_6 : 0.074356 168.60/64.46 c (12,0) c SimplifyTime_7 : 0.090199 168.60/64.46 c (12,0) c SimplifyTime_total : 0.649992 168.60/64.46 c (12,0) c SimplifyTime_winner : 0.071446 168.60/64.46 c (12,0) c UsedRateTime_0 : 0.000000 168.60/64.46 c (12,0) c UsedRateTime_1 : 0.000000 168.60/64.46 c (12,0) c UsedRateTime_2 : 0.000000 168.60/64.46 c (12,0) c UsedRateTime_3 : 0.000000 168.60/64.46 c (12,0) c UsedRateTime_4 : 0.000000 168.60/64.46 c (12,0) c UsedRateTime_5 : 0.000000 168.60/64.46 c (12,0) c UsedRateTime_6 : 0.000000 168.60/64.46 c (12,0) c UsedRateTime_7 : 0.000000 168.60/64.46 c (12,0) c UsedRateTime_total : 0.000000 168.60/64.46 c (12,0) c UsedRateTime_winner : 0.000000 168.60/64.46 c (12,0) c OverlapRateTime_0 : 0.000000 168.60/64.46 c (12,0) c OverlapRateTime_1 : 0.000000 168.60/64.46 c (12,0) c OverlapRateTime_2 : 0.000000 168.60/64.46 c (12,0) c OverlapRateTime_3 : 0.000000 168.60/64.46 c (12,0) c OverlapRateTime_4 : 0.000000 168.60/64.46 c (12,0) c OverlapRateTime_5 : 0.000000 168.60/64.46 c (12,0) c OverlapRateTime_6 : 0.000000 168.60/64.46 c (12,0) c OverlapRateTime_7 : 0.000000 168.60/64.46 c (12,0) c OverlapRateTime_total : 0.000000 168.60/64.47 c (12,0) c OverlapRateTime_winner : 0.000000 168.60/64.47 c (12,0) c 168.60/64.47 c (12,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 168.60/64.47 c (12,0) c 168.60/64.47 c (12,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 168.60/64.47 c (12,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 168.60/64.47 c (12,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 168.60/64.47 c (12,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 168.60/64.47 c (12,0) c | adaptStrategeis | True | False | True | False | True | False | True | False | 168.60/64.47 c (12,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 168.60/64.47 c (12,0) c | Initial random_seed | 1571603568 | 862053678 | 1594908935 | 1446645107 | 1675950023 | 1136861433 | 507956806 | 453013843 | 168.60/64.47 c (12,0) c | chanseokStrategy | False | False | False | False | False | False | False | False | 168.60/64.47 c (12,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 168.60/64.47 c (12,0) c | glureduce | True | True | True | True | True | True | True | True | 168.60/64.47 c (12,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 168.60/64.47 c (12,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 168.60/64.47 c (12,0) c | luby_restart | False | False | False | False | False | False | False | False | 168.60/64.47 c (12,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 168.60/64.47 c (12,0) c | var_decay | 0.8400 | 0.8400 | 0.8400 | 0.8400 | 0.8400 | 0.8400 | 0.8400 | 0.8400 | 168.60/64.47 c (12,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 168.60/64.47 c (12,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 168.60/64.47 c (12,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 168.60/64.47 c (12,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 168.60/64.47 c (12,0) 168.60/64.47 c (12,0) s UNSATISFIABLE 168.60/64.47 c (12,0) SatSolver.solve End 168.60/64.47 c (12,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB) 168.60/64.47 c (12,0) Show results Begin 168.60/64.47 s UNSATISFIABLE 168.60/64.47 c (12,0) Show results End 168.60/64.47 c (12,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB) 168.60/64.47 c (12,0) 12,12,STOP-AFTER(ALL) 168.60/64.47 c END-Prog: Mon Sep 23 13:51:21 CEST 2019
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 (15498 MiB free) memory of node 1: 16384 MiB (9260 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4405464-1569239458/watcher-4405464-1569239458 -o /tmp/evaluation-result-4405464-1569239458/solver-4405464-1569239458 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node116-1569238589-28057 --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-4405464-1569239458.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 Current StackSize limit: 8192 KiB solver pid=28502, runsolver pid=28499 [startup+0.10016 s]* /proc/loadavg: 8.06 6.62 3.55 2/211 28524 /proc/meminfo: memFree=25257324/32770688 swapFree=67001200/67108860 [pid=28502] ppid=28499 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/28502/stat : 28502 (scop.sh) S 28499 28502 28030 0 -1 4202496 557 319 0 0 0 0 0 0 20 0 1 0 499887436 115843072 349 33554432000 4194304 5098028 140735755133616 140735755130872 140085892944508 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 29126656 140735755141924 140735755142252 140735755142252 140735755145165 0 /proc/28502/statm: 28282 349 296 221 0 87 0 [pid=28505] ppid=28502 vsize=27314120 memory=107260 CPUtime=0.1 cores=0-7 /proc/28505/stat : 28505 (java) S 28502 28502 28030 0 -1 1077944320 6365 0 0 0 7 3 0 0 20 0 20 0 499887436 27969658880 26815 33554432000 4194304 4196468 140731436199088 140731436181632 140444148821751 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 28446720 140731436204778 140731436205206 140731436205206 140731436208079 0 /proc/28505/statm: 6828530 26815 2776 1 0 6790935 0 [pid=28505/tid=28506] ppid=28502 vsize=27314120 memory=4134930498285298233 CPUtime=0.09 cores=0-7 /proc/28505/task/28506/stat : 28506 (java) R 28502 28502 28030 0 -1 4202560 4483 0 0 0 6 3 0 0 20 0 20 0 499887437 27969658880 26815 33554432000 4194304 4196468 140731436199088 140444120658592 140444141918587 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28446720 140731436204778 140731436205206 140731436205206 140731436208079 0 [pid=28505/tid=28507] ppid=28502 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/28505/task/28507/stat : 28507 (java) S 28502 28502 28030 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 499887439 27969658880 26842 33554432000 4194304 4196468 140731436199088 140444153064464 140444148831957 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28446720 140731436204778 140731436205206 140731436205206 140731436208079 0 [pid=28505/tid=28508] ppid=28502 vsize=27314120 memory=139981382506112 CPUtime=0 cores=0-7 /proc/28505/task/28508/stat : 28508 (java) S 28502 28502 28030 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499887439 27969658880 26842 33554432000 4194304 4196468 140731436199088 140443967220880 140444148831957 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28446720 140731436204778 140731436205206 140731436205206 140731436208079 0 [pid=28505/tid=28509] ppid=28502 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/28505/task/28509/stat : 28509 (java) S 28502 28502 28030 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499887439 27969658880 26842 33554432000 4194304 4196468 140731436199088 140443966167824 140444148831957 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28446720 140731436204778 140731436205206 140731436205206 140731436208079 0 [pid=28505/tid=28510] ppid=28502 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/28505/task/28510/stat : 28510 (java) S 28502 28502 28030 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 499887439 27969658880 26842 33554432000 4194304 4196468 140731436199088 140443965115280 140444148831957 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28446720 140731436204778 140731436205206 140731436205206 140731436208079 0 [pid=28505/tid=28511] ppid=28502 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/28505/task/28511/stat : 28511 (java) S 28502 28502 28030 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 499887439 27969658880 26842 33554432000 4194304 4196468 140731436199088 140443964062224 140444148831957 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28446720 140731436204778 140731436205206 140731436205206 140731436208079 0 [pid=28505/tid=28512] ppid=28502 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/28505/task/28512/stat : 28512 (java) S 28502 28502 28030 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 499887439 27969658880 26842 33554432000 4194304 4196468 140731436199088 140443963009680 140444148831957 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28446720 140731436204778 140731436205206 140731436205206 140731436208079 0 [pid=28505/tid=28513] ppid=28502 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/28505/task/28513/stat : 28513 (java) S 28502 28502 28030 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499887439 27969658880 26842 33554432000 4194304 4196468 140731436199088 140443961956624 140444148831957 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28446720 140731436204778 140731436205206 140731436205206 140731436208079 0 [pid=28505/tid=28514] ppid=28502 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/28505/task/28514/stat : 28514 (java) S 28502 28502 28030 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 499887439 27969658880 26842 33554432000 4194304 4196468 140731436199088 140443960904080 140444148831957 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28446720 140731436204778 140731436205206 140731436205206 140731436208079 0 [pid=28505/tid=28515] ppid=28502 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/28505/task/28515/stat : 28515 (java) S 28502 28502 28030 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 499887441 27969658880 26842 33554432000 4194304 4196468 140731436199088 140443340724976 140444148832898 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28446720 140731436204778 140731436205206 140731436205206 140731436208079 0 [pid=28505/tid=28516] ppid=28502 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/28505/task/28516/stat : 28516 (java) S 28502 28502 28030 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 499887441 27969658880 26842 33554432000 4194304 4196468 140731436199088 140442075129504 140444148831957 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28446720 140731436204778 140731436205206 140731436205206 140731436208079 0 [pid=28505/tid=28517] ppid=28502 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/28505/task/28517/stat : 28517 (java) S 28502 28502 28030 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499887442 27969658880 26842 33554432000 4194304 4196468 140731436199088 140441806693616 140444148831957 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28446720 140731436204778 140731436205206 140731436205206 140731436208079 0 [pid=28505/tid=28518] ppid=28502 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/28505/task/28518/stat : 28518 (java) S 28502 28502 28030 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499887444 27969658880 26842 33554432000 4194304 4196468 140731436199088 140441432185296 140444148840347 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28446720 140731436204778 140731436205206 140731436205206 140731436208079 0 [pid=28505/tid=28519] ppid=28502 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/28505/task/28519/stat : 28519 (java) S 28502 28502 28030 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 20 0 499887444 27969658880 26842 33554432000 4194304 4196468 140731436199088 140443339671792 140444148832898 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28446720 140731436204778 140731436205206 140731436205206 140731436208079 0 [pid=28505/tid=28520] ppid=28502 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/28505/task/28520/stat : 28520 (java) S 28502 28502 28030 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 499887444 27969658880 26842 33554432000 4194304 4196468 140731436199088 140443338619248 140444148832898 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28446720 140731436204778 140731436205206 140731436205206 140731436208079 0 [pid=28505/tid=28521] ppid=28502 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/28505/task/28521/stat : 28521 (java) S 28502 28502 28030 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 499887444 27969658880 26842 33554432000 4194304 4196468 140731436199088 140443337566192 140444148832898 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28446720 140731436204778 140731436205206 140731436205206 140731436208079 0 [pid=28505/tid=28522] ppid=28502 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/28505/task/28522/stat : 28522 (java) S 28502 28502 28030 0 -1 1077944384 242 0 0 0 0 0 0 0 20 0 20 0 499887444 27969658880 26842 33554432000 4194304 4196468 140731436199088 140443336513648 140444148832898 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28446720 140731436204778 140731436205206 140731436205206 140731436208079 0 [pid=28505/tid=28523] ppid=28502 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/28505/task/28523/stat : 28523 (java) S 28502 28502 28030 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 499887445 27969658880 26842 33554432000 4194304 4196468 140731436199088 140440934280160 140444148831957 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28446720 140731436204778 140731436205206 140731436205206 140731436208079 0 [pid=28505/tid=28524] ppid=28502 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/28505/task/28524/stat : 28524 (java) S 28502 28502 28030 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499887445 27969658880 26842 33554432000 4194304 4196468 140731436199088 140443335462064 140444148832898 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28446720 140731436204778 140731436205206 140731436205206 140731436208079 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 108656 KiB [startup+0.211484 s]* /proc/loadavg: 8.06 6.62 3.55 2/211 28524 /proc/meminfo: memFree=25241012/32770688 swapFree=67001200/67108860 [pid=28502] ppid=28499 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/28502/stat : 28502 (scop.sh) S 28499 28502 28030 0 -1 4202496 557 319 0 0 0 0 0 0 20 0 1 0 499887436 115843072 349 33554432000 4194304 5098028 140735755133616 140735755130872 140085892944508 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 29126656 140735755141924 140735755142252 140735755142252 140735755145165 0 /proc/28502/statm: 28282 349 296 221 0 87 0 [pid=28505] ppid=28502 vsize=27314120 memory=124076 CPUtime=0.24 cores=0-7 /proc/28505/stat : 28505 (java) S 28502 28502 28030 0 -1 1077944320 11246 0 0 0 19 5 0 0 20 0 20 0 499887436 27969658880 31019 33554432000 4194304 4196468 140731436199088 140731436181632 140444148821751 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 28446720 140731436204778 140731436205206 140731436205206 140731436208079 0 /proc/28505/statm: 6828530 31019 2891 1 0 6790935 0 [pid=28505/tid=28506] ppid=28502 vsize=27314120 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/28505/task/28506/stat : 28506 (java) R 28502 28502 28030 0 -1 4202560 9008 0 0 0 16 4 0 0 20 0 20 0 499887437 27969658880 31019 33554432000 4194304 4196468 140731436199088 140444120636160 140444141058878 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28446720 140731436204778 140731436205206 140731436205206 140731436208079 0 [pid=28505/tid=28507] ppid=28502 vsize=27314120 memory=342 CPUtime=0 cores=0-7 /proc/28505/task/28507/stat : 28507 (java) S 28502 28502 28030 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 499887439 27969658880 31019 33554432000 4194304 4196468 140731436199088 140444153064464 140444148831957 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28446720 140731436204778 140731436205206 140731436205206 140731436208079 0 [pid=28505/tid=28508] ppid=28502 vsize=27314120 memory=139981386186416 CPUtime=0 cores=0-7 /proc/28505/task/28508/stat : 28508 (java) S 28502 28502 28030 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499887439 27969658880 31019 33554432000 4194304 4196468 140731436199088 140443967220880 140444148831957 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28446720 140731436204778 140731436205206 140731436205206 140731436208079 0 [pid=28505/tid=28509] ppid=28502 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/28505/task/28509/stat : 28509 (java) S 28502 28502 28030 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499887439 27969658880 31019 33554432000 4194304 4196468 140731436199088 140443966167824 140444148831957 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28446720 140731436204778 140731436205206 140731436205206 140731436208079 0 [pid=28505/tid=28510] ppid=28502 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/28505/task/28510/stat : 28510 (java) S 28502 28502 28030 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 499887439 27969658880 31019 33554432000 4194304 4196468 140731436199088 140443965115280 140444148831957 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28446720 140731436204778 140731436205206 140731436205206 140731436208079 0 [pid=28505/tid=28511] ppid=28502 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/28505/task/28511/stat : 28511 (java) S 28502 28502 28030 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 499887439 27969658880 31019 33554432000 4194304 4196468 140731436199088 140443964062224 140444148831957 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28446720 140731436204778 140731436205206 140731436205206 140731436208079 0 [pid=28505/tid=28512] ppid=28502 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/28505/task/28512/stat : 28512 (java) S 28502 28502 28030 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 499887439 27969658880 31019 33554432000 4194304 4196468 140731436199088 140443963009680 140444148831957 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28446720 140731436204778 140731436205206 140731436205206 140731436208079 0 [pid=28505/tid=28513] ppid=28502 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/28505/task/28513/stat : 28513 (java) S 28502 28502 28030 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499887439 27969658880 31019 33554432000 4194304 4196468 140731436199088 140443961956624 140444148831957 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28446720 140731436204778 140731436205206 140731436205206 140731436208079 0 [pid=28505/tid=28514] ppid=28502 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/28505/task/28514/stat : 28514 (java) S 28502 28502 28030 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 499887439 27969658880 31019 33554432000 4194304 4196468 140731436199088 140443960904080 140444148831957 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28446720 140731436204778 140731436205206 140731436205206 140731436208079 0 [pid=28505/tid=28515] ppid=28502 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/28505/task/28515/stat : 28515 (java) S 28502 28502 28030 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 499887441 27969658880 31019 33554432000 4194304 4196468 140731436199088 140443340724976 140444148832898 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28446720 140731436204778 140731436205206 140731436205206 140731436208079 0 [pid=28505/tid=28516] ppid=28502 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/28505/task/28516/stat : 28516 (java) S 28502 28502 28030 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 499887441 27969658880 31019 33554432000 4194304 4196468 140731436199088 140442075129504 140444148831957 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28446720 140731436204778 140731436205206 140731436205206 140731436208079 0 [pid=28505/tid=28517] ppid=28502 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/28505/task/28517/stat : 28517 (java) S 28502 28502 28030 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499887442 27969658880 31019 33554432000 4194304 4196468 140731436199088 140441806693616 140444148831957 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28446720 140731436204778 140731436205206 140731436205206 140731436208079 0 [pid=28505/tid=28518] ppid=28502 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/28505/task/28518/stat : 28518 (java) S 28502 28502 28030 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499887444 27969658880 31019 33554432000 4194304 4196468 140731436199088 140441432185296 140444148840347 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28446720 140731436204778 140731436205206 140731436205206 140731436208079 0 [pid=28505/tid=28519] ppid=28502 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/28505/task/28519/stat : 28519 (java) S 28502 28502 28030 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 20 0 499887444 27969658880 31019 33554432000 4194304 4196468 140731436199088 140443339671792 140444148832898 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28446720 140731436204778 140731436205206 140731436205206 140731436208079 0 [pid=28505/tid=28520] ppid=28502 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/28505/task/28520/stat : 28520 (java) R 28502 28502 28030 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 499887444 27969658880 31019 33554432000 4194304 4196468 140731436199088 140443338619248 140444148832898 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28446720 140731436204778 140731436205206 140731436205206 140731436208079 0 [pid=28505/tid=28521] ppid=28502 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/28505/task/28521/stat : 28521 (java) S 28502 28502 28030 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 499887444 27969658880 31019 33554432000 4194304 4196468 140731436199088 140443337566192 140444148832898 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28446720 140731436204778 140731436205206 140731436205206 140731436208079 0 [pid=28505/tid=28522] ppid=28502 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7 /proc/28505/task/28522/stat : 28522 (java) R 28502 28502 28030 0 -1 1077944384 476 0 0 0 2 0 0 0 20 0 20 0 499887444 27969658880 31019 33554432000 4194304 4196468 140731436199088 140443336513648 140444148832898 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28446720 140731436204778 140731436205206 140731436205206 140731436208079 0 [pid=28505/tid=28523] ppid=28502 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/28505/task/28523/stat : 28523 (java) S 28502 28502 28030 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 499887445 27969658880 31019 33554432000 4194304 4196468 140731436199088 140440934280160 140444148831957 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28446720 140731436204778 140731436205206 140731436205206 140731436208079 0 [pid=28505/tid=28524] ppid=28502 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/28505/task/28524/stat : 28524 (java) S 28502 28502 28030 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499887445 27969658880 31019 33554432000 4194304 4196468 140731436199088 140443335462064 140444148832898 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28446720 140731436204778 140731436205206 140731436205206 140731436208079 0 Current children cumulated CPU time: 0.24 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 125472 KiB [startup+0.310682 s]* /proc/loadavg: 7.49 6.53 3.54 2/211 28524 /proc/meminfo: memFree=25234996/32770688 swapFree=67001200/67108860 [pid=28502] ppid=28499 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/28502/stat : 28502 (scop.sh) S 28499 28502 28030 0 -1 4202496 557 319 0 0 0 0 0 0 20 0 1 0 499887436 115843072 349 33554432000 4194304 5098028 140735755133616 140735755130872 140085892944508 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 29126656 140735755141924 140735755142252 140735755142252 140735755145165 0 /proc/28502/statm: 28282 349 296 221 0 87 0 [pid=28505] ppid=28502 vsize=27314120 memory=127828 CPUtime=0.42 cores=0-7 /proc/28505/stat : 28505 (java) S 28502 28502 28030 0 -1 1077944320 11803 0 0 0 37 5 0 0 20 0 20 0 499887436 27969658880 31957 33554432000 4194304 4196468 140731436199088 140731436181632 140444148821751 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 28446720 140731436204778 140731436205206 140731436205206 140731436208079 0 /proc/28505/statm: 6828530 31957 3022 1 0 6790935 0 [pid=28505/tid=28506] ppid=28502 vsize=27314120 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/28505/task/28506/stat : 28506 (java) R 28502 28502 28030 0 -1 4202560 9356 0 0 0 25 4 0 0 20 0 20 0 499887437 27969658880 31957 33554432000 4194304 4196468 140731436199088 140444120646608 140444148843677 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28446720 140731436204778 140731436205206 140731436205206 140731436208079 0 [pid=28505/tid=28507] ppid=28502 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/28505/task/28507/stat : 28507 (java) S 28502 28502 28030 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 499887439 27969658880 31957 33554432000 4194304 4196468 140731436199088 140444153064464 140444148831957 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28446720 140731436204778 140731436205206 140731436205206 140731436208079 0 [pid=28505/tid=28508] ppid=28502 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/28505/task/28508/stat : 28508 (java) S 28502 28502 28030 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499887439 27969658880 31957 33554432000 4194304 4196468 140731436199088 140443967220880 140444148831957 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28446720 140731436204778 140731436205206 140731436205206 140731436208079 0 [pid=28505/tid=28509] ppid=28502 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/28505/task/28509/stat : 28509 (java) S 28502 28502 28030 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499887439 27969658880 31957 33554432000 4194304 4196468 140731436199088 140443966167824 140444148831957 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28446720 140731436204778 140731436205206 140731436205206 140731436208079 0 [pid=28505/tid=28510] ppid=28502 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/28505/task/28510/stat : 28510 (java) S 28502 28502 28030 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 499887439 27969658880 31957 33554432000 4194304 4196468 140731436199088 140443965115280 140444148831957 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28446720 140731436204778 140731436205206 140731436205206 140731436208079 0 [pid=28505/tid=28511] ppid=28502 vsize=27314120 memory=2244 CPUtime=0 cores=0-7 /proc/28505/task/28511/stat : 28511 (java) S 28502 28502 28030 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 499887439 27969658880 31957 33554432000 4194304 4196468 140731436199088 140443964062224 140444148831957 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28446720 140731436204778 140731436205206 140731436205206 140731436208079 0 [pid=28505/tid=28512] ppid=28502 vsize=27314120 memory=139981238662063 CPUtime=0 cores=0-7 /proc/28505/task/28512/stat : 28512 (java) S 28502 28502 28030 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 499887439 27969658880 31957 33554432000 4194304 4196468 140731436199088 140443963009680 140444148831957 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28446720 140731436204778 140731436205206 140731436205206 140731436208079 0 [pid=28505/tid=28513] ppid=28502 vsize=27314120 memory=139981238664368 CPUtime=0 cores=0-7 /proc/28505/task/28513/stat : 28513 (java) S 28502 28502 28030 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499887439 27969658880 31957 33554432000 4194304 4196468 140731436199088 140443961956624 140444148831957 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28446720 140731436204778 140731436205206 140731436205206 140731436208079 0 [pid=28505/tid=28514] ppid=28502 vsize=27314120 memory=139981238666672 CPUtime=0 cores=0-7 /proc/28505/task/28514/stat : 28514 (java) S 28502 28502 28030 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 499887439 27969658880 31957 33554432000 4194304 4196468 140731436199088 140443960904080 140444148831957 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28446720 140731436204778 140731436205206 140731436205206 140731436208079 0 [pid=28505/tid=28515] ppid=28502 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/28505/task/28515/stat : 28515 (java) S 28502 28502 28030 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 499887441 27969658880 31957 33554432000 4194304 4196468 140731436199088 140443340724976 140444148832898 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28446720 140731436204778 140731436205206 140731436205206 140731436208079 0 [pid=28505/tid=28516] ppid=28502 vsize=27314120 memory=279962477340304 CPUtime=0 cores=0-7 /proc/28505/task/28516/stat : 28516 (java) S 28502 28502 28030 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 499887441 27969658880 31957 33554432000 4194304 4196468 140731436199088 140442075129504 140444148831957 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28446720 140731436204778 140731436205206 140731436205206 140731436208079 0 [pid=28505/tid=28517] ppid=28502 vsize=27314120 memory=279962477347216 CPUtime=0 cores=0-7 /proc/28505/task/28517/stat : 28517 (java) S 28502 28502 28030 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499887442 27969658880 31957 33554432000 4194304 4196468 140731436199088 140441806693616 140444148831957 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28446720 140731436204778 140731436205206 140731436205206 140731436208079 0 [pid=28505/tid=28518] ppid=28502 vsize=27314120 memory=279962477288464 CPUtime=0 cores=0-7 /proc/28505/task/28518/stat : 28518 (java) S 28502 28502 28030 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499887444 27969658880 31957 33554432000 4194304 4196468 140731436199088 140441432185296 140444148840347 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28446720 140731436204778 140731436205206 140731436205206 140731436208079 0 [pid=28505/tid=28519] ppid=28502 vsize=27314120 memory=279962477361040 CPUtime=0.01 cores=0-7 /proc/28505/task/28519/stat : 28519 (java) R 28502 28502 28030 0 -1 4202560 421 0 0 0 1 0 0 0 20 0 20 0 499887444 27969658880 31957 33554432000 4194304 4196468 140731436199088 140443339671792 140444126698960 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28446720 140731436204778 140731436205206 140731436205206 140731436208079 0 [pid=28505/tid=28520] ppid=28502 vsize=27314120 memory=279962477367952 CPUtime=0.02 cores=0-7 /proc/28505/task/28520/stat : 28520 (java) S 28502 28502 28030 0 -1 1077944384 56 0 0 0 2 0 0 0 20 0 20 0 499887444 27969658880 31957 33554432000 4194304 4196468 140731436199088 140443338619248 140444148832898 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28446720 140731436204778 140731436205206 140731436205206 140731436208079 0 [pid=28505/tid=28521] ppid=28502 vsize=27314120 memory=279962477365648 CPUtime=0 cores=0-7 /proc/28505/task/28521/stat : 28521 (java) S 28502 28502 28030 0 -1 1077944384 134 0 0 0 0 0 0 0 20 0 20 0 499887444 27969658880 31957 33554432000 4194304 4196468 140731436199088 140443337566192 140444148832898 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28446720 140731436204778 140731436205206 140731436205206 140731436208079 0 [pid=28505/tid=28522] ppid=28502 vsize=27314120 memory=279962477381808 CPUtime=0.07 cores=0-7 /proc/28505/task/28522/stat : 28522 (java) S 28502 28502 28030 0 -1 1077944384 499 0 0 0 7 0 0 0 20 0 20 0 499887444 27969658880 31957 33554432000 4194304 4196468 140731436199088 140443336513648 140444148832898 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28446720 140731436204778 140731436205206 140731436205206 140731436208079 0 [pid=28505/tid=28523] ppid=28502 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/28505/task/28523/stat : 28523 (java) S 28502 28502 28030 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 499887445 27969658880 31957 33554432000 4194304 4196468 140731436199088 140440934280160 140444148831957 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28446720 140731436204778 140731436205206 140731436205206 140731436208079 0 [pid=28505/tid=28524] ppid=28502 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/28505/task/28524/stat : 28524 (java) S 28502 28502 28030 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499887445 27969658880 31957 33554432000 4194304 4196468 140731436199088 140443335462064 140444148832898 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28446720 140731436204778 140731436205206 140731436205206 140731436208079 0 Current children cumulated CPU time: 0.42 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 129224 KiB [startup+0.700947 s] /proc/loadavg: 7.49 6.53 3.54 2/211 28524 /proc/meminfo: memFree=25227348/32770688 swapFree=67001200/67108860 [pid=28502] ppid=28499 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/28502/stat : 28502 (scop.sh) S 28499 28502 28030 0 -1 4202496 557 319 0 0 0 0 0 0 20 0 1 0 499887436 115843072 349 33554432000 4194304 5098028 140735755133616 140735755130872 140085892944508 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 29126656 140735755141924 140735755142252 140735755142252 140735755145165 0 /proc/28502/statm: 28282 349 296 221 0 87 0 [pid=28505] ppid=28502 vsize=27320392 memory=159804 CPUtime=0.91 cores=0-7 /proc/28505/stat : 28505 (java) S 28502 28502 28030 0 -1 1077944320 19012 0 0 0 83 8 0 0 20 0 20 0 499887436 27976081408 39951 33554432000 4194304 4196468 140731436199088 140731436181632 140444148821751 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 28446720 140731436204778 140731436205206 140731436205206 140731436208079 0 /proc/28505/statm: 6830098 39951 3160 1 0 6791447 0 [pid=28505/tid=28506] ppid=28502 vsize=27320392 memory=279962477739696 CPUtime=0.67 cores=0-7 /proc/28505/task/28506/stat : 28506 (java) R 28502 28502 28030 0 -1 4202560 16413 0 0 0 61 6 0 0 20 0 20 0 499887437 27976081408 39951 33554432000 4194304 4196468 140731436199088 140444120647496 140444148843677 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28446720 140731436204778 140731436205206 140731436205206 140731436208079 0 [pid=28505/tid=28507] ppid=28502 vsize=27320392 memory=139981238870896 CPUtime=0 cores=0-7 /proc/28505/task/28507/stat : 28507 (java) S 28502 28502 28030 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 499887439 27976081408 39951 33554432000 4194304 4196468 140731436199088 140444153064464 140444148831957 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28446720 140731436204778 140731436205206 140731436205206 140731436208079 0 [pid=28505/tid=28508] ppid=28502 vsize=27320392 memory=0 CPUtime=0 cores=0-7 /proc/28505/task/28508/stat : 28508 (java) S 28502 28502 28030 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499887439 27976081408 39951 33554432000 4194304 4196468 140731436199088 140443967220880 140444148831957 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28446720 140731436204778 140731436205206 140731436205206 140731436208079 0 [pid=28505/tid=28509] ppid=28502 vsize=27320392 memory=2832 CPUtime=0 cores=0-7 /proc/28505/task/28509/stat : 28509 (java) S 28502 28502 28030 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499887439 27976081408 39951 33554432000 4194304 4196468 140731436199088 140443966167824 140444148831957 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28446720 140731436204778 140731436205206 140731436205206 140731436208079 0 ################ # More data... # ################ [pid=28528/tid=28543] ppid=28502 vsize=8414124 memory=1 CPUtime=0.07 cores=0-7 /proc/28528/task/28543/stat : 28543 (java) S 28502 28502 28030 0 -1 1077944384 297 0 0 0 7 0 0 0 20 0 24 0 499892558 8616062976 29564 33554432000 4194304 4196468 140735706016144 140650592291056 140651165305474 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17309696 140735706022903 140735706023062 140735706023062 140735706025935 0 [pid=28528/tid=28544] ppid=28502 vsize=8414124 memory=0 CPUtime=0.06 cores=0-7 /proc/28528/task/28544/stat : 28544 (java) S 28502 28502 28030 0 -1 1077944384 182 0 0 0 6 0 0 0 20 0 24 0 499892558 8616062976 29564 33554432000 4194304 4196468 140735706016144 140650591238256 140651165305474 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17309696 140735706022903 140735706023062 140735706023062 140735706025935 0 [pid=28528/tid=28545] ppid=28502 vsize=8414124 memory=2575 CPUtime=0.21 cores=0-7 /proc/28528/task/28545/stat : 28545 (java) S 28502 28502 28030 0 -1 1077944384 589 0 0 0 21 0 0 0 20 0 24 0 499892558 8616062976 29564 33554432000 4194304 4196468 140735706016144 140650590185456 140651165305474 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17309696 140735706022903 140735706023062 140735706023062 140735706025935 0 [pid=28528/tid=28546] ppid=28502 vsize=8414124 memory=2 CPUtime=0 cores=0-7 /proc/28528/task/28546/stat : 28546 (java) S 28502 28502 28030 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 499892558 8616062976 29564 33554432000 4194304 4196468 140735706016144 140648569105504 140651165304533 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17309696 140735706022903 140735706023062 140735706023062 140735706025935 0 [pid=28528/tid=28547] ppid=28502 vsize=8414124 memory=776 CPUtime=0 cores=0-7 /proc/28528/task/28547/stat : 28547 (java) S 28502 28502 28030 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 499892559 8616062976 29564 33554432000 4194304 4196468 140735706016144 140650589133872 140651165305474 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 10 0 0 6293624 6294260 17309696 140735706022903 140735706023062 140735706023062 140735706025935 0 [pid=28528/tid=28549] ppid=28502 vsize=8414124 memory=1241 CPUtime=0 cores=0-7 /proc/28528/task/28549/stat : 28549 (java) S 28502 28502 28030 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 499892632 8616062976 29564 33554432000 4194304 4196468 140735706016144 140650583291456 140651165318937 0 4 2 25189581 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 17309696 140735706022903 140735706023062 140735706023062 140735706025935 0 [pid=28528/tid=28551] ppid=28502 vsize=8414124 memory=272 CPUtime=0 cores=0-7 /proc/28528/task/28551/stat : 28551 (java) S 28502 28502 28030 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 499892633 8616062976 29564 33554432000 4194304 4196468 140735706016144 140647898005136 140651165316253 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 17309696 140735706022903 140735706023062 140735706023062 140735706025935 0 [pid=28528/tid=28552] ppid=28502 vsize=8414124 memory=288230574492221466 CPUtime=0 cores=0-7 /proc/28528/task/28552/stat : 28552 (java) S 28502 28502 28030 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 499892633 8616062976 29564 33554432000 4194304 4196468 140735706016144 140648166440464 140651165316253 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 17309696 140735706022903 140735706023062 140735706023062 140735706025935 0 [pid=28528/tid=28553] ppid=28502 vsize=8414124 memory=288230596050944315 CPUtime=0 cores=0-7 /proc/28528/task/28553/stat : 28553 (java) S 28502 28502 28030 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 499892635 8616062976 29564 33554432000 4194304 4196468 140735706016144 140647629577264 140651165304533 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17309696 140735706022903 140735706023062 140735706023062 140735706025935 0 Current children cumulated CPU time: 160.86 s Current children cumulated vsize: 9403104 KiB Current children cumulated memory: 731352 KiB [startup+64.0018 s]* /proc/loadavg: 4.83 5.86 3.49 8/223 28561 /proc/meminfo: memFree=24616024/32770688 swapFree=67001200/67108860 [pid=28502] ppid=28499 vsize=113128 memory=1476 CPUtime=75.03 cores=0-7 /proc/28502/stat : 28502 (scop.sh) S 28499 28502 28030 0 -1 4202496 583 58957 0 0 0 0 7137 366 20 0 1 0 499887436 115843072 369 33554432000 4194304 5098028 140735755133616 140735755130360 140085892944508 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 29126656 140735755141924 140735755142252 140735755142252 140735755145165 0 /proc/28502/statm: 28282 369 311 221 0 87 0 [pid=28528] ppid=28502 vsize=8414124 memory=118256 CPUtime=1.3 cores=0-7 /proc/28528/stat : 28528 (java) S 28502 28502 28030 0 -1 1077944320 20565 0 0 0 123 7 0 0 20 0 24 0 499892551 8616062976 29564 33554432000 4194304 4196468 140735706016144 140735705998688 140651165294327 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 17309696 140735706022903 140735706023062 140735706023062 140735706025935 0 /proc/28528/statm: 2103531 29564 3201 1 0 2064875 0 [pid=28548] ppid=28528 vsize=875852 memory=620052 CPUtime=90.98 cores=0-7 /proc/28548/stat : 28548 (manyglucose-4.1) S 28528 28502 28030 0 -1 1077944320 248000 0 0 0 9040 58 0 0 20 0 7 0 499892632 896872448 155013 33554432000 4194304 4454172 140721326355408 140721326353792 140007612956407 0 4 0 8388610 18446744073709551615 0 0 17 1 0 0 0 0 0 6552832 6554400 9125888 140721326363497 140721326363696 140721326363696 140721326366650 0 /proc/28548/statm: 218963 155013 420 64 0 214631 0 [pid=28548/tid=28554] ppid=28528 vsize=875852 memory=0 CPUtime=11.31 cores=0-7 /proc/28548/task/28554/stat : 28554 (manyglucose-4.1) R 28528 28502 28030 0 -1 4202560 27239 0 0 0 1127 4 0 0 20 0 7 0 499892697 896872448 155013 33554432000 4194304 4454172 140721326355408 140007588338472 4351800 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6552832 6554400 9125888 140721326363497 140721326363696 140721326363696 140721326366650 0 [pid=28548/tid=28555] ppid=28528 vsize=875852 memory=262392437071581 CPUtime=11.27 cores=0-7 /proc/28548/task/28555/stat : 28555 (manyglucose-4.1) R 28528 28502 28030 0 -1 4202560 27610 0 0 0 1118 9 0 0 20 0 7 0 499892697 896872448 155013 33554432000 4194304 4454172 140721326355408 140007579945832 4321882 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6552832 6554400 9125888 140721326363497 140721326363696 140721326363696 140721326366650 0 [pid=28548/tid=28556] ppid=28528 vsize=875852 memory=262392437071582 CPUtime=11.32 cores=0-7 /proc/28548/task/28556/stat : 28556 (manyglucose-4.1) R 28528 28502 28030 0 -1 4202560 23834 0 0 0 1128 4 0 0 20 0 7 0 499892697 896872448 155013 33554432000 4194304 4454172 140721326355408 140007571553064 4349922 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6552832 6554400 9125888 140721326363497 140721326363696 140721326363696 140721326366650 0 [pid=28548/tid=28557] ppid=28528 vsize=875852 memory=262392437071583 CPUtime=11.34 cores=0-7 /proc/28548/task/28557/stat : 28557 (manyglucose-4.1) R 28528 28502 28030 0 -1 4202560 26846 0 0 0 1127 7 0 0 20 0 7 0 499892697 896872448 155013 33554432000 4194304 4454172 140721326355408 140007563160504 4351769 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6552832 6554400 9125888 140721326363497 140721326363696 140721326363696 140721326366650 0 [pid=28548/tid=28559] ppid=28528 vsize=875852 memory=0 CPUtime=11.12 cores=0-7 /proc/28548/task/28559/stat : 28559 (manyglucose-4.1) R 28528 28502 28030 0 -1 4202560 23441 0 0 0 1104 8 0 0 20 0 7 0 499892697 896872448 155013 33554432000 4194304 4454172 140721326355408 140007525170104 4351209 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6552832 6554400 9125888 140721326363497 140721326363696 140721326363696 140721326366650 0 [pid=28548/tid=28561] ppid=28528 vsize=875852 memory=262392437071566 CPUtime=11.32 cores=0-7 /proc/28548/task/28561/stat : 28561 (manyglucose-4.1) R 28528 28502 28030 0 -1 4202560 27111 0 0 0 1128 4 0 0 20 0 7 0 499892697 896872448 155013 33554432000 4194304 4454172 140721326355408 140007508384696 4351769 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6552832 6554400 9125888 140721326363497 140721326363696 140721326363696 140721326366650 0 [pid=28528/tid=28529] ppid=28502 vsize=8414124 memory=7686721470367832731 CPUtime=0.84 cores=0-7 /proc/28528/task/28529/stat : 28529 (java) S 28502 28502 28030 0 -1 1077944384 17393 0 0 0 79 5 0 0 20 0 24 0 499892552 8616062976 29564 33554432000 4194304 4196468 140735706016144 140651137134496 140651165304533 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17309696 140735706022903 140735706023062 140735706023062 140735706025935 0 [pid=28528/tid=28530] ppid=28502 vsize=8414124 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/28528/task/28530/stat : 28530 (java) S 28502 28502 28030 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 499892553 8616062976 29564 33554432000 4194304 4196468 140735706016144 140651169537168 140651165304533 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17309696 140735706022903 140735706023062 140735706023062 140735706025935 0 [pid=28528/tid=28531] ppid=28502 vsize=8414124 memory=7234300893467403625 CPUtime=0 cores=0-7 /proc/28528/task/28531/stat : 28531 (java) S 28502 28502 28030 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 499892553 8616062976 29564 33554432000 4194304 4196468 140735706016144 140650987625488 140651165304533 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17309696 140735706022903 140735706023062 140735706023062 140735706025935 0 [pid=28528/tid=28532] ppid=28502 vsize=8414124 memory=5794280470319621223 CPUtime=0 cores=0-7 /proc/28528/task/28532/stat : 28532 (java) S 28502 28502 28030 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 499892553 8616062976 29564 33554432000 4194304 4196468 140735706016144 140650986572688 140651165304533 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17309696 140735706022903 140735706023062 140735706023062 140735706025935 0 [pid=28528/tid=28533] ppid=28502 vsize=8414124 memory=7667495353652302441 CPUtime=0 cores=0-7 /proc/28528/task/28533/stat : 28533 (java) S 28502 28502 28030 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 499892553 8616062976 29564 33554432000 4194304 4196468 140735706016144 140650648337168 140651165304533 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17309696 140735706022903 140735706023062 140735706023062 140735706025935 0 [pid=28528/tid=28534] ppid=28502 vsize=8414124 memory=5782182770637629010 CPUtime=0 cores=0-7 /proc/28528/task/28534/stat : 28534 (java) S 28502 28502 28030 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 499892553 8616062976 29564 33554432000 4194304 4196468 140735706016144 140650647284368 140651165304533 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17309696 140735706022903 140735706023062 140735706023062 140735706025935 0 [pid=28528/tid=28535] ppid=28502 vsize=8414124 memory=7307466798662510162 CPUtime=0 cores=0-7 /proc/28528/task/28535/stat : 28535 (java) S 28502 28502 28030 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 499892553 8616062976 29564 33554432000 4194304 4196468 140735706016144 140650646231568 140651165304533 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17309696 140735706022903 140735706023062 140735706023062 140735706025935 0 [pid=28528/tid=28536] ppid=28502 vsize=8414124 memory=-7253770222354733486 CPUtime=0 cores=0-7 /proc/28528/task/28536/stat : 28536 (java) S 28502 28502 28030 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 499892553 8616062976 29564 33554432000 4194304 4196468 140735706016144 140650645178768 140651165304533 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17309696 140735706022903 140735706023062 140735706023062 140735706025935 0 [pid=28528/tid=28537] ppid=28502 vsize=8414124 memory=21 CPUtime=0 cores=0-7 /proc/28528/task/28537/stat : 28537 (java) S 28502 28502 28030 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 499892553 8616062976 29564 33554432000 4194304 4196468 140735706016144 140650644125968 140651165304533 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17309696 140735706022903 140735706023062 140735706023062 140735706025935 0 [pid=28528/tid=28538] ppid=28502 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/28528/task/28538/stat : 28538 (java) S 28502 28502 28030 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 499892555 8616062976 29564 33554432000 4194304 4196468 140735706016144 140650594397040 140651165305474 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17309696 140735706022903 140735706023062 140735706023062 140735706025935 0 [pid=28528/tid=28539] ppid=28502 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/28528/task/28539/stat : 28539 (java) S 28502 28502 28030 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 499892555 8616062976 29564 33554432000 4194304 4196468 140735706016144 140649575736864 140651165304533 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17309696 140735706022903 140735706023062 140735706023062 140735706025935 0 [pid=28528/tid=28540] ppid=28502 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/28528/task/28540/stat : 28540 (java) S 28502 28502 28030 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 499892555 8616062976 29564 33554432000 4194304 4196468 140735706016144 140649441514864 140651165304533 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17309696 140735706022903 140735706023062 140735706023062 140735706025935 0 [pid=28528/tid=28541] ppid=28502 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/28528/task/28541/stat : 28541 (java) S 28502 28502 28030 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 499892558 8616062976 29564 33554432000 4194304 4196468 140735706016144 140649067010384 140651165312923 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17309696 140735706022903 140735706023062 140735706023062 140735706025935 0 [pid=28528/tid=28542] ppid=28502 vsize=8414124 memory=0 CPUtime=0.06 cores=0-7 /proc/28528/task/28542/stat : 28542 (java) S 28502 28502 28030 0 -1 1077944384 686 0 0 0 6 0 0 0 20 0 24 0 499892558 8616062976 29564 33554432000 4194304 4196468 140735706016144 140650593343856 140651165305474 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17309696 140735706022903 140735706023062 140735706023062 140735706025935 0 [pid=28528/tid=28543] ppid=28502 vsize=8414124 memory=0 CPUtime=0.07 cores=0-7 /proc/28528/task/28543/stat : 28543 (java) S 28502 28502 28030 0 -1 1077944384 297 0 0 0 7 0 0 0 20 0 24 0 499892558 8616062976 29564 33554432000 4194304 4196468 140735706016144 140650592291056 140651165305474 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17309696 140735706022903 140735706023062 140735706023062 140735706025935 0 [pid=28528/tid=28544] ppid=28502 vsize=8414124 memory=6 CPUtime=0.06 cores=0-7 /proc/28528/task/28544/stat : 28544 (java) S 28502 28502 28030 0 -1 1077944384 182 0 0 0 6 0 0 0 20 0 24 0 499892558 8616062976 29564 33554432000 4194304 4196468 140735706016144 140650591238256 140651165305474 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17309696 140735706022903 140735706023062 140735706023062 140735706025935 0 [pid=28528/tid=28545] ppid=28502 vsize=8414124 memory=21 CPUtime=0.21 cores=0-7 /proc/28528/task/28545/stat : 28545 (java) S 28502 28502 28030 0 -1 1077944384 589 0 0 0 21 0 0 0 20 0 24 0 499892558 8616062976 29564 33554432000 4194304 4196468 140735706016144 140650590185456 140651165305474 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17309696 140735706022903 140735706023062 140735706023062 140735706025935 0 [pid=28528/tid=28546] ppid=28502 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/28528/task/28546/stat : 28546 (java) S 28502 28502 28030 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 499892558 8616062976 29564 33554432000 4194304 4196468 140735706016144 140648569105504 140651165304533 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17309696 140735706022903 140735706023062 140735706023062 140735706025935 0 [pid=28528/tid=28547] ppid=28502 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/28528/task/28547/stat : 28547 (java) S 28502 28502 28030 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 499892559 8616062976 29564 33554432000 4194304 4196468 140735706016144 140650589133872 140651165305474 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 10 0 0 6293624 6294260 17309696 140735706022903 140735706023062 140735706023062 140735706025935 0 [pid=28528/tid=28549] ppid=28502 vsize=8414124 memory=1396 CPUtime=0 cores=0-7 /proc/28528/task/28549/stat : 28549 (java) S 28502 28502 28030 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 499892632 8616062976 29564 33554432000 4194304 4196468 140735706016144 140650583291456 140651165318937 0 4 2 25189581 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 17309696 140735706022903 140735706023062 140735706023062 140735706025935 0 [pid=28528/tid=28551] ppid=28502 vsize=8414124 memory=6490860 CPUtime=0 cores=0-7 /proc/28528/task/28551/stat : 28551 (java) S 28502 28502 28030 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 499892633 8616062976 29564 33554432000 4194304 4196468 140735706016144 140647898005136 140651165316253 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 17309696 140735706022903 140735706023062 140735706023062 140735706025935 0 [pid=28528/tid=28552] ppid=28502 vsize=8414124 memory=6628 CPUtime=0 cores=0-7 /proc/28528/task/28552/stat : 28552 (java) S 28502 28502 28030 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 499892633 8616062976 29564 33554432000 4194304 4196468 140735706016144 140648166440464 140651165316253 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 17309696 140735706022903 140735706023062 140735706023062 140735706025935 0 [pid=28528/tid=28553] ppid=28502 vsize=8414124 memory=8836 CPUtime=0 cores=0-7 /proc/28528/task/28553/stat : 28553 (java) S 28502 28502 28030 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 499892635 8616062976 29564 33554432000 4194304 4196468 140735706016144 140647629577264 140651165304533 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17309696 140735706022903 140735706023062 140735706023062 140735706025935 0 Current children cumulated CPU time: 167.31 s Current children cumulated vsize: 9403104 KiB Current children cumulated memory: 739784 KiB [startup+64.4013 s] /proc/loadavg: 4.83 5.86 3.49 8/223 28561 /proc/meminfo: memFree=24616024/32770688 swapFree=67001200/67108860 [pid=28502] ppid=28499 vsize=113128 memory=1476 CPUtime=75.03 cores=0-7 /proc/28502/stat : 28502 (scop.sh) S 28499 28502 28030 0 -1 4202496 583 58957 0 0 0 0 7137 366 20 0 1 0 499887436 115843072 369 33554432000 4194304 5098028 140735755133616 140735755130360 140085892944508 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 29126656 140735755141924 140735755142252 140735755142252 140735755145165 0 /proc/28502/statm: 28282 369 311 221 0 87 0 [pid=28528] ppid=28502 vsize=8414124 memory=118256 CPUtime=1.3 cores=0-7 /proc/28528/stat : 28528 (java) S 28502 28502 28030 0 -1 1077944320 20565 0 0 0 123 7 0 0 20 0 24 0 499892551 8616062976 29564 33554432000 4194304 4196468 140735706016144 140735705998688 140651165294327 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 17309696 140735706022903 140735706023062 140735706023062 140735706025935 0 /proc/28528/statm: 2103531 29564 3201 1 0 2064875 0 [pid=28548] ppid=28528 vsize=875852 memory=620420 CPUtime=92.27 cores=0-7 /proc/28548/stat : 28548 (manyglucose-4.1) S 28528 28502 28030 0 -1 1077944320 248060 0 0 0 9169 58 0 0 20 0 2 0 499892632 896872448 155105 33554432000 4194304 4454172 140721326355408 140721326353792 140007612956407 0 4 0 8388610 18446744073709551615 0 0 17 1 0 0 0 0 0 6552832 6554400 9125888 140721326363497 140721326363696 140721326363696 140721326366650 0 /proc/28548/statm: 218963 155105 420 64 0 214631 0 [pid=28548/tid=28555] ppid=28528 vsize=875852 memory=496 CPUtime=11.66 cores=0-7 /proc/28548/task/28555/stat : 28555 (manyglucose-4.1) R 28528 28502 28030 0 -1 4202560 27633 0 0 0 1157 9 0 0 20 0 2 0 499892697 896872448 155105 33554432000 4194304 4454172 140721326355408 140007579946072 4351289 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6552832 6554400 9125888 140721326363497 140721326363696 140721326363696 140721326366650 0 [pid=28528/tid=28529] ppid=28502 vsize=8414124 memory=1556 CPUtime=0.84 cores=0-7 /proc/28528/task/28529/stat : 28529 (java) S 28502 28502 28030 0 -1 1077944384 17393 0 0 0 79 5 0 0 20 0 24 0 499892552 8616062976 29564 33554432000 4194304 4196468 140735706016144 140651137134496 140651165304533 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17309696 140735706022903 140735706023062 140735706023062 140735706025935 0 [pid=28528/tid=28530] ppid=28502 vsize=8414124 memory=928 CPUtime=0 cores=0-7 /proc/28528/task/28530/stat : 28530 (java) S 28502 28502 28030 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 499892553 8616062976 29564 33554432000 4194304 4196468 140735706016144 140651169537168 140651165304533 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17309696 140735706022903 140735706023062 140735706023062 140735706025935 0 [pid=28528/tid=28531] ppid=28502 vsize=8414124 memory=1620 CPUtime=0 cores=0-7 /proc/28528/task/28531/stat : 28531 (java) S 28502 28502 28030 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 499892553 8616062976 29564 33554432000 4194304 4196468 140735706016144 140650987625488 140651165304533 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17309696 140735706022903 140735706023062 140735706023062 140735706025935 0 [pid=28528/tid=28532] ppid=28502 vsize=8414124 memory=780 CPUtime=0 cores=0-7 /proc/28528/task/28532/stat : 28532 (java) S 28502 28502 28030 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 499892553 8616062976 29564 33554432000 4194304 4196468 140735706016144 140650986572688 140651165304533 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17309696 140735706022903 140735706023062 140735706023062 140735706025935 0 [pid=28528/tid=28533] ppid=28502 vsize=8414124 memory=1444 CPUtime=0 cores=0-7 /proc/28528/task/28533/stat : 28533 (java) S 28502 28502 28030 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 499892553 8616062976 29564 33554432000 4194304 4196468 140735706016144 140650648337168 140651165304533 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17309696 140735706022903 140735706023062 140735706023062 140735706025935 0 [pid=28528/tid=28534] ppid=28502 vsize=8414124 memory=56 CPUtime=0 cores=0-7 /proc/28528/task/28534/stat : 28534 (java) S 28502 28502 28030 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 499892553 8616062976 29564 33554432000 4194304 4196468 140735706016144 140650647284368 140651165304533 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17309696 140735706022903 140735706023062 140735706023062 140735706025935 0 [pid=28528/tid=28535] ppid=28502 vsize=8414124 memory=9352 CPUtime=0 cores=0-7 /proc/28528/task/28535/stat : 28535 (java) S 28502 28502 28030 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 499892553 8616062976 29564 33554432000 4194304 4196468 140735706016144 140650646231568 140651165304533 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17309696 140735706022903 140735706023062 140735706023062 140735706025935 0 [pid=28528/tid=28536] ppid=28502 vsize=8414124 memory=1476 CPUtime=0 cores=0-7 /proc/28528/task/28536/stat : 28536 (java) S 28502 28502 28030 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 499892553 8616062976 29564 33554432000 4194304 4196468 140735706016144 140650645178768 140651165304533 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17309696 140735706022903 140735706023062 140735706023062 140735706025935 0 [pid=28528/tid=28537] ppid=28502 vsize=8414124 memory=118256 CPUtime=0 cores=0-7 /proc/28528/task/28537/stat : 28537 (java) S 28502 28502 28030 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 499892553 8616062976 29564 33554432000 4194304 4196468 140735706016144 140650644125968 140651165304533 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17309696 140735706022903 140735706023062 140735706023062 140735706025935 0 [pid=28528/tid=28538] ppid=28502 vsize=8414124 memory=588100 CPUtime=0 cores=0-7 /proc/28528/task/28538/stat : 28538 (java) S 28502 28502 28030 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 499892555 8616062976 29564 33554432000 4194304 4196468 140735706016144 140650594397040 140651165305474 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17309696 140735706022903 140735706023062 140735706023062 140735706025935 0 [pid=28528/tid=28539] ppid=28502 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/28528/task/28539/stat : 28539 (java) S 28502 28502 28030 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 499892555 8616062976 29564 33554432000 4194304 4196468 140735706016144 140649575736864 140651165304533 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17309696 140735706022903 140735706023062 140735706023062 140735706025935 0 [pid=28528/tid=28540] ppid=28502 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/28528/task/28540/stat : 28540 (java) S 28502 28502 28030 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 499892555 8616062976 29564 33554432000 4194304 4196468 140735706016144 140649441514864 140651165304533 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17309696 140735706022903 140735706023062 140735706023062 140735706025935 0 [pid=28528/tid=28541] ppid=28502 vsize=8414124 memory=245139553443570 CPUtime=0 cores=0-7 /proc/28528/task/28541/stat : 28541 (java) S 28502 28502 28030 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 499892558 8616062976 29564 33554432000 4194304 4196468 140735706016144 140649067010384 140651165312923 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17309696 140735706022903 140735706023062 140735706023062 140735706025935 0 [pid=28528/tid=28542] ppid=28502 vsize=8414124 memory=304329426311848794 CPUtime=0.06 cores=0-7 /proc/28528/task/28542/stat : 28542 (java) S 28502 28502 28030 0 -1 1077944384 686 0 0 0 6 0 0 0 20 0 24 0 499892558 8616062976 29564 33554432000 4194304 4196468 140735706016144 140650593343856 140651165305474 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17309696 140735706022903 140735706023062 140735706023062 140735706025935 0 [pid=28528/tid=28543] ppid=28502 vsize=8414124 memory=14409315452733448 CPUtime=0.07 cores=0-7 /proc/28528/task/28543/stat : 28543 (java) S 28502 28502 28030 0 -1 1077944384 297 0 0 0 7 0 0 0 20 0 24 0 499892558 8616062976 29564 33554432000 4194304 4196468 140735706016144 140650592291056 140651165305474 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17309696 140735706022903 140735706023062 140735706023062 140735706025935 0 [pid=28528/tid=28544] ppid=28502 vsize=8414124 memory=245173913181946 CPUtime=0.06 cores=0-7 /proc/28528/task/28544/stat : 28544 (java) S 28502 28502 28030 0 -1 1077944384 182 0 0 0 6 0 0 0 20 0 24 0 499892558 8616062976 29564 33554432000 4194304 4196468 140735706016144 140650591238256 140651165305474 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17309696 140735706022903 140735706023062 140735706023062 140735706025935 0 [pid=28528/tid=28545] ppid=28502 vsize=8414124 memory=0 CPUtime=0.21 cores=0-7 /proc/28528/task/28545/stat : 28545 (java) S 28502 28502 28030 0 -1 1077944384 589 0 0 0 21 0 0 0 20 0 24 0 499892558 8616062976 29564 33554432000 4194304 4196468 140735706016144 140650590185456 140651165305474 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17309696 140735706022903 140735706023062 140735706023062 140735706025935 0 [pid=28528/tid=28546] ppid=28502 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/28528/task/28546/stat : 28546 (java) S 28502 28502 28030 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 499892558 8616062976 29564 33554432000 4194304 4196468 140735706016144 140648569105504 140651165304533 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17309696 140735706022903 140735706023062 140735706023062 140735706025935 0 [pid=28528/tid=28547] ppid=28502 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/28528/task/28547/stat : 28547 (java) S 28502 28502 28030 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 499892559 8616062976 29564 33554432000 4194304 4196468 140735706016144 140650589133872 140651165305474 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 10 0 0 6293624 6294260 17309696 140735706022903 140735706023062 140735706023062 140735706025935 0 [pid=28528/tid=28549] ppid=28502 vsize=8414124 memory=462140 CPUtime=0 cores=0-7 /proc/28528/task/28549/stat : 28549 (java) S 28502 28502 28030 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 499892632 8616062976 29564 33554432000 4194304 4196468 140735706016144 140650583291456 140651165318937 0 4 2 25189581 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 17309696 140735706022903 140735706023062 140735706023062 140735706025935 0 [pid=28528/tid=28551] ppid=28502 vsize=8414124 memory=7686721470367832731 CPUtime=0 cores=0-7 /proc/28528/task/28551/stat : 28551 (java) S 28502 28502 28030 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 499892633 8616062976 29564 33554432000 4194304 4196468 140735706016144 140647898005136 140651165316253 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 17309696 140735706022903 140735706023062 140735706023062 140735706025935 0 [pid=28528/tid=28552] ppid=28502 vsize=8414124 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/28528/task/28552/stat : 28552 (java) S 28502 28502 28030 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 499892633 8616062976 29564 33554432000 4194304 4196468 140735706016144 140648166440464 140651165316253 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 17309696 140735706022903 140735706023062 140735706023062 140735706025935 0 [pid=28528/tid=28553] ppid=28502 vsize=8414124 memory=118256 CPUtime=0 cores=0-7 /proc/28528/task/28553/stat : 28553 (java) S 28502 28502 28030 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 499892635 8616062976 29564 33554432000 4194304 4196468 140735706016144 140647629577264 140651165304533 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17309696 140735706022903 140735706023062 140735706023062 140735706025935 0 Current children cumulated CPU time: 168.6 s Current children cumulated vsize: 9403104 KiB Current children cumulated memory: 740152 KiB Child status: 0 Real time (s): 64.4873 CPU time (s): 168.791 CPU user time (s): 164.436 CPU system time (s): 4.35475 CPU usage (%): 261.743 Max. virtual memory (cumulated for all children) (KiB): 27443924 Max. memory (cumulated for all children) (KiB): 6796004 getrusage(RUSAGE_CHILDREN,...) data: user time used= 164.436 system time used= 4.35475 maximum resident set size= 6794872 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 328515 page faults= 0 swaps= 0 block input operations= 0 block output operations= 20440 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 18054 involuntary context switches= 1136 # summary of solver processes directly reported to runsolver: # pid: 28502 # total CPU time (s): 168.791 # total CPU user time (s): 164.436 # total CPU system time (s): 4.35475 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.672004 second user time and 0.650023 second system time The end
Begin job on node116 at 2019-09-23 13:50:17 IDJOB=4405464 IDBENCH=122716 IDSOLVER=2868 FILE ID=node116/4405464-1569239458 RUNJOBID= node116-1569238589-28057 PBS_JOBID= 21704912 Free space on /tmp= 6528 MiB SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-09-22) BENCH NAME= XCSP17/Random/Random-D-t090/rand-2-40-180-84-090-90.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-4405464-1569239458/watcher-4405464-1569239458 -o /tmp/evaluation-result-4405464-1569239458/solver-4405464-1569239458 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node116-1569238589-28057 --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-4405464-1569239458.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= b787e2fb655876ad1ad352aa15cc79d3 RANDOM SEED=2008324969 node116.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.12 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.12 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.12 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.12 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 : 5332.55 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 : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 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 : 5332.55 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 : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770688 kB MemFree: 25352232 kB MemAvailable: 31841892 kB Buffers: 84612 kB Cached: 6568864 kB SwapCached: 3404 kB Active: 3312608 kB Inactive: 3347664 kB Active(anon): 7940 kB Inactive(anon): 54656 kB Active(file): 3304668 kB Inactive(file): 3293008 kB Unevictable: 108828 kB Mlocked: 108828 kB SwapTotal: 67108860 kB SwapFree: 67001200 kB Dirty: 22572 kB Writeback: 0 kB AnonPages: 117048 kB Mapped: 55444 kB Shmem: 47704 kB Slab: 349860 kB SReclaimable: 320444 kB SUnreclaim: 29416 kB KernelStack: 3568 kB PageTables: 5620 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494204 kB Committed_AS: 514228 kB VmallocTotal: 34359738367 kB VmallocUsed: 350212 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 71680 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 116160 kB DirectMap2M: 33429504 kB Free space on /tmp at the end= 6508 MiB End job on node116 at 2019-09-23 13:51:21