Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
Fun-sCOP order+ManyGlucose (2019-09-22) | UNSAT | 158.166 | 58.6441 |
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 -order -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-9752-serial-file.bin HOME/instance-4405164-1569239429.xml 0.65/0.54 0.65/0.54 Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15) 0.65/0.54 0.65/0.57 c BEGIN-Prog: Mon Sep 23 13:49:31 CEST 2019 0.65/0.57 c PID: 9755 0.65/0.57 c IP: 172.20.3.103 0.65/0.57 c HOST: node103.alineos.net 0.65/0.58 c (0,0) Parsing Begin 2.57/1.40 c (0,0) Parsing End 2.86/1.40 c (0,0) CSP: 40 int (0 aux), 0 bool (0 aux), 84 ctr, max domain size 180 2.86/1.40 c (0,0) Heap : 563 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB) 2.86/1.40 c (0,0) Constraint Name Generate Begin 2.86/1.41 c (0,0) Ctr:HOME/instance-4405164-1569239429.xml,ExtensionSupport:Var 2.86/1.41 c (0,0) Constraint Name Generate End 2.86/1.41 c (0,0) Heap : 563 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB) 2.86/1.41 c (0,0) CSP to CSPinCNF Begin 13.89/5.10 c (4,4) translated 9 (10%) constraints 17.82/7.71 c (7,6) translated 17 (20%) constraints 21.41/10.66 c (10,9) translated 26 (30%) constraints 24.28/13.20 c (12,12) translated 34 (40%) constraints 28.74/16.01 c (15,15) translated 42 (50%) constraints 31.44/18.80 c (18,17) translated 51 (60%) constraints 33.90/21.20 c (20,20) translated 59 (70%) constraints 36.72/23.93 c (23,22) translated 68 (80%) constraints 39.13/26.37 c (25,25) translated 76 (90%) constraints 41.69/28.80 c (28,27) translated 84 (100%) constraints 41.91/29.10 c (28,28) =========================================== 42.01/29.11 c (28,28) Order 42.01/29.11 c (28,28) =========================================== 43.47/30.01 c (29,29) translated 51534 (10%) constraints 47.29/31.24 c (30,29) translated 103068 (20%) constraints 48.10/32.08 c (31,30) translated 154601 (30%) constraints 49.01/32.91 c (32,31) translated 206135 (40%) constraints 49.81/33.75 c (33,32) translated 257668 (50%) constraints 50.62/34.59 c (34,33) translated 309202 (60%) constraints 51.52/35.43 c (34,34) translated 360736 (70%) constraints 52.33/36.27 c (35,34) translated 412269 (80%) constraints 53.24/37.11 c (36,35) translated 463803 (90%) constraints 54.08/37.96 c (37,36) translated 515336 (100%) constraints 54.08/37.96 c (37,36) CSP to CSPinCNF End 54.08/37.97 c (37,36) CSP: 40 int (0 aux), 15120 bool (15120 aux), 515336 ctr, max domain size 180 54.08/37.97 c (37,36) Heap : 2595 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB) 54.08/37.97 c (37,36) CSPinCNF Propagation Begin 56.71/39.99 c (39,38) 0 values, 84 unsatisfiable literals, and 0 valid clauses are removed 56.71/39.99 c (39,38) CSPinCNF Propagation End 56.71/40.00 c (39,38) CSP: 40 int (0 aux), 15120 bool (15120 aux), 515336 ctr, max domain size 180 56.71/40.00 c (39,38) Heap : 4958 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB) 56.71/40.00 c (39,38) Simplify CSPinCNF Begin 57.63/40.71 c (40,39) Simplify CSPinCNF End 57.63/40.71 c (40,39) CSP: 40 int (0 aux), 15120 bool (15120 aux), 515336 ctr, max domain size 180 57.63/40.71 c (40,39) Heap : 5402 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB) 57.63/40.71 c (40,39) Calculate Precise Domain Begin 57.63/40.72 c (40,39) 0 values are removed by re-calculation 57.63/40.72 c (40,39) Calculate Precise Domain End 57.63/40.72 c (40,39) CSP: 40 int (0 aux), 15120 bool (15120 aux), 515336 ctr, max domain size 180 57.63/40.72 c (40,39) Heap : 5402 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB) 57.63/40.72 c (40,39) CSPinCNF to SatSolver Begin 60.21/41.54 c (40,40) 51534 (10 %) CSP clauses are encoded (0 SAT variables, 58653 SAT clauses) 63.05/42.27 c (41,40) 103068 (20 %) CSP clauses are encoded (0 SAT variables, 110187 SAT clauses) 63.46/42.66 c (42,40) 154601 (30 %) CSP clauses are encoded (0 SAT variables, 161720 SAT clauses) 63.88/43.06 c (42,41) 206135 (40 %) CSP clauses are encoded (0 SAT variables, 213254 SAT clauses) 64.28/43.45 c (42,41) 257668 (50 %) CSP clauses are encoded (0 SAT variables, 264787 SAT clauses) 64.69/43.85 c (43,42) 309202 (60 %) CSP clauses are encoded (0 SAT variables, 316321 SAT clauses) 65.09/44.24 c (43,42) 360736 (70 %) CSP clauses are encoded (0 SAT variables, 367855 SAT clauses) 65.48/44.66 c (44,42) 412269 (80 %) CSP clauses are encoded (0 SAT variables, 419388 SAT clauses) 65.90/45.06 c (44,43) 463803 (90 %) CSP clauses are encoded (0 SAT variables, 470922 SAT clauses) 66.29/45.48 c (44,43) 515336 (100 %) CSP clauses are encoded (0 SAT variables, 522455 SAT clauses) 66.29/45.48 c (44,43) CSPinCNF to SatSolver End 66.29/45.48 c (44,43) Heap : 3654 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB) 66.29/45.48 c (44,43) 22280 bool, 522456 clause 66.29/45.48 c (44,43) Export Begin 66.40/45.57 c (45,43) Export to HOME/scop-9752-serial-file.bin 66.40/45.57 c (45,43) Export End 66.40/45.58 c (45,43) Export File Size: 0.01 MB 66.40/45.58 c (45,43) 0,0,37,39,40,40,44,STOP-AFTER(DIMACS) 66.40/45.58 c END-Prog: Mon Sep 23 13:50:16 CEST 2019 0.00/45.62 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-9752-serial-file.bin 67.12/46.07 c (0,0) Read Serial File Begin 67.12/46.07 c (0,0) HOME/scop-9752-serial-file.bin 67.38/46.28 c (0,0) Read Serial File End 67.38/46.30 67.38/46.30 Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15) 67.52/46.30 (Solving Process) 67.52/46.30 67.52/46.32 c BEGIN-Prog: Mon Sep 23 13:50:16 CEST 2019 67.52/46.32 c PID: 9785 67.52/46.32 c IP: 172.20.3.103 67.52/46.32 c HOST: node103.alineos.net 67.52/46.32 c (0,0) SatSolver.solve Begin 67.52/46.32 c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405164-1569239429.xml-scop-9755.cnf 67.52/46.35 c (0,0) c 67.52/46.35 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) 67.52/46.35 c (0,0) c 67.52/46.35 c (0,0) c WARNING: for repeatability, setting FPU to use double precision 67.52/46.35 c (0,0) c 8 solvers engines and 1 companion as a blackboard created. 67.52/46.35 c (0,0) c ========================================[ Problem Statistics ]=========================================== 67.52/46.35 c (0,0) c | | 67.77/46.51 c (0,0) c | Number of variables: 22280 | 67.77/46.51 c (0,0) c | Number of clauses: 522456 | 67.77/46.51 c (0,0) c | Parse time: 0.15 s | 67.77/46.51 c (0,0) c | | 67.77/46.81 c (0,0) c | Simplification time: 0.29 s | 67.77/46.81 c (0,0) c | | 67.77/46.81 c (0,0) c | Generating clones | 67.77/46.93 c (0,0) c | all clones generated. Memory = 295.93Mb. | 67.77/46.93 c (0,0) c ========================================================================================================| 67.77/46.93 c (0,0) c 67.77/46.93 c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 67.77/46.93 c (0,0) c 67.77/46.93 c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 67.77/46.93 c (0,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 67.77/46.93 c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 67.77/46.93 c (0,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 67.77/46.93 c (0,0) c | adaptStrategeis | True | False | True | False | True | False | True | False | 67.77/46.93 c (0,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 67.77/46.93 c (0,0) c | Initial random_seed | 91648253 | 91648254 | 91648255 | 91648256 | 91648257 | 91648258 | 91648259 | 91648260 | 67.77/46.93 c (0,0) c | chanseokStrategy | False | False | False | False | False | False | False | False | 67.77/46.93 c (0,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 67.77/46.93 c (0,0) c | glureduce | True | True | True | True | True | True | True | True | 67.77/46.93 c (0,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 67.77/46.93 c (0,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 67.77/46.93 c (0,0) c | luby_restart | False | False | False | False | False | False | False | False | 67.77/46.93 c (0,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 67.77/46.93 c (0,0) c | var_decay | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 67.77/46.93 c (0,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 67.77/46.93 c (0,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 67.77/46.93 c (0,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 67.77/46.93 c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 158.03/58.60 c (12,0) c 158.03/58.60 c (12,0) c real time : 12.2574 s 158.03/58.60 c (12,0) c cpu time : 89.7043 s 158.03/58.60 c (12,0) c 158.03/58.60 c (12,0) c 158.03/58.60 c (12,0) c 158.03/58.60 c (12,0) c |---------------------------------------- FINAL STATS --------------------------------------------------| 158.03/58.60 c (12,0) c 158.03/58.60 c (12,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 158.03/58.60 c (12,0) c | Threads | Total | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 158.03/58.60 c (12,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 158.03/58.60 c (12,0) c | Conflicts | 175463 | 21717 | 22137 | 21943 | 21295 | 22403 | 21835 | 21888 | 22245 | 158.03/58.60 c (12,0) c | Decisions | 382996 | 44418 | 49339 | 48491 | 48388 | 48423 | 48851 | 47002 | 48084 | 158.03/58.60 c (12,0) c | Propagations | 205973288 | 26221788 | 24773596 | 26023744 | 25290149 | 26262171 | 25731374 | 25857518 | 25812948 | 158.03/58.60 c (12,0) c | ReduceDBs | 24 | 3 | 3 | 3 | 3 | 3 | 3 | 3 | 3 | 158.03/58.60 c (12,0) c | SimpDBs | 44 | 5 | 6 | 5 | 6 | 5 | 6 | 5 | 6 | 158.03/58.60 c (12,0) c | Restarts | 537 | 61 | 65 | 61 | 82 | 49 | 77 | 65 | 77 | 158.03/58.60 c (12,0) c | ForcedImports | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 158.03/58.60 c (12,0) c | PropBinClauses| 122350168 | 15350615 | 14645293 | 15529493 | 14992551 | 15826078 | 15501627 | 15437912 | 15066599 | 158.03/58.60 c (12,0) c | PropPreBlocker| 3652493985 | 459176966 | 442236859 | 460077423 | 453958118 | 453319388 | 463680197 | 456531364 | 463513670 | 158.03/58.60 c (12,0) c | PropNotBlocker| 1135959771 | 143674490 | 137938464 | 141181650 | 141222351 | 140226096 | 144969767 | 142170577 | 144576376 | 158.03/58.60 c (12,0) c | LitFullScans | 5699684909 | 708047914 | 708128139 | 714562551 | 708677869 | 708093417 | 720111881 | 711978687 | 720084451 | 158.03/58.60 c (12,0) c | LitScanFracts | 1601581 | 32936 | 118347 | 558193 | 671023 | 55088 | 57831 | 60522 | 47641 | 158.03/58.60 c (12,0) c | DecisionLevel0| 605 | 65 | 69 | 70 | 95 | 52 | 90 | 75 | 89 | 158.03/58.60 c (12,0) c | Periods | 949 | 118 | 118 | 119 | 118 | 118 | 120 | 118 | 120 | 158.03/58.60 c (12,0) c | Margin | 160 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 158.03/58.60 c (12,0) c | Avg_Trail | | 4413 | 4526 | 4715 | 4390 | 4981 | 4842 | 4697 | 4356 | 158.03/58.60 c (12,0) c | Avg_DL | | 19 | 25 | 25 | 26 | 23 | 23 | 23 | 21 | 158.03/58.60 c (12,0) c | Avg_Res | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 158.03/58.60 c (12,0) c | Avg_Res_Seen | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 158.03/58.60 c (12,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 158.03/58.61 c (12,0) c | Exported | 33317 | 4051 | 4303 | 3952 | 4410 | 4187 | 3997 | 4120 | 4297 | 158.03/58.61 c (12,0) c | Imported | 181725 | 22555 | 22148 | 22549 | 22518 | 22547 | 23430 | 23071 | 22907 | 158.03/58.61 c (12,0) c | Good | 11477 | 1422 | 1446 | 1430 | 1417 | 1416 | 1447 | 1444 | 1455 | 158.03/58.61 c (12,0) c | Purge | 170248 | 21133 | 20702 | 21119 | 21101 | 21131 | 21983 | 21627 | 21452 | 158.03/58.61 c (12,0) c | Promoted | 8375 | 1044 | 1072 | 1061 | 1109 | 939 | 1084 | 1030 | 1036 | 158.03/58.61 c (12,0) c | Remove_Imp | 3601 | 223 | 14 | 945 | 1076 | 0 | 1199 | 0 | 144 | 158.03/58.61 c (12,0) c | Blocked_Reuse | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 158.03/58.61 c (12,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 158.03/58.61 c (12,0) c | Unaries | | 4 | 4 | 9 | 13 | 3 | 13 | 10 | 12 | 158.03/58.61 c (12,0) c | Binaries | | 247 | 220 | 257 | 288 | 277 | 281 | 256 | 278 | 158.03/58.61 c (12,0) c | Glues | | 1172 | 1174 | 1218 | 1249 | 1203 | 1237 | 1083 | 1295 | 158.03/58.61 c (12,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 158.03/58.61 c (12,0) c | Orig_Seen | 37 % | 194467 | 195076 | 195400 | 193979 | 199445 | 197246 | 194973 | 192717 | 158.03/58.61 c (12,0) c | Diff Orig seen| | - 506 | 103 | 427 | - 994 | 4472 | 2273 | X | - 2256 | 158.03/58.61 c (12,0) c | Hamming | 19 % | 4338 | 4243 | 4437 | 4701 | 4507 | 4795 | X | 4109 | 158.03/58.61 c (12,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 158.03/58.61 c (12,0) c | RunningTime | | 11.7 100%| 11.3 100%| 11.2 100%| 11.5 100%| 11.2 100%| 11.2 100%| 11.1 100%| 11.2 100%| 158.03/58.61 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%| 158.03/58.61 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%| 158.03/58.61 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%| 158.03/58.61 c (12,0) c | SolvingTime | | 11.7 | 11.3 | 11.2 | 11.5 | 11.2 | 11.2 | 11.2 | 11.2 | 158.03/58.61 c (12,0) c | PropagationTim| | 10.4 89%| 9.9 87%| 9.9 88%| 10.1 88%| 9.8 88%| 9.8 88%| 9.8 88%| 9.9 88%| 158.03/58.61 c (12,0) c | AnalysisTime | | 0.8 7%| 1.0 8%| 0.9 8%| 0.9 8%| 0.9 8%| 0.9 8%| 0.9 8%| 0.8 7%| 158.03/58.61 c (12,0) c | ReductionTime | | 0.1 0%| 0.1 1%| 0.1 1%| 0.1 1%| 0.1 0%| 0.1 1%| 0.1 1%| 0.1 1%| 158.03/58.61 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%| 158.03/58.61 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%| 158.03/58.61 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%| 158.03/58.61 c (12,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 158.03/58.61 c (12,0) c 158.03/58.61 c (12,0) c 158.03/58.61 c (12,0) c Threads : 8 158.03/58.61 c (12,0) c Winner : 6 158.03/58.61 c (12,0) c Conflicts_0 : 21717 158.03/58.61 c (12,0) c Conflicts_1 : 22137 158.03/58.61 c (12,0) c Conflicts_2 : 21943 158.03/58.61 c (12,0) c Conflicts_3 : 21295 158.03/58.61 c (12,0) c Conflicts_4 : 22403 158.03/58.61 c (12,0) c Conflicts_5 : 21835 158.03/58.61 c (12,0) c Conflicts_6 : 21888 158.03/58.61 c (12,0) c Conflicts_7 : 22245 158.03/58.61 c (12,0) c Conflicts_total : 175463 158.03/58.61 c (12,0) c Conflicts_winner : 21888 158.03/58.61 c (12,0) c Decisions_0 : 44418 158.03/58.61 c (12,0) c Decisions_1 : 49339 158.03/58.61 c (12,0) c Decisions_2 : 48491 158.03/58.61 c (12,0) c Decisions_3 : 48388 158.03/58.61 c (12,0) c Decisions_4 : 48423 158.03/58.61 c (12,0) c Decisions_5 : 48851 158.03/58.61 c (12,0) c Decisions_6 : 47002 158.03/58.61 c (12,0) c Decisions_7 : 48084 158.03/58.61 c (12,0) c Decisions_total : 382996 158.03/58.61 c (12,0) c Decisions_winner : 47002 158.03/58.61 c (12,0) c Propagations_0 : 26221788 158.03/58.61 c (12,0) c Propagations_1 : 24773596 158.03/58.61 c (12,0) c Propagations_2 : 26023744 158.03/58.61 c (12,0) c Propagations_3 : 25290149 158.03/58.61 c (12,0) c Propagations_4 : 26262171 158.03/58.61 c (12,0) c Propagations_5 : 25731374 158.03/58.61 c (12,0) c Propagations_6 : 25857518 158.03/58.61 c (12,0) c Propagations_7 : 25812948 158.03/58.61 c (12,0) c Propagations_total : 205973288 158.03/58.61 c (12,0) c Propagations_winner : 25857518 158.03/58.61 c (12,0) c ReduceDBs_0 : 3 158.03/58.61 c (12,0) c ReduceDBs_1 : 3 158.03/58.61 c (12,0) c ReduceDBs_2 : 3 158.03/58.61 c (12,0) c ReduceDBs_3 : 3 158.03/58.61 c (12,0) c ReduceDBs_4 : 3 158.03/58.61 c (12,0) c ReduceDBs_5 : 3 158.03/58.61 c (12,0) c ReduceDBs_6 : 3 158.03/58.61 c (12,0) c ReduceDBs_7 : 3 158.03/58.61 c (12,0) c ReduceDBs_total : 24 158.03/58.61 c (12,0) c ReduceDBs_winner : 3 158.03/58.61 c (12,0) c SimpDBs_0 : 5 158.03/58.61 c (12,0) c SimpDBs_1 : 6 158.03/58.61 c (12,0) c SimpDBs_2 : 5 158.03/58.61 c (12,0) c SimpDBs_3 : 6 158.03/58.61 c (12,0) c SimpDBs_4 : 5 158.03/58.61 c (12,0) c SimpDBs_5 : 6 158.03/58.61 c (12,0) c SimpDBs_6 : 5 158.03/58.61 c (12,0) c SimpDBs_7 : 6 158.03/58.61 c (12,0) c SimpDBs_total : 44 158.03/58.61 c (12,0) c SimpDBs_winner : 5 158.03/58.61 c (12,0) c Restarts_0 : 61 158.03/58.61 c (12,0) c Restarts_1 : 65 158.03/58.61 c (12,0) c Restarts_2 : 61 158.03/58.61 c (12,0) c Restarts_3 : 82 158.03/58.61 c (12,0) c Restarts_4 : 49 158.03/58.61 c (12,0) c Restarts_5 : 77 158.03/58.61 c (12,0) c Restarts_6 : 65 158.03/58.61 c (12,0) c Restarts_7 : 77 158.03/58.61 c (12,0) c Restarts_total : 537 158.03/58.61 c (12,0) c Restarts_winner : 65 158.03/58.61 c (12,0) c ForcedImports_0 : 0 158.03/58.61 c (12,0) c ForcedImports_1 : 0 158.03/58.61 c (12,0) c ForcedImports_2 : 0 158.03/58.61 c (12,0) c ForcedImports_3 : 0 158.03/58.61 c (12,0) c ForcedImports_4 : 0 158.03/58.61 c (12,0) c ForcedImports_5 : 0 158.03/58.61 c (12,0) c ForcedImports_6 : 0 158.03/58.61 c (12,0) c ForcedImports_7 : 0 158.03/58.61 c (12,0) c ForcedImports_total : 0 158.03/58.61 c (12,0) c ForcedImports_winner : 0 158.03/58.61 c (12,0) c PropsBinClauses_0 : 15350615 158.03/58.61 c (12,0) c PropsBinClauses_1 : 14645293 158.03/58.61 c (12,0) c PropsBinClauses_2 : 15529493 158.03/58.61 c (12,0) c PropsBinClauses_3 : 14992551 158.03/58.61 c (12,0) c PropsBinClauses_4 : 15826078 158.03/58.61 c (12,0) c PropsBinClauses_5 : 15501627 158.03/58.61 c (12,0) c PropsBinClauses_6 : 15437912 158.03/58.61 c (12,0) c PropsBinClauses_7 : 15066599 158.03/58.61 c (12,0) c PropsBinClauses_total : 122350168 158.03/58.61 c (12,0) c PropsBinClauses_winner : 15437912 158.03/58.61 c (12,0) c PropsPreBlocker_0 : 459176966 158.03/58.61 c (12,0) c PropsPreBlocker_1 : 442236859 158.03/58.61 c (12,0) c PropsPreBlocker_2 : 460077423 158.03/58.61 c (12,0) c PropsPreBlocker_3 : 453958118 158.03/58.61 c (12,0) c PropsPreBlocker_4 : 453319388 158.03/58.61 c (12,0) c PropsPreBlocker_5 : 463680197 158.03/58.61 c (12,0) c PropsPreBlocker_6 : 456531364 158.03/58.61 c (12,0) c PropsPreBlocker_7 : 463513670 158.03/58.61 c (12,0) c PropsPreBlocker_total : 3652493985 158.03/58.61 c (12,0) c PropsPreBlocker_winner : 456531364 158.03/58.61 c (12,0) c PropsNotBlocker_0 : 143674490 158.03/58.61 c (12,0) c PropsNotBlocker_1 : 137938464 158.03/58.61 c (12,0) c PropsNotBlocker_2 : 141181650 158.03/58.61 c (12,0) c PropsNotBlocker_3 : 141222351 158.03/58.61 c (12,0) c PropsNotBlocker_4 : 140226096 158.03/58.61 c (12,0) c PropsNotBlocker_5 : 144969767 158.03/58.61 c (12,0) c PropsNotBlocker_6 : 142170577 158.03/58.61 c (12,0) c PropsNotBlocker_7 : 144576376 158.03/58.61 c (12,0) c PropsNotBlocker_total : 1135959771 158.03/58.61 c (12,0) c PropsNotBlocker_winner : 142170577 158.03/58.61 c (12,0) c PropsLitFullScans_0 : 708047914 158.03/58.61 c (12,0) c PropsLitFullScans_1 : 708128139 158.03/58.61 c (12,0) c PropsLitFullScans_2 : 714562551 158.03/58.61 c (12,0) c PropsLitFullScans_3 : 708677869 158.03/58.61 c (12,0) c PropsLitFullScans_4 : 708093417 158.03/58.61 c (12,0) c PropsLitFullScans_5 : 720111881 158.03/58.61 c (12,0) c PropsLitFullScans_6 : 711978687 158.03/58.61 c (12,0) c PropsLitFullScans_7 : 720084451 158.03/58.61 c (12,0) c PropsLitFullScans_total : 5699684909 158.03/58.61 c (12,0) c PropsLitFullScans_winner : 711978687 158.03/58.61 c (12,0) c LitScanFractions_0 : 32936 158.03/58.61 c (12,0) c LitScanFractions_1 : 118347 158.03/58.61 c (12,0) c LitScanFractions_2 : 558193 158.03/58.61 c (12,0) c LitScanFractions_3 : 671023 158.03/58.61 c (12,0) c LitScanFractions_4 : 55088 158.03/58.61 c (12,0) c LitScanFractions_5 : 57831 158.03/58.61 c (12,0) c LitScanFractions_6 : 60522 158.03/58.61 c (12,0) c LitScanFractions_7 : 47641 158.03/58.61 c (12,0) c LitScanFractions_total : 1601581 158.03/58.61 c (12,0) c LitScanFractions_winner : 60522 158.03/58.61 c (12,0) c DecisionLevel0_0 : 65 158.03/58.61 c (12,0) c DecisionLevel0_1 : 69 158.03/58.61 c (12,0) c DecisionLevel0_2 : 70 158.03/58.61 c (12,0) c DecisionLevel0_3 : 95 158.03/58.61 c (12,0) c DecisionLevel0_4 : 52 158.03/58.61 c (12,0) c DecisionLevel0_5 : 90 158.03/58.61 c (12,0) c DecisionLevel0_6 : 75 158.03/58.61 c (12,0) c DecisionLevel0_7 : 89 158.03/58.61 c (12,0) c DecisionLevel0_total : 605 158.03/58.61 c (12,0) c DecisionLevel0_winner : 75 158.03/58.61 c (12,0) c Periods_0 : 118 158.03/58.61 c (12,0) c Periods_1 : 118 158.03/58.61 c (12,0) c Periods_2 : 119 158.03/58.61 c (12,0) c Periods_3 : 118 158.03/58.61 c (12,0) c Periods_4 : 118 158.03/58.61 c (12,0) c Periods_5 : 120 158.03/58.61 c (12,0) c Periods_6 : 118 158.03/58.61 c (12,0) c Periods_7 : 120 158.03/58.61 c (12,0) c Periods_total : 949 158.03/58.61 c (12,0) c Periods_winner : 118 158.03/58.61 c (12,0) c Margin_0 : 20 158.03/58.61 c (12,0) c Margin_1 : 20 158.03/58.61 c (12,0) c Margin_2 : 20 158.03/58.61 c (12,0) c Margin_3 : 20 158.03/58.61 c (12,0) c Margin_4 : 20 158.03/58.61 c (12,0) c Margin_5 : 20 158.03/58.61 c (12,0) c Margin_6 : 20 158.03/58.61 c (12,0) c Margin_7 : 20 158.03/58.61 c (12,0) c Margin_total : 160 158.03/58.61 c (12,0) c Margin_winner : 20 158.03/58.61 c (12,0) c Exported_0 : 4051 158.03/58.61 c (12,0) c Exported_1 : 4303 158.03/58.61 c (12,0) c Exported_2 : 3952 158.03/58.61 c (12,0) c Exported_3 : 4410 158.03/58.61 c (12,0) c Exported_4 : 4187 158.03/58.61 c (12,0) c Exported_5 : 3997 158.03/58.61 c (12,0) c Exported_6 : 4120 158.03/58.61 c (12,0) c Exported_7 : 4297 158.03/58.61 c (12,0) c Exported_total : 33317 158.03/58.61 c (12,0) c Exported_winner : 4120 158.03/58.61 c (12,0) c Imported_0 : 22555 158.03/58.61 c (12,0) c Imported_1 : 22148 158.03/58.61 c (12,0) c Imported_2 : 22549 158.03/58.61 c (12,0) c Imported_3 : 22518 158.03/58.61 c (12,0) c Imported_4 : 22547 158.03/58.61 c (12,0) c Imported_5 : 23430 158.03/58.61 c (12,0) c Imported_6 : 23071 158.03/58.61 c (12,0) c Imported_7 : 22907 158.03/58.61 c (12,0) c Imported_total : 181725 158.03/58.61 c (12,0) c Imported_winner : 23071 158.03/58.61 c (12,0) c Good_0 : 1422 158.03/58.61 c (12,0) c Good_1 : 1446 158.03/58.61 c (12,0) c Good_2 : 1430 158.03/58.61 c (12,0) c Good_3 : 1417 158.03/58.61 c (12,0) c Good_4 : 1416 158.03/58.61 c (12,0) c Good_5 : 1447 158.03/58.61 c (12,0) c Good_6 : 1444 158.03/58.61 c (12,0) c Good_7 : 1455 158.03/58.61 c (12,0) c Good_total : 11477 158.03/58.61 c (12,0) c Good_winner : 1444 158.03/58.61 c (12,0) c Purge_0 : 21133 158.03/58.61 c (12,0) c Purge_1 : 20702 158.03/58.61 c (12,0) c Purge_2 : 21119 158.03/58.61 c (12,0) c Purge_3 : 21101 158.03/58.61 c (12,0) c Purge_4 : 21131 158.03/58.61 c (12,0) c Purge_5 : 21983 158.03/58.61 c (12,0) c Purge_6 : 21627 158.03/58.61 c (12,0) c Purge_7 : 21452 158.03/58.61 c (12,0) c Purge_total : 170248 158.03/58.61 c (12,0) c Purge_winner : 21627 158.03/58.61 c (12,0) c Promoted_0 : 1044 158.03/58.61 c (12,0) c Promoted_1 : 1072 158.03/58.61 c (12,0) c Promoted_2 : 1061 158.03/58.61 c (12,0) c Promoted_3 : 1109 158.03/58.61 c (12,0) c Promoted_4 : 939 158.03/58.61 c (12,0) c Promoted_5 : 1084 158.03/58.61 c (12,0) c Promoted_6 : 1030 158.03/58.61 c (12,0) c Promoted_7 : 1036 158.03/58.61 c (12,0) c Promoted_total : 8375 158.03/58.61 c (12,0) c Promoted_winner : 1030 158.03/58.61 c (12,0) c Remove_Imp_0 : 223 158.03/58.61 c (12,0) c Remove_Imp_1 : 14 158.03/58.61 c (12,0) c Remove_Imp_2 : 945 158.03/58.61 c (12,0) c Remove_Imp_3 : 1076 158.03/58.61 c (12,0) c Remove_Imp_4 : 0 158.03/58.61 c (12,0) c Remove_Imp_5 : 1199 158.03/58.61 c (12,0) c Remove_Imp_6 : 0 158.03/58.62 c (12,0) c Remove_Imp_7 : 144 158.03/58.62 c (12,0) c Remove_Imp_total : 3601 158.03/58.62 c (12,0) c Remove_Imp_winner : 0 158.03/58.62 c (12,0) c Blocked_Reuse_0 : 0 158.03/58.62 c (12,0) c Blocked_Reuse_1 : 0 158.03/58.62 c (12,0) c Blocked_Reuse_2 : 0 158.03/58.62 c (12,0) c Blocked_Reuse_3 : 0 158.03/58.62 c (12,0) c Blocked_Reuse_4 : 0 158.03/58.62 c (12,0) c Blocked_Reuse_5 : 0 158.03/58.62 c (12,0) c Blocked_Reuse_6 : 0 158.03/58.62 c (12,0) c Blocked_Reuse_7 : 0 158.03/58.62 c (12,0) c Blocked_Reuse_total : 0 158.03/58.62 c (12,0) c Blocked_Reuse_winner : 0 158.03/58.62 c (12,0) c Unaries_0 : 4 158.03/58.62 c (12,0) c Unaries_1 : 4 158.03/58.62 c (12,0) c Unaries_2 : 9 158.03/58.62 c (12,0) c Unaries_3 : 13 158.03/58.62 c (12,0) c Unaries_4 : 3 158.03/58.62 c (12,0) c Unaries_5 : 13 158.03/58.62 c (12,0) c Unaries_6 : 10 158.03/58.62 c (12,0) c Unaries_7 : 12 158.03/58.62 c (12,0) c Unaries_total : 68 158.03/58.62 c (12,0) c Unaries_winner : 10 158.03/58.62 c (12,0) c Binaries_0 : 247 158.03/58.62 c (12,0) c Binaries_1 : 220 158.03/58.62 c (12,0) c Binaries_2 : 257 158.03/58.62 c (12,0) c Binaries_3 : 288 158.03/58.62 c (12,0) c Binaries_4 : 277 158.03/58.62 c (12,0) c Binaries_5 : 281 158.03/58.62 c (12,0) c Binaries_6 : 256 158.03/58.62 c (12,0) c Binaries_7 : 278 158.03/58.62 c (12,0) c Binaries_total : 2104 158.03/58.62 c (12,0) c Binaries_winner : 256 158.03/58.62 c (12,0) c Glues_0 : 1172 158.03/58.62 c (12,0) c Glues_1 : 1174 158.03/58.62 c (12,0) c Glues_2 : 1218 158.03/58.62 c (12,0) c Glues_3 : 1249 158.03/58.62 c (12,0) c Glues_4 : 1203 158.03/58.62 c (12,0) c Glues_5 : 1237 158.03/58.62 c (12,0) c Glues_6 : 1083 158.03/58.62 c (12,0) c Glues_7 : 1295 158.03/58.62 c (12,0) c Glues_total : 9631 158.03/58.62 c (12,0) c Glues_winner : 1083 158.03/58.62 c (12,0) c RunningTime_0 : 11.652359 158.03/58.62 c (12,0) c RunningTime_1 : 11.314791 158.03/58.62 c (12,0) c RunningTime_2 : 11.223219 158.03/58.62 c (12,0) c RunningTime_3 : 11.462549 158.03/58.62 c (12,0) c RunningTime_4 : 11.175883 158.03/58.62 c (12,0) c RunningTime_5 : 11.154777 158.03/58.62 c (12,0) c RunningTime_6 : 11.130704 158.03/58.62 c (12,0) c RunningTime_7 : 11.222003 158.03/58.62 c (12,0) c RunningTime_total : 90.336284 158.03/58.62 c (12,0) c RunningTime_winner : 11.130704 158.03/58.62 c (12,0) c WaitingTime_0 : 0.000129 158.03/58.62 c (12,0) c WaitingTime_1 : 0.000172 158.03/58.62 c (12,0) c WaitingTime_2 : 0.000173 158.03/58.62 c (12,0) c WaitingTime_3 : 0.000163 158.03/58.62 c (12,0) c WaitingTime_4 : 0.000139 158.03/58.62 c (12,0) c WaitingTime_5 : 0.000151 158.03/58.62 c (12,0) c WaitingTime_6 : 0.000172 158.03/58.62 c (12,0) c WaitingTime_7 : 0.000156 158.03/58.62 c (12,0) c WaitingTime_total : 0.001256 158.03/58.62 c (12,0) c WaitingTime_winner : 0.000172 158.03/58.62 c (12,0) c ExchangingTime_0 : 0.016795 158.03/58.62 c (12,0) c ExchangingTime_1 : 0.025909 158.03/58.62 c (12,0) c ExchangingTime_2 : 0.017169 158.03/58.62 c (12,0) c ExchangingTime_3 : 0.017834 158.03/58.62 c (12,0) c ExchangingTime_4 : 0.016637 158.03/58.62 c (12,0) c ExchangingTime_5 : 0.027462 158.03/58.62 c (12,0) c ExchangingTime_6 : 0.026990 158.03/58.62 c (12,0) c ExchangingTime_7 : 0.017283 158.03/58.62 c (12,0) c ExchangingTime_total : 0.166080 158.03/58.62 c (12,0) c ExchangingTime_winner : 0.026990 158.03/58.62 c (12,0) c PeriodProcTime_0 : 0.001020 158.03/58.62 c (12,0) c PeriodProcTime_1 : 0.000997 158.03/58.62 c (12,0) c PeriodProcTime_2 : 0.000989 158.03/58.62 c (12,0) c PeriodProcTime_3 : 0.001150 158.03/58.62 c (12,0) c PeriodProcTime_4 : 0.000958 158.03/58.62 c (12,0) c PeriodProcTime_5 : 0.001033 158.03/58.62 c (12,0) c PeriodProcTime_6 : 0.001006 158.03/58.62 c (12,0) c PeriodProcTime_7 : 0.001099 158.03/58.62 c (12,0) c PeriodProcTime_total : 0.008251 158.03/58.62 c (12,0) c PeriodProcTime_winner : 0.001006 158.03/58.62 c (12,0) c SolvingTime_0 : 11.670303 158.03/58.62 c (12,0) c SolvingTime_1 : 11.341869 158.03/58.62 c (12,0) c SolvingTime_2 : 11.241550 158.03/58.62 c (12,0) c SolvingTime_3 : 11.481695 158.03/58.62 c (12,0) c SolvingTime_4 : 11.193617 158.03/58.62 c (12,0) c SolvingTime_5 : 11.183423 158.03/58.62 c (12,0) c SolvingTime_6 : 11.158872 158.03/58.62 c (12,0) c SolvingTime_7 : 11.240541 158.03/58.62 c (12,0) c SolvingTime_total : 90.511870 158.03/58.62 c (12,0) c SolvingTime_winner : 11.158872 158.03/58.62 c (12,0) c PropagationTime_0 : 10.383866 158.03/58.62 c (12,0) c PropagationTime_1 : 9.879014 158.03/58.62 c (12,0) c PropagationTime_2 : 9.867887 158.03/58.62 c (12,0) c PropagationTime_3 : 10.106501 158.03/58.62 c (12,0) c PropagationTime_4 : 9.810226 158.03/58.62 c (12,0) c PropagationTime_5 : 9.817744 158.03/58.62 c (12,0) c PropagationTime_6 : 9.821676 158.03/58.62 c (12,0) c PropagationTime_7 : 9.934275 158.03/58.62 c (12,0) c PropagationTime_total : 79.621191 158.03/58.62 c (12,0) c PropagationTime_winner : 9.821676 158.03/58.62 c (12,0) c AnalysisTime_0 : 0.824675 158.03/58.62 c (12,0) c AnalysisTime_1 : 0.960655 158.03/58.62 c (12,0) c AnalysisTime_2 : 0.898586 158.03/58.62 c (12,0) c AnalysisTime_3 : 0.872329 158.03/58.62 c (12,0) c AnalysisTime_4 : 0.894872 158.03/58.62 c (12,0) c AnalysisTime_5 : 0.856333 158.03/58.62 c (12,0) c AnalysisTime_6 : 0.866886 158.03/58.62 c (12,0) c AnalysisTime_7 : 0.825775 158.03/58.62 c (12,0) c AnalysisTime_total : 7.000112 158.03/58.62 c (12,0) c AnalysisTime_winner : 0.866886 158.03/58.62 c (12,0) c ReductionTime_0 : 0.056393 158.03/58.62 c (12,0) c ReductionTime_1 : 0.060412 158.03/58.62 c (12,0) c ReductionTime_2 : 0.058306 158.03/58.62 c (12,0) c ReductionTime_3 : 0.059625 158.03/58.62 c (12,0) c ReductionTime_4 : 0.055390 158.03/58.62 c (12,0) c ReductionTime_5 : 0.059750 158.03/58.62 c (12,0) c ReductionTime_6 : 0.058794 158.03/58.62 c (12,0) c ReductionTime_7 : 0.058438 158.03/58.62 c (12,0) c ReductionTime_total : 0.467108 158.03/58.62 c (12,0) c ReductionTime_winner : 0.058794 158.03/58.62 c (12,0) c SimplifyTime_0 : 0.069771 158.03/58.62 c (12,0) c SimplifyTime_1 : 0.091182 158.03/58.62 c (12,0) c SimplifyTime_2 : 0.059106 158.03/58.62 c (12,0) c SimplifyTime_3 : 0.100227 158.03/58.62 c (12,0) c SimplifyTime_4 : 0.071264 158.03/58.62 c (12,0) c SimplifyTime_5 : 0.087259 158.03/58.62 c (12,0) c SimplifyTime_6 : 0.072998 158.03/58.62 c (12,0) c SimplifyTime_7 : 0.088753 158.03/58.62 c (12,0) c SimplifyTime_total : 0.640561 158.03/58.62 c (12,0) c SimplifyTime_winner : 0.072998 158.03/58.62 c (12,0) c UsedRateTime_0 : 0.000000 158.03/58.62 c (12,0) c UsedRateTime_1 : 0.000000 158.03/58.62 c (12,0) c UsedRateTime_2 : 0.000000 158.03/58.62 c (12,0) c UsedRateTime_3 : 0.000000 158.03/58.62 c (12,0) c UsedRateTime_4 : 0.000000 158.03/58.62 c (12,0) c UsedRateTime_5 : 0.000000 158.03/58.62 c (12,0) c UsedRateTime_6 : 0.000000 158.03/58.62 c (12,0) c UsedRateTime_7 : 0.000000 158.03/58.62 c (12,0) c UsedRateTime_total : 0.000000 158.03/58.62 c (12,0) c UsedRateTime_winner : 0.000000 158.03/58.62 c (12,0) c OverlapRateTime_0 : 0.000000 158.03/58.62 c (12,0) c OverlapRateTime_1 : 0.000000 158.03/58.62 c (12,0) c OverlapRateTime_2 : 0.000000 158.03/58.62 c (12,0) c OverlapRateTime_3 : 0.000000 158.03/58.62 c (12,0) c OverlapRateTime_4 : 0.000000 158.03/58.62 c (12,0) c OverlapRateTime_5 : 0.000000 158.03/58.62 c (12,0) c OverlapRateTime_6 : 0.000000 158.03/58.62 c (12,0) c OverlapRateTime_7 : 0.000000 158.03/58.62 c (12,0) c OverlapRateTime_total : 0.000000 158.03/58.62 c (12,0) c OverlapRateTime_winner : 0.000000 158.03/58.62 c (12,0) c 158.03/58.62 c (12,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 158.03/58.62 c (12,0) c 158.03/58.62 c (12,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 158.03/58.62 c (12,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 158.03/58.62 c (12,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 158.03/58.62 c (12,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 158.03/58.62 c (12,0) c | adaptStrategeis | True | False | True | False | True | False | True | False | 158.03/58.62 c (12,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 158.03/58.62 c (12,0) c | Initial random_seed | 1571603568 | 862053678 | 1962533074 | 1446645107 | 1209799739 | 749977848 | 1010699743 | 453013843 | 158.03/58.62 c (12,0) c | chanseokStrategy | False | False | False | False | False | False | False | False | 158.03/58.62 c (12,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 158.03/58.62 c (12,0) c | glureduce | True | True | True | True | True | True | True | True | 158.03/58.62 c (12,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 158.03/58.62 c (12,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 158.03/58.62 c (12,0) c | luby_restart | False | False | False | False | False | False | False | False | 158.03/58.62 c (12,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 158.03/58.62 c (12,0) c | var_decay | 0.8400 | 0.8400 | 0.8400 | 0.8400 | 0.8400 | 0.8400 | 0.8400 | 0.8400 | 158.03/58.62 c (12,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 158.03/58.62 c (12,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 158.03/58.62 c (12,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 158.03/58.62 c (12,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 158.03/58.62 c (12,0) 158.03/58.62 c (12,0) s UNSATISFIABLE 158.03/58.63 c (12,0) SatSolver.solve End 158.03/58.63 c (12,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB) 158.03/58.63 c (12,0) Show results Begin 158.03/58.63 s UNSATISFIABLE 158.03/58.63 c (12,0) Show results End 158.03/58.63 c (12,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB) 158.03/58.63 c (12,0) 12,12,STOP-AFTER(ALL) 158.03/58.63 c END-Prog: Mon Sep 23 13:50:29 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: 16374 MiB (11997 MiB free) memory of node 1: 16384 MiB (13108 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4405164-1569239429/watcher-4405164-1569239429 -o /tmp/evaluation-result-4405164-1569239429/solver-4405164-1569239429 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node103-1569238572-9187 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405164-1569239429.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=9752, runsolver pid=9749 Current StackSize limit: 8192 KiB [startup+0.100124 s]* /proc/loadavg: 5.59 2.61 1.23 3/211 9774 /proc/meminfo: memFree=25614336/32770624 swapFree=66999244/67108860 [pid=9752] ppid=9749 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/9752/stat : 9752 (scop.sh) S 9749 9752 9160 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 500195979 115843072 349 33554432000 4194304 5098028 140721386394944 140721386392200 140259224605308 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 17559552 140721386398501 140721386398828 140721386398828 140721386401741 0 /proc/9752/statm: 28282 349 296 221 0 87 0 [pid=9755] ppid=9752 vsize=27314120 memory=106128 CPUtime=0.1 cores=0-7 /proc/9755/stat : 9755 (java) S 9752 9752 9160 0 -1 1077944320 6540 0 0 0 8 2 0 0 20 0 20 0 500195980 27969658880 26532 33554432000 4194304 4196468 140731463914928 140731463897472 140137970745079 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10481664 140731463922412 140731463922838 140731463922838 140731463925711 0 /proc/9755/statm: 6828530 26532 2815 1 0 6790935 0 [pid=9755/tid=9756] ppid=9752 vsize=27314120 memory=1398722017469774279 CPUtime=0.09 cores=0-7 /proc/9755/task/9756/stat : 9756 (java) R 9752 9752 9160 0 -1 4202560 4653 0 0 0 7 2 0 0 20 0 20 0 500195980 27969658880 26532 33554432000 4194304 4196468 140731463914928 140137942568128 140137950927916 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10481664 140731463922412 140731463922838 140731463922838 140731463925711 0 [pid=9755/tid=9757] ppid=9752 vsize=27314120 memory=4126316290023845779 CPUtime=0 cores=0-7 /proc/9755/task/9757/stat : 9757 (java) S 9752 9752 9160 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500195982 27969658880 26532 33554432000 4194304 4196468 140731463914928 140137974987536 140137970755285 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10481664 140731463922412 140731463922838 140731463922838 140731463925711 0 [pid=9755/tid=9758] ppid=9752 vsize=27314120 memory=140311798662784 CPUtime=0 cores=0-7 /proc/9755/task/9758/stat : 9758 (java) S 9752 9752 9160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500195982 27969658880 26532 33554432000 4194304 4196468 140731463914928 140137392933776 140137970755285 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10481664 140731463922412 140731463922838 140731463922838 140731463925711 0 [pid=9755/tid=9759] ppid=9752 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/9755/task/9759/stat : 9759 (java) S 9752 9752 9160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500195982 27969658880 26532 33554432000 4194304 4196468 140731463914928 140137391881232 140137970755285 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10481664 140731463922412 140731463922838 140731463922838 140731463925711 0 [pid=9755/tid=9760] ppid=9752 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/9755/task/9760/stat : 9760 (java) S 9752 9752 9160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500195982 27969658880 26532 33554432000 4194304 4196468 140731463914928 140137390828688 140137970755285 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10481664 140731463922412 140731463922838 140731463922838 140731463925711 0 [pid=9755/tid=9761] ppid=9752 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/9755/task/9761/stat : 9761 (java) S 9752 9752 9160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500195983 27969658880 26532 33554432000 4194304 4196468 140731463914928 140137389775120 140137970755285 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10481664 140731463922412 140731463922838 140731463922838 140731463925711 0 [pid=9755/tid=9762] ppid=9752 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/9755/task/9762/stat : 9762 (java) S 9752 9752 9160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500195983 27969658880 26532 33554432000 4194304 4196468 140731463914928 140137388722576 140137970755285 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10481664 140731463922412 140731463922838 140731463922838 140731463925711 0 [pid=9755/tid=9763] ppid=9752 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/9755/task/9763/stat : 9763 (java) S 9752 9752 9160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500195983 27969658880 26532 33554432000 4194304 4196468 140731463914928 140137387670032 140137970755285 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10481664 140731463922412 140731463922838 140731463922838 140731463925711 0 [pid=9755/tid=9764] ppid=9752 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/9755/task/9764/stat : 9764 (java) S 9752 9752 9160 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500195983 27969658880 26532 33554432000 4194304 4196468 140731463914928 140137386617488 140137970755285 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10481664 140731463922412 140731463922838 140731463922838 140731463925711 0 [pid=9755/tid=9765] ppid=9752 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/9755/task/9765/stat : 9765 (java) S 9752 9752 9160 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500195984 27969658880 26532 33554432000 4194304 4196468 140731463914928 140136089655792 140137970756226 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10481664 140731463922412 140731463922838 140731463922838 140731463925711 0 [pid=9755/tid=9766] ppid=9752 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/9755/task/9766/stat : 9766 (java) S 9752 9752 9160 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 500195984 27969658880 26532 33554432000 4194304 4196468 140731463914928 140135924491680 140137970755285 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10481664 140731463922412 140731463922838 140731463922838 140731463925711 0 [pid=9755/tid=9767] ppid=9752 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/9755/task/9767/stat : 9767 (java) S 9752 9752 9160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500195985 27969658880 26532 33554432000 4194304 4196468 140731463914928 140135656056304 140137970755285 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10481664 140731463922412 140731463922838 140731463922838 140731463925711 0 [pid=9755/tid=9768] ppid=9752 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/9755/task/9768/stat : 9768 (java) S 9752 9752 9160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500195987 27969658880 26532 33554432000 4194304 4196468 140731463914928 140135281547984 140137970763675 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10481664 140731463922412 140731463922838 140731463922838 140731463925711 0 [pid=9755/tid=9769] ppid=9752 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/9755/task/9769/stat : 9769 (java) S 9752 9752 9160 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 20 0 500195987 27969658880 26532 33554432000 4194304 4196468 140731463914928 140136088602608 140137970756226 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10481664 140731463922412 140731463922838 140731463922838 140731463925711 0 [pid=9755/tid=9770] ppid=9752 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/9755/task/9770/stat : 9770 (java) S 9752 9752 9160 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500195987 27969658880 26532 33554432000 4194304 4196468 140731463914928 140136087550064 140137970756226 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10481664 140731463922412 140731463922838 140731463922838 140731463925711 0 [pid=9755/tid=9771] ppid=9752 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/9755/task/9771/stat : 9771 (java) S 9752 9752 9160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500195987 27969658880 26532 33554432000 4194304 4196468 140731463914928 140136086497520 140137970756226 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10481664 140731463922412 140731463922838 140731463922838 140731463925711 0 [pid=9755/tid=9772] ppid=9752 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/9755/task/9772/stat : 9772 (java) S 9752 9752 9160 0 -1 1077944384 267 0 0 0 0 0 0 0 20 0 20 0 500195987 27969658880 26532 33554432000 4194304 4196468 140731463914928 140136085444976 140137970756226 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10481664 140731463922412 140731463922838 140731463922838 140731463925711 0 [pid=9755/tid=9773] ppid=9752 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/9755/task/9773/stat : 9773 (java) S 9752 9752 9160 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500195987 27969658880 26532 33554432000 4194304 4196468 140731463914928 140134783642336 140137970755285 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10481664 140731463922412 140731463922838 140731463922838 140731463925711 0 [pid=9755/tid=9774] ppid=9752 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/9755/task/9774/stat : 9774 (java) S 9752 9752 9160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500195988 27969658880 26532 33554432000 4194304 4196468 140731463914928 140136084392880 140137970756226 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10481664 140731463922412 140731463922838 140731463922838 140731463925711 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 107524 KiB [startup+0.212697 s]* /proc/loadavg: 5.59 2.61 1.23 2/211 9774 /proc/meminfo: memFree=25595508/32770624 swapFree=66999244/67108860 [pid=9752] ppid=9749 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/9752/stat : 9752 (scop.sh) S 9749 9752 9160 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 500195979 115843072 349 33554432000 4194304 5098028 140721386394944 140721386392200 140259224605308 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 17559552 140721386398501 140721386398828 140721386398828 140721386401741 0 /proc/9752/statm: 28282 349 296 221 0 87 0 [pid=9755] ppid=9752 vsize=27314120 memory=122760 CPUtime=0.24 cores=0-7 /proc/9755/stat : 9755 (java) S 9752 9752 9160 0 -1 1077944320 11603 0 0 0 20 4 0 0 20 0 20 0 500195980 27969658880 30690 33554432000 4194304 4196468 140731463914928 140731463897472 140137970745079 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10481664 140731463922412 140731463922838 140731463922838 140731463925711 0 /proc/9755/statm: 6828530 30690 2949 1 0 6790935 0 [pid=9755/tid=9756] ppid=9752 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/9755/task/9756/stat : 9756 (java) R 9752 9752 9160 0 -1 4202560 9267 0 0 0 16 3 0 0 20 0 20 0 500195980 27969658880 30690 33554432000 4194304 4196468 140731463914928 140137942528640 140137970758928 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10481664 140731463922412 140731463922838 140731463922838 140731463925711 0 [pid=9755/tid=9757] ppid=9752 vsize=27314120 memory=342 CPUtime=0 cores=0-7 /proc/9755/task/9757/stat : 9757 (java) S 9752 9752 9160 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500195982 27969658880 30690 33554432000 4194304 4196468 140731463914928 140137974987536 140137970755285 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10481664 140731463922412 140731463922838 140731463922838 140731463925711 0 [pid=9755/tid=9758] ppid=9752 vsize=27314120 memory=140311798683763 CPUtime=0 cores=0-7 /proc/9755/task/9758/stat : 9758 (java) S 9752 9752 9160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500195982 27969658880 30690 33554432000 4194304 4196468 140731463914928 140137392933776 140137970755285 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10481664 140731463922412 140731463922838 140731463922838 140731463925711 0 [pid=9755/tid=9759] ppid=9752 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/9755/task/9759/stat : 9759 (java) S 9752 9752 9160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500195982 27969658880 30690 33554432000 4194304 4196468 140731463914928 140137391881232 140137970755285 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10481664 140731463922412 140731463922838 140731463922838 140731463925711 0 [pid=9755/tid=9760] ppid=9752 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/9755/task/9760/stat : 9760 (java) S 9752 9752 9160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500195982 27969658880 30690 33554432000 4194304 4196468 140731463914928 140137390828688 140137970755285 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10481664 140731463922412 140731463922838 140731463922838 140731463925711 0 [pid=9755/tid=9761] ppid=9752 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/9755/task/9761/stat : 9761 (java) S 9752 9752 9160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500195983 27969658880 30690 33554432000 4194304 4196468 140731463914928 140137389775120 140137970755285 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10481664 140731463922412 140731463922838 140731463922838 140731463925711 0 [pid=9755/tid=9762] ppid=9752 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/9755/task/9762/stat : 9762 (java) S 9752 9752 9160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500195983 27969658880 30690 33554432000 4194304 4196468 140731463914928 140137388722576 140137970755285 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10481664 140731463922412 140731463922838 140731463922838 140731463925711 0 [pid=9755/tid=9763] ppid=9752 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/9755/task/9763/stat : 9763 (java) S 9752 9752 9160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500195983 27969658880 30690 33554432000 4194304 4196468 140731463914928 140137387670032 140137970755285 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10481664 140731463922412 140731463922838 140731463922838 140731463925711 0 [pid=9755/tid=9764] ppid=9752 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/9755/task/9764/stat : 9764 (java) S 9752 9752 9160 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500195983 27969658880 30690 33554432000 4194304 4196468 140731463914928 140137386617488 140137970755285 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10481664 140731463922412 140731463922838 140731463922838 140731463925711 0 [pid=9755/tid=9765] ppid=9752 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/9755/task/9765/stat : 9765 (java) S 9752 9752 9160 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500195984 27969658880 30690 33554432000 4194304 4196468 140731463914928 140136089655792 140137970756226 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10481664 140731463922412 140731463922838 140731463922838 140731463925711 0 [pid=9755/tid=9766] ppid=9752 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/9755/task/9766/stat : 9766 (java) S 9752 9752 9160 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 500195984 27969658880 30690 33554432000 4194304 4196468 140731463914928 140135924491680 140137970755285 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10481664 140731463922412 140731463922838 140731463922838 140731463925711 0 [pid=9755/tid=9767] ppid=9752 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/9755/task/9767/stat : 9767 (java) S 9752 9752 9160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500195985 27969658880 30690 33554432000 4194304 4196468 140731463914928 140135656056304 140137970755285 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10481664 140731463922412 140731463922838 140731463922838 140731463925711 0 [pid=9755/tid=9768] ppid=9752 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/9755/task/9768/stat : 9768 (java) S 9752 9752 9160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500195987 27969658880 30690 33554432000 4194304 4196468 140731463914928 140135281547984 140137970763675 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10481664 140731463922412 140731463922838 140731463922838 140731463925711 0 [pid=9755/tid=9769] ppid=9752 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/9755/task/9769/stat : 9769 (java) S 9752 9752 9160 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 20 0 500195987 27969658880 30690 33554432000 4194304 4196468 140731463914928 140136088602608 140137970756226 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10481664 140731463922412 140731463922838 140731463922838 140731463925711 0 [pid=9755/tid=9770] ppid=9752 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/9755/task/9770/stat : 9770 (java) S 9752 9752 9160 0 -1 1077944384 137 0 0 0 0 0 0 0 20 0 20 0 500195987 27969658880 30690 33554432000 4194304 4196468 140731463914928 140136087550064 140137970756226 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10481664 140731463922412 140731463922838 140731463922838 140731463925711 0 [pid=9755/tid=9771] ppid=9752 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/9755/task/9771/stat : 9771 (java) S 9752 9752 9160 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 20 0 500195987 27969658880 30690 33554432000 4194304 4196468 140731463914928 140136086497520 140137970756226 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10481664 140731463922412 140731463922838 140731463922838 140731463925711 0 [pid=9755/tid=9772] ppid=9752 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7 /proc/9755/task/9772/stat : 9772 (java) S 9752 9752 9160 0 -1 1077944384 519 0 0 0 2 0 0 0 20 0 20 0 500195987 27969658880 30690 33554432000 4194304 4196468 140731463914928 140136085444976 140137970756226 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10481664 140731463922412 140731463922838 140731463922838 140731463925711 0 [pid=9755/tid=9773] ppid=9752 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/9755/task/9773/stat : 9773 (java) S 9752 9752 9160 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500195987 27969658880 30690 33554432000 4194304 4196468 140731463914928 140134783642336 140137970755285 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10481664 140731463922412 140731463922838 140731463922838 140731463925711 0 [pid=9755/tid=9774] ppid=9752 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/9755/task/9774/stat : 9774 (java) S 9752 9752 9160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500195988 27969658880 30690 33554432000 4194304 4196468 140731463914928 140136084392880 140137970756226 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10481664 140731463922412 140731463922838 140731463922838 140731463925711 0 Current children cumulated CPU time: 0.24 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 124156 KiB [startup+0.310355 s]* /proc/loadavg: 5.59 2.61 1.23 2/211 9774 /proc/meminfo: memFree=25593200/32770624 swapFree=66999244/67108860 [pid=9752] ppid=9749 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/9752/stat : 9752 (scop.sh) S 9749 9752 9160 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 500195979 115843072 349 33554432000 4194304 5098028 140721386394944 140721386392200 140259224605308 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 17559552 140721386398501 140721386398828 140721386398828 140721386401741 0 /proc/9752/statm: 28282 349 296 221 0 87 0 [pid=9755] ppid=9752 vsize=27314120 memory=127012 CPUtime=0.42 cores=0-7 /proc/9755/stat : 9755 (java) S 9752 9752 9160 0 -1 1077944320 12137 0 0 0 37 5 0 0 20 0 20 0 500195980 27969658880 31753 33554432000 4194304 4196468 140731463914928 140731463897472 140137970745079 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10481664 140731463922412 140731463922838 140731463922838 140731463925711 0 /proc/9755/statm: 6828530 31753 3025 1 0 6790935 0 [pid=9755/tid=9756] ppid=9752 vsize=27314120 memory=1398722017469774279 CPUtime=0.3 cores=0-7 /proc/9755/task/9756/stat : 9756 (java) R 9752 9752 9160 0 -1 4202560 9548 0 0 0 26 4 0 0 20 0 20 0 500195980 27969658880 31753 33554432000 4194304 4196468 140731463914928 140137942545024 140137953931888 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10481664 140731463922412 140731463922838 140731463922838 140731463925711 0 [pid=9755/tid=9757] ppid=9752 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/9755/task/9757/stat : 9757 (java) S 9752 9752 9160 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500195982 27969658880 31753 33554432000 4194304 4196468 140731463914928 140137974987536 140137970755285 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10481664 140731463922412 140731463922838 140731463922838 140731463925711 0 [pid=9755/tid=9758] ppid=9752 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/9755/task/9758/stat : 9758 (java) S 9752 9752 9160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500195982 27969658880 31753 33554432000 4194304 4196468 140731463914928 140137392933776 140137970755285 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10481664 140731463922412 140731463922838 140731463922838 140731463925711 0 [pid=9755/tid=9759] ppid=9752 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/9755/task/9759/stat : 9759 (java) S 9752 9752 9160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500195982 27969658880 31753 33554432000 4194304 4196468 140731463914928 140137391881232 140137970755285 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10481664 140731463922412 140731463922838 140731463922838 140731463925711 0 [pid=9755/tid=9760] ppid=9752 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/9755/task/9760/stat : 9760 (java) S 9752 9752 9160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500195982 27969658880 31753 33554432000 4194304 4196468 140731463914928 140137390828688 140137970755285 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10481664 140731463922412 140731463922838 140731463922838 140731463925711 0 [pid=9755/tid=9761] ppid=9752 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/9755/task/9761/stat : 9761 (java) S 9752 9752 9160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500195983 27969658880 31753 33554432000 4194304 4196468 140731463914928 140137389775120 140137970755285 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10481664 140731463922412 140731463922838 140731463922838 140731463925711 0 [pid=9755/tid=9762] ppid=9752 vsize=27314120 memory=140311682706095 CPUtime=0 cores=0-7 /proc/9755/task/9762/stat : 9762 (java) S 9752 9752 9160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500195983 27969658880 31753 33554432000 4194304 4196468 140731463914928 140137388722576 140137970755285 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10481664 140731463922412 140731463922838 140731463922838 140731463925711 0 [pid=9755/tid=9763] ppid=9752 vsize=27314120 memory=140311682708400 CPUtime=0 cores=0-7 /proc/9755/task/9763/stat : 9763 (java) S 9752 9752 9160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500195983 27969658880 31753 33554432000 4194304 4196468 140731463914928 140137387670032 140137970755285 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10481664 140731463922412 140731463922838 140731463922838 140731463925711 0 [pid=9755/tid=9764] ppid=9752 vsize=27314120 memory=140311682710704 CPUtime=0 cores=0-7 /proc/9755/task/9764/stat : 9764 (java) S 9752 9752 9160 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500195983 27969658880 31753 33554432000 4194304 4196468 140731463914928 140137386617488 140137970755285 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10481664 140731463922412 140731463922838 140731463922838 140731463925711 0 [pid=9755/tid=9765] ppid=9752 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/9755/task/9765/stat : 9765 (java) S 9752 9752 9160 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500195984 27969658880 31753 33554432000 4194304 4196468 140731463914928 140136089655792 140137970756226 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10481664 140731463922412 140731463922838 140731463922838 140731463925711 0 [pid=9755/tid=9766] ppid=9752 vsize=27314120 memory=280623365435280 CPUtime=0 cores=0-7 /proc/9755/task/9766/stat : 9766 (java) S 9752 9752 9160 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 500195984 27969658880 31753 33554432000 4194304 4196468 140731463914928 140135924491680 140137970755285 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10481664 140731463922412 140731463922838 140731463922838 140731463925711 0 [pid=9755/tid=9767] ppid=9752 vsize=27314120 memory=280623365432976 CPUtime=0 cores=0-7 /proc/9755/task/9767/stat : 9767 (java) S 9752 9752 9160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500195985 27969658880 31753 33554432000 4194304 4196468 140731463914928 140135656056304 140137970755285 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10481664 140731463922412 140731463922838 140731463922838 140731463925711 0 [pid=9755/tid=9768] ppid=9752 vsize=27314120 memory=280623365439888 CPUtime=0 cores=0-7 /proc/9755/task/9768/stat : 9768 (java) S 9752 9752 9160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500195987 27969658880 31753 33554432000 4194304 4196468 140731463914928 140135281547984 140137970763675 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10481664 140731463922412 140731463922838 140731463922838 140731463925711 0 [pid=9755/tid=9769] ppid=9752 vsize=27314120 memory=280623365381168 CPUtime=0.01 cores=0-7 /proc/9755/task/9769/stat : 9769 (java) S 9752 9752 9160 0 -1 1077944384 362 0 0 0 1 0 0 0 20 0 20 0 500195987 27969658880 31753 33554432000 4194304 4196468 140731463914928 140136088602608 140137970756226 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10481664 140731463922412 140731463922838 140731463922838 140731463925711 0 [pid=9755/tid=9770] ppid=9752 vsize=27314120 memory=280623365453712 CPUtime=0 cores=0-7 /proc/9755/task/9770/stat : 9770 (java) R 9752 9752 9160 0 -1 4202560 163 0 0 0 0 0 0 0 20 0 20 0 500195987 27969658880 31753 33554432000 4194304 4196468 140731463914928 140136087550064 140137948379728 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10481664 140731463922412 140731463922838 140731463922838 140731463925711 0 [pid=9755/tid=9771] ppid=9752 vsize=27314120 memory=280623365460624 CPUtime=0.01 cores=0-7 /proc/9755/task/9771/stat : 9771 (java) S 9752 9752 9160 0 -1 1077944384 130 0 0 0 1 0 0 0 20 0 20 0 500195987 27969658880 31753 33554432000 4194304 4196468 140731463914928 140136086497520 140137970756226 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10481664 140731463922412 140731463922838 140731463922838 140731463925711 0 [pid=9755/tid=9772] ppid=9752 vsize=27314120 memory=280623365458320 CPUtime=0.07 cores=0-7 /proc/9755/task/9772/stat : 9772 (java) S 9752 9752 9160 0 -1 1077944384 616 0 0 0 7 0 0 0 20 0 20 0 500195987 27969658880 31753 33554432000 4194304 4196468 140731463914928 140136085444976 140137970756226 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10481664 140731463922412 140731463922838 140731463922838 140731463925711 0 [pid=9755/tid=9773] ppid=9752 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/9755/task/9773/stat : 9773 (java) S 9752 9752 9160 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500195987 27969658880 31753 33554432000 4194304 4196468 140731463914928 140134783642336 140137970755285 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10481664 140731463922412 140731463922838 140731463922838 140731463925711 0 [pid=9755/tid=9774] ppid=9752 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/9755/task/9774/stat : 9774 (java) S 9752 9752 9160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500195988 27969658880 31753 33554432000 4194304 4196468 140731463914928 140136084392880 140137970756226 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10481664 140731463922412 140731463922838 140731463922838 140731463925711 0 Current children cumulated CPU time: 0.42 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 128408 KiB [startup+0.700963 s] /proc/loadavg: 5.22 2.58 1.23 3/211 9774 /proc/meminfo: memFree=25568624/32770624 swapFree=66999244/67108860 [pid=9752] ppid=9749 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/9752/stat : 9752 (scop.sh) S 9749 9752 9160 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 500195979 115843072 349 33554432000 4194304 5098028 140721386394944 140721386392200 140259224605308 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 17559552 140721386398501 140721386398828 140721386398828 140721386401741 0 /proc/9752/statm: 28282 349 296 221 0 87 0 [pid=9755] ppid=9752 vsize=27320392 memory=164848 CPUtime=1.01 cores=0-7 /proc/9755/stat : 9755 (java) S 9752 9752 9160 0 -1 1077944320 20251 0 0 0 94 7 0 0 20 0 20 0 500195980 27976081408 41212 33554432000 4194304 4196468 140731463914928 140731463897472 140137970745079 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10481664 140731463922412 140731463922838 140731463922838 140731463925711 0 /proc/9755/statm: 6830098 41212 3193 1 0 6791447 0 [pid=9755/tid=9756] ppid=9752 vsize=27320392 memory=0 CPUtime=0.67 cores=0-7 /proc/9755/task/9756/stat : 9756 (java) R 9752 9752 9160 0 -1 4202560 16984 0 0 0 61 6 0 0 20 0 20 0 500195980 27976081408 41212 33554432000 4194304 4196468 140731463914928 140137942581136 140137970767005 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10481664 140731463922412 140731463922838 140731463922838 140731463925711 0 [pid=9755/tid=9757] ppid=9752 vsize=27320392 memory=140311682917232 CPUtime=0 cores=0-7 /proc/9755/task/9757/stat : 9757 (java) S 9752 9752 9160 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500195982 27976081408 41212 33554432000 4194304 4196468 140731463914928 140137974987536 140137970755285 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10481664 140731463922412 140731463922838 140731463922838 140731463925711 0 [pid=9755/tid=9758] ppid=9752 vsize=27320392 memory=0 CPUtime=0 cores=0-7 /proc/9755/task/9758/stat : 9758 (java) S 9752 9752 9160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500195982 27976081408 41212 33554432000 4194304 4196468 140731463914928 140137392933776 140137970755285 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10481664 140731463922412 140731463922838 140731463922838 140731463925711 0 [pid=9755/tid=9759] ppid=9752 vsize=27320392 memory=1004 CPUtime=0 cores=0-7 /proc/9755/task/9759/stat : 9759 (java) S 9752 9752 9160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500195982 27976081408 41212 33554432000 4194304 4196468 140731463914928 140137391881232 140137970755285 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10481664 140731463922412 140731463922838 140731463922838 140731463925711 0 ################ # More data... # ################ [pid=9785/tid=9796] ppid=9752 vsize=8414124 memory=796 CPUtime=0 cores=0-7 /proc/9785/task/9796/stat : 9796 (java) S 9752 9752 9160 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 500200545 8616062976 30092 33554432000 4194304 4196468 140720763485840 140563676391072 140565080725205 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8261632 140720763491320 140720763491478 140720763491478 140720763494351 0 [pid=9785/tid=9797] ppid=9752 vsize=8414124 memory=4100 CPUtime=0 cores=0-7 /proc/9785/task/9797/stat : 9797 (java) S 9752 9752 9160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500200545 8616062976 30092 33554432000 4194304 4196468 140720763485840 140563407955184 140565080725205 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8261632 140720763491320 140720763491478 140720763491478 140720763494351 0 [pid=9785/tid=9798] ppid=9752 vsize=8414124 memory=1804 CPUtime=0 cores=0-7 /proc/9785/task/9798/stat : 9798 (java) S 9752 9752 9160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500200548 8616062976 30092 33554432000 4194304 4196468 140720763485840 140563033446864 140565080733595 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8261632 140720763491320 140720763491478 140720763491478 140720763494351 0 [pid=9785/tid=9799] ppid=9752 vsize=8414124 memory=916 CPUtime=0.05 cores=0-7 /proc/9785/task/9799/stat : 9799 (java) S 9752 9752 9160 0 -1 1077944384 464 0 0 0 5 0 0 0 20 0 24 0 500200548 8616062976 30092 33554432000 4194304 4196468 140720763485840 140564173191408 140565080726146 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8261632 140720763491320 140720763491478 140720763491478 140720763494351 0 [pid=9785/tid=9800] ppid=9752 vsize=8414124 memory=4380 CPUtime=0.07 cores=0-7 /proc/9785/task/9800/stat : 9800 (java) S 9752 9752 9160 0 -1 1077944384 245 0 0 0 7 0 0 0 20 0 24 0 500200548 8616062976 30092 33554432000 4194304 4196468 140720763485840 140564172138864 140565080726146 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8261632 140720763491320 140720763491478 140720763491478 140720763494351 0 [pid=9785/tid=9801] ppid=9752 vsize=8414124 memory=1412 CPUtime=0.06 cores=0-7 /proc/9785/task/9801/stat : 9801 (java) S 9752 9752 9160 0 -1 1077944384 455 0 0 0 6 0 0 0 20 0 24 0 500200548 8616062976 30092 33554432000 4194304 4196468 140720763485840 140564171085808 140565080726146 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8261632 140720763491320 140720763491478 140720763491478 140720763494351 0 [pid=9785/tid=9802] ppid=9752 vsize=8414124 memory=120368 CPUtime=0.19 cores=0-7 /proc/9785/task/9802/stat : 9802 (java) S 9752 9752 9160 0 -1 1077944384 541 0 0 0 19 0 0 0 20 0 24 0 500200548 8616062976 30092 33554432000 4194304 4196468 140720763485840 140564170033264 140565080726146 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8261632 140720763491320 140720763491478 140720763491478 140720763494351 0 [pid=9785/tid=9803] ppid=9752 vsize=8414124 memory=461760 CPUtime=0 cores=0-7 /proc/9785/task/9803/stat : 9803 (java) S 9752 9752 9160 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 500200548 8616062976 30092 33554432000 4194304 4196468 140720763485840 140562535541728 140565080725205 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8261632 140720763491320 140720763491478 140720763491478 140720763494351 0 [pid=9785/tid=9804] ppid=9752 vsize=8414124 memory=1398722017469774279 CPUtime=0 cores=0-7 /proc/9785/task/9804/stat : 9804 (java) S 9752 9752 9160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500200548 8616062976 30092 33554432000 4194304 4196468 140720763485840 140564168981680 140565080726146 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8261632 140720763491320 140720763491478 140720763491478 140720763494351 0 [pid=9785/tid=9806] ppid=9752 vsize=8414124 memory=4126316290023845779 CPUtime=0 cores=0-7 /proc/9785/task/9806/stat : 9806 (java) S 9752 9752 9160 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 500200614 8616062976 30092 33554432000 4194304 4196468 140720763485840 140564160947648 140565080739609 0 4 2 25189581 18446744071579417331 0 0 -1 0 0 0 0 0 0 6293624 6294260 8261632 140720763491320 140720763491478 140720763491478 140720763494351 0 [pid=9785/tid=9808] ppid=9752 vsize=8414124 memory=1436 CPUtime=0 cores=0-7 /proc/9785/task/9808/stat : 9808 (java) S 9752 9752 9160 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 24 0 500200615 8616062976 30092 33554432000 4194304 4196468 140720763485840 140562132876816 140565080736925 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 8261632 140720763491320 140720763491478 140720763491478 140720763494351 0 [pid=9785/tid=9809] ppid=9752 vsize=8414124 memory=776 CPUtime=0 cores=0-7 /proc/9785/task/9809/stat : 9809 (java) S 9752 9752 9160 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 24 0 500200615 8616062976 30092 33554432000 4194304 4196468 140720763485840 140561864441488 140565080736925 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 8261632 140720763491320 140720763491478 140720763491478 140720763494351 0 [pid=9785/tid=9810] ppid=9752 vsize=8414124 memory=3604 CPUtime=0 cores=0-7 /proc/9785/task/9810/stat : 9810 (java) S 9752 9752 9160 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 500200617 8616062976 30092 33554432000 4194304 4196468 140720763485840 140561596013488 140565080725205 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8261632 140720763491320 140720763491478 140720763491478 140720763494351 0 Current children cumulated CPU time: 152.87 s Current children cumulated vsize: 9433464 KiB Current children cumulated memory: 756880 KiB [startup+58.4013 s] /proc/loadavg: 4.06 2.64 1.32 9/224 9818 /proc/meminfo: memFree=24949644/32770624 swapFree=66999244/67108860 [pid=9752] ppid=9749 vsize=113128 memory=1476 CPUtime=66.6 cores=0-7 /proc/9752/stat : 9752 (scop.sh) S 9749 9752 9160 0 -1 4202496 583 61593 0 0 0 0 6304 356 20 0 1 0 500195979 115843072 369 33554432000 4194304 5098028 140721386394944 140721386391688 140259224605308 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 17559552 140721386398501 140721386398828 140721386398828 140721386401741 0 /proc/9752/statm: 28282 369 311 221 0 87 0 [pid=9785] ppid=9752 vsize=8414124 memory=120368 CPUtime=1.18 cores=0-7 /proc/9785/stat : 9785 (java) S 9752 9752 9160 0 -1 1077944320 20036 0 0 0 109 9 0 0 20 0 24 0 500200541 8616062976 30092 33554432000 4194304 4196468 140720763485840 140720763468384 140565080714999 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8261632 140720763491320 140720763491478 140720763491478 140720763494351 0 /proc/9785/statm: 2103531 30092 3209 1 0 2064875 0 [pid=9805] ppid=9785 vsize=906212 memory=641420 CPUtime=90.04 cores=0-7 /proc/9805/stat : 9805 (manyglucose-4.1) S 9785 9752 9160 0 -1 1077944320 259483 0 0 0 8948 56 0 0 20 0 3 0 500200614 927961088 160355 33554432000 4194304 4454172 140728603039392 140728603037776 140003118599927 0 4 0 8388610 18446744073709551615 0 0 17 4 0 0 0 0 0 6552832 6554400 22052864 140728603042666 140728603042864 140728603042864 140728603045818 0 /proc/9805/statm: 226553 160355 420 64 0 222221 0 [pid=9805/tid=9811] ppid=9785 vsize=906212 memory=6628 CPUtime=11.37 cores=0-7 /proc/9805/task/9811/stat : 9811 (manyglucose-4.1) R 9785 9752 9160 0 -1 4202560 24658 0 0 0 1130 7 0 0 20 0 3 0 500200673 927961088 160355 33554432000 4194304 4454172 140728603039392 140003093981992 4351184 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6552832 6554400 22052864 140728603042666 140728603042864 140728603042864 140728603045818 0 [pid=9805/tid=9814] ppid=9785 vsize=906212 memory=8836 CPUtime=11.19 cores=0-7 /proc/9805/task/9814/stat : 9814 (manyglucose-4.1) R 9785 9752 9160 0 -1 4202560 29458 0 0 0 1111 8 0 0 20 0 3 0 500200673 927961088 160355 33554432000 4194304 4454172 140728603039392 140003068804200 4350933 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6552832 6554400 22052864 140728603042666 140728603042864 140728603042864 140728603045818 0 [pid=9785/tid=9786] ppid=9752 vsize=8414124 memory=-4075877051373423739 CPUtime=0.75 cores=0-7 /proc/9785/task/9786/stat : 9786 (java) S 9752 9752 9160 0 -1 1077944384 16940 0 0 0 69 6 0 0 20 0 24 0 500200542 8616062976 30092 33554432000 4194304 4196468 140720763485840 140565052555168 140565080725205 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8261632 140720763491320 140720763491478 140720763491478 140720763494351 0 [pid=9785/tid=9787] ppid=9752 vsize=8414124 memory=3028 CPUtime=0 cores=0-7 /proc/9785/task/9787/stat : 9787 (java) S 9752 9752 9160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500200543 8616062976 30092 33554432000 4194304 4196468 140720763485840 140565084957712 140565080725205 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8261632 140720763491320 140720763491478 140720763491478 140720763494351 0 [pid=9785/tid=9788] ppid=9752 vsize=8414124 memory=2012 CPUtime=0 cores=0-7 /proc/9785/task/9788/stat : 9788 (java) S 9752 9752 9160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500200543 8616062976 30092 33554432000 4194304 4196468 140720763485840 140564565585040 140565080725205 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8261632 140720763491320 140720763491478 140720763491478 140720763494351 0 [pid=9785/tid=9789] ppid=9752 vsize=8414124 memory=1436 CPUtime=0 cores=0-7 /proc/9785/task/9789/stat : 9789 (java) S 9752 9752 9160 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 500200543 8616062976 30092 33554432000 4194304 4196468 140720763485840 140564564531984 140565080725205 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8261632 140720763491320 140720763491478 140720763491478 140720763494351 0 [pid=9785/tid=9790] ppid=9752 vsize=8414124 memory=776 CPUtime=0 cores=0-7 /proc/9785/task/9790/stat : 9790 (java) S 9752 9752 9160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500200543 8616062976 30092 33554432000 4194304 4196468 140720763485840 140564563479440 140565080725205 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8261632 140720763491320 140720763491478 140720763491478 140720763494351 0 [pid=9785/tid=9791] ppid=9752 vsize=8414124 memory=1476 CPUtime=0 cores=0-7 /proc/9785/task/9791/stat : 9791 (java) S 9752 9752 9160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500200543 8616062976 30092 33554432000 4194304 4196468 140720763485840 140564562426384 140565080725205 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8261632 140720763491320 140720763491478 140720763491478 140720763494351 0 [pid=9785/tid=9792] ppid=9752 vsize=8414124 memory=120368 CPUtime=0 cores=0-7 /proc/9785/task/9792/stat : 9792 (java) S 9752 9752 9160 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 500200543 8616062976 30092 33554432000 4194304 4196468 140720763485840 140564561373840 140565080725205 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8261632 140720763491320 140720763491478 140720763491478 140720763494351 0 [pid=9785/tid=9793] ppid=9752 vsize=8414124 memory=637084 CPUtime=0 cores=0-7 /proc/9785/task/9793/stat : 9793 (java) S 9752 9752 9160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500200543 8616062976 30092 33554432000 4194304 4196468 140720763485840 140564560320784 140565080725205 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8261632 140720763491320 140720763491478 140720763491478 140720763494351 0 [pid=9785/tid=9794] ppid=9752 vsize=8414124 memory=1412 CPUtime=0 cores=0-7 /proc/9785/task/9794/stat : 9794 (java) S 9752 9752 9160 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 500200543 8616062976 30092 33554432000 4194304 4196468 140720763485840 140564559268240 140565080725205 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8261632 140720763491320 140720763491478 140720763491478 140720763494351 0 [pid=9785/tid=9795] ppid=9752 vsize=8414124 memory=3004 CPUtime=0 cores=0-7 /proc/9785/task/9795/stat : 9795 (java) S 9752 9752 9160 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 500200545 8616062976 30092 33554432000 4194304 4196468 140720763485840 140564174244592 140565080726146 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8261632 140720763491320 140720763491478 140720763491478 140720763494351 0 [pid=9785/tid=9796] ppid=9752 vsize=8414124 memory=1476 CPUtime=0 cores=0-7 /proc/9785/task/9796/stat : 9796 (java) S 9752 9752 9160 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 500200545 8616062976 30092 33554432000 4194304 4196468 140720763485840 140563676391072 140565080725205 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8261632 140720763491320 140720763491478 140720763491478 140720763494351 0 [pid=9785/tid=9797] ppid=9752 vsize=8414124 memory=120368 CPUtime=0 cores=0-7 /proc/9785/task/9797/stat : 9797 (java) S 9752 9752 9160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500200545 8616062976 30092 33554432000 4194304 4196468 140720763485840 140563407955184 140565080725205 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8261632 140720763491320 140720763491478 140720763491478 140720763494351 0 [pid=9785/tid=9798] ppid=9752 vsize=8414124 memory=317136 CPUtime=0 cores=0-7 /proc/9785/task/9798/stat : 9798 (java) S 9752 9752 9160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500200548 8616062976 30092 33554432000 4194304 4196468 140720763485840 140563033446864 140565080733595 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8261632 140720763491320 140720763491478 140720763491478 140720763494351 0 [pid=9785/tid=9799] ppid=9752 vsize=8414124 memory=1712 CPUtime=0.05 cores=0-7 /proc/9785/task/9799/stat : 9799 (java) S 9752 9752 9160 0 -1 1077944384 464 0 0 0 5 0 0 0 20 0 24 0 500200548 8616062976 30092 33554432000 4194304 4196468 140720763485840 140564173191408 140565080726146 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8261632 140720763491320 140720763491478 140720763491478 140720763494351 0 [pid=9785/tid=9800] ppid=9752 vsize=8414124 memory=55 CPUtime=0.07 cores=0-7 /proc/9785/task/9800/stat : 9800 (java) S 9752 9752 9160 0 -1 1077944384 245 0 0 0 7 0 0 0 20 0 24 0 500200548 8616062976 30092 33554432000 4194304 4196468 140720763485840 140564172138864 140565080726146 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8261632 140720763491320 140720763491478 140720763491478 140720763494351 0 [pid=9785/tid=9801] ppid=9752 vsize=8414124 memory=6944656592452807314 CPUtime=0.06 cores=0-7 /proc/9785/task/9801/stat : 9801 (java) S 9752 9752 9160 0 -1 1077944384 455 0 0 0 6 0 0 0 20 0 24 0 500200548 8616062976 30092 33554432000 4194304 4196468 140720763485840 140564171085808 140565080726146 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8261632 140720763491320 140720763491478 140720763491478 140720763494351 0 [pid=9785/tid=9802] ppid=9752 vsize=8414124 memory=5782692679075529345 CPUtime=0.19 cores=0-7 /proc/9785/task/9802/stat : 9802 (java) S 9752 9752 9160 0 -1 1077944384 541 0 0 0 19 0 0 0 20 0 24 0 500200548 8616062976 30092 33554432000 4194304 4196468 140720763485840 140564170033264 140565080726146 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8261632 140720763491320 140720763491478 140720763491478 140720763494351 0 [pid=9785/tid=9803] ppid=9752 vsize=8414124 memory=9051283677730746851 CPUtime=0 cores=0-7 /proc/9785/task/9803/stat : 9803 (java) S 9752 9752 9160 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 500200548 8616062976 30092 33554432000 4194304 4196468 140720763485840 140562535541728 140565080725205 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8261632 140720763491320 140720763491478 140720763491478 140720763494351 0 [pid=9785/tid=9804] ppid=9752 vsize=8414124 memory=6656426216303648864 CPUtime=0 cores=0-7 /proc/9785/task/9804/stat : 9804 (java) S 9752 9752 9160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500200548 8616062976 30092 33554432000 4194304 4196468 140720763485840 140564168981680 140565080726146 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8261632 140720763491320 140720763491478 140720763491478 140720763494351 0 [pid=9785/tid=9806] ppid=9752 vsize=8414124 memory=-7751062316387021378 CPUtime=0 cores=0-7 /proc/9785/task/9806/stat : 9806 (java) S 9752 9752 9160 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 500200614 8616062976 30092 33554432000 4194304 4196468 140720763485840 140564160947648 140565080739609 0 4 2 25189581 18446744071579417331 0 0 -1 0 0 0 0 0 0 6293624 6294260 8261632 140720763491320 140720763491478 140720763491478 140720763494351 0 [pid=9785/tid=9808] ppid=9752 vsize=8414124 memory=-3621219715169225006 CPUtime=0 cores=0-7 /proc/9785/task/9808/stat : 9808 (java) S 9752 9752 9160 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 24 0 500200615 8616062976 30092 33554432000 4194304 4196468 140720763485840 140562132876816 140565080736925 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 8261632 140720763491320 140720763491478 140720763491478 140720763494351 0 [pid=9785/tid=9809] ppid=9752 vsize=8414124 memory=-8316900901535099443 CPUtime=0 cores=0-7 /proc/9785/task/9809/stat : 9809 (java) S 9752 9752 9160 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 24 0 500200615 8616062976 30092 33554432000 4194304 4196468 140720763485840 140561864441488 140565080736925 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 8261632 140720763491320 140720763491478 140720763491478 140720763494351 0 [pid=9785/tid=9810] ppid=9752 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/9785/task/9810/stat : 9810 (java) S 9752 9752 9160 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 500200617 8616062976 30092 33554432000 4194304 4196468 140720763485840 140561596013488 140565080725205 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8261632 140720763491320 140720763491478 140720763491478 140720763494351 0 Current children cumulated CPU time: 157.82 s Current children cumulated vsize: 9433464 KiB Current children cumulated memory: 763264 KiB [startup+58.6012 s] /proc/loadavg: 4.06 2.64 1.32 9/224 9818 /proc/meminfo: memFree=24949644/32770624 swapFree=66999244/67108860 [pid=9752] ppid=9749 vsize=113128 memory=1476 CPUtime=66.6 cores=0-7 /proc/9752/stat : 9752 (scop.sh) S 9749 9752 9160 0 -1 4202496 583 61593 0 0 0 0 6304 356 20 0 1 0 500195979 115843072 369 33554432000 4194304 5098028 140721386394944 140721386391688 140259224605308 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 17559552 140721386398501 140721386398828 140721386398828 140721386401741 0 /proc/9752/statm: 28282 369 311 221 0 87 0 [pid=9785] ppid=9752 vsize=8414124 memory=120368 CPUtime=1.18 cores=0-7 /proc/9785/stat : 9785 (java) S 9752 9752 9160 0 -1 1077944320 20036 0 0 0 109 9 0 0 20 0 24 0 500200541 8616062976 30092 33554432000 4194304 4196468 140720763485840 140720763468384 140565080714999 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8261632 140720763491320 140720763491478 140720763491478 140720763494351 0 /proc/9785/statm: 2103531 30092 3209 1 0 2064875 0 [pid=9805] ppid=9785 vsize=906212 memory=641472 CPUtime=90.25 cores=0-7 /proc/9805/stat : 9805 (manyglucose-4.1) S 9785 9752 9160 0 -1 1077944320 259483 0 0 0 8969 56 0 0 20 0 2 0 500200614 927961088 160368 33554432000 4194304 4454172 140728603039392 140728603037776 140003118599927 0 4 0 8388610 18446744073709551615 0 0 17 4 0 0 0 0 0 6552832 6554400 22052864 140728603042666 140728603042864 140728603042864 140728603045818 0 /proc/9805/statm: 226553 160368 420 64 0 222221 0 [pid=9805/tid=9811] ppid=9785 vsize=906212 memory=0 CPUtime=11.57 cores=0-7 /proc/9805/task/9811/stat : 9811 (manyglucose-4.1) R 9785 9752 9160 0 -1 4202560 24658 0 0 0 1150 7 0 0 20 0 2 0 500200673 927961088 160368 33554432000 4194304 4454172 140728603039392 140003093981992 4351498 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6552832 6554400 22052864 140728603042666 140728603042864 140728603042864 140728603045818 0 [pid=9785/tid=9786] ppid=9752 vsize=8414124 memory=0 CPUtime=0.75 cores=0-7 /proc/9785/task/9786/stat : 9786 (java) S 9752 9752 9160 0 -1 1077944384 16940 0 0 0 69 6 0 0 20 0 24 0 500200542 8616062976 30092 33554432000 4194304 4196468 140720763485840 140565052555168 140565080725205 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8261632 140720763491320 140720763491478 140720763491478 140720763494351 0 [pid=9785/tid=9787] ppid=9752 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/9785/task/9787/stat : 9787 (java) S 9752 9752 9160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500200543 8616062976 30092 33554432000 4194304 4196468 140720763485840 140565084957712 140565080725205 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8261632 140720763491320 140720763491478 140720763491478 140720763494351 0 [pid=9785/tid=9788] ppid=9752 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/9785/task/9788/stat : 9788 (java) S 9752 9752 9160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500200543 8616062976 30092 33554432000 4194304 4196468 140720763485840 140564565585040 140565080725205 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8261632 140720763491320 140720763491478 140720763491478 140720763494351 0 [pid=9785/tid=9789] ppid=9752 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/9785/task/9789/stat : 9789 (java) S 9752 9752 9160 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 500200543 8616062976 30092 33554432000 4194304 4196468 140720763485840 140564564531984 140565080725205 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8261632 140720763491320 140720763491478 140720763491478 140720763494351 0 [pid=9785/tid=9790] ppid=9752 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/9785/task/9790/stat : 9790 (java) S 9752 9752 9160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500200543 8616062976 30092 33554432000 4194304 4196468 140720763485840 140564563479440 140565080725205 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8261632 140720763491320 140720763491478 140720763491478 140720763494351 0 [pid=9785/tid=9791] ppid=9752 vsize=8414124 memory=1476 CPUtime=0 cores=0-7 /proc/9785/task/9791/stat : 9791 (java) S 9752 9752 9160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500200543 8616062976 30092 33554432000 4194304 4196468 140720763485840 140564562426384 140565080725205 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8261632 140720763491320 140720763491478 140720763491478 140720763494351 0 [pid=9785/tid=9792] ppid=9752 vsize=8414124 memory=-4075877051373423739 CPUtime=0 cores=0-7 /proc/9785/task/9792/stat : 9792 (java) S 9752 9752 9160 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 500200543 8616062976 30092 33554432000 4194304 4196468 140720763485840 140564561373840 140565080725205 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8261632 140720763491320 140720763491478 140720763491478 140720763494351 0 [pid=9785/tid=9793] ppid=9752 vsize=8414124 memory=1112 CPUtime=0 cores=0-7 /proc/9785/task/9793/stat : 9793 (java) S 9752 9752 9160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500200543 8616062976 30092 33554432000 4194304 4196468 140720763485840 140564560320784 140565080725205 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8261632 140720763491320 140720763491478 140720763491478 140720763494351 0 [pid=9785/tid=9794] ppid=9752 vsize=8414124 memory=1004 CPUtime=0 cores=0-7 /proc/9785/task/9794/stat : 9794 (java) S 9752 9752 9160 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 500200543 8616062976 30092 33554432000 4194304 4196468 140720763485840 140564559268240 140565080725205 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8261632 140720763491320 140720763491478 140720763491478 140720763494351 0 [pid=9785/tid=9795] ppid=9752 vsize=8414124 memory=6072 CPUtime=0 cores=0-7 /proc/9785/task/9795/stat : 9795 (java) S 9752 9752 9160 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 500200545 8616062976 30092 33554432000 4194304 4196468 140720763485840 140564174244592 140565080726146 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8261632 140720763491320 140720763491478 140720763491478 140720763494351 0 [pid=9785/tid=9796] ppid=9752 vsize=8414124 memory=14008 CPUtime=0 cores=0-7 /proc/9785/task/9796/stat : 9796 (java) S 9752 9752 9160 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 500200545 8616062976 30092 33554432000 4194304 4196468 140720763485840 140563676391072 140565080725205 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8261632 140720763491320 140720763491478 140720763491478 140720763494351 0 [pid=9785/tid=9797] ppid=9752 vsize=8414124 memory=2124 CPUtime=0 cores=0-7 /proc/9785/task/9797/stat : 9797 (java) S 9752 9752 9160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500200545 8616062976 30092 33554432000 4194304 4196468 140720763485840 140563407955184 140565080725205 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8261632 140720763491320 140720763491478 140720763491478 140720763494351 0 [pid=9785/tid=9798] ppid=9752 vsize=8414124 memory=34024 CPUtime=0 cores=0-7 /proc/9785/task/9798/stat : 9798 (java) S 9752 9752 9160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500200548 8616062976 30092 33554432000 4194304 4196468 140720763485840 140563033446864 140565080733595 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8261632 140720763491320 140720763491478 140720763491478 140720763494351 0 [pid=9785/tid=9799] ppid=9752 vsize=8414124 memory=1004 CPUtime=0.05 cores=0-7 /proc/9785/task/9799/stat : 9799 (java) S 9752 9752 9160 0 -1 1077944384 464 0 0 0 5 0 0 0 20 0 24 0 500200548 8616062976 30092 33554432000 4194304 4196468 140720763485840 140564173191408 140565080726146 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8261632 140720763491320 140720763491478 140720763491478 140720763494351 0 [pid=9785/tid=9800] ppid=9752 vsize=8414124 memory=6072 CPUtime=0.07 cores=0-7 /proc/9785/task/9800/stat : 9800 (java) S 9752 9752 9160 0 -1 1077944384 245 0 0 0 7 0 0 0 20 0 24 0 500200548 8616062976 30092 33554432000 4194304 4196468 140720763485840 140564172138864 140565080726146 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8261632 140720763491320 140720763491478 140720763491478 140720763494351 0 [pid=9785/tid=9801] ppid=9752 vsize=8414124 memory=14008 CPUtime=0.06 cores=0-7 /proc/9785/task/9801/stat : 9801 (java) S 9752 9752 9160 0 -1 1077944384 455 0 0 0 6 0 0 0 20 0 24 0 500200548 8616062976 30092 33554432000 4194304 4196468 140720763485840 140564171085808 140565080726146 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8261632 140720763491320 140720763491478 140720763491478 140720763494351 0 [pid=9785/tid=9802] ppid=9752 vsize=8414124 memory=2124 CPUtime=0.19 cores=0-7 /proc/9785/task/9802/stat : 9802 (java) S 9752 9752 9160 0 -1 1077944384 541 0 0 0 19 0 0 0 20 0 24 0 500200548 8616062976 30092 33554432000 4194304 4196468 140720763485840 140564170033264 140565080726146 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8261632 140720763491320 140720763491478 140720763491478 140720763494351 0 [pid=9785/tid=9803] ppid=9752 vsize=8414124 memory=34024 CPUtime=0 cores=0-7 /proc/9785/task/9803/stat : 9803 (java) S 9752 9752 9160 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 500200548 8616062976 30092 33554432000 4194304 4196468 140720763485840 140562535541728 140565080725205 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8261632 140720763491320 140720763491478 140720763491478 140720763494351 0 [pid=9785/tid=9804] ppid=9752 vsize=8414124 memory=12024 CPUtime=0 cores=0-7 /proc/9785/task/9804/stat : 9804 (java) S 9752 9752 9160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500200548 8616062976 30092 33554432000 4194304 4196468 140720763485840 140564168981680 140565080726146 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8261632 140720763491320 140720763491478 140720763491478 140720763494351 0 [pid=9785/tid=9806] ppid=9752 vsize=8414124 memory=500 CPUtime=0 cores=0-7 /proc/9785/task/9806/stat : 9806 (java) S 9752 9752 9160 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 500200614 8616062976 30092 33554432000 4194304 4196468 140720763485840 140564160947648 140565080739609 0 4 2 25189581 18446744071579417331 0 0 -1 0 0 0 0 0 0 6293624 6294260 8261632 140720763491320 140720763491478 140720763491478 140720763494351 0 [pid=9785/tid=9808] ppid=9752 vsize=8414124 memory=1560 CPUtime=0 cores=0-7 /proc/9785/task/9808/stat : 9808 (java) S 9752 9752 9160 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 24 0 500200615 8616062976 30092 33554432000 4194304 4196468 140720763485840 140562132876816 140565080736925 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 8261632 140720763491320 140720763491478 140720763491478 140720763494351 0 [pid=9785/tid=9809] ppid=9752 vsize=8414124 memory=932 CPUtime=0 cores=0-7 /proc/9785/task/9809/stat : 9809 (java) S 9752 9752 9160 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 24 0 500200615 8616062976 30092 33554432000 4194304 4196468 140720763485840 140561864441488 140565080736925 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 8261632 140720763491320 140720763491478 140720763491478 140720763494351 0 [pid=9785/tid=9810] ppid=9752 vsize=8414124 memory=3768 CPUtime=0 cores=0-7 /proc/9785/task/9810/stat : 9810 (java) S 9752 9752 9160 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 500200617 8616062976 30092 33554432000 4194304 4196468 140720763485840 140561596013488 140565080725205 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8261632 140720763491320 140720763491478 140720763491478 140720763494351 0 Current children cumulated CPU time: 158.03 s Current children cumulated vsize: 9433464 KiB Current children cumulated memory: 763316 KiB Child status: 0 Real time (s): 58.6441 CPU time (s): 158.166 CPU user time (s): 153.911 CPU system time (s): 4.25542 CPU usage (%): 269.705 Max. virtual memory (cumulated for all children) (KiB): 27441856 Max. memory (cumulated for all children) (KiB): 6798536 getrusage(RUSAGE_CHILDREN,...) data: user time used= 153.911 system time used= 4.25542 maximum resident set size= 6797140 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 342030 page faults= 0 swaps= 0 block input operations= 0 block output operations= 20344 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 17782 involuntary context switches= 1142 # summary of solver processes directly reported to runsolver: # pid: 9752 # total CPU time (s): 158.166 # total CPU user time (s): 153.911 # total CPU system time (s): 4.25542 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.480007 second user time and 0.622676 second system time The end
Begin job on node103 at 2019-09-23 13:49:30 IDJOB=4405164 IDBENCH=122716 IDSOLVER=2867 FILE ID=node103/4405164-1569239429 RUNJOBID= node103-1569238572-9187 PBS_JOBID= 21704917 Free space on /tmp= 20856 MiB SOLVER NAME= Fun-sCOP order+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 -order DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4405164-1569239429/watcher-4405164-1569239429 -o /tmp/evaluation-result-4405164-1569239429/solver-4405164-1569239429 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node103-1569238572-9187 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405164-1569239429.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= b787e2fb655876ad1ad352aa15cc79d3 RANDOM SEED=713764571 node103.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 25709540 kB MemAvailable: 31856596 kB Buffers: 83348 kB Cached: 6346556 kB SwapCached: 6972 kB Active: 3185620 kB Inactive: 3257112 kB Active(anon): 2868 kB Inactive(anon): 67800 kB Active(file): 3182752 kB Inactive(file): 3189312 kB Unevictable: 107192 kB Mlocked: 107192 kB SwapTotal: 67108860 kB SwapFree: 66999244 kB Dirty: 22644 kB Writeback: 0 kB AnonPages: 114460 kB Mapped: 55980 kB Shmem: 49072 kB Slab: 210236 kB SReclaimable: 181652 kB SUnreclaim: 28584 kB KernelStack: 3376 kB PageTables: 5356 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 514336 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 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: 105856 kB DirectMap2M: 33439744 kB Free space on /tmp at the end= 20836 MiB End job on node103 at 2019-09-23 13:50:29