Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
Fun-sCOP order+ManyGlucose (2019-09-22) | SAT | 172.048 | 25.5647 |
Name | RectPacking/RectPacking-m1-perf/ RectPacking-perfect-097.xml |
MD5SUM | 8967691277ed469002b27945208c5243 |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 53.043 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 50 |
Number of constraints | 53 |
Number of domains | 1 |
Minimum domain size | 336 |
Maximum domain size | 336 |
Distribution of domain sizes | [{"size":336,"count":50}] |
Minimum variable degree | 2 |
Maximum variable degree | 4 |
Distribution of variable degrees | [{"degree":2,"count":48},{"degree":3,"count":1},{"degree":4,"count":1}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 50 |
Distribution of constraint arities | [{"arity":1,"count":51},{"arity":2,"count":1},{"arity":50,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 52 |
Distribution of constraint types | [{"type":"intension","count":52},{"type":"noOverlap","count":1}] |
Optimization problem | NO |
Type of objective |
0.00/0.00 c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -order -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-29888-serial-file.bin HOME/instance-4405203-1569337447.xml 0.66/0.54 0.66/0.54 Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15) 0.66/0.54 0.66/0.56 c BEGIN-Prog: Tue Sep 24 16:02:26 CEST 2019 0.66/0.56 c PID: 29891 0.66/0.56 c IP: 172.20.3.105 0.66/0.56 c HOST: node105.alineos.net 0.66/0.57 c (0,0) Parsing Begin 1.40/0.90 c (0,0) Parsing End 1.40/0.91 c (0,0) CSP: 50 int (0 aux), 0 bool (0 aux), 53 ctr, max domain size 336 1.40/0.91 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB) 1.40/0.91 c (0,0) Constraint Name Generate Begin 1.40/0.91 c (0,0) Ctr:HOME/instance-4405203-1569337447.xml,Le:NoOverlap:Num:Var 1.40/0.91 c (0,0) Constraint Name Generate End 1.40/0.91 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB) 1.40/0.91 c (0,0) CSP to CSPinCNF Begin 1.40/0.99 c (0,0) translated 6 (10%) constraints 1.40/1.00 c (0,0) translated 11 (20%) constraints 1.40/1.00 c (0,0) translated 16 (30%) constraints 1.40/1.00 c (0,0) translated 22 (40%) constraints 1.40/1.00 c (0,0) translated 27 (50%) constraints 1.56/1.01 c (0,0) translated 32 (60%) constraints 1.56/1.01 c (0,0) translated 38 (70%) constraints 1.56/1.01 c (0,0) translated 43 (80%) constraints 1.56/1.01 c (0,0) translated 48 (90%) constraints 2.18/1.27 c (0,0) translated 53 (100%) constraints 2.18/1.27 c (0,0) =========================================== 2.18/1.27 c (0,0) Order 2.18/1.27 c (0,0) =========================================== 2.18/1.28 c (0,0) translated 36 (10%) constraints 2.18/1.28 c (0,0) translated 71 (20%) constraints 2.18/1.29 c (0,0) translated 106 (30%) constraints 2.18/1.29 c (0,0) translated 141 (40%) constraints 2.53/1.30 c (0,0) translated 176 (50%) constraints 2.53/1.30 c (0,0) translated 212 (60%) constraints 2.53/1.31 c (0,0) translated 247 (70%) constraints 2.53/1.31 c (0,0) translated 282 (80%) constraints 2.53/1.32 c (0,0) translated 317 (90%) constraints 2.53/1.32 c (0,0) translated 352 (100%) constraints 2.53/1.32 c (0,0) CSP to CSPinCNF End 2.53/1.32 c (0,0) CSP: 50 int (0 aux), 0 bool (0 aux), 352 ctr, max domain size 335 2.53/1.32 c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB) 2.53/1.32 c (0,0) CSPinCNF Propagation Begin 2.53/1.36 c (0,0) 0 values, 8 unsatisfiable literals, and 51 valid clauses are removed 2.53/1.36 c (0,0) CSPinCNF Propagation End 2.53/1.36 c (0,0) CSP: 50 int (0 aux), 0 bool (0 aux), 301 ctr, max domain size 335 2.53/1.36 c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB) 2.53/1.36 c (0,0) Simplify CSPinCNF Begin 2.88/1.45 c (0,0) Simplify CSPinCNF End 2.88/1.45 c (0,0) CSP: 50 int (0 aux), 1192 bool (1192 aux), 1493 ctr, max domain size 335 2.88/1.45 c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB) 2.88/1.45 c (0,0) Calculate Precise Domain Begin 2.88/1.45 c (0,0) 0 values are removed by re-calculation 2.88/1.45 c (0,0) Calculate Precise Domain End 2.88/1.45 c (0,0) CSP: 50 int (0 aux), 1192 bool (1192 aux), 1493 ctr, max domain size 335 2.88/1.45 c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB) 2.88/1.45 c (0,0) CSPinCNF to SatSolver Begin 4.24/1.88 c (1,1) 150 (10 %) CSP clauses are encoded (0 SAT variables, 48680 SAT clauses) 4.83/2.02 c (1,1) 299 (20 %) CSP clauses are encoded (0 SAT variables, 82256 SAT clauses) 4.94/2.15 c (1,1) 448 (30 %) CSP clauses are encoded (0 SAT variables, 113495 SAT clauses) 5.04/2.28 c (1,1) 598 (40 %) CSP clauses are encoded (0 SAT variables, 146030 SAT clauses) 5.15/2.39 c (1,1) 747 (50 %) CSP clauses are encoded (0 SAT variables, 175578 SAT clauses) 5.36/2.51 c (1,1) 896 (60 %) CSP clauses are encoded (0 SAT variables, 205031 SAT clauses) 5.47/2.62 c (2,2) 1046 (70 %) CSP clauses are encoded (0 SAT variables, 232037 SAT clauses) 5.59/2.72 c (2,2) 1195 (80 %) CSP clauses are encoded (0 SAT variables, 258078 SAT clauses) 5.71/2.81 c (2,2) 1344 (90 %) CSP clauses are encoded (0 SAT variables, 280743 SAT clauses) 5.71/2.87 c (2,2) 1493 (100 %) CSP clauses are encoded (0 SAT variables, 296506 SAT clauses) 5.71/2.87 c (2,2) CSPinCNF to SatSolver End 5.71/2.87 c (2,2) Heap : 1351 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB) 5.71/2.87 c (2,2) 15376 bool, 296582 clause 5.71/2.87 c (2,2) Export Begin 5.83/2.95 c (2,2) Export to HOME/scop-29888-serial-file.bin 5.83/2.95 c (2,2) Export End 5.83/2.95 c (2,2) Export File Size: 0.01 MB 5.83/2.95 c (2,2) 0,0,0,0,0,0,2,STOP-AFTER(DIMACS) 5.83/2.95 c END-Prog: Tue Sep 24 16:02:29 CEST 2019 5.83/2.97 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-29888-serial-file.bin 6.52/3.43 c (0,0) Read Serial File Begin 6.52/3.43 c (0,0) HOME/scop-29888-serial-file.bin 6.81/3.62 c (0,0) Read Serial File End 6.81/3.64 6.81/3.64 Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15) 6.81/3.64 (Solving Process) 6.81/3.64 6.81/3.66 c BEGIN-Prog: Tue Sep 24 16:02:29 CEST 2019 6.81/3.66 c PID: 29911 6.81/3.66 c IP: 172.20.3.105 6.81/3.66 c HOST: node105.alineos.net 6.81/3.66 c (0,0) SatSolver.solve Begin 6.81/3.66 c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405203-1569337447.xml-scop-29891.cnf 6.81/3.69 c (0,0) c 6.81/3.69 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) 6.81/3.69 c (0,0) c 6.81/3.69 c (0,0) c WARNING: for repeatability, setting FPU to use double precision 6.81/3.69 c (0,0) c 8 solvers engines and 1 companion as a blackboard created. 6.81/3.69 c (0,0) c ========================================[ Problem Statistics ]=========================================== 6.81/3.69 c (0,0) c | | 7.01/3.79 c (0,0) c | Number of variables: 15376 | 7.01/3.79 c (0,0) c | Number of clauses: 296582 | 7.01/3.79 c (0,0) c | Parse time: 0.09 s | 7.01/3.79 c (0,0) c | | 7.50/4.12 c (0,0) c | Simplification time: 0.32 s | 7.50/4.12 c (0,0) c | | 7.50/4.12 c (0,0) c | Generating clones | 7.59/4.20 c (0,0) c | all clones generated. Memory = 202.91Mb. | 7.59/4.20 c (0,0) c ========================================================================================================| 7.59/4.20 c (0,0) c 7.59/4.20 c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 7.59/4.20 c (0,0) c 7.59/4.20 c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 7.59/4.20 c (0,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 7.59/4.20 c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 9.09/4.46 c (0,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 9.09/4.46 c (0,0) c | adaptStrategeis | True | False | True | False | True | False | True | False | 9.09/4.46 c (0,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 9.09/4.46 c (0,0) c | Initial random_seed | 91648253 | 91648254 | 91648255 | 91648256 | 91648257 | 91648258 | 91648259 | 91648260 | 9.09/4.46 c (0,0) c | chanseokStrategy | False | False | False | False | False | False | False | False | 9.09/4.46 c (0,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 9.09/4.46 c (0,0) c | glureduce | True | True | True | True | True | True | True | True | 9.09/4.46 c (0,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 9.09/4.46 c (0,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 9.09/4.46 c (0,0) c | luby_restart | False | False | False | False | False | False | False | False | 9.09/4.46 c (0,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 9.09/4.46 c (0,0) c | var_decay | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 9.09/4.46 c (0,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 9.09/4.46 c (0,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 9.09/4.46 c (0,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 9.09/4.46 c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 171.47/25.38 c (22,0) c 171.47/25.38 c (22,0) c real time : 21.6937 s 171.47/25.38 c (22,0) c cpu time : 163.875 s 171.47/25.38 c (22,0) c 171.47/25.38 c (22,0) c 171.47/25.38 c (22,0) c 171.47/25.38 c (22,0) c |---------------------------------------- FINAL STATS --------------------------------------------------| 171.47/25.38 c (22,0) c 171.47/25.38 c (22,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 171.47/25.38 c (22,0) c | Threads | Total | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 171.47/25.38 c (22,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 171.47/25.38 c (22,0) c | Conflicts | 548829 | 67030 | 67840 | 69241 | 69333 | 69460 | 69103 | 68655 | 68167 | 171.47/25.38 c (22,0) c | Decisions | 1114541 | 136022 | 136151 | 138137 | 138530 | 141753 | 142061 | 138302 | 143585 | 171.47/25.38 c (22,0) c | Propagations | 300790514 | 37154533 | 37412272 | 37543766 | 38176174 | 37581871 | 37631133 | 37499247 | 37791518 | 171.47/25.38 c (22,0) c | ReduceDBs | 53 | 6 | 6 | 7 | 7 | 7 | 7 | 7 | 6 | 171.47/25.38 c (22,0) c | SimpDBs | 80 | 10 | 11 | 11 | 9 | 11 | 10 | 8 | 10 | 171.47/25.38 c (22,0) c | Restarts | 2136 | 261 | 276 | 278 | 233 | 260 | 291 | 267 | 270 | 171.47/25.38 c (22,0) c | ForcedImports | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 171.47/25.38 c (22,0) c | PropBinClauses| 356358475 | 44074384 | 44548876 | 44371891 | 45044834 | 44204734 | 44732569 | 44392125 | 44989062 | 171.47/25.38 c (22,0) c | PropPreBlocker| 4056097821 | 501950961 | 499133912 | 507108926 | 509877592 | 510165538 | 509363086 | 506612709 | 511885097 | 171.47/25.38 c (22,0) c | PropNotBlocker| 1282223615 | 159114160 | 161023730 | 156487857 | 158191908 | 162962588 | 162376481 | 159180032 | 162886859 | 171.47/25.38 c (22,0) c | LitFullScans | 7807708543 | 966102240 | 966145236 | 974544903 | 977506595 | 990134259 | 984076742 | 970982582 | 978215986 | 171.47/25.38 c (22,0) c | LitScanFracts | 1025428 | 88406 | 138925 | 139968 | 60780 | 121597 | 65747 | 204153 | 205852 | 171.47/25.38 c (22,0) c | DecisionLevel0| 2155 | 263 | 279 | 281 | 234 | 263 | 293 | 269 | 273 | 171.47/25.38 c (22,0) c | Periods | 1299 | 161 | 161 | 162 | 162 | 165 | 164 | 161 | 163 | 171.47/25.38 c (22,0) c | Margin | 160 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 171.47/25.38 c (22,0) c | Avg_Trail | | 6093 | 5933 | 6112 | 6157 | 5981 | 6044 | 6098 | 6142 | 171.47/25.38 c (22,0) c | Avg_DL | | 21 | 21 | 21 | 22 | 20 | 21 | 21 | 22 | 171.47/25.38 c (22,0) c | Avg_Res | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 171.47/25.38 c (22,0) c | Avg_Res_Seen | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 171.47/25.38 c (22,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 171.47/25.38 c (22,0) c | Exported | 87692 | 10512 | 10648 | 11357 | 11045 | 11185 | 11286 | 10966 | 10693 | 171.47/25.38 c (22,0) c | Imported | 560838 | 70234 | 70153 | 69861 | 70421 | 71080 | 70261 | 68861 | 69967 | 171.47/25.38 c (22,0) c | Good | 958 | 119 | 117 | 119 | 128 | 117 | 115 | 121 | 122 | 171.47/25.38 c (22,0) c | Purge | 559880 | 70115 | 70036 | 69742 | 70293 | 70963 | 70146 | 68740 | 69845 | 171.47/25.38 c (22,0) c | Promoted | 62571 | 7651 | 7695 | 8245 | 7582 | 8212 | 8117 | 7852 | 7217 | 171.47/25.38 c (22,0) c | Remove_Imp | 272073 | 27722 | 27865 | 37768 | 38138 | 38178 | 38699 | 36543 | 27160 | 171.47/25.38 c (22,0) c | Blocked_Reuse | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 171.47/25.38 c (22,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 171.47/25.38 c (22,0) c | Unaries | | 2 | 3 | 3 | 1 | 3 | 2 | 2 | 3 | 171.47/25.38 c (22,0) c | Binaries | | 18 | 22 | 19 | 9 | 22 | 25 | 16 | 17 | 171.47/25.38 c (22,0) c | Glues | | 207 | 192 | 220 | 177 | 215 | 243 | 197 | 208 | 171.47/25.38 c (22,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 171.47/25.38 c (22,0) c | Orig_Seen | 18 % | 53334 | 51634 | 52435 | 53388 | 53139 | 51985 | 55027 | 56461 | 171.47/25.38 c (22,0) c | Diff Orig seen| | - 1693 | - 3393 | - 2592 | - 1639 | - 1888 | - 3042 | X | 1434 | 171.47/25.38 c (22,0) c | Hamming | 28 % | 5522 | 2581 | 5091 | 5233 | 3647 | 5369 | X | 3484 | 171.47/25.38 c (22,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 171.47/25.38 c (22,0) c | RunningTime | | 21.1 100%| 20.6 100%| 20.4 100%| 20.5 100%| 20.4 100%| 20.4 100%| 20.4 100%| 20.4 100%| 171.47/25.38 c (22,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%| 171.47/25.38 c (22,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%| 171.47/25.38 c (22,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%| 171.47/25.38 c (22,0) c | SolvingTime | | 21.2 | 20.6 | 20.4 | 20.5 | 20.5 | 20.4 | 20.4 | 20.5 | 171.47/25.38 c (22,0) c | PropagationTim| | 17.5 83%| 17.0 82%| 16.6 81%| 16.7 82%| 16.7 82%| 16.7 82%| 16.6 81%| 16.9 82%| 171.47/25.38 c (22,0) c | AnalysisTime | | 2.8 13%| 2.8 14%| 2.8 14%| 2.9 14%| 2.8 14%| 2.8 14%| 2.9 14%| 2.7 13%| 171.47/25.38 c (22,0) c | ReductionTime | | 0.1 1%| 0.1 1%| 0.2 1%| 0.2 1%| 0.2 1%| 0.2 1%| 0.2 1%| 0.1 1%| 171.47/25.38 c (22,0) c | SimplifyTime | | 0.1 0%| 0.1 1%| 0.1 1%| 0.1 0%| 0.1 1%| 0.1 1%| 0.1 0%| 0.1 1%| 171.47/25.38 c (22,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%| 171.47/25.38 c (22,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%| 171.47/25.38 c (22,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 171.47/25.38 c (22,0) c 171.47/25.38 c (22,0) c 171.47/25.38 c (22,0) c Threads : 8 171.47/25.38 c (22,0) c Winner : 6 171.47/25.38 c (22,0) c Conflicts_0 : 67030 171.47/25.38 c (22,0) c Conflicts_1 : 67840 171.47/25.38 c (22,0) c Conflicts_2 : 69241 171.47/25.38 c (22,0) c Conflicts_3 : 69333 171.47/25.38 c (22,0) c Conflicts_4 : 69460 171.47/25.38 c (22,0) c Conflicts_5 : 69103 171.47/25.38 c (22,0) c Conflicts_6 : 68655 171.47/25.38 c (22,0) c Conflicts_7 : 68167 171.47/25.38 c (22,0) c Conflicts_total : 548829 171.47/25.38 c (22,0) c Conflicts_winner : 68655 171.47/25.38 c (22,0) c Decisions_0 : 136022 171.47/25.38 c (22,0) c Decisions_1 : 136151 171.47/25.38 c (22,0) c Decisions_2 : 138137 171.47/25.38 c (22,0) c Decisions_3 : 138530 171.47/25.38 c (22,0) c Decisions_4 : 141753 171.47/25.38 c (22,0) c Decisions_5 : 142061 171.47/25.38 c (22,0) c Decisions_6 : 138302 171.47/25.38 c (22,0) c Decisions_7 : 143585 171.47/25.38 c (22,0) c Decisions_total : 1114541 171.47/25.38 c (22,0) c Decisions_winner : 138302 171.47/25.38 c (22,0) c Propagations_0 : 37154533 171.47/25.38 c (22,0) c Propagations_1 : 37412272 171.47/25.38 c (22,0) c Propagations_2 : 37543766 171.47/25.38 c (22,0) c Propagations_3 : 38176174 171.47/25.38 c (22,0) c Propagations_4 : 37581871 171.47/25.38 c (22,0) c Propagations_5 : 37631133 171.47/25.38 c (22,0) c Propagations_6 : 37499247 171.47/25.38 c (22,0) c Propagations_7 : 37791518 171.47/25.38 c (22,0) c Propagations_total : 300790514 171.47/25.38 c (22,0) c Propagations_winner : 37499247 171.47/25.38 c (22,0) c ReduceDBs_0 : 6 171.47/25.38 c (22,0) c ReduceDBs_1 : 6 171.47/25.38 c (22,0) c ReduceDBs_2 : 7 171.47/25.38 c (22,0) c ReduceDBs_3 : 7 171.47/25.38 c (22,0) c ReduceDBs_4 : 7 171.47/25.38 c (22,0) c ReduceDBs_5 : 7 171.47/25.38 c (22,0) c ReduceDBs_6 : 7 171.47/25.38 c (22,0) c ReduceDBs_7 : 6 171.47/25.38 c (22,0) c ReduceDBs_total : 53 171.47/25.38 c (22,0) c ReduceDBs_winner : 7 171.47/25.38 c (22,0) c SimpDBs_0 : 10 171.47/25.38 c (22,0) c SimpDBs_1 : 11 171.47/25.38 c (22,0) c SimpDBs_2 : 11 171.47/25.38 c (22,0) c SimpDBs_3 : 9 171.47/25.38 c (22,0) c SimpDBs_4 : 11 171.47/25.38 c (22,0) c SimpDBs_5 : 10 171.47/25.38 c (22,0) c SimpDBs_6 : 8 171.47/25.38 c (22,0) c SimpDBs_7 : 10 171.47/25.38 c (22,0) c SimpDBs_total : 80 171.47/25.38 c (22,0) c SimpDBs_winner : 8 171.47/25.38 c (22,0) c Restarts_0 : 261 171.47/25.38 c (22,0) c Restarts_1 : 276 171.47/25.38 c (22,0) c Restarts_2 : 278 171.47/25.38 c (22,0) c Restarts_3 : 233 171.47/25.38 c (22,0) c Restarts_4 : 260 171.47/25.38 c (22,0) c Restarts_5 : 291 171.47/25.38 c (22,0) c Restarts_6 : 267 171.47/25.38 c (22,0) c Restarts_7 : 270 171.47/25.38 c (22,0) c Restarts_total : 2136 171.47/25.38 c (22,0) c Restarts_winner : 267 171.47/25.38 c (22,0) c ForcedImports_0 : 0 171.47/25.38 c (22,0) c ForcedImports_1 : 0 171.47/25.38 c (22,0) c ForcedImports_2 : 0 171.47/25.38 c (22,0) c ForcedImports_3 : 0 171.47/25.38 c (22,0) c ForcedImports_4 : 0 171.47/25.38 c (22,0) c ForcedImports_5 : 0 171.47/25.39 c (22,0) c ForcedImports_6 : 0 171.47/25.39 c (22,0) c ForcedImports_7 : 0 171.47/25.39 c (22,0) c ForcedImports_total : 0 171.47/25.39 c (22,0) c ForcedImports_winner : 0 171.47/25.39 c (22,0) c PropsBinClauses_0 : 44074384 171.47/25.39 c (22,0) c PropsBinClauses_1 : 44548876 171.47/25.39 c (22,0) c PropsBinClauses_2 : 44371891 171.47/25.39 c (22,0) c PropsBinClauses_3 : 45044834 171.47/25.39 c (22,0) c PropsBinClauses_4 : 44204734 171.47/25.39 c (22,0) c PropsBinClauses_5 : 44732569 171.47/25.39 c (22,0) c PropsBinClauses_6 : 44392125 171.47/25.39 c (22,0) c PropsBinClauses_7 : 44989062 171.47/25.39 c (22,0) c PropsBinClauses_total : 356358475 171.47/25.39 c (22,0) c PropsBinClauses_winner : 44392125 171.47/25.39 c (22,0) c PropsPreBlocker_0 : 501950961 171.47/25.39 c (22,0) c PropsPreBlocker_1 : 499133912 171.47/25.39 c (22,0) c PropsPreBlocker_2 : 507108926 171.47/25.39 c (22,0) c PropsPreBlocker_3 : 509877592 171.47/25.39 c (22,0) c PropsPreBlocker_4 : 510165538 171.47/25.39 c (22,0) c PropsPreBlocker_5 : 509363086 171.47/25.39 c (22,0) c PropsPreBlocker_6 : 506612709 171.47/25.39 c (22,0) c PropsPreBlocker_7 : 511885097 171.47/25.39 c (22,0) c PropsPreBlocker_total : 4056097821 171.47/25.39 c (22,0) c PropsPreBlocker_winner : 506612709 171.47/25.39 c (22,0) c PropsNotBlocker_0 : 159114160 171.47/25.39 c (22,0) c PropsNotBlocker_1 : 161023730 171.47/25.39 c (22,0) c PropsNotBlocker_2 : 156487857 171.47/25.39 c (22,0) c PropsNotBlocker_3 : 158191908 171.47/25.39 c (22,0) c PropsNotBlocker_4 : 162962588 171.47/25.39 c (22,0) c PropsNotBlocker_5 : 162376481 171.47/25.39 c (22,0) c PropsNotBlocker_6 : 159180032 171.47/25.39 c (22,0) c PropsNotBlocker_7 : 162886859 171.47/25.39 c (22,0) c PropsNotBlocker_total : 1282223615 171.47/25.39 c (22,0) c PropsNotBlocker_winner : 159180032 171.47/25.39 c (22,0) c PropsLitFullScans_0 : 966102240 171.47/25.39 c (22,0) c PropsLitFullScans_1 : 966145236 171.47/25.39 c (22,0) c PropsLitFullScans_2 : 974544903 171.47/25.39 c (22,0) c PropsLitFullScans_3 : 977506595 171.47/25.39 c (22,0) c PropsLitFullScans_4 : 990134259 171.47/25.39 c (22,0) c PropsLitFullScans_5 : 984076742 171.47/25.39 c (22,0) c PropsLitFullScans_6 : 970982582 171.47/25.39 c (22,0) c PropsLitFullScans_7 : 978215986 171.47/25.39 c (22,0) c PropsLitFullScans_total : 7807708543 171.47/25.39 c (22,0) c PropsLitFullScans_winner : 970982582 171.47/25.39 c (22,0) c LitScanFractions_0 : 88406 171.47/25.39 c (22,0) c LitScanFractions_1 : 138925 171.47/25.39 c (22,0) c LitScanFractions_2 : 139968 171.47/25.39 c (22,0) c LitScanFractions_3 : 60780 171.47/25.39 c (22,0) c LitScanFractions_4 : 121597 171.47/25.39 c (22,0) c LitScanFractions_5 : 65747 171.47/25.39 c (22,0) c LitScanFractions_6 : 204153 171.47/25.39 c (22,0) c LitScanFractions_7 : 205852 171.47/25.39 c (22,0) c LitScanFractions_total : 1025428 171.47/25.39 c (22,0) c LitScanFractions_winner : 204153 171.47/25.39 c (22,0) c DecisionLevel0_0 : 263 171.47/25.39 c (22,0) c DecisionLevel0_1 : 279 171.47/25.39 c (22,0) c DecisionLevel0_2 : 281 171.47/25.39 c (22,0) c DecisionLevel0_3 : 234 171.47/25.39 c (22,0) c DecisionLevel0_4 : 263 171.47/25.39 c (22,0) c DecisionLevel0_5 : 293 171.47/25.39 c (22,0) c DecisionLevel0_6 : 269 171.47/25.39 c (22,0) c DecisionLevel0_7 : 273 171.47/25.39 c (22,0) c DecisionLevel0_total : 2155 171.47/25.39 c (22,0) c DecisionLevel0_winner : 269 171.47/25.39 c (22,0) c Periods_0 : 161 171.47/25.39 c (22,0) c Periods_1 : 161 171.47/25.39 c (22,0) c Periods_2 : 162 171.47/25.39 c (22,0) c Periods_3 : 162 171.47/25.39 c (22,0) c Periods_4 : 165 171.47/25.39 c (22,0) c Periods_5 : 164 171.47/25.39 c (22,0) c Periods_6 : 161 171.47/25.39 c (22,0) c Periods_7 : 163 171.47/25.39 c (22,0) c Periods_total : 1299 171.47/25.39 c (22,0) c Periods_winner : 161 171.47/25.39 c (22,0) c Margin_0 : 20 171.47/25.39 c (22,0) c Margin_1 : 20 171.47/25.39 c (22,0) c Margin_2 : 20 171.47/25.39 c (22,0) c Margin_3 : 20 171.47/25.39 c (22,0) c Margin_4 : 20 171.47/25.39 c (22,0) c Margin_5 : 20 171.47/25.39 c (22,0) c Margin_6 : 20 171.47/25.39 c (22,0) c Margin_7 : 20 171.47/25.39 c (22,0) c Margin_total : 160 171.47/25.39 c (22,0) c Margin_winner : 20 171.47/25.39 c (22,0) c Exported_0 : 10512 171.47/25.39 c (22,0) c Exported_1 : 10648 171.47/25.39 c (22,0) c Exported_2 : 11357 171.47/25.39 c (22,0) c Exported_3 : 11045 171.47/25.39 c (22,0) c Exported_4 : 11185 171.47/25.39 c (22,0) c Exported_5 : 11286 171.47/25.39 c (22,0) c Exported_6 : 10966 171.47/25.39 c (22,0) c Exported_7 : 10693 171.47/25.39 c (22,0) c Exported_total : 87692 171.47/25.39 c (22,0) c Exported_winner : 10966 171.47/25.39 c (22,0) c Imported_0 : 70234 171.47/25.39 c (22,0) c Imported_1 : 70153 171.47/25.39 c (22,0) c Imported_2 : 69861 171.47/25.39 c (22,0) c Imported_3 : 70421 171.47/25.39 c (22,0) c Imported_4 : 71080 171.47/25.39 c (22,0) c Imported_5 : 70261 171.47/25.39 c (22,0) c Imported_6 : 68861 171.47/25.39 c (22,0) c Imported_7 : 69967 171.47/25.39 c (22,0) c Imported_total : 560838 171.47/25.39 c (22,0) c Imported_winner : 68861 171.47/25.39 c (22,0) c Good_0 : 119 171.47/25.39 c (22,0) c Good_1 : 117 171.47/25.39 c (22,0) c Good_2 : 119 171.47/25.39 c (22,0) c Good_3 : 128 171.47/25.39 c (22,0) c Good_4 : 117 171.47/25.39 c (22,0) c Good_5 : 115 171.47/25.39 c (22,0) c Good_6 : 121 171.47/25.39 c (22,0) c Good_7 : 122 171.47/25.39 c (22,0) c Good_total : 958 171.47/25.39 c (22,0) c Good_winner : 121 171.47/25.39 c (22,0) c Purge_0 : 70115 171.47/25.39 c (22,0) c Purge_1 : 70036 171.47/25.39 c (22,0) c Purge_2 : 69742 171.47/25.39 c (22,0) c Purge_3 : 70293 171.47/25.39 c (22,0) c Purge_4 : 70963 171.47/25.39 c (22,0) c Purge_5 : 70146 171.47/25.39 c (22,0) c Purge_6 : 68740 171.47/25.39 c (22,0) c Purge_7 : 69845 171.47/25.39 c (22,0) c Purge_total : 559880 171.47/25.39 c (22,0) c Purge_winner : 68740 171.47/25.39 c (22,0) c Promoted_0 : 7651 171.47/25.39 c (22,0) c Promoted_1 : 7695 171.47/25.39 c (22,0) c Promoted_2 : 8245 171.47/25.39 c (22,0) c Promoted_3 : 7582 171.47/25.39 c (22,0) c Promoted_4 : 8212 171.47/25.39 c (22,0) c Promoted_5 : 8117 171.47/25.39 c (22,0) c Promoted_6 : 7852 171.47/25.39 c (22,0) c Promoted_7 : 7217 171.47/25.39 c (22,0) c Promoted_total : 62571 171.47/25.39 c (22,0) c Promoted_winner : 7852 171.47/25.39 c (22,0) c Remove_Imp_0 : 27722 171.47/25.39 c (22,0) c Remove_Imp_1 : 27865 171.47/25.39 c (22,0) c Remove_Imp_2 : 37768 171.47/25.39 c (22,0) c Remove_Imp_3 : 38138 171.47/25.39 c (22,0) c Remove_Imp_4 : 38178 171.47/25.39 c (22,0) c Remove_Imp_5 : 38699 171.47/25.39 c (22,0) c Remove_Imp_6 : 36543 171.47/25.39 c (22,0) c Remove_Imp_7 : 27160 171.47/25.39 c (22,0) c Remove_Imp_total : 272073 171.47/25.39 c (22,0) c Remove_Imp_winner : 36543 171.47/25.39 c (22,0) c Blocked_Reuse_0 : 0 171.47/25.39 c (22,0) c Blocked_Reuse_1 : 0 171.47/25.39 c (22,0) c Blocked_Reuse_2 : 0 171.47/25.39 c (22,0) c Blocked_Reuse_3 : 0 171.47/25.39 c (22,0) c Blocked_Reuse_4 : 0 171.47/25.39 c (22,0) c Blocked_Reuse_5 : 0 171.47/25.39 c (22,0) c Blocked_Reuse_6 : 0 171.47/25.39 c (22,0) c Blocked_Reuse_7 : 0 171.47/25.39 c (22,0) c Blocked_Reuse_total : 0 171.47/25.39 c (22,0) c Blocked_Reuse_winner : 0 171.47/25.39 c (22,0) c Unaries_0 : 2 171.47/25.39 c (22,0) c Unaries_1 : 3 171.47/25.39 c (22,0) c Unaries_2 : 3 171.47/25.39 c (22,0) c Unaries_3 : 1 171.47/25.39 c (22,0) c Unaries_4 : 3 171.47/25.39 c (22,0) c Unaries_5 : 2 171.47/25.39 c (22,0) c Unaries_6 : 2 171.47/25.39 c (22,0) c Unaries_7 : 3 171.47/25.39 c (22,0) c Unaries_total : 19 171.47/25.39 c (22,0) c Unaries_winner : 2 171.47/25.39 c (22,0) c Binaries_0 : 18 171.47/25.39 c (22,0) c Binaries_1 : 22 171.47/25.39 c (22,0) c Binaries_2 : 19 171.47/25.39 c (22,0) c Binaries_3 : 9 171.47/25.39 c (22,0) c Binaries_4 : 22 171.47/25.39 c (22,0) c Binaries_5 : 25 171.47/25.39 c (22,0) c Binaries_6 : 16 171.47/25.39 c (22,0) c Binaries_7 : 17 171.47/25.39 c (22,0) c Binaries_total : 148 171.47/25.39 c (22,0) c Binaries_winner : 16 171.47/25.39 c (22,0) c Glues_0 : 207 171.47/25.39 c (22,0) c Glues_1 : 192 171.47/25.39 c (22,0) c Glues_2 : 220 171.47/25.39 c (22,0) c Glues_3 : 177 171.47/25.39 c (22,0) c Glues_4 : 215 171.47/25.39 c (22,0) c Glues_5 : 243 171.47/25.39 c (22,0) c Glues_6 : 197 171.47/25.39 c (22,0) c Glues_7 : 208 171.47/25.39 c (22,0) c Glues_total : 1659 171.47/25.39 c (22,0) c Glues_winner : 197 171.47/25.39 c (22,0) c RunningTime_0 : 21.132756 171.47/25.39 c (22,0) c RunningTime_1 : 20.589357 171.47/25.39 c (22,0) c RunningTime_2 : 20.384143 171.47/25.39 c (22,0) c RunningTime_3 : 20.460596 171.47/25.39 c (22,0) c RunningTime_4 : 20.414788 171.47/25.39 c (22,0) c RunningTime_5 : 20.387365 171.47/25.39 c (22,0) c RunningTime_6 : 20.379054 171.47/25.39 c (22,0) c RunningTime_7 : 20.438046 171.47/25.39 c (22,0) c RunningTime_total : 164.186104 171.47/25.39 c (22,0) c RunningTime_winner : 20.379054 171.47/25.39 c (22,0) c WaitingTime_0 : 0.000172 171.47/25.39 c (22,0) c WaitingTime_1 : 0.000232 171.47/25.39 c (22,0) c WaitingTime_2 : 0.000270 171.47/25.39 c (22,0) c WaitingTime_3 : 0.000257 171.47/25.39 c (22,0) c WaitingTime_4 : 0.000269 171.47/25.39 c (22,0) c WaitingTime_5 : 0.000231 171.47/25.39 c (22,0) c WaitingTime_6 : 0.000226 171.47/25.39 c (22,0) c WaitingTime_7 : 0.000217 171.47/25.39 c (22,0) c WaitingTime_total : 0.001874 171.47/25.39 c (22,0) c WaitingTime_winner : 0.000226 171.47/25.39 c (22,0) c ExchangingTime_0 : 0.033225 171.47/25.39 c (22,0) c ExchangingTime_1 : 0.034967 171.47/25.39 c (22,0) c ExchangingTime_2 : 0.030234 171.47/25.39 c (22,0) c ExchangingTime_3 : 0.034008 171.47/25.39 c (22,0) c ExchangingTime_4 : 0.037747 171.47/25.39 c (22,0) c ExchangingTime_5 : 0.034834 171.47/25.39 c (22,0) c ExchangingTime_6 : 0.028285 171.47/25.39 c (22,0) c ExchangingTime_7 : 0.030212 171.47/25.39 c (22,0) c ExchangingTime_total : 0.263513 171.47/25.39 c (22,0) c ExchangingTime_winner : 0.028285 171.47/25.39 c (22,0) c PeriodProcTime_0 : 0.001446 171.47/25.39 c (22,0) c PeriodProcTime_1 : 0.001503 171.47/25.39 c (22,0) c PeriodProcTime_2 : 0.001768 171.47/25.39 c (22,0) c PeriodProcTime_3 : 0.001301 171.47/25.39 c (22,0) c PeriodProcTime_4 : 0.001516 171.47/25.39 c (22,0) c PeriodProcTime_5 : 0.001333 171.47/25.39 c (22,0) c PeriodProcTime_6 : 0.001535 171.47/25.39 c (22,0) c PeriodProcTime_7 : 0.001263 171.47/25.39 c (22,0) c PeriodProcTime_total : 0.011664 171.47/25.39 c (22,0) c PeriodProcTime_winner : 0.001535 171.47/25.39 c (22,0) c SolvingTime_0 : 21.167599 171.47/25.39 c (22,0) c SolvingTime_1 : 20.626059 171.47/25.39 c (22,0) c SolvingTime_2 : 20.416415 171.47/25.39 c (22,0) c SolvingTime_3 : 20.496162 171.47/25.39 c (22,0) c SolvingTime_4 : 20.454319 171.47/25.39 c (22,0) c SolvingTime_5 : 20.423764 171.47/25.39 c (22,0) c SolvingTime_6 : 20.409101 171.47/25.39 c (22,0) c SolvingTime_7 : 20.469737 171.47/25.39 c (22,0) c SolvingTime_total : 164.463156 171.47/25.39 c (22,0) c SolvingTime_winner : 20.409101 171.47/25.39 c (22,0) c PropagationTime_0 : 17.508303 171.47/25.39 c (22,0) c PropagationTime_1 : 16.975784 171.47/25.39 c (22,0) c PropagationTime_2 : 16.617099 171.47/25.39 c (22,0) c PropagationTime_3 : 16.705064 171.47/25.39 c (22,0) c PropagationTime_4 : 16.696852 171.47/25.39 c (22,0) c PropagationTime_5 : 16.672519 171.47/25.39 c (22,0) c PropagationTime_6 : 16.584897 171.47/25.39 c (22,0) c PropagationTime_7 : 16.870568 171.47/25.39 c (22,0) c PropagationTime_total : 134.631085 171.47/25.39 c (22,0) c PropagationTime_winner : 16.584897 171.47/25.39 c (22,0) c AnalysisTime_0 : 2.753544 171.47/25.39 c (22,0) c AnalysisTime_1 : 2.787711 171.47/25.39 c (22,0) c AnalysisTime_2 : 2.840592 171.47/25.39 c (22,0) c AnalysisTime_3 : 2.873717 171.47/25.39 c (22,0) c AnalysisTime_4 : 2.819133 171.47/25.39 c (22,0) c AnalysisTime_5 : 2.817784 171.47/25.39 c (22,0) c AnalysisTime_6 : 2.927850 171.47/25.39 c (22,0) c AnalysisTime_7 : 2.709288 171.47/25.39 c (22,0) c AnalysisTime_total : 22.529618 171.47/25.39 c (22,0) c AnalysisTime_winner : 2.927850 171.47/25.39 c (22,0) c ReductionTime_0 : 0.145630 171.47/25.39 c (22,0) c ReductionTime_1 : 0.116446 171.47/25.39 c (22,0) c ReductionTime_2 : 0.174390 171.47/25.39 c (22,0) c ReductionTime_3 : 0.178194 171.47/25.39 c (22,0) c ReductionTime_4 : 0.176527 171.47/25.39 c (22,0) c ReductionTime_5 : 0.173462 171.47/25.39 c (22,0) c ReductionTime_6 : 0.176296 171.47/25.39 c (22,0) c ReductionTime_7 : 0.115829 171.47/25.39 c (22,0) c ReductionTime_total : 1.256773 171.47/25.39 c (22,0) c ReductionTime_winner : 0.176296 171.47/25.39 c (22,0) c SimplifyTime_0 : 0.101002 171.47/25.39 c (22,0) c SimplifyTime_1 : 0.109752 171.47/25.39 c (22,0) c SimplifyTime_2 : 0.109667 171.47/25.39 c (22,0) c SimplifyTime_3 : 0.095592 171.47/25.39 c (22,0) c SimplifyTime_4 : 0.111847 171.47/25.39 c (22,0) c SimplifyTime_5 : 0.103012 171.47/25.39 c (22,0) c SimplifyTime_6 : 0.078424 171.47/25.39 c (22,0) c SimplifyTime_7 : 0.102866 171.47/25.39 c (22,0) c SimplifyTime_total : 0.812163 171.47/25.39 c (22,0) c SimplifyTime_winner : 0.078424 171.47/25.39 c (22,0) c UsedRateTime_0 : 0.000000 171.47/25.39 c (22,0) c UsedRateTime_1 : 0.000000 171.47/25.39 c (22,0) c UsedRateTime_2 : 0.000000 171.47/25.39 c (22,0) c UsedRateTime_3 : 0.000000 171.47/25.39 c (22,0) c UsedRateTime_4 : 0.000000 171.47/25.39 c (22,0) c UsedRateTime_5 : 0.000000 171.47/25.39 c (22,0) c UsedRateTime_6 : 0.000000 171.47/25.39 c (22,0) c UsedRateTime_7 : 0.000000 171.47/25.39 c (22,0) c UsedRateTime_total : 0.000000 171.47/25.39 c (22,0) c UsedRateTime_winner : 0.000000 171.47/25.39 c (22,0) c OverlapRateTime_0 : 0.000000 171.47/25.39 c (22,0) c OverlapRateTime_1 : 0.000000 171.47/25.39 c (22,0) c OverlapRateTime_2 : 0.000000 171.47/25.39 c (22,0) c OverlapRateTime_3 : 0.000000 171.47/25.39 c (22,0) c OverlapRateTime_4 : 0.000000 171.47/25.40 c (22,0) c OverlapRateTime_5 : 0.000000 171.47/25.40 c (22,0) c OverlapRateTime_6 : 0.000000 171.47/25.40 c (22,0) c OverlapRateTime_7 : 0.000000 171.47/25.40 c (22,0) c OverlapRateTime_total : 0.000000 171.47/25.40 c (22,0) c OverlapRateTime_winner : 0.000000 171.47/25.40 c (22,0) c 171.47/25.40 c (22,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 171.47/25.40 c (22,0) c 171.47/25.40 c (22,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 171.47/25.40 c (22,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 171.47/25.40 c (22,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 171.47/25.40 c (22,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 171.47/25.40 c (22,0) c | adaptStrategeis | True | False | True | False | True | False | True | False | 171.47/25.40 c (22,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 171.47/25.40 c (22,0) c | Initial random_seed | 1515466703 | 1780552439 | 2116673171 | 801313722 | 300903182 | 1689563996 | 598358309 | 1304028295 | 171.47/25.40 c (22,0) c | chanseokStrategy | False | False | False | False | False | False | False | False | 171.47/25.40 c (22,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 171.47/25.40 c (22,0) c | glureduce | True | True | True | True | True | True | True | True | 171.47/25.40 c (22,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 171.47/25.40 c (22,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 171.47/25.40 c (22,0) c | luby_restart | False | False | False | False | False | False | False | False | 171.47/25.40 c (22,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 171.47/25.40 c (22,0) c | var_decay | 0.9300 | 0.9300 | 0.9300 | 0.9300 | 0.9300 | 0.9300 | 0.9300 | 0.9300 | 171.47/25.40 c (22,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 171.47/25.40 c (22,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 171.47/25.40 c (22,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 171.47/25.40 c (22,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 171.47/25.40 c (22,0) 171.47/25.40 c (22,0) s SATISFIABLE 171.61/25.44 c (22,0) SatSolver.solve End 171.61/25.44 c (22,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB) 171.61/25.44 c (22,0) Show results Begin 171.89/25.54 c (22,0) x[0] = 224 171.89/25.54 c (22,0) x[1] = 105 171.89/25.54 c (22,0) x[2] = 101 171.89/25.54 c (22,0) x[3] = 101 171.89/25.54 c (22,0) x[4] = 176 171.89/25.54 c (22,0) x[5] = 108 171.89/25.54 c (22,0) x[6] = 118 171.89/25.54 c (22,0) x[7] = 101 171.89/25.54 c (22,0) x[8] = 79 171.89/25.54 c (22,0) x[9] = 105 171.89/25.54 c (22,0) x[10] = 73 171.89/25.54 c (22,0) x[11] = 226 171.89/25.54 c (22,0) x[12] = 224 171.89/25.54 c (22,0) x[13] = 184 171.89/25.54 c (22,0) x[14] = 73 171.89/25.54 c (22,0) x[15] = 176 171.89/25.54 c (22,0) x[16] = 79 171.89/25.54 c (22,0) x[17] = 118 171.89/25.54 c (22,0) x[18] = 0 171.89/25.54 c (22,0) x[19] = 262 171.89/25.54 c (22,0) x[20] = 0 171.89/25.54 c (22,0) x[21] = 132 171.89/25.54 c (22,0) x[22] = 226 171.89/25.54 c (22,0) x[23] = 184 171.89/25.54 c (22,0) x[24] = 0 171.89/25.54 c (22,0) y[0] = 190 171.89/25.54 c (22,0) y[1] = 253 171.89/25.54 c (22,0) y[2] = 253 171.89/25.54 c (22,0) y[3] = 246 171.89/25.54 c (22,0) y[4] = 184 171.89/25.54 c (22,0) y[5] = 246 171.89/25.54 c (22,0) y[6] = 242 171.89/25.54 c (22,0) y[7] = 229 171.89/25.54 c (22,0) y[8] = 257 171.89/25.54 c (22,0) y[9] = 256 171.89/25.54 c (22,0) y[10] = 229 171.89/25.54 c (22,0) y[11] = 190 171.89/25.54 c (22,0) y[12] = 152 171.89/25.54 c (22,0) y[13] = 152 171.89/25.54 c (22,0) y[14] = 184 171.89/25.54 c (22,0) y[15] = 192 171.89/25.54 c (22,0) y[16] = 283 171.89/25.54 c (22,0) y[17] = 184 171.89/25.54 c (22,0) y[18] = 184 171.89/25.54 c (22,0) y[19] = 152 171.89/25.54 c (22,0) y[20] = 257 171.89/25.54 c (22,0) y[21] = 242 171.89/25.54 c (22,0) y[22] = 226 171.89/25.54 c (22,0) y[23] = 0 171.89/25.54 c (22,0) y[24] = 0 171.89/25.54 s SATISFIABLE 171.89/25.54 v <instantiation> 171.89/25.54 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] y[0] y[1] y[2] y[3] y[4] y[5] y[6] y[7] y[8] y[9] y[10] y[11] y[12] y[13] y[14] y[15] y[16] y[17] y[18] y[19] y[20] y[21] y[22] y[23] y[24]</list> 171.89/25.54 v <values>224 105 101 101 176 108 118 101 79 105 73 226 224 184 73 176 79 118 0 262 0 132 226 184 0 190 253 253 246 184 246 242 229 257 256 229 190 152 152 184 192 283 184 184 152 257 242 226 0 0</values> 171.89/25.54 v </instantiation> 171.89/25.54 c (22,0) Show results End 171.89/25.54 c (22,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB) 171.89/25.54 c (22,0) 22,22,STOP-AFTER(ALL) 171.89/25.54 c END-Prog: Tue Sep 24 16:02:51 CEST 2019
OK
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. NUMA information: number of nodes: 2 memory of node 0: 16374 MiB (13556 MiB free) memory of node 1: 16384 MiB (12071 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405203-1569337447/watcher-4405203-1569337447 -o /var/tmp/evaluation-result-4405203-1569337447/solver-4405203-1569337447 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node105-1569332278-29365 --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-4405203-1569337447.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=29888, runsolver pid=29885 Current StackSize limit: 8192 KiB [startup+0.105103 s]* /proc/loadavg: 4.72 2.16 1.92 3/211 29910 /proc/meminfo: memFree=26147200/32770624 swapFree=66956836/67108860 [pid=29888] ppid=29885 vsize=113128 memory=1392 CPUtime=0 cores=0-7 /proc/29888/stat : 29888 (scop.sh) S 29885 29888 29338 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 510002449 115843072 348 33554432000 4194304 5098028 140722545692096 140722545689352 139966865314428 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 19623936 140722545693437 140722545693784 140722545693784 140722545696713 0 /proc/29888/statm: 28282 348 296 221 0 87 0 [pid=29891] ppid=29888 vsize=27314120 memory=109936 CPUtime=0.11 cores=0-7 /proc/29891/stat : 29891 (java) S 29888 29888 29338 0 -1 1077944320 6550 0 0 0 9 2 0 0 20 0 20 0 510002450 27969658880 27484 33554432000 4194304 4196468 140737271872960 140737271855504 140373883830007 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12812288 140737271874247 140737271874694 140737271874694 140737271877583 0 /proc/29891/statm: 6828530 27484 2817 1 0 6790935 0 [pid=29891/tid=29892] ppid=29888 vsize=27314120 memory=8317482817917895235 CPUtime=0.08 cores=0-7 /proc/29891/task/29892/stat : 29892 (java) R 29888 29888 29338 0 -1 4202560 4606 0 0 0 7 1 0 0 20 0 20 0 510002450 27969658880 27484 33554432000 4194304 4196468 140737271872960 140373855653560 140373869201219 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12812288 140737271874247 140737271874694 140737271874694 140737271877583 0 [pid=29891/tid=29893] ppid=29888 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/29891/task/29893/stat : 29893 (java) S 29888 29888 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510002452 27969658880 27484 33554432000 4194304 4196468 140737271872960 140373888072464 140373883840213 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12812288 140737271874247 140737271874694 140737271874694 140737271877583 0 [pid=29891/tid=29894] ppid=29888 vsize=27314120 memory=140100391106176 CPUtime=0 cores=0-7 /proc/29891/task/29894/stat : 29894 (java) S 29888 29888 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510002452 27969658880 27484 33554432000 4194304 4196468 140737271872960 140373702228880 140373883840213 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12812288 140737271874247 140737271874694 140737271874694 140737271877583 0 [pid=29891/tid=29895] ppid=29888 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/29891/task/29895/stat : 29895 (java) S 29888 29888 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510002452 27969658880 27484 33554432000 4194304 4196468 140737271872960 140373701176336 140373883840213 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12812288 140737271874247 140737271874694 140737271874694 140737271877583 0 [pid=29891/tid=29896] ppid=29888 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/29891/task/29896/stat : 29896 (java) S 29888 29888 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510002452 27969658880 27484 33554432000 4194304 4196468 140737271872960 140373700123792 140373883840213 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12812288 140737271874247 140737271874694 140737271874694 140737271877583 0 [pid=29891/tid=29897] ppid=29888 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/29891/task/29897/stat : 29897 (java) S 29888 29888 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510002452 27969658880 27484 33554432000 4194304 4196468 140737271872960 140373699070224 140373883840213 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12812288 140737271874247 140737271874694 140737271874694 140737271877583 0 [pid=29891/tid=29898] ppid=29888 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/29891/task/29898/stat : 29898 (java) S 29888 29888 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510002452 27969658880 27484 33554432000 4194304 4196468 140737271872960 140373698017680 140373883840213 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12812288 140737271874247 140737271874694 140737271874694 140737271877583 0 [pid=29891/tid=29899] ppid=29888 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/29891/task/29899/stat : 29899 (java) S 29888 29888 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510002452 27969658880 27484 33554432000 4194304 4196468 140737271872960 140373696965136 140373883840213 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12812288 140737271874247 140737271874694 140737271874694 140737271877583 0 [pid=29891/tid=29900] ppid=29888 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/29891/task/29900/stat : 29900 (java) S 29888 29888 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510002452 27969658880 27484 33554432000 4194304 4196468 140737271872960 140373695912592 140373883840213 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12812288 140737271874247 140737271874694 140737271874694 140737271877583 0 [pid=29891/tid=29901] ppid=29888 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/29891/task/29901/stat : 29901 (java) S 29888 29888 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510002454 27969658880 27484 33554432000 4194304 4196468 140737271872960 140371934788080 140373883841154 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12812288 140737271874247 140737271874694 140737271874694 140737271877583 0 [pid=29891/tid=29902] ppid=29888 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/29891/task/29902/stat : 29902 (java) S 29888 29888 29338 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510002454 27969658880 27484 33554432000 4194304 4196468 140737271872960 140371812148640 140373883840213 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12812288 140737271874247 140737271874694 140737271874694 140737271877583 0 [pid=29891/tid=29903] ppid=29888 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/29891/task/29903/stat : 29903 (java) S 29888 29888 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510002455 27969658880 27484 33554432000 4194304 4196468 140737271872960 140371543713264 140373883840213 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12812288 140737271874247 140737271874694 140737271874694 140737271877583 0 [pid=29891/tid=29904] ppid=29888 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/29891/task/29904/stat : 29904 (java) S 29888 29888 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510002457 27969658880 27484 33554432000 4194304 4196468 140737271872960 140371169204944 140373883848603 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12812288 140737271874247 140737271874694 140737271874694 140737271877583 0 [pid=29891/tid=29905] ppid=29888 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/29891/task/29905/stat : 29905 (java) S 29888 29888 29338 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 20 0 510002457 27969658880 27484 33554432000 4194304 4196468 140737271872960 140371933734896 140373883841154 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12812288 140737271874247 140737271874694 140737271874694 140737271877583 0 [pid=29891/tid=29906] ppid=29888 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/29891/task/29906/stat : 29906 (java) S 29888 29888 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510002457 27969658880 27484 33554432000 4194304 4196468 140737271872960 140371932682352 140373883841154 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12812288 140737271874247 140737271874694 140737271874694 140737271877583 0 [pid=29891/tid=29907] ppid=29888 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/29891/task/29907/stat : 29907 (java) S 29888 29888 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510002457 27969658880 27484 33554432000 4194304 4196468 140737271872960 140371931629808 140373883841154 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12812288 140737271874247 140737271874694 140737271874694 140737271877583 0 [pid=29891/tid=29908] ppid=29888 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/29891/task/29908/stat : 29908 (java) R 29888 29888 29338 0 -1 4202560 310 0 0 0 0 0 0 0 20 0 20 0 510002457 27969658880 27484 33554432000 4194304 4196468 140737271872960 140371930574856 140373862965534 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12812288 140737271874247 140737271874694 140737271874694 140737271877583 0 [pid=29891/tid=29909] ppid=29888 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/29891/task/29909/stat : 29909 (java) S 29888 29888 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510002457 27969658880 27484 33554432000 4194304 4196468 140737271872960 140370671299296 140373883840213 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12812288 140737271874247 140737271874694 140737271874694 140737271877583 0 [pid=29891/tid=29910] ppid=29888 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/29891/task/29910/stat : 29910 (java) S 29888 29888 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510002458 27969658880 27484 33554432000 4194304 4196468 140737271872960 140371929525168 140373883841154 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12812288 140737271874247 140737271874694 140737271874694 140737271877583 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 111328 KiB [startup+0.210316 s]* /proc/loadavg: 4.72 2.16 1.92 3/211 29910 /proc/meminfo: memFree=26126128/32770624 swapFree=66956836/67108860 [pid=29888] ppid=29885 vsize=113128 memory=1392 CPUtime=0 cores=0-7 /proc/29888/stat : 29888 (scop.sh) S 29885 29888 29338 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 510002449 115843072 348 33554432000 4194304 5098028 140722545692096 140722545689352 139966865314428 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 19623936 140722545693437 140722545693784 140722545693784 140722545696713 0 /proc/29888/statm: 28282 348 296 221 0 87 0 [pid=29891] ppid=29888 vsize=27314120 memory=126916 CPUtime=0.24 cores=0-7 /proc/29891/stat : 29891 (java) S 29888 29888 29338 0 -1 1077944320 12084 0 0 0 20 4 0 0 20 0 20 0 510002450 27969658880 31729 33554432000 4194304 4196468 140737271872960 140737271855504 140373883830007 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12812288 140737271874247 140737271874694 140737271874694 140737271877583 0 /proc/29891/statm: 6828530 31729 2942 1 0 6790935 0 [pid=29891/tid=29892] ppid=29888 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/29891/task/29892/stat : 29892 (java) R 29888 29888 29338 0 -1 4202560 9787 0 0 0 16 3 0 0 20 0 20 0 510002450 27969658880 31729 33554432000 4194304 4196468 140737271872960 140373855645072 140373868995646 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12812288 140737271874247 140737271874694 140737271874694 140737271877583 0 [pid=29891/tid=29893] ppid=29888 vsize=27314120 memory=331 CPUtime=0 cores=0-7 /proc/29891/task/29893/stat : 29893 (java) S 29888 29888 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510002452 27969658880 31729 33554432000 4194304 4196468 140737271872960 140373888072464 140373883840213 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12812288 140737271874247 140737271874694 140737271874694 140737271877583 0 [pid=29891/tid=29894] ppid=29888 vsize=27314120 memory=140100391134820 CPUtime=0 cores=0-7 /proc/29891/task/29894/stat : 29894 (java) S 29888 29888 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510002452 27969658880 31729 33554432000 4194304 4196468 140737271872960 140373702228880 140373883840213 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12812288 140737271874247 140737271874694 140737271874694 140737271877583 0 [pid=29891/tid=29895] ppid=29888 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/29891/task/29895/stat : 29895 (java) S 29888 29888 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510002452 27969658880 31729 33554432000 4194304 4196468 140737271872960 140373701176336 140373883840213 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12812288 140737271874247 140737271874694 140737271874694 140737271877583 0 [pid=29891/tid=29896] ppid=29888 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/29891/task/29896/stat : 29896 (java) S 29888 29888 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510002452 27969658880 31729 33554432000 4194304 4196468 140737271872960 140373700123792 140373883840213 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12812288 140737271874247 140737271874694 140737271874694 140737271877583 0 [pid=29891/tid=29897] ppid=29888 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/29891/task/29897/stat : 29897 (java) S 29888 29888 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510002452 27969658880 31729 33554432000 4194304 4196468 140737271872960 140373699070224 140373883840213 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12812288 140737271874247 140737271874694 140737271874694 140737271877583 0 [pid=29891/tid=29898] ppid=29888 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/29891/task/29898/stat : 29898 (java) S 29888 29888 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510002452 27969658880 31729 33554432000 4194304 4196468 140737271872960 140373698017680 140373883840213 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12812288 140737271874247 140737271874694 140737271874694 140737271877583 0 [pid=29891/tid=29899] ppid=29888 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/29891/task/29899/stat : 29899 (java) S 29888 29888 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510002452 27969658880 31729 33554432000 4194304 4196468 140737271872960 140373696965136 140373883840213 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12812288 140737271874247 140737271874694 140737271874694 140737271877583 0 [pid=29891/tid=29900] ppid=29888 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/29891/task/29900/stat : 29900 (java) S 29888 29888 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510002452 27969658880 31729 33554432000 4194304 4196468 140737271872960 140373695912592 140373883840213 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12812288 140737271874247 140737271874694 140737271874694 140737271877583 0 [pid=29891/tid=29901] ppid=29888 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/29891/task/29901/stat : 29901 (java) S 29888 29888 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510002454 27969658880 31729 33554432000 4194304 4196468 140737271872960 140371934788080 140373883841154 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12812288 140737271874247 140737271874694 140737271874694 140737271877583 0 [pid=29891/tid=29902] ppid=29888 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/29891/task/29902/stat : 29902 (java) S 29888 29888 29338 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510002454 27969658880 31729 33554432000 4194304 4196468 140737271872960 140371812148640 140373883840213 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12812288 140737271874247 140737271874694 140737271874694 140737271877583 0 [pid=29891/tid=29903] ppid=29888 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/29891/task/29903/stat : 29903 (java) S 29888 29888 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510002455 27969658880 31729 33554432000 4194304 4196468 140737271872960 140371543713264 140373883840213 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12812288 140737271874247 140737271874694 140737271874694 140737271877583 0 [pid=29891/tid=29904] ppid=29888 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/29891/task/29904/stat : 29904 (java) S 29888 29888 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510002457 27969658880 31729 33554432000 4194304 4196468 140737271872960 140371169204944 140373883848603 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12812288 140737271874247 140737271874694 140737271874694 140737271877583 0 [pid=29891/tid=29905] ppid=29888 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/29891/task/29905/stat : 29905 (java) S 29888 29888 29338 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 20 0 510002457 27969658880 31729 33554432000 4194304 4196468 140737271872960 140371933734896 140373883841154 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12812288 140737271874247 140737271874694 140737271874694 140737271877583 0 [pid=29891/tid=29906] ppid=29888 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/29891/task/29906/stat : 29906 (java) S 29888 29888 29338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510002457 27969658880 31729 33554432000 4194304 4196468 140737271872960 140371932682352 140373883841154 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12812288 140737271874247 140737271874694 140737271874694 140737271877583 0 [pid=29891/tid=29907] ppid=29888 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/29891/task/29907/stat : 29907 (java) S 29888 29888 29338 0 -1 1077944384 171 0 0 0 0 0 0 0 20 0 20 0 510002457 27969658880 31729 33554432000 4194304 4196468 140737271872960 140371931629808 140373883841154 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12812288 140737271874247 140737271874694 140737271874694 140737271877583 0 [pid=29891/tid=29908] ppid=29888 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7 /proc/29891/task/29908/stat : 29908 (java) S 29888 29888 29338 0 -1 1077944384 466 0 0 0 2 0 0 0 20 0 20 0 510002457 27969658880 31729 33554432000 4194304 4196468 140737271872960 140371930577264 140373883841154 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12812288 140737271874247 140737271874694 140737271874694 140737271877583 0 [pid=29891/tid=29909] ppid=29888 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/29891/task/29909/stat : 29909 (java) S 29888 29888 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510002457 27969658880 31729 33554432000 4194304 4196468 140737271872960 140370671299296 140373883840213 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12812288 140737271874247 140737271874694 140737271874694 140737271877583 0 [pid=29891/tid=29910] ppid=29888 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/29891/task/29910/stat : 29910 (java) S 29888 29888 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510002458 27969658880 31729 33554432000 4194304 4196468 140737271872960 140371929525168 140373883841154 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12812288 140737271874247 140737271874694 140737271874694 140737271877583 0 Current children cumulated CPU time: 0.24 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 128308 KiB [startup+0.311136 s]* /proc/loadavg: 4.42 2.14 1.91 2/211 29910 /proc/meminfo: memFree=26124632/32770624 swapFree=66956836/67108860 [pid=29888] ppid=29885 vsize=113128 memory=1392 CPUtime=0 cores=0-7 /proc/29888/stat : 29888 (scop.sh) S 29885 29888 29338 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 510002449 115843072 348 33554432000 4194304 5098028 140722545692096 140722545689352 139966865314428 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 19623936 140722545693437 140722545693784 140722545693784 140722545696713 0 /proc/29888/statm: 28282 348 296 221 0 87 0 [pid=29891] ppid=29888 vsize=27314120 memory=130256 CPUtime=0.42 cores=0-7 /proc/29891/stat : 29891 (java) S 29888 29888 29338 0 -1 1077944320 12455 0 0 0 38 4 0 0 20 0 20 0 510002450 27969658880 32564 33554432000 4194304 4196468 140737271872960 140737271855504 140373883830007 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12812288 140737271874247 140737271874694 140737271874694 140737271877583 0 /proc/29891/statm: 6828530 32564 3028 1 0 6790935 0 [pid=29891/tid=29892] ppid=29888 vsize=27314120 memory=8317482817917895235 CPUtime=0.29 cores=0-7 /proc/29891/task/29892/stat : 29892 (java) R 29888 29888 29338 0 -1 4202560 9974 0 0 0 26 3 0 0 20 0 20 0 510002450 27969658880 32564 33554432000 4194304 4196468 140737271872960 140373855620656 140373865393584 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12812288 140737271874247 140737271874694 140737271874694 140737271877583 0 [pid=29891/tid=29893] ppid=29888 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/29891/task/29893/stat : 29893 (java) S 29888 29888 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510002452 27969658880 32564 33554432000 4194304 4196468 140737271872960 140373888072464 140373883840213 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12812288 140737271874247 140737271874694 140737271874694 140737271877583 0 [pid=29891/tid=29894] ppid=29888 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/29891/task/29894/stat : 29894 (java) S 29888 29888 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510002452 27969658880 32564 33554432000 4194304 4196468 140737271872960 140373702228880 140373883840213 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12812288 140737271874247 140737271874694 140737271874694 140737271877583 0 [pid=29891/tid=29895] ppid=29888 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/29891/task/29895/stat : 29895 (java) S 29888 29888 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510002452 27969658880 32564 33554432000 4194304 4196468 140737271872960 140373701176336 140373883840213 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12812288 140737271874247 140737271874694 140737271874694 140737271877583 0 [pid=29891/tid=29896] ppid=29888 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/29891/task/29896/stat : 29896 (java) S 29888 29888 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510002452 27969658880 32564 33554432000 4194304 4196468 140737271872960 140373700123792 140373883840213 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12812288 140737271874247 140737271874694 140737271874694 140737271877583 0 [pid=29891/tid=29897] ppid=29888 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/29891/task/29897/stat : 29897 (java) S 29888 29888 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510002452 27969658880 32564 33554432000 4194304 4196468 140737271872960 140373699070224 140373883840213 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12812288 140737271874247 140737271874694 140737271874694 140737271877583 0 [pid=29891/tid=29898] ppid=29888 vsize=27314120 memory=140100289784495 CPUtime=0 cores=0-7 /proc/29891/task/29898/stat : 29898 (java) S 29888 29888 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510002452 27969658880 32564 33554432000 4194304 4196468 140737271872960 140373698017680 140373883840213 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12812288 140737271874247 140737271874694 140737271874694 140737271877583 0 [pid=29891/tid=29899] ppid=29888 vsize=27314120 memory=140100289786800 CPUtime=0 cores=0-7 /proc/29891/task/29899/stat : 29899 (java) S 29888 29888 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510002452 27969658880 32564 33554432000 4194304 4196468 140737271872960 140373696965136 140373883840213 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12812288 140737271874247 140737271874694 140737271874694 140737271877583 0 [pid=29891/tid=29900] ppid=29888 vsize=27314120 memory=140100289789104 CPUtime=0 cores=0-7 /proc/29891/task/29900/stat : 29900 (java) S 29888 29888 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510002452 27969658880 32564 33554432000 4194304 4196468 140737271872960 140373695912592 140373883840213 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12812288 140737271874247 140737271874694 140737271874694 140737271877583 0 [pid=29891/tid=29901] ppid=29888 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/29891/task/29901/stat : 29901 (java) S 29888 29888 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510002454 27969658880 32564 33554432000 4194304 4196468 140737271872960 140371934788080 140373883841154 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12812288 140737271874247 140737271874694 140737271874694 140737271877583 0 [pid=29891/tid=29902] ppid=29888 vsize=27314120 memory=280200579592080 CPUtime=0 cores=0-7 /proc/29891/task/29902/stat : 29902 (java) S 29888 29888 29338 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510002454 27969658880 32564 33554432000 4194304 4196468 140737271872960 140371812148640 140373883840213 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12812288 140737271874247 140737271874694 140737271874694 140737271877583 0 [pid=29891/tid=29903] ppid=29888 vsize=27314120 memory=280200579589776 CPUtime=0 cores=0-7 /proc/29891/task/29903/stat : 29903 (java) S 29888 29888 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510002455 27969658880 32564 33554432000 4194304 4196468 140737271872960 140371543713264 140373883840213 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12812288 140737271874247 140737271874694 140737271874694 140737271877583 0 [pid=29891/tid=29904] ppid=29888 vsize=27314120 memory=280200579596688 CPUtime=0 cores=0-7 /proc/29891/task/29904/stat : 29904 (java) S 29888 29888 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510002457 27969658880 32564 33554432000 4194304 4196468 140737271872960 140371169204944 140373883848603 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12812288 140737271874247 140737271874694 140737271874694 140737271877583 0 [pid=29891/tid=29905] ppid=29888 vsize=27314120 memory=280200579537968 CPUtime=0.01 cores=0-7 /proc/29891/task/29905/stat : 29905 (java) S 29888 29888 29338 0 -1 1077944384 330 0 0 0 1 0 0 0 20 0 20 0 510002457 27969658880 32564 33554432000 4194304 4196468 140737271872960 140371933734896 140373883841154 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12812288 140737271874247 140737271874694 140737271874694 140737271877583 0 [pid=29891/tid=29906] ppid=29888 vsize=27314120 memory=280200579610512 CPUtime=0.01 cores=0-7 /proc/29891/task/29906/stat : 29906 (java) S 29888 29888 29338 0 -1 1077944384 106 0 0 0 1 0 0 0 20 0 20 0 510002457 27969658880 32564 33554432000 4194304 4196468 140737271872960 140371932682352 140373883841154 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12812288 140737271874247 140737271874694 140737271874694 140737271877583 0 [pid=29891/tid=29907] ppid=29888 vsize=27314120 memory=280200579617424 CPUtime=0.01 cores=0-7 /proc/29891/task/29907/stat : 29907 (java) R 29888 29888 29338 0 -1 4202560 224 0 0 0 1 0 0 0 20 0 20 0 510002457 27969658880 32564 33554432000 4194304 4196468 140737271872960 140371931629808 140373876119456 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12812288 140737271874247 140737271874694 140737271874694 140737271877583 0 [pid=29891/tid=29908] ppid=29888 vsize=27314120 memory=280200579615120 CPUtime=0.07 cores=0-7 /proc/29891/task/29908/stat : 29908 (java) S 29888 29888 29338 0 -1 1077944384 488 0 0 0 7 0 0 0 20 0 20 0 510002457 27969658880 32564 33554432000 4194304 4196468 140737271872960 140371930577264 140373883841154 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12812288 140737271874247 140737271874694 140737271874694 140737271877583 0 [pid=29891/tid=29909] ppid=29888 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/29891/task/29909/stat : 29909 (java) S 29888 29888 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510002457 27969658880 32564 33554432000 4194304 4196468 140737271872960 140370671299296 140373883840213 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12812288 140737271874247 140737271874694 140737271874694 140737271877583 0 [pid=29891/tid=29910] ppid=29888 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/29891/task/29910/stat : 29910 (java) S 29888 29888 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510002458 27969658880 32564 33554432000 4194304 4196468 140737271872960 140371929525168 140373883841154 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12812288 140737271874247 140737271874694 140737271874694 140737271877583 0 Current children cumulated CPU time: 0.42 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 131648 KiB [startup+0.701384 s] /proc/loadavg: 4.42 2.14 1.91 2/211 29910 /proc/meminfo: memFree=26103176/32770624 swapFree=66956836/67108860 [pid=29888] ppid=29885 vsize=113128 memory=1392 CPUtime=0 cores=0-7 /proc/29888/stat : 29888 (scop.sh) S 29885 29888 29338 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 510002449 115843072 348 33554432000 4194304 5098028 140722545692096 140722545689352 139966865314428 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 19623936 140722545693437 140722545693784 140722545693784 140722545696713 0 /proc/29888/statm: 28282 348 296 221 0 87 0 [pid=29891] ppid=29888 vsize=27322516 memory=166440 CPUtime=1 cores=0-7 /proc/29891/stat : 29891 (java) S 29888 29888 29338 0 -1 1077944320 20147 0 0 0 93 7 0 0 20 0 20 0 510002450 27978256384 41610 33554432000 4194304 4196468 140737271872960 140737271855504 140373883830007 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12812288 140737271874247 140737271874694 140737271874694 140737271877583 0 /proc/29891/statm: 6830629 41610 3205 1 0 6791959 0 [pid=29891/tid=29892] ppid=29888 vsize=27322516 memory=0 CPUtime=0.67 cores=0-7 /proc/29891/task/29892/stat : 29892 (java) R 29888 29888 29338 0 -1 4202560 17077 0 0 0 62 5 0 0 20 0 20 0 510002450 27978256384 41610 33554432000 4194304 4196468 140737271872960 140373855667280 140373867873637 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12812288 140737271874247 140737271874694 140737271874694 140737271877583 0 [pid=29891/tid=29893] ppid=29888 vsize=27322516 memory=140100289995632 CPUtime=0 cores=0-7 /proc/29891/task/29893/stat : 29893 (java) S 29888 29888 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510002452 27978256384 41610 33554432000 4194304 4196468 140737271872960 140373888072464 140373883840213 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12812288 140737271874247 140737271874694 140737271874694 140737271877583 0 [pid=29891/tid=29894] ppid=29888 vsize=27322516 memory=0 CPUtime=0 cores=0-7 /proc/29891/task/29894/stat : 29894 (java) S 29888 29888 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510002452 27978256384 41610 33554432000 4194304 4196468 140737271872960 140373702228880 140373883840213 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12812288 140737271874247 140737271874694 140737271874694 140737271877583 0 [pid=29891/tid=29895] ppid=29888 vsize=27322516 memory=784 CPUtime=0 cores=0-7 /proc/29891/task/29895/stat : 29895 (java) S 29888 29888 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510002452 27978256384 41610 33554432000 4194304 4196468 140737271872960 140373701176336 140373883840213 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12812288 140737271874247 140737271874694 140737271874694 140737271877583 0 ################ # More data... # ################ [pid=29911/tid=29916] ppid=29888 vsize=8414124 memory=-4866526899798303339 CPUtime=0 cores=0-7 /proc/29911/task/29916/stat : 29916 (java) S 29888 29888 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510002748 8616062976 29328 33554432000 4194304 4196468 140727368387296 140042835749520 140043352418005 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23240704 140727368389599 140727368389766 140727368389766 140727368392655 0 [pid=29911/tid=29917] ppid=29888 vsize=8414124 memory=2832 CPUtime=0 cores=0-7 /proc/29911/task/29917/stat : 29917 (java) S 29888 29888 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510002748 8616062976 29328 33554432000 4194304 4196468 140727368387296 140042834696976 140043352418005 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23240704 140727368389599 140727368389766 140727368389766 140727368392655 0 [pid=29911/tid=29918] ppid=29888 vsize=8414124 memory=1620 CPUtime=0 cores=0-7 /proc/29911/task/29918/stat : 29918 (java) S 29888 29888 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510002748 8616062976 29328 33554432000 4194304 4196468 140727368387296 140042833644432 140043352418005 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23240704 140727368389599 140727368389766 140727368389766 140727368392655 0 [pid=29911/tid=29919] ppid=29888 vsize=8414124 memory=1136 CPUtime=0 cores=0-7 /proc/29911/task/29919/stat : 29919 (java) S 29888 29888 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510002748 8616062976 29328 33554432000 4194304 4196468 140727368387296 140042832591888 140043352418005 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23240704 140727368389599 140727368389766 140727368389766 140727368392655 0 [pid=29911/tid=29920] ppid=29888 vsize=8414124 memory=1072 CPUtime=0 cores=0-7 /proc/29911/task/29920/stat : 29920 (java) S 29888 29888 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510002748 8616062976 29328 33554432000 4194304 4196468 140727368387296 140042831539344 140043352418005 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23240704 140727368389599 140727368389766 140727368389766 140727368392655 0 [pid=29911/tid=29921] ppid=29888 vsize=8414124 memory=6196 CPUtime=0 cores=0-7 /proc/29911/task/29921/stat : 29921 (java) S 29888 29888 29338 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 510002750 8616062976 29328 33554432000 4194304 4196468 140727368387296 140042781460464 140043352418946 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23240704 140727368389599 140727368389766 140727368389766 140727368392655 0 [pid=29911/tid=29922] ppid=29888 vsize=8414124 memory=784 CPUtime=0 cores=0-7 /proc/29911/task/29922/stat : 29922 (java) S 29888 29888 29338 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 510002750 8616062976 29328 33554432000 4194304 4196468 140727368387296 140041636537248 140043352418005 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23240704 140727368389599 140727368389766 140727368389766 140727368392655 0 [pid=29911/tid=29923] ppid=29888 vsize=8414124 memory=1060 CPUtime=0 cores=0-7 /proc/29911/task/29923/stat : 29923 (java) S 29888 29888 29338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 510002750 8616062976 29328 33554432000 4194304 4196468 140727368387296 140041502315504 140043352418005 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23240704 140727368389599 140727368389766 140727368389766 140727368392655 0 [pid=29911/tid=29924] ppid=29888 vsize=8414124 memory=14012 CPUtime=0 cores=0-7 /proc/29911/task/29924/stat : 29924 (java) S 29888 29888 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510002753 8616062976 29328 33554432000 4194304 4196468 140727368387296 140041127811280 140043352426395 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23240704 140727368389599 140727368389766 140727368389766 140727368392655 0 [pid=29911/tid=29925] ppid=29888 vsize=8414124 memory=23 CPUtime=0.02 cores=0-7 /proc/29911/task/29925/stat : 29925 (java) S 29888 29888 29338 0 -1 1077944384 388 0 0 0 2 0 0 0 20 0 24 0 510002753 8616062976 29328 33554432000 4194304 4196468 140727368387296 140042780408304 140043352418946 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23240704 140727368389599 140727368389766 140727368389766 140727368392655 0 [pid=29911/tid=29926] ppid=29888 vsize=8414124 memory=693 CPUtime=0.07 cores=0-7 /proc/29911/task/29926/stat : 29926 (java) S 29888 29888 29338 0 -1 1077944384 235 0 0 0 7 0 0 0 20 0 24 0 510002753 8616062976 29328 33554432000 4194304 4196468 140727368387296 140042779355760 140043352418946 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23240704 140727368389599 140727368389766 140727368389766 140727368392655 0 [pid=29911/tid=29927] ppid=29888 vsize=8414124 memory=174 CPUtime=0.07 cores=0-7 /proc/29911/task/29927/stat : 29927 (java) S 29888 29888 29338 0 -1 1077944384 456 0 0 0 7 0 0 0 20 0 24 0 510002753 8616062976 29328 33554432000 4194304 4196468 140727368387296 140042710280944 140043352418946 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23240704 140727368389599 140727368389766 140727368389766 140727368392655 0 [pid=29911/tid=29928] ppid=29888 vsize=8414124 memory=5086 CPUtime=0.19 cores=0-7 /proc/29911/task/29928/stat : 29928 (java) S 29888 29888 29338 0 -1 1077944384 482 0 0 0 19 0 0 0 20 0 24 0 510002753 8616062976 29328 33554432000 4194304 4196468 140727368387296 140042709228400 140043352418946 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 5 0 0 6293624 6294260 23240704 140727368389599 140727368389766 140727368389766 140727368392655 0 [pid=29911/tid=29929] ppid=29888 vsize=8414124 memory=408 CPUtime=0 cores=0-7 /proc/29911/task/29929/stat : 29929 (java) S 29888 29888 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510002753 8616062976 29328 33554432000 4194304 4196468 140727368387296 140040629905632 140043352418005 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23240704 140727368389599 140727368389766 140727368389766 140727368392655 0 [pid=29911/tid=29930] ppid=29888 vsize=8414124 memory=385 CPUtime=0 cores=0-7 /proc/29911/task/29930/stat : 29930 (java) S 29888 29888 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510002753 8616062976 29328 33554432000 4194304 4196468 140727368387296 140042708175280 140043352418946 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 23240704 140727368389599 140727368389766 140727368389766 140727368392655 0 [pid=29911/tid=29932] ppid=29888 vsize=8414124 memory=1212 CPUtime=0 cores=0-7 /proc/29911/task/29932/stat : 29932 (java) S 29888 29888 29338 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 510002818 8616062976 29328 33554432000 4194304 4196468 140727368387296 140042777744576 140043352432409 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 23240704 140727368389599 140727368389766 140727368389766 140727368392655 0 [pid=29911/tid=29934] ppid=29888 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/29911/task/29934/stat : 29934 (java) S 29888 29888 29338 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 510002819 8616062976 29328 33554432000 4194304 4196468 140727368387296 140039958806288 140043352429725 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 23240704 140727368389599 140727368389766 140727368389766 140727368392655 0 [pid=29911/tid=29935] ppid=29888 vsize=8414124 memory=18439 CPUtime=0 cores=0-7 /proc/29911/task/29935/stat : 29935 (java) S 29888 29888 29338 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 510002819 8616062976 29328 33554432000 4194304 4196468 140727368387296 140040227241872 140043352429725 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 23240704 140727368389599 140727368389766 140727368389766 140727368392655 0 [pid=29911/tid=29936] ppid=29888 vsize=8414124 memory=1472 CPUtime=0 cores=0-7 /proc/29911/task/29936/stat : 29936 (java) S 29888 29888 29338 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 510002821 8616062976 29328 33554432000 4194304 4196468 140727368387296 140039690378928 140043352418005 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23240704 140727368389599 140727368389766 140727368389766 140727368392655 0 Current children cumulated CPU time: 75.28 s Current children cumulated vsize: 9454544 KiB Current children cumulated memory: 525164 KiB [startup+25.5013 s] /proc/loadavg: 5.58 2.55 2.05 2/217 29947 /proc/meminfo: memFree=25613236/32770624 swapFree=66956836/67108860 [pid=29888] ppid=29885 vsize=113128 memory=1472 CPUtime=5.96 cores=0-7 /proc/29888/stat : 29888 (scop.sh) S 29885 29888 29338 0 -1 4202496 582 27053 0 0 0 0 567 29 20 0 1 0 510002449 115843072 368 33554432000 4194304 5098028 140722545692096 140722545688840 139966865314428 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 19623936 140722545693437 140722545693784 140722545693784 140722545696713 0 /proc/29888/statm: 28282 368 311 221 0 87 0 [pid=29911] ppid=29888 vsize=8283048 memory=129200 CPUtime=165.93 cores=0-7 /proc/29911/stat : 29911 (java) S 29888 29888 29338 0 -1 1077944320 22259 193347 0 0 138 8 16387 60 20 0 22 0 510002747 8481841152 32300 33554432000 4194304 4196468 140727368387296 140727368369840 140043352407799 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23240704 140727368389599 140727368389766 140727368389766 140727368392655 0 /proc/29911/statm: 2070762 32300 3225 1 0 2032106 0 [pid=29911/tid=29912] ppid=29888 vsize=8283048 memory=257139692071387 CPUtime=165.27 cores=0-7 /proc/29911/task/29912/stat : 29912 (java) R 29888 29888 29338 0 -1 4202560 17625 193347 0 0 76 4 16387 60 20 0 22 0 510002747 8481841152 32300 33554432000 4194304 4196468 140727368387296 140043324244512 140043336488286 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23240704 140727368389599 140727368389766 140727368389766 140727368392655 0 [pid=29911/tid=29913] ppid=29888 vsize=8283048 memory=316941043643775653 CPUtime=164.47 cores=0-7 /proc/29911/task/29913/stat : 29913 (java) S 29888 29888 29338 0 -1 1077944384 2 193347 0 0 0 0 16387 60 20 0 22 0 510002748 8481841152 32300 33554432000 4194304 4196468 140727368387296 140043356649744 140043352418005 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23240704 140727368389599 140727368389766 140727368389766 140727368392655 0 [pid=29911/tid=29914] ppid=29888 vsize=8283048 memory=280197828855640 CPUtime=164.47 cores=0-7 /proc/29911/task/29914/stat : 29914 (java) S 29888 29888 29338 0 -1 1077944384 2 193347 0 0 0 0 16387 60 20 0 22 0 510002748 8481841152 32300 33554432000 4194304 4196468 140727368387296 140043181291920 140043352418005 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23240704 140727368389599 140727368389766 140727368389766 140727368392655 0 [pid=29911/tid=29915] ppid=29888 vsize=8283048 memory=7593720339596791893 CPUtime=164.47 cores=0-7 /proc/29911/task/29915/stat : 29915 (java) S 29888 29888 29338 0 -1 1077944384 2 193347 0 0 0 0 16387 60 20 0 22 0 510002748 8481841152 32300 33554432000 4194304 4196468 140727368387296 140042836802064 140043352418005 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23240704 140727368389599 140727368389766 140727368389766 140727368392655 0 [pid=29911/tid=29916] ppid=29888 vsize=8283048 memory=432600 CPUtime=164.47 cores=0-7 /proc/29911/task/29916/stat : 29916 (java) S 29888 29888 29338 0 -1 1077944384 2 193347 0 0 0 0 16387 60 20 0 22 0 510002748 8481841152 32300 33554432000 4194304 4196468 140727368387296 140042835749520 140043352418005 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23240704 140727368389599 140727368389766 140727368389766 140727368392655 0 [pid=29911/tid=29917] ppid=29888 vsize=8283048 memory=0 CPUtime=164.47 cores=0-7 /proc/29911/task/29917/stat : 29917 (java) S 29888 29888 29338 0 -1 1077944384 2 193347 0 0 0 0 16387 60 20 0 22 0 510002748 8481841152 32300 33554432000 4194304 4196468 140727368387296 140042834696976 140043352418005 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23240704 140727368389599 140727368389766 140727368389766 140727368392655 0 [pid=29911/tid=29918] ppid=29888 vsize=8283048 memory=280197828207771 CPUtime=164.47 cores=0-7 /proc/29911/task/29918/stat : 29918 (java) S 29888 29888 29338 0 -1 1077944384 2 193347 0 0 0 0 16387 60 20 0 22 0 510002748 8481841152 32300 33554432000 4194304 4196468 140727368387296 140042833644432 140043352418005 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23240704 140727368389599 140727368389766 140727368389766 140727368392655 0 [pid=29911/tid=29919] ppid=29888 vsize=8283048 memory=1472 CPUtime=164.47 cores=0-7 /proc/29911/task/29919/stat : 29919 (java) S 29888 29888 29338 0 -1 1077944384 1 193347 0 0 0 0 16387 60 20 0 22 0 510002748 8481841152 32300 33554432000 4194304 4196468 140727368387296 140042832591888 140043352418005 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23240704 140727368389599 140727368389766 140727368389766 140727368392655 0 [pid=29911/tid=29920] ppid=29888 vsize=8283048 memory=117312 CPUtime=164.47 cores=0-7 /proc/29911/task/29920/stat : 29920 (java) S 29888 29888 29338 0 -1 1077944384 3 193347 0 0 0 0 16387 60 20 0 22 0 510002748 8481841152 32300 33554432000 4194304 4196468 140727368387296 140042831539344 140043352418005 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23240704 140727368389599 140727368389766 140727368389766 140727368392655 0 [pid=29911/tid=29921] ppid=29888 vsize=8283048 memory=442000 CPUtime=164.47 cores=0-7 /proc/29911/task/29921/stat : 29921 (java) S 29888 29888 29338 0 -1 1077944384 8 193347 0 0 0 0 16387 60 20 0 22 0 510002750 8481841152 32300 33554432000 4194304 4196468 140727368387296 140042781460464 140043352418946 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23240704 140727368389599 140727368389766 140727368389766 140727368392655 0 [pid=29911/tid=29922] ppid=29888 vsize=8283048 memory=0 CPUtime=164.47 cores=0-7 /proc/29911/task/29922/stat : 29922 (java) S 29888 29888 29338 0 -1 1077944384 13 193347 0 0 0 0 16387 60 20 0 22 0 510002750 8481841152 32300 33554432000 4194304 4196468 140727368387296 140041636537248 140043352418005 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23240704 140727368389599 140727368389766 140727368389766 140727368392655 0 [pid=29911/tid=29923] ppid=29888 vsize=8283048 memory=1472 CPUtime=164.47 cores=0-7 /proc/29911/task/29923/stat : 29923 (java) S 29888 29888 29338 0 -1 1077944384 21 193347 0 0 0 0 16387 60 20 0 22 0 510002750 8481841152 32300 33554432000 4194304 4196468 140727368387296 140041502315504 140043352418005 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23240704 140727368389599 140727368389766 140727368389766 140727368392655 0 [pid=29911/tid=29924] ppid=29888 vsize=8283048 memory=117312 CPUtime=164.47 cores=0-7 /proc/29911/task/29924/stat : 29924 (java) S 29888 29888 29338 0 -1 1077944384 1 193347 0 0 0 0 16387 60 20 0 22 0 510002753 8481841152 32300 33554432000 4194304 4196468 140727368387296 140041127811280 140043352426395 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23240704 140727368389599 140727368389766 140727368389766 140727368392655 0 [pid=29911/tid=29925] ppid=29888 vsize=8283048 memory=1472 CPUtime=164.53 cores=0-7 /proc/29911/task/29925/stat : 29925 (java) S 29888 29888 29338 0 -1 1077944384 527 193347 0 0 6 0 16387 60 20 0 22 0 510002753 8481841152 32300 33554432000 4194304 4196468 140727368387296 140042780408304 140043352418946 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23240704 140727368389599 140727368389766 140727368389766 140727368392655 0 [pid=29911/tid=29926] ppid=29888 vsize=8283048 memory=117312 CPUtime=164.59 cores=0-7 /proc/29911/task/29926/stat : 29926 (java) S 29888 29888 29338 0 -1 1077944384 452 193347 0 0 12 0 16387 60 20 0 22 0 510002753 8481841152 32300 33554432000 4194304 4196468 140727368387296 140042779355760 140043352418946 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23240704 140727368389599 140727368389766 140727368389766 140727368392655 0 [pid=29911/tid=29927] ppid=29888 vsize=8283048 memory=257208411548140 CPUtime=164.58 cores=0-7 /proc/29911/task/29927/stat : 29927 (java) S 29888 29888 29338 0 -1 1077944384 691 193347 0 0 11 0 16387 60 20 0 22 0 510002753 8481841152 32300 33554432000 4194304 4196468 140727368387296 140042710280944 140043352418946 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23240704 140727368389599 140727368389766 140727368389766 140727368392655 0 [pid=29911/tid=29928] ppid=29888 vsize=8283048 memory=56 CPUtime=164.72 cores=0-7 /proc/29911/task/29928/stat : 29928 (java) R 29888 29888 29338 0 -1 4202560 983 193347 0 0 25 0 16387 60 20 0 22 0 510002753 8481841152 32300 33554432000 4194304 4196468 140727368387296 140042709228400 140043352429146 0 4 2 25189581 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 23240704 140727368389599 140727368389766 140727368389766 140727368392655 0 [pid=29911/tid=29929] ppid=29888 vsize=8283048 memory=0 CPUtime=164.47 cores=0-7 /proc/29911/task/29929/stat : 29929 (java) S 29888 29888 29338 0 -1 1077944384 3 193347 0 0 0 0 16387 60 20 0 22 0 510002753 8481841152 32300 33554432000 4194304 4196468 140727368387296 140040629905632 140043352418005 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23240704 140727368389599 140727368389766 140727368389766 140727368392655 0 [pid=29911/tid=29930] ppid=29888 vsize=8283048 memory=2241 CPUtime=164.49 cores=0-7 /proc/29911/task/29930/stat : 29930 (java) S 29888 29888 29338 0 -1 1077944384 3 193347 0 0 1 1 16387 60 20 0 22 0 510002753 8481841152 32300 33554432000 4194304 4196468 140727368387296 140042708175280 140043352418946 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 23240704 140727368389599 140727368389766 140727368389766 140727368392655 0 [pid=29911/tid=29932] ppid=29888 vsize=8283048 memory=2244 CPUtime=164.47 cores=0-7 /proc/29911/task/29932/stat : 29932 (java) S 29888 29888 29338 0 -1 1077944384 25 193347 0 0 0 0 16387 60 20 0 22 0 510002818 8481841152 32300 33554432000 4194304 4196468 140727368387296 140042777743760 140043352418946 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23240704 140727368389599 140727368389766 140727368389766 140727368392655 0 [pid=29911/tid=29936] ppid=29888 vsize=8283048 memory=0 CPUtime=164.47 cores=0-7 /proc/29911/task/29936/stat : 29936 (java) S 29888 29888 29338 0 -1 1077944384 12 193347 0 0 0 0 16387 60 20 0 22 0 510002821 8481841152 32300 33554432000 4194304 4196468 140727368387296 140039690380720 140043352418946 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23240704 140727368389599 140727368389766 140727368389766 140727368392655 0 Current children cumulated CPU time: 171.89 s Current children cumulated vsize: 8396176 KiB Current children cumulated memory: 130672 KiB [startup+25.5646 s] # the end of solver process 29888 was just reported to runsolver # cumulated CPU time of all completed processes: user=171.053 s, system=0.994784 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+25.5013 s] /proc/loadavg: 5.58 2.55 2.05 2/217 29947 /proc/meminfo: memFree=25613236/32770624 swapFree=66956836/67108860 [pid=29888] ppid=29885 vsize=113128 memory=1472 CPUtime=5.96 cores=0-7 /proc/29888/stat : 29888 (scop.sh) S 29885 29888 29338 0 -1 4202496 582 27053 0 0 0 0 567 29 20 0 1 0 510002449 115843072 368 33554432000 4194304 5098028 140722545692096 140722545688840 139966865314428 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 19623936 140722545693437 140722545693784 140722545693784 140722545696713 0 /proc/29888/statm: 28282 368 311 221 0 87 0 [pid=29911] ppid=29888 vsize=8283048 memory=129200 CPUtime=165.93 cores=0-7 /proc/29911/stat : 29911 (java) S 29888 29888 29338 0 -1 1077944320 22259 193347 0 0 138 8 16387 60 20 0 22 0 510002747 8481841152 32300 33554432000 4194304 4196468 140727368387296 140727368369840 140043352407799 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23240704 140727368389599 140727368389766 140727368389766 140727368392655 0 /proc/29911/statm: 2070762 32300 3225 1 0 2032106 0 [pid=29911/tid=29912] ppid=29888 vsize=8283048 memory=257139692071387 CPUtime=165.27 cores=0-7 /proc/29911/task/29912/stat : 29912 (java) R 29888 29888 29338 0 -1 4202560 17625 193347 0 0 76 4 16387 60 20 0 22 0 510002747 8481841152 32300 33554432000 4194304 4196468 140727368387296 140043324244512 140043336488286 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23240704 140727368389599 140727368389766 140727368389766 140727368392655 0 [pid=29911/tid=29913] ppid=29888 vsize=8283048 memory=316941043643775653 CPUtime=164.47 cores=0-7 /proc/29911/task/29913/stat : 29913 (java) S 29888 29888 29338 0 -1 1077944384 2 193347 0 0 0 0 16387 60 20 0 22 0 510002748 8481841152 32300 33554432000 4194304 4196468 140727368387296 140043356649744 140043352418005 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23240704 140727368389599 140727368389766 140727368389766 140727368392655 0 [pid=29911/tid=29914] ppid=29888 vsize=8283048 memory=280197828855640 CPUtime=164.47 cores=0-7 /proc/29911/task/29914/stat : 29914 (java) S 29888 29888 29338 0 -1 1077944384 2 193347 0 0 0 0 16387 60 20 0 22 0 510002748 8481841152 32300 33554432000 4194304 4196468 140727368387296 140043181291920 140043352418005 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23240704 140727368389599 140727368389766 140727368389766 140727368392655 0 [pid=29911/tid=29915] ppid=29888 vsize=8283048 memory=7593720339596791893 CPUtime=164.47 cores=0-7 /proc/29911/task/29915/stat : 29915 (java) S 29888 29888 29338 0 -1 1077944384 2 193347 0 0 0 0 16387 60 20 0 22 0 510002748 8481841152 32300 33554432000 4194304 4196468 140727368387296 140042836802064 140043352418005 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23240704 140727368389599 140727368389766 140727368389766 140727368392655 0 [pid=29911/tid=29916] ppid=29888 vsize=8283048 memory=432600 CPUtime=164.47 cores=0-7 /proc/29911/task/29916/stat : 29916 (java) S 29888 29888 29338 0 -1 1077944384 2 193347 0 0 0 0 16387 60 20 0 22 0 510002748 8481841152 32300 33554432000 4194304 4196468 140727368387296 140042835749520 140043352418005 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23240704 140727368389599 140727368389766 140727368389766 140727368392655 0 [pid=29911/tid=29917] ppid=29888 vsize=8283048 memory=0 CPUtime=164.47 cores=0-7 /proc/29911/task/29917/stat : 29917 (java) S 29888 29888 29338 0 -1 1077944384 2 193347 0 0 0 0 16387 60 20 0 22 0 510002748 8481841152 32300 33554432000 4194304 4196468 140727368387296 140042834696976 140043352418005 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23240704 140727368389599 140727368389766 140727368389766 140727368392655 0 [pid=29911/tid=29918] ppid=29888 vsize=8283048 memory=280197828207771 CPUtime=164.47 cores=0-7 /proc/29911/task/29918/stat : 29918 (java) S 29888 29888 29338 0 -1 1077944384 2 193347 0 0 0 0 16387 60 20 0 22 0 510002748 8481841152 32300 33554432000 4194304 4196468 140727368387296 140042833644432 140043352418005 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23240704 140727368389599 140727368389766 140727368389766 140727368392655 0 [pid=29911/tid=29919] ppid=29888 vsize=8283048 memory=1472 CPUtime=164.47 cores=0-7 /proc/29911/task/29919/stat : 29919 (java) S 29888 29888 29338 0 -1 1077944384 1 193347 0 0 0 0 16387 60 20 0 22 0 510002748 8481841152 32300 33554432000 4194304 4196468 140727368387296 140042832591888 140043352418005 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23240704 140727368389599 140727368389766 140727368389766 140727368392655 0 [pid=29911/tid=29920] ppid=29888 vsize=8283048 memory=117312 CPUtime=164.47 cores=0-7 /proc/29911/task/29920/stat : 29920 (java) S 29888 29888 29338 0 -1 1077944384 3 193347 0 0 0 0 16387 60 20 0 22 0 510002748 8481841152 32300 33554432000 4194304 4196468 140727368387296 140042831539344 140043352418005 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23240704 140727368389599 140727368389766 140727368389766 140727368392655 0 [pid=29911/tid=29921] ppid=29888 vsize=8283048 memory=442000 CPUtime=164.47 cores=0-7 /proc/29911/task/29921/stat : 29921 (java) S 29888 29888 29338 0 -1 1077944384 8 193347 0 0 0 0 16387 60 20 0 22 0 510002750 8481841152 32300 33554432000 4194304 4196468 140727368387296 140042781460464 140043352418946 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23240704 140727368389599 140727368389766 140727368389766 140727368392655 0 [pid=29911/tid=29922] ppid=29888 vsize=8283048 memory=0 CPUtime=164.47 cores=0-7 /proc/29911/task/29922/stat : 29922 (java) S 29888 29888 29338 0 -1 1077944384 13 193347 0 0 0 0 16387 60 20 0 22 0 510002750 8481841152 32300 33554432000 4194304 4196468 140727368387296 140041636537248 140043352418005 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23240704 140727368389599 140727368389766 140727368389766 140727368392655 0 [pid=29911/tid=29923] ppid=29888 vsize=8283048 memory=1472 CPUtime=164.47 cores=0-7 /proc/29911/task/29923/stat : 29923 (java) S 29888 29888 29338 0 -1 1077944384 21 193347 0 0 0 0 16387 60 20 0 22 0 510002750 8481841152 32300 33554432000 4194304 4196468 140727368387296 140041502315504 140043352418005 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23240704 140727368389599 140727368389766 140727368389766 140727368392655 0 [pid=29911/tid=29924] ppid=29888 vsize=8283048 memory=117312 CPUtime=164.47 cores=0-7 /proc/29911/task/29924/stat : 29924 (java) S 29888 29888 29338 0 -1 1077944384 1 193347 0 0 0 0 16387 60 20 0 22 0 510002753 8481841152 32300 33554432000 4194304 4196468 140727368387296 140041127811280 140043352426395 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23240704 140727368389599 140727368389766 140727368389766 140727368392655 0 [pid=29911/tid=29925] ppid=29888 vsize=8283048 memory=1472 CPUtime=164.53 cores=0-7 /proc/29911/task/29925/stat : 29925 (java) S 29888 29888 29338 0 -1 1077944384 527 193347 0 0 6 0 16387 60 20 0 22 0 510002753 8481841152 32300 33554432000 4194304 4196468 140727368387296 140042780408304 140043352418946 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23240704 140727368389599 140727368389766 140727368389766 140727368392655 0 [pid=29911/tid=29926] ppid=29888 vsize=8283048 memory=117312 CPUtime=164.59 cores=0-7 /proc/29911/task/29926/stat : 29926 (java) S 29888 29888 29338 0 -1 1077944384 452 193347 0 0 12 0 16387 60 20 0 22 0 510002753 8481841152 32300 33554432000 4194304 4196468 140727368387296 140042779355760 140043352418946 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23240704 140727368389599 140727368389766 140727368389766 140727368392655 0 [pid=29911/tid=29927] ppid=29888 vsize=8283048 memory=257208411548140 CPUtime=164.58 cores=0-7 /proc/29911/task/29927/stat : 29927 (java) S 29888 29888 29338 0 -1 1077944384 691 193347 0 0 11 0 16387 60 20 0 22 0 510002753 8481841152 32300 33554432000 4194304 4196468 140727368387296 140042710280944 140043352418946 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23240704 140727368389599 140727368389766 140727368389766 140727368392655 0 [pid=29911/tid=29928] ppid=29888 vsize=8283048 memory=56 CPUtime=164.72 cores=0-7 /proc/29911/task/29928/stat : 29928 (java) R 29888 29888 29338 0 -1 4202560 983 193347 0 0 25 0 16387 60 20 0 22 0 510002753 8481841152 32300 33554432000 4194304 4196468 140727368387296 140042709228400 140043352429146 0 4 2 25189581 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 23240704 140727368389599 140727368389766 140727368389766 140727368392655 0 [pid=29911/tid=29929] ppid=29888 vsize=8283048 memory=0 CPUtime=164.47 cores=0-7 /proc/29911/task/29929/stat : 29929 (java) S 29888 29888 29338 0 -1 1077944384 3 193347 0 0 0 0 16387 60 20 0 22 0 510002753 8481841152 32300 33554432000 4194304 4196468 140727368387296 140040629905632 140043352418005 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23240704 140727368389599 140727368389766 140727368389766 140727368392655 0 [pid=29911/tid=29930] ppid=29888 vsize=8283048 memory=2241 CPUtime=164.49 cores=0-7 /proc/29911/task/29930/stat : 29930 (java) S 29888 29888 29338 0 -1 1077944384 3 193347 0 0 1 1 16387 60 20 0 22 0 510002753 8481841152 32300 33554432000 4194304 4196468 140727368387296 140042708175280 140043352418946 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 23240704 140727368389599 140727368389766 140727368389766 140727368392655 0 [pid=29911/tid=29932] ppid=29888 vsize=8283048 memory=2244 CPUtime=164.47 cores=0-7 /proc/29911/task/29932/stat : 29932 (java) S 29888 29888 29338 0 -1 1077944384 25 193347 0 0 0 0 16387 60 20 0 22 0 510002818 8481841152 32300 33554432000 4194304 4196468 140727368387296 140042777743760 140043352418946 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23240704 140727368389599 140727368389766 140727368389766 140727368392655 0 [pid=29911/tid=29936] ppid=29888 vsize=8283048 memory=0 CPUtime=164.47 cores=0-7 /proc/29911/task/29936/stat : 29936 (java) S 29888 29888 29338 0 -1 1077944384 12 193347 0 0 0 0 16387 60 20 0 22 0 510002821 8481841152 32300 33554432000 4194304 4196468 140727368387296 140039690380720 140043352418946 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23240704 140727368389599 140727368389766 140727368389766 140727368392655 0 Current children cumulated CPU time: 171.89 s Current children cumulated vsize: 8396176 KiB Current children cumulated memory: 130672 KiB Child status: 0 Real time (s): 25.5647 CPU time (s): 172.048 CPU user time (s): 171.053 CPU system time (s): 0.994784 CPU usage (%): 672.992 Max. virtual memory (cumulated for all children) (KiB): 27441876 Max. memory (cumulated for all children) (KiB): 1261576 getrusage(RUSAGE_CHILDREN,...) data: user time used= 171.053 system time used= 0.994784 maximum resident set size= 1265656 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 243444 page faults= 0 swaps= 0 block input operations= 0 block output operations= 11872 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 15458 involuntary context switches= 1786 # summary of solver processes directly reported to runsolver: # pid: 29888 # total CPU time (s): 172.048 # total CPU user time (s): 171.053 # total CPU system time (s): 0.994784 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.237662 second user time and 0.397098 second system time The end
Begin job on node105 at 2019-09-24 16:02:26 IDJOB=4405203 IDBENCH=127781 IDSOLVER=2867 FILE ID=node105/4405203-1569337447 RUNJOBID= node105-1569332278-29365 PBS_JOBID= 21705070 Free space on /var/tmp= 13180 MiB SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-09-22) BENCH NAME= XCSP17/RectPacking/RectPacking-m1-perf/RectPacking-perfect-097.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 /var/tmp/evaluation-result-4405203-1569337447/watcher-4405203-1569337447 -o /var/tmp/evaluation-result-4405203-1569337447/solver-4405203-1569337447 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node105-1569332278-29365 --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-4405203-1569337447.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 8967691277ed469002b27945208c5243 RANDOM SEED=693132921 node105.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.00 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.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.00 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.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.00 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.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.00 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 26244292 kB MemAvailable: 31802232 kB Buffers: 110280 kB Cached: 5579324 kB SwapCached: 48352 kB Active: 2826572 kB Inactive: 2911868 kB Active(anon): 3508 kB Inactive(anon): 99568 kB Active(file): 2823064 kB Inactive(file): 2812300 kB Unevictable: 110928 kB Mlocked: 110928 kB SwapTotal: 67108860 kB SwapFree: 66956836 kB Dirty: 20252 kB Writeback: 0 kB AnonPages: 112788 kB Mapped: 52832 kB Shmem: 45912 kB Slab: 379420 kB SReclaimable: 351036 kB SUnreclaim: 28384 kB KernelStack: 3392 kB PageTables: 5612 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 506312 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 67584 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /var/tmp at the end= 13160 MiB End job on node105 at 2019-09-24 16:02:51