Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
Fun-sCOP hybrid+ManyGlucose (2019-09-22) | UNSAT | 10.8364 | 3.8307 |
Name | PigeonsPlus/PigeonsPlus-m1-s1/ pigeonsPlus-10-05.xml |
MD5SUM | 11198b79b59252262e805adcf565fb89 |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 9.06146 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 60 |
Number of constraints | 65 |
Number of domains | 2 |
Minimum domain size | 9 |
Maximum domain size | 10 |
Distribution of domain sizes | [{"size":9,"count":10},{"size":10,"count":50}] |
Minimum variable degree | 1 |
Maximum variable degree | 10 |
Distribution of variable degrees | [{"degree":1,"count":40},{"degree":2,"count":10},{"degree":10,"count":10}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 5 |
Distribution of constraint arities | [{"arity":2,"count":55},{"arity":5,"count":10}] |
Number of extensional constraints | 65 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":65}] |
Optimization problem | NO |
Type of objective |
0.00/0.00 c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -hybrid -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-29597-serial-file.bin HOME/instance-4405489-1569342452.xml 0.66/0.54 0.66/0.54 Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15) 0.66/0.54 0.66/0.56 c BEGIN-Prog: Tue Sep 24 18:26:49 CEST 2019 0.66/0.56 c PID: 29600 0.66/0.56 c IP: 172.20.3.117 0.66/0.56 c HOST: node117.alineos.net 0.66/0.57 c (0,0) Parsing Begin 2.45/1.13 c (0,0) Parsing End 2.45/1.13 c (0,0) CSP: 60 int (0 aux), 0 bool (0 aux), 65 ctr, max domain size 10 2.45/1.14 c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB) 2.45/1.14 c (0,0) Constraint Name Generate Begin 2.45/1.14 c (0,0) Ctr:HOME/instance-4405489-1569342452.xml,ExtensionSupport:Var 2.45/1.14 c (0,0) Constraint Name Generate End 2.45/1.14 c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB) 2.45/1.14 c (0,0) CSP to CSPinCNF Begin 3.32/1.50 c (0,0) translated 7 (10%) constraints 3.57/1.57 c (1,1) translated 13 (20%) constraints 3.83/1.63 c (1,1) translated 20 (30%) constraints 3.83/1.67 c (1,1) translated 26 (40%) constraints 4.18/1.70 c (1,1) translated 33 (50%) constraints 4.18/1.73 c (1,1) translated 39 (60%) constraints 4.18/1.76 c (1,1) translated 46 (70%) constraints 6.20/2.29 c (1,1) translated 52 (80%) constraints 6.61/2.37 c (1,1) translated 59 (90%) constraints 6.61/2.40 c (1,1) translated 65 (100%) constraints 7.01/2.40 c (1,1) =========================================== 7.01/2.41 c (1,1) Hybrid: #OE=635, #LE=0 7.01/2.41 c (1,1) Hybrid 7.01/2.41 c (1,1) =========================================== 7.01/2.43 c (1,1) translated 232 (10%) constraints 7.01/2.44 c (1,1) translated 463 (20%) constraints 7.01/2.46 c (1,1) translated 695 (30%) constraints 7.01/2.47 c (1,1) translated 926 (40%) constraints 7.01/2.48 c (1,1) translated 1158 (50%) constraints 7.01/2.49 c (1,1) translated 1389 (60%) constraints 7.43/2.50 c (1,1) translated 1621 (70%) constraints 7.43/2.51 c (1,1) translated 1852 (80%) constraints 7.43/2.52 c (1,1) translated 2084 (90%) constraints 7.43/2.53 c (1,1) translated 2315 (100%) constraints 7.43/2.53 c (1,1) CSP to CSPinCNF End 7.43/2.53 c (1,1) CSP: 60 int (0 aux), 575 bool (575 aux), 2315 ctr, max domain size 10 7.43/2.53 c (1,1) Heap : 450 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB) 7.43/2.53 c (1,1) CSPinCNF Propagation Begin 7.43/2.58 c (2,2) 0 values, 65 unsatisfiable literals, and 0 valid clauses are removed 7.43/2.58 c (2,2) CSPinCNF Propagation End 7.43/2.58 c (2,2) CSP: 60 int (0 aux), 575 bool (575 aux), 2315 ctr, max domain size 10 7.43/2.58 c (2,2) Heap : 450 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB) 7.43/2.58 c (2,2) Hybrid: #OE=635, #LE=0 7.43/2.58 c (2,2) Simplify CSPinCNF Begin 7.43/2.60 c (2,2) Simplify CSPinCNF End 7.43/2.60 c (2,2) CSP: 60 int (0 aux), 575 bool (575 aux), 2315 ctr, max domain size 10 7.87/2.60 c (2,2) Heap : 450 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB) 7.87/2.60 c (2,2) Calculate Precise Domain Begin 7.87/2.60 c (2,2) 0 values are removed by re-calculation 7.87/2.60 c (2,2) Calculate Precise Domain End 7.87/2.60 c (2,2) CSP: 60 int (0 aux), 575 bool (575 aux), 2315 ctr, max domain size 10 7.87/2.60 c (2,2) Heap : 450 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB) 7.87/2.60 c (2,2) CSPinCNF to SatSolver Begin 7.87/2.69 c (2,2) 232 (10 %) CSP clauses are encoded (0 SAT variables, 701 SAT clauses) 7.87/2.70 c (2,2) 463 (20 %) CSP clauses are encoded (0 SAT variables, 932 SAT clauses) 8.29/2.71 c (2,2) 695 (30 %) CSP clauses are encoded (0 SAT variables, 1164 SAT clauses) 8.29/2.72 c (2,2) 926 (40 %) CSP clauses are encoded (0 SAT variables, 1395 SAT clauses) 8.29/2.73 c (2,2) 1158 (50 %) CSP clauses are encoded (0 SAT variables, 1627 SAT clauses) 8.29/2.74 c (2,2) 1389 (60 %) CSP clauses are encoded (0 SAT variables, 1858 SAT clauses) 8.29/2.75 c (2,2) 1621 (70 %) CSP clauses are encoded (0 SAT variables, 2090 SAT clauses) 8.29/2.76 c (2,2) 1852 (80 %) CSP clauses are encoded (0 SAT variables, 2321 SAT clauses) 8.29/2.77 c (2,2) 2084 (90 %) CSP clauses are encoded (0 SAT variables, 2553 SAT clauses) 8.29/2.77 c (2,2) 2315 (100 %) CSP clauses are encoded (0 SAT variables, 2784 SAT clauses) 8.29/2.77 c (2,2) CSPinCNF to SatSolver End 8.29/2.77 c (2,2) Heap : 450 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB) 8.29/2.77 c (2,2) 1105 bool, 2785 clause 8.29/2.77 c (2,2) Export Begin 8.67/2.86 c (2,2) Export to HOME/scop-29597-serial-file.bin 8.67/2.86 c (2,2) Export End 8.67/2.86 c (2,2) Export File Size: 0.01 MB 8.67/2.86 c (2,2) 0,0,1,2,2,2,2,STOP-AFTER(DIMACS) 8.67/2.86 c END-Prog: Tue Sep 24 18:26:51 CEST 2019 8.92/2.95 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-29597-serial-file.bin 9.56/3.41 c (0,0) Read Serial File Begin 9.56/3.41 c (0,0) HOME/scop-29597-serial-file.bin 9.86/3.62 c (0,0) Read Serial File End 9.86/3.64 9.86/3.64 Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15) 9.86/3.64 (Solving Process) 9.86/3.64 9.86/3.66 c BEGIN-Prog: Tue Sep 24 18:26:52 CEST 2019 9.86/3.66 c PID: 29620 9.86/3.66 c IP: 172.20.3.117 9.86/3.66 c HOST: node117.alineos.net 9.86/3.66 c (0,0) SatSolver.solve Begin 9.86/3.66 c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405489-1569342452.xml-scop-29600.cnf 9.86/3.69 c (0,0) c 9.86/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) 9.86/3.69 c (0,0) c 9.86/3.69 c (0,0) c WARNING: for repeatability, setting FPU to use double precision 9.86/3.69 c (0,0) c 8 solvers engines and 1 companion as a blackboard created. 9.86/3.69 c (0,0) c ========================================[ Problem Statistics ]=========================================== 9.86/3.69 c (0,0) c | | 9.86/3.69 c (0,0) c | Number of variables: 1105 | 9.86/3.69 c (0,0) c | Number of clauses: 2785 | 9.86/3.69 c (0,0) c | Parse time: 0.00 s | 9.86/3.69 c (0,0) c | | 9.86/3.69 c (0,0) c | Simplification time: 0.00 s | 9.86/3.69 c (0,0) c | | 9.86/3.69 c (0,0) c | Generating clones | 9.86/3.69 c (0,0) c | all clones generated. Memory = 25.10Mb. | 9.86/3.69 c (0,0) c ========================================================================================================| 9.86/3.69 c (0,0) c 9.86/3.69 c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 9.86/3.69 c (0,0) c 9.86/3.69 c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 9.86/3.69 c (0,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 9.86/3.69 c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 9.86/3.69 c (0,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 9.86/3.69 c (0,0) c | adaptStrategeis | True | False | True | False | True | False | True | False | 9.86/3.69 c (0,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 9.86/3.69 c (0,0) c | Initial random_seed | 91648253 | 91648254 | 91648255 | 91648256 | 91648257 | 91648258 | 91648259 | 91648260 | 9.86/3.69 c (0,0) c | chanseokStrategy | False | False | False | False | False | False | False | False | 9.86/3.69 c (0,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 9.86/3.69 c (0,0) c | glureduce | True | True | True | True | True | True | True | True | 9.86/3.69 c (0,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 9.86/3.69 c (0,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 9.86/3.69 c (0,0) c | luby_restart | False | False | False | False | False | False | False | False | 9.86/3.69 c (0,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 9.86/3.69 c (0,0) c | var_decay | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 9.86/3.69 c (0,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 9.86/3.69 c (0,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 9.86/3.69 c (0,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 9.86/3.69 c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 10.15/3.80 c (0,0) c 10.15/3.80 c (0,0) c real time : 0.110583 s 10.15/3.80 c (0,0) c cpu time : 0.591044 s 10.15/3.80 c (0,0) c 10.15/3.80 c (0,0) c 10.15/3.80 c (0,0) c 10.15/3.80 c (0,0) c |---------------------------------------- FINAL STATS --------------------------------------------------| 10.15/3.80 c (0,0) c 10.15/3.80 c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 10.15/3.80 c (0,0) c | Threads | Total | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 10.15/3.80 c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 10.15/3.80 c (0,0) c | Conflicts | 78389 | 10758 | 8403 | 7820 | 11385 | 11246 | 7777 | 11454 | 9546 | 10.15/3.80 c (0,0) c | Decisions | 101239 | 14077 | 11070 | 10258 | 14310 | 13925 | 10512 | 14623 | 12464 | 10.15/3.80 c (0,0) c | Propagations | 884213 | 120620 | 96418 | 90556 | 127860 | 126908 | 85343 | 126228 | 110280 | 10.15/3.80 c (0,0) c | ReduceDBs | 16 | 2 | 2 | 2 | 2 | 2 | 2 | 2 | 2 | 10.15/3.80 c (0,0) c | SimpDBs | 24 | 5 | 2 | 2 | 3 | 3 | 1 | 5 | 3 | 10.15/3.80 c (0,0) c | Restarts | 51 | 15 | 3 | 5 | 6 | 3 | 12 | 4 | 3 | 10.15/3.80 c (0,0) c | ForcedImports | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 10.15/3.80 c (0,0) c | PropBinClauses| 891120 | 114210 | 99784 | 98621 | 133175 | 119419 | 85337 | 130945 | 109629 | 10.15/3.80 c (0,0) c | PropPreBlocker| 37654098 | 4649281 | 3761893 | 3625857 | 5952297 | 6443413 | 3549932 | 5287956 | 4383469 | 10.15/3.80 c (0,0) c | PropNotBlocker| 9299466 | 1162269 | 825086 | 901938 | 1406410 | 1654486 | 926624 | 1405183 | 1017470 | 10.15/3.80 c (0,0) c | LitFullScans | 62256356 | 7701559 | 6000316 | 6000142 | 9586438 | 10959383 | 6001399 | 9018055 | 6989064 | 10.15/3.80 c (0,0) c | LitScanFracts | 1910 | 348 | 170 | 99 | 92 | 87 | 824 | 280 | 10 | 10.15/3.80 c (0,0) c | DecisionLevel0| 106 | 28 | 4 | 6 | 17 | 10 | 12 | 17 | 12 | 10.15/3.80 c (0,0) c | Periods | 8 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 10.15/3.80 c (0,0) c | Margin | 160 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 10.15/3.80 c (0,0) c | Avg_Trail | | 66 | 68 | 68 | 66 | 67 | 69 | 67 | 66 | 10.15/3.80 c (0,0) c | Avg_DL | | 9 | 10 | 10 | 9 | 9 | 11 | 9 | 9 | 10.15/3.80 c (0,0) c | Avg_Res | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 10.15/3.80 c (0,0) c | Avg_Res_Seen | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 10.15/3.80 c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 10.15/3.80 c (0,0) c | Exported | 14296 | 1971 | 1534 | 1367 | 2306 | 2051 | 1388 | 1771 | 1908 | 10.15/3.80 c (0,0) c | Imported | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 10.15/3.80 c (0,0) c | Good | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 10.15/3.80 c (0,0) c | Purge | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 10.15/3.80 c (0,0) c | Promoted | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 10.15/3.80 c (0,0) c | Remove_Imp | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 10.15/3.80 c (0,0) c | Blocked_Reuse | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 10.15/3.80 c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 10.15/3.80 c (0,0) c | Unaries | | 13 | 1 | 1 | 11 | 7 | 0 | 13 | 9 | 10.15/3.80 c (0,0) c | Binaries | | 50 | 10 | 9 | 50 | 34 | 1 | 56 | 44 | 10.15/3.80 c (0,0) c | Glues | | 291 | 216 | 207 | 307 | 144 | 160 | 259 | 294 | 10.15/3.80 c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 10.15/3.80 c (0,0) c | Orig_Seen | 179 % | 463 | 467 | 466 | 466 | 461 | 466 | 467 | 467 | 10.15/3.80 c (0,0) c | Diff Orig seen| | X | 4 | 3 | 3 | - 2 | 3 | 4 | 4 | 10.15/3.80 c (0,0) c | Hamming | 2 % | X | 31 | 25 | 27 | 25 | 29 | 34 | 27 | 10.15/3.80 c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 10.15/3.80 c (0,0) c | RunningTime | | 0.1 99%| 0.1 99%| 0.1 99%| 0.1 99%| 0.1 99%| 0.1 99%| 0.1 99%| 0.1 99%| 10.15/3.80 c (0,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%| 10.15/3.80 c (0,0) c | ExchangingTime| | 0.0 1%| 0.0 1%| 0.0 1%| 0.0 1%| 0.0 1%| 0.0 1%| 0.0 1%| 0.0 1%| 10.15/3.80 c (0,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%| 10.15/3.80 c (0,0) c | SolvingTime | | 0.1 | 0.1 | 0.1 | 0.1 | 0.1 | 0.1 | 0.1 | 0.1 | 10.15/3.80 c (0,0) c | PropagationTim| | 0.1 68%| 0.1 75%| 0.1 75%| 0.1 70%| 0.1 73%| 0.1 76%| 0.1 70%| 0.0 69%| 10.15/3.80 c (0,0) c | AnalysisTime | | 0.0 20%| 0.0 16%| 0.0 15%| 0.0 19%| 0.0 17%| 0.0 15%| 0.0 19%| 0.0 19%| 10.15/3.80 c (0,0) c | ReductionTime | | 0.0 2%| 0.0 2%| 0.0 2%| 0.0 2%| 0.0 1%| 0.0 2%| 0.0 2%| 0.0 2%| 10.15/3.80 c (0,0) c | SimplifyTime | | 0.0 2%| 0.0 0%| 0.0 0%| 0.0 1%| 0.0 1%| 0.0 0%| 0.0 1%| 0.0 1%| 10.15/3.80 c (0,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%| 10.15/3.80 c (0,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%| 10.15/3.80 c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 10.15/3.80 c (0,0) c 10.15/3.80 c (0,0) c 10.15/3.80 c (0,0) c Threads : 8 10.15/3.80 c (0,0) c Winner : 0 10.15/3.80 c (0,0) c Conflicts_0 : 10758 10.15/3.80 c (0,0) c Conflicts_1 : 8403 10.15/3.80 c (0,0) c Conflicts_2 : 7820 10.15/3.80 c (0,0) c Conflicts_3 : 11385 10.15/3.80 c (0,0) c Conflicts_4 : 11246 10.15/3.80 c (0,0) c Conflicts_5 : 7777 10.15/3.80 c (0,0) c Conflicts_6 : 11454 10.15/3.80 c (0,0) c Conflicts_7 : 9546 10.15/3.80 c (0,0) c Conflicts_total : 78389 10.15/3.80 c (0,0) c Conflicts_winner : 10758 10.15/3.80 c (0,0) c Decisions_0 : 14077 10.15/3.80 c (0,0) c Decisions_1 : 11070 10.15/3.80 c (0,0) c Decisions_2 : 10258 10.15/3.80 c (0,0) c Decisions_3 : 14310 10.15/3.80 c (0,0) c Decisions_4 : 13925 10.15/3.80 c (0,0) c Decisions_5 : 10512 10.15/3.80 c (0,0) c Decisions_6 : 14623 10.15/3.80 c (0,0) c Decisions_7 : 12464 10.15/3.80 c (0,0) c Decisions_total : 101239 10.15/3.80 c (0,0) c Decisions_winner : 14077 10.15/3.80 c (0,0) c Propagations_0 : 120620 10.15/3.80 c (0,0) c Propagations_1 : 96418 10.15/3.80 c (0,0) c Propagations_2 : 90556 10.15/3.80 c (0,0) c Propagations_3 : 127860 10.15/3.80 c (0,0) c Propagations_4 : 126908 10.15/3.80 c (0,0) c Propagations_5 : 85343 10.15/3.80 c (0,0) c Propagations_6 : 126228 10.15/3.80 c (0,0) c Propagations_7 : 110280 10.15/3.80 c (0,0) c Propagations_total : 884213 10.15/3.80 c (0,0) c Propagations_winner : 120620 10.15/3.80 c (0,0) c ReduceDBs_0 : 2 10.15/3.80 c (0,0) c ReduceDBs_1 : 2 10.15/3.80 c (0,0) c ReduceDBs_2 : 2 10.15/3.80 c (0,0) c ReduceDBs_3 : 2 10.15/3.80 c (0,0) c ReduceDBs_4 : 2 10.15/3.80 c (0,0) c ReduceDBs_5 : 2 10.15/3.80 c (0,0) c ReduceDBs_6 : 2 10.15/3.80 c (0,0) c ReduceDBs_7 : 2 10.15/3.80 c (0,0) c ReduceDBs_total : 16 10.15/3.80 c (0,0) c ReduceDBs_winner : 2 10.15/3.80 c (0,0) c SimpDBs_0 : 5 10.15/3.80 c (0,0) c SimpDBs_1 : 2 10.15/3.80 c (0,0) c SimpDBs_2 : 2 10.15/3.80 c (0,0) c SimpDBs_3 : 3 10.15/3.80 c (0,0) c SimpDBs_4 : 3 10.15/3.80 c (0,0) c SimpDBs_5 : 1 10.15/3.80 c (0,0) c SimpDBs_6 : 5 10.15/3.80 c (0,0) c SimpDBs_7 : 3 10.15/3.80 c (0,0) c SimpDBs_total : 24 10.15/3.80 c (0,0) c SimpDBs_winner : 5 10.15/3.80 c (0,0) c Restarts_0 : 15 10.15/3.80 c (0,0) c Restarts_1 : 3 10.15/3.80 c (0,0) c Restarts_2 : 5 10.15/3.80 c (0,0) c Restarts_3 : 6 10.15/3.80 c (0,0) c Restarts_4 : 3 10.15/3.80 c (0,0) c Restarts_5 : 12 10.15/3.80 c (0,0) c Restarts_6 : 4 10.15/3.80 c (0,0) c Restarts_7 : 3 10.15/3.80 c (0,0) c Restarts_total : 51 10.15/3.80 c (0,0) c Restarts_winner : 15 10.15/3.80 c (0,0) c ForcedImports_0 : 0 10.15/3.80 c (0,0) c ForcedImports_1 : 0 10.15/3.80 c (0,0) c ForcedImports_2 : 0 10.15/3.80 c (0,0) c ForcedImports_3 : 0 10.15/3.80 c (0,0) c ForcedImports_4 : 0 10.15/3.80 c (0,0) c ForcedImports_5 : 0 10.15/3.80 c (0,0) c ForcedImports_6 : 0 10.15/3.80 c (0,0) c ForcedImports_7 : 0 10.15/3.80 c (0,0) c ForcedImports_total : 0 10.15/3.80 c (0,0) c ForcedImports_winner : 0 10.15/3.80 c (0,0) c PropsBinClauses_0 : 114210 10.15/3.80 c (0,0) c PropsBinClauses_1 : 99784 10.15/3.80 c (0,0) c PropsBinClauses_2 : 98621 10.15/3.80 c (0,0) c PropsBinClauses_3 : 133175 10.15/3.80 c (0,0) c PropsBinClauses_4 : 119419 10.15/3.80 c (0,0) c PropsBinClauses_5 : 85337 10.15/3.80 c (0,0) c PropsBinClauses_6 : 130945 10.15/3.80 c (0,0) c PropsBinClauses_7 : 109629 10.15/3.80 c (0,0) c PropsBinClauses_total : 891120 10.15/3.80 c (0,0) c PropsBinClauses_winner : 114210 10.15/3.80 c (0,0) c PropsPreBlocker_0 : 4649281 10.15/3.80 c (0,0) c PropsPreBlocker_1 : 3761893 10.15/3.80 c (0,0) c PropsPreBlocker_2 : 3625857 10.15/3.80 c (0,0) c PropsPreBlocker_3 : 5952297 10.15/3.80 c (0,0) c PropsPreBlocker_4 : 6443413 10.15/3.80 c (0,0) c PropsPreBlocker_5 : 3549932 10.15/3.80 c (0,0) c PropsPreBlocker_6 : 5287956 10.15/3.80 c (0,0) c PropsPreBlocker_7 : 4383469 10.15/3.80 c (0,0) c PropsPreBlocker_total : 37654098 10.15/3.80 c (0,0) c PropsPreBlocker_winner : 4649281 10.15/3.80 c (0,0) c PropsNotBlocker_0 : 1162269 10.15/3.80 c (0,0) c PropsNotBlocker_1 : 825086 10.15/3.80 c (0,0) c PropsNotBlocker_2 : 901938 10.15/3.80 c (0,0) c PropsNotBlocker_3 : 1406410 10.15/3.80 c (0,0) c PropsNotBlocker_4 : 1654486 10.15/3.80 c (0,0) c PropsNotBlocker_5 : 926624 10.15/3.80 c (0,0) c PropsNotBlocker_6 : 1405183 10.15/3.80 c (0,0) c PropsNotBlocker_7 : 1017470 10.15/3.80 c (0,0) c PropsNotBlocker_total : 9299466 10.15/3.80 c (0,0) c PropsNotBlocker_winner : 1162269 10.15/3.80 c (0,0) c PropsLitFullScans_0 : 7701559 10.15/3.80 c (0,0) c PropsLitFullScans_1 : 6000316 10.15/3.80 c (0,0) c PropsLitFullScans_2 : 6000142 10.15/3.80 c (0,0) c PropsLitFullScans_3 : 9586438 10.15/3.80 c (0,0) c PropsLitFullScans_4 : 10959383 10.15/3.80 c (0,0) c PropsLitFullScans_5 : 6001399 10.15/3.80 c (0,0) c PropsLitFullScans_6 : 9018055 10.15/3.80 c (0,0) c PropsLitFullScans_7 : 6989064 10.15/3.80 c (0,0) c PropsLitFullScans_total : 62256356 10.15/3.80 c (0,0) c PropsLitFullScans_winner : 7701559 10.15/3.80 c (0,0) c LitScanFractions_0 : 348 10.15/3.80 c (0,0) c LitScanFractions_1 : 170 10.15/3.80 c (0,0) c LitScanFractions_2 : 99 10.15/3.80 c (0,0) c LitScanFractions_3 : 92 10.15/3.80 c (0,0) c LitScanFractions_4 : 87 10.15/3.80 c (0,0) c LitScanFractions_5 : 824 10.15/3.80 c (0,0) c LitScanFractions_6 : 280 10.15/3.80 c (0,0) c LitScanFractions_7 : 10 10.15/3.80 c (0,0) c LitScanFractions_total : 1910 10.15/3.80 c (0,0) c LitScanFractions_winner : 348 10.15/3.80 c (0,0) c DecisionLevel0_0 : 28 10.15/3.80 c (0,0) c DecisionLevel0_1 : 4 10.15/3.80 c (0,0) c DecisionLevel0_2 : 6 10.15/3.80 c (0,0) c DecisionLevel0_3 : 17 10.15/3.80 c (0,0) c DecisionLevel0_4 : 10 10.15/3.80 c (0,0) c DecisionLevel0_5 : 12 10.15/3.80 c (0,0) c DecisionLevel0_6 : 17 10.15/3.80 c (0,0) c DecisionLevel0_7 : 12 10.15/3.80 c (0,0) c DecisionLevel0_total : 106 10.15/3.80 c (0,0) c DecisionLevel0_winner : 28 10.15/3.80 c (0,0) c Periods_0 : 1 10.15/3.80 c (0,0) c Periods_1 : 1 10.15/3.80 c (0,0) c Periods_2 : 1 10.15/3.81 c (0,0) c Periods_3 : 1 10.15/3.81 c (0,0) c Periods_4 : 1 10.15/3.81 c (0,0) c Periods_5 : 1 10.15/3.81 c (0,0) c Periods_6 : 1 10.15/3.81 c (0,0) c Periods_7 : 1 10.15/3.81 c (0,0) c Periods_total : 8 10.15/3.81 c (0,0) c Periods_winner : 1 10.15/3.81 c (0,0) c Margin_0 : 20 10.15/3.81 c (0,0) c Margin_1 : 20 10.15/3.81 c (0,0) c Margin_2 : 20 10.15/3.81 c (0,0) c Margin_3 : 20 10.15/3.81 c (0,0) c Margin_4 : 20 10.15/3.81 c (0,0) c Margin_5 : 20 10.15/3.81 c (0,0) c Margin_6 : 20 10.15/3.81 c (0,0) c Margin_7 : 20 10.15/3.81 c (0,0) c Margin_total : 160 10.15/3.81 c (0,0) c Margin_winner : 20 10.15/3.81 c (0,0) c Exported_0 : 1971 10.15/3.81 c (0,0) c Exported_1 : 1534 10.15/3.81 c (0,0) c Exported_2 : 1367 10.15/3.81 c (0,0) c Exported_3 : 2306 10.15/3.81 c (0,0) c Exported_4 : 2051 10.15/3.81 c (0,0) c Exported_5 : 1388 10.15/3.81 c (0,0) c Exported_6 : 1771 10.15/3.81 c (0,0) c Exported_7 : 1908 10.15/3.81 c (0,0) c Exported_total : 14296 10.15/3.81 c (0,0) c Exported_winner : 1971 10.15/3.81 c (0,0) c Imported_0 : 0 10.15/3.81 c (0,0) c Imported_1 : 0 10.15/3.81 c (0,0) c Imported_2 : 0 10.15/3.81 c (0,0) c Imported_3 : 0 10.15/3.81 c (0,0) c Imported_4 : 0 10.15/3.81 c (0,0) c Imported_5 : 0 10.15/3.81 c (0,0) c Imported_6 : 0 10.15/3.81 c (0,0) c Imported_7 : 0 10.15/3.81 c (0,0) c Imported_total : 0 10.15/3.81 c (0,0) c Imported_winner : 0 10.15/3.81 c (0,0) c Good_0 : 0 10.15/3.81 c (0,0) c Good_1 : 0 10.15/3.81 c (0,0) c Good_2 : 0 10.15/3.81 c (0,0) c Good_3 : 0 10.15/3.81 c (0,0) c Good_4 : 0 10.15/3.81 c (0,0) c Good_5 : 0 10.15/3.81 c (0,0) c Good_6 : 0 10.15/3.81 c (0,0) c Good_7 : 0 10.15/3.81 c (0,0) c Good_total : 0 10.15/3.81 c (0,0) c Good_winner : 0 10.15/3.81 c (0,0) c Purge_0 : 0 10.15/3.81 c (0,0) c Purge_1 : 0 10.15/3.81 c (0,0) c Purge_2 : 0 10.15/3.81 c (0,0) c Purge_3 : 0 10.15/3.81 c (0,0) c Purge_4 : 0 10.15/3.81 c (0,0) c Purge_5 : 0 10.15/3.81 c (0,0) c Purge_6 : 0 10.15/3.81 c (0,0) c Purge_7 : 0 10.15/3.81 c (0,0) c Purge_total : 0 10.15/3.81 c (0,0) c Purge_winner : 0 10.15/3.81 c (0,0) c Promoted_0 : 0 10.15/3.81 c (0,0) c Promoted_1 : 0 10.15/3.81 c (0,0) c Promoted_2 : 0 10.15/3.81 c (0,0) c Promoted_3 : 0 10.15/3.81 c (0,0) c Promoted_4 : 0 10.15/3.81 c (0,0) c Promoted_5 : 0 10.15/3.81 c (0,0) c Promoted_6 : 0 10.15/3.81 c (0,0) c Promoted_7 : 0 10.15/3.81 c (0,0) c Promoted_total : 0 10.15/3.81 c (0,0) c Promoted_winner : 0 10.15/3.81 c (0,0) c Remove_Imp_0 : 0 10.15/3.81 c (0,0) c Remove_Imp_1 : 0 10.15/3.81 c (0,0) c Remove_Imp_2 : 0 10.15/3.81 c (0,0) c Remove_Imp_3 : 0 10.15/3.81 c (0,0) c Remove_Imp_4 : 0 10.15/3.81 c (0,0) c Remove_Imp_5 : 0 10.15/3.81 c (0,0) c Remove_Imp_6 : 0 10.15/3.81 c (0,0) c Remove_Imp_7 : 0 10.15/3.81 c (0,0) c Remove_Imp_total : 0 10.15/3.81 c (0,0) c Remove_Imp_winner : 0 10.15/3.81 c (0,0) c Blocked_Reuse_0 : 0 10.15/3.81 c (0,0) c Blocked_Reuse_1 : 0 10.15/3.81 c (0,0) c Blocked_Reuse_2 : 0 10.15/3.81 c (0,0) c Blocked_Reuse_3 : 0 10.15/3.81 c (0,0) c Blocked_Reuse_4 : 0 10.15/3.81 c (0,0) c Blocked_Reuse_5 : 0 10.15/3.81 c (0,0) c Blocked_Reuse_6 : 0 10.15/3.81 c (0,0) c Blocked_Reuse_7 : 0 10.15/3.81 c (0,0) c Blocked_Reuse_total : 0 10.15/3.81 c (0,0) c Blocked_Reuse_winner : 0 10.15/3.81 c (0,0) c Unaries_0 : 13 10.15/3.81 c (0,0) c Unaries_1 : 1 10.15/3.81 c (0,0) c Unaries_2 : 1 10.15/3.81 c (0,0) c Unaries_3 : 11 10.15/3.81 c (0,0) c Unaries_4 : 7 10.15/3.81 c (0,0) c Unaries_5 : 0 10.15/3.81 c (0,0) c Unaries_6 : 13 10.15/3.81 c (0,0) c Unaries_7 : 9 10.15/3.81 c (0,0) c Unaries_total : 55 10.15/3.81 c (0,0) c Unaries_winner : 13 10.15/3.81 c (0,0) c Binaries_0 : 50 10.15/3.81 c (0,0) c Binaries_1 : 10 10.15/3.81 c (0,0) c Binaries_2 : 9 10.15/3.81 c (0,0) c Binaries_3 : 50 10.15/3.81 c (0,0) c Binaries_4 : 34 10.15/3.81 c (0,0) c Binaries_5 : 1 10.15/3.81 c (0,0) c Binaries_6 : 56 10.15/3.81 c (0,0) c Binaries_7 : 44 10.15/3.81 c (0,0) c Binaries_total : 254 10.15/3.81 c (0,0) c Binaries_winner : 50 10.15/3.81 c (0,0) c Glues_0 : 291 10.15/3.81 c (0,0) c Glues_1 : 216 10.15/3.81 c (0,0) c Glues_2 : 207 10.15/3.81 c (0,0) c Glues_3 : 307 10.15/3.81 c (0,0) c Glues_4 : 144 10.15/3.81 c (0,0) c Glues_5 : 160 10.15/3.81 c (0,0) c Glues_6 : 259 10.15/3.81 c (0,0) c Glues_7 : 294 10.15/3.81 c (0,0) c Glues_total : 1878 10.15/3.81 c (0,0) c Glues_winner : 291 10.15/3.81 c (0,0) c RunningTime_0 : 0.073967 10.15/3.81 c (0,0) c RunningTime_1 : 0.078951 10.15/3.81 c (0,0) c RunningTime_2 : 0.075572 10.15/3.81 c (0,0) c RunningTime_3 : 0.088433 10.15/3.81 c (0,0) c RunningTime_4 : 0.099828 10.15/3.81 c (0,0) c RunningTime_5 : 0.076629 10.15/3.81 c (0,0) c RunningTime_6 : 0.087048 10.15/3.81 c (0,0) c RunningTime_7 : 0.070795 10.15/3.81 c (0,0) c RunningTime_total : 0.651222 10.15/3.81 c (0,0) c RunningTime_winner : 0.073967 10.15/3.81 c (0,0) c WaitingTime_0 : 0.000000 10.15/3.81 c (0,0) c WaitingTime_1 : 0.000000 10.15/3.81 c (0,0) c WaitingTime_2 : 0.000000 10.15/3.81 c (0,0) c WaitingTime_3 : 0.000000 10.15/3.81 c (0,0) c WaitingTime_4 : 0.000000 10.15/3.81 c (0,0) c WaitingTime_5 : 0.000000 10.15/3.81 c (0,0) c WaitingTime_6 : 0.000000 10.15/3.81 c (0,0) c WaitingTime_7 : 0.000000 10.15/3.81 c (0,0) c WaitingTime_total : 0.000000 10.15/3.81 c (0,0) c WaitingTime_winner : 0.000000 10.15/3.81 c (0,0) c ExchangingTime_0 : 0.000507 10.15/3.81 c (0,0) c ExchangingTime_1 : 0.000400 10.15/3.81 c (0,0) c ExchangingTime_2 : 0.000411 10.15/3.81 c (0,0) c ExchangingTime_3 : 0.000552 10.15/3.81 c (0,0) c ExchangingTime_4 : 0.000540 10.15/3.81 c (0,0) c ExchangingTime_5 : 0.000391 10.15/3.81 c (0,0) c ExchangingTime_6 : 0.000522 10.15/3.81 c (0,0) c ExchangingTime_7 : 0.000473 10.15/3.81 c (0,0) c ExchangingTime_total : 0.003796 10.15/3.81 c (0,0) c ExchangingTime_winner : 0.000507 10.15/3.81 c (0,0) c PeriodProcTime_0 : 0.000019 10.15/3.81 c (0,0) c PeriodProcTime_1 : 0.000007 10.15/3.81 c (0,0) c PeriodProcTime_2 : 0.000002 10.15/3.81 c (0,0) c PeriodProcTime_3 : 0.000007 10.15/3.81 c (0,0) c PeriodProcTime_4 : 0.000004 10.15/3.81 c (0,0) c PeriodProcTime_5 : 0.000003 10.15/3.81 c (0,0) c PeriodProcTime_6 : 0.000004 10.15/3.81 c (0,0) c PeriodProcTime_7 : 0.000004 10.15/3.81 c (0,0) c PeriodProcTime_total : 0.000050 10.15/3.81 c (0,0) c PeriodProcTime_winner : 0.000019 10.15/3.81 c (0,0) c SolvingTime_0 : 0.074492 10.15/3.81 c (0,0) c SolvingTime_1 : 0.079357 10.15/3.81 c (0,0) c SolvingTime_2 : 0.075985 10.15/3.81 c (0,0) c SolvingTime_3 : 0.088992 10.15/3.81 c (0,0) c SolvingTime_4 : 0.100372 10.15/3.81 c (0,0) c SolvingTime_5 : 0.077022 10.15/3.81 c (0,0) c SolvingTime_6 : 0.087574 10.15/3.81 c (0,0) c SolvingTime_7 : 0.071273 10.15/3.81 c (0,0) c SolvingTime_total : 0.655067 10.15/3.81 c (0,0) c SolvingTime_winner : 0.074492 10.15/3.81 c (0,0) c PropagationTime_0 : 0.050415 10.15/3.81 c (0,0) c PropagationTime_1 : 0.059179 10.15/3.81 c (0,0) c PropagationTime_2 : 0.057267 10.15/3.81 c (0,0) c PropagationTime_3 : 0.062423 10.15/3.81 c (0,0) c PropagationTime_4 : 0.073700 10.15/3.81 c (0,0) c PropagationTime_5 : 0.058415 10.15/3.81 c (0,0) c PropagationTime_6 : 0.061417 10.15/3.81 c (0,0) c PropagationTime_7 : 0.048917 10.15/3.81 c (0,0) c PropagationTime_total : 0.471734 10.15/3.81 c (0,0) c PropagationTime_winner : 0.050415 10.15/3.81 c (0,0) c AnalysisTime_0 : 0.014900 10.15/3.81 c (0,0) c AnalysisTime_1 : 0.012396 10.15/3.81 c (0,0) c AnalysisTime_2 : 0.011667 10.15/3.81 c (0,0) c AnalysisTime_3 : 0.016848 10.15/3.81 c (0,0) c AnalysisTime_4 : 0.017524 10.15/3.81 c (0,0) c AnalysisTime_5 : 0.011413 10.15/3.81 c (0,0) c AnalysisTime_6 : 0.016609 10.15/3.81 c (0,0) c AnalysisTime_7 : 0.013877 10.15/3.81 c (0,0) c AnalysisTime_total : 0.115235 10.15/3.81 c (0,0) c AnalysisTime_winner : 0.014900 10.15/3.81 c (0,0) c ReductionTime_0 : 0.001345 10.15/3.81 c (0,0) c ReductionTime_1 : 0.001729 10.15/3.81 c (0,0) c ReductionTime_2 : 0.001653 10.15/3.81 c (0,0) c ReductionTime_3 : 0.001738 10.15/3.81 c (0,0) c ReductionTime_4 : 0.001382 10.15/3.81 c (0,0) c ReductionTime_5 : 0.001799 10.15/3.81 c (0,0) c ReductionTime_6 : 0.001390 10.15/3.81 c (0,0) c ReductionTime_7 : 0.001701 10.15/3.81 c (0,0) c ReductionTime_total : 0.012737 10.15/3.81 c (0,0) c ReductionTime_winner : 0.001345 10.15/3.81 c (0,0) c SimplifyTime_0 : 0.001249 10.15/3.81 c (0,0) c SimplifyTime_1 : 0.000341 10.15/3.81 c (0,0) c SimplifyTime_2 : 0.000299 10.15/3.81 c (0,0) c SimplifyTime_3 : 0.000735 10.15/3.81 c (0,0) c SimplifyTime_4 : 0.000972 10.15/3.81 c (0,0) c SimplifyTime_5 : 0.000000 10.15/3.81 c (0,0) c SimplifyTime_6 : 0.001311 10.15/3.81 c (0,0) c SimplifyTime_7 : 0.000641 10.15/3.81 c (0,0) c SimplifyTime_total : 0.005548 10.15/3.81 c (0,0) c SimplifyTime_winner : 0.001249 10.15/3.81 c (0,0) c UsedRateTime_0 : 0.000000 10.15/3.81 c (0,0) c UsedRateTime_1 : 0.000000 10.15/3.81 c (0,0) c UsedRateTime_2 : 0.000000 10.15/3.81 c (0,0) c UsedRateTime_3 : 0.000000 10.15/3.81 c (0,0) c UsedRateTime_4 : 0.000000 10.15/3.81 c (0,0) c UsedRateTime_5 : 0.000000 10.15/3.81 c (0,0) c UsedRateTime_6 : 0.000000 10.15/3.81 c (0,0) c UsedRateTime_7 : 0.000000 10.15/3.81 c (0,0) c UsedRateTime_total : 0.000000 10.15/3.81 c (0,0) c UsedRateTime_winner : 0.000000 10.15/3.81 c (0,0) c OverlapRateTime_0 : 0.000000 10.15/3.81 c (0,0) c OverlapRateTime_1 : 0.000000 10.15/3.81 c (0,0) c OverlapRateTime_2 : 0.000000 10.15/3.81 c (0,0) c OverlapRateTime_3 : 0.000000 10.15/3.81 c (0,0) c OverlapRateTime_4 : 0.000000 10.15/3.81 c (0,0) c OverlapRateTime_5 : 0.000000 10.15/3.81 c (0,0) c OverlapRateTime_6 : 0.000000 10.15/3.81 c (0,0) c OverlapRateTime_7 : 0.000000 10.15/3.81 c (0,0) c OverlapRateTime_total : 0.000000 10.15/3.81 c (0,0) c OverlapRateTime_winner : 0.000000 10.15/3.81 c (0,0) c 10.15/3.81 c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 10.15/3.81 c (0,0) c 10.15/3.81 c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 10.15/3.81 c (0,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 10.15/3.81 c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 10.15/3.81 c (0,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 10.15/3.81 c (0,0) c | adaptStrategeis | True | False | True | False | True | False | True | False | 10.15/3.81 c (0,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 10.15/3.81 c (0,0) c | Initial random_seed | 551224591 | 881899057 | 562223346 | 1786140253 | 199652060 | 1627751974 | 1931682065 | 613521216 | 10.15/3.81 c (0,0) c | chanseokStrategy | False | False | False | False | False | False | False | False | 10.15/3.81 c (0,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 10.15/3.81 c (0,0) c | glureduce | True | True | True | True | True | True | True | True | 10.15/3.81 c (0,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 10.15/3.81 c (0,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 10.15/3.81 c (0,0) c | luby_restart | False | False | False | False | False | False | False | False | 10.15/3.81 c (0,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 10.15/3.81 c (0,0) c | var_decay | 0.8200 | 0.8100 | 0.8100 | 0.8200 | 0.8200 | 0.8100 | 0.8200 | 0.8100 | 10.15/3.81 c (0,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 10.15/3.81 c (0,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 10.15/3.81 c (0,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 10.15/3.81 c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 10.15/3.81 c (0,0) 10.15/3.81 c (0,0) s UNSATISFIABLE 10.15/3.81 c (0,0) SatSolver.solve End 10.15/3.82 c (0,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB) 10.15/3.82 c (0,0) Show results Begin 10.15/3.82 s UNSATISFIABLE 10.15/3.82 c (0,0) Show results End 10.15/3.82 c (0,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB) 10.15/3.82 c (0,0) 0,0,STOP-AFTER(ALL) 10.15/3.82 c END-Prog: Tue Sep 24 18:26:52 CEST 2019
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. NUMA information: number of nodes: 2 memory of node 0: 16374 MiB (12341 MiB free) memory of node 1: 16384 MiB (12344 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405489-1569342452/watcher-4405489-1569342452 -o /var/tmp/evaluation-result-4405489-1569342452/solver-4405489-1569342452 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node117-1569335935-28293 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405489-1569342452.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 solver pid=29597, runsolver pid=29594 Starting watchdog thread Current StackSize limit: 8192 KiB [startup+0.100138 s]* /proc/loadavg: 2.68 5.76 6.49 2/211 29619 /proc/meminfo: memFree=25184944/32770624 swapFree=66974376/67108860 [pid=29597] ppid=29594 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/29597/stat : 29597 (scop.sh) S 29594 29597 28266 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 510186991 115843072 349 33554432000 4194304 5098028 140726701285248 140726701282504 139702157681276 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 9924608 140726701294332 140726701294680 140726701294680 140726701297609 0 /proc/29597/statm: 28282 349 296 221 0 87 0 [pid=29600] ppid=29597 vsize=27314120 memory=106412 CPUtime=0.11 cores=0-7 /proc/29600/stat : 29600 (java) S 29597 29597 28266 0 -1 1077944320 6663 0 0 0 8 3 0 0 20 0 20 0 510186992 27969658880 26603 33554432000 4194304 4196468 140736109520400 140736109502944 139679833853687 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15867904 140736109527750 140736109528198 140736109528198 140736109531087 0 /proc/29600/statm: 6828530 26603 2816 1 0 6790935 0 [pid=29600/tid=29601] ppid=29597 vsize=27314120 memory=4134930498285298233 CPUtime=0.09 cores=0-7 /proc/29600/task/29601/stat : 29601 (java) R 29597 29597 28266 0 -1 4202560 4732 0 0 0 7 2 0 0 20 0 20 0 510186992 27969658880 26603 33554432000 4194304 4196468 140736109520400 139679805680016 139679833875613 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15867904 140736109527750 140736109528198 140736109528198 140736109531087 0 [pid=29600/tid=29602] ppid=29597 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/29600/task/29602/stat : 29602 (java) S 29597 29597 28266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510186994 27969658880 26603 33554432000 4194304 4196468 140736109520400 139679838096528 139679833863893 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15867904 140736109527750 140736109528198 140736109528198 140736109531087 0 [pid=29600/tid=29603] ppid=29597 vsize=27314120 memory=140386114397824 CPUtime=0 cores=0-7 /proc/29600/task/29603/stat : 29603 (java) S 29597 29597 28266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510186994 27969658880 26603 33554432000 4194304 4196468 140736109520400 139679255657488 139679833863893 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15867904 140736109527750 140736109528198 140736109528198 140736109531087 0 [pid=29600/tid=29604] ppid=29597 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/29600/task/29604/stat : 29604 (java) S 29597 29597 28266 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510186994 27969658880 26603 33554432000 4194304 4196468 140736109520400 139679254604688 139679833863893 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15867904 140736109527750 140736109528198 140736109528198 140736109531087 0 [pid=29600/tid=29605] ppid=29597 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/29600/task/29605/stat : 29605 (java) S 29597 29597 28266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510186994 27969658880 26603 33554432000 4194304 4196468 140736109520400 139679253551888 139679833863893 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15867904 140736109527750 140736109528198 140736109528198 140736109531087 0 [pid=29600/tid=29606] ppid=29597 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/29600/task/29606/stat : 29606 (java) S 29597 29597 28266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510186994 27969658880 26603 33554432000 4194304 4196468 140736109520400 139679252499088 139679833863893 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15867904 140736109527750 140736109528198 140736109528198 140736109531087 0 [pid=29600/tid=29607] ppid=29597 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/29600/task/29607/stat : 29607 (java) S 29597 29597 28266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510186994 27969658880 26603 33554432000 4194304 4196468 140736109520400 139679251446288 139679833863893 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15867904 140736109527750 140736109528198 140736109528198 140736109531087 0 [pid=29600/tid=29608] ppid=29597 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/29600/task/29608/stat : 29608 (java) S 29597 29597 28266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510186994 27969658880 26603 33554432000 4194304 4196468 140736109520400 139679250393488 139679833863893 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15867904 140736109527750 140736109528198 140736109528198 140736109531087 0 [pid=29600/tid=29609] ppid=29597 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/29600/task/29609/stat : 29609 (java) S 29597 29597 28266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510186994 27969658880 26603 33554432000 4194304 4196468 140736109520400 139679249340688 139679833863893 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15867904 140736109527750 140736109528198 140736109528198 140736109531087 0 [pid=29600/tid=29610] ppid=29597 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/29600/task/29610/stat : 29610 (java) S 29597 29597 28266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510186996 27969658880 26603 33554432000 4194304 4196468 140736109520400 139678221228912 139679833864834 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15867904 140736109527750 140736109528198 140736109528198 140736109531087 0 [pid=29600/tid=29611] ppid=29597 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/29600/task/29611/stat : 29611 (java) S 29597 29597 28266 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510186996 27969658880 26603 33554432000 4194304 4196468 140736109520400 139677570950688 139679833863893 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15867904 140736109527750 140736109528198 140736109528198 140736109531087 0 [pid=29600/tid=29612] ppid=29597 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/29600/task/29612/stat : 29612 (java) S 29597 29597 28266 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510186996 27969658880 26603 33554432000 4194304 4196468 140736109520400 139677436728688 139679833863893 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15867904 140736109527750 140736109528198 140736109528198 140736109531087 0 [pid=29600/tid=29613] ppid=29597 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/29600/task/29613/stat : 29613 (java) S 29597 29597 28266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510186999 27969658880 26603 33554432000 4194304 4196468 140736109520400 139677062224208 139679833872283 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15867904 140736109527750 140736109528198 140736109528198 140736109531087 0 [pid=29600/tid=29614] ppid=29597 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/29600/task/29614/stat : 29614 (java) S 29597 29597 28266 0 -1 1077944384 296 0 0 0 0 0 0 0 20 0 20 0 510186999 27969658880 26603 33554432000 4194304 4196468 140736109520400 139678220175728 139679833864834 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15867904 140736109527750 140736109528198 140736109528198 140736109531087 0 [pid=29600/tid=29615] ppid=29597 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/29600/task/29615/stat : 29615 (java) S 29597 29597 28266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510186999 27969658880 26603 33554432000 4194304 4196468 140736109520400 139678219122928 139679833864834 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15867904 140736109527750 140736109528198 140736109528198 140736109531087 0 [pid=29600/tid=29616] ppid=29597 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/29600/task/29616/stat : 29616 (java) S 29597 29597 28266 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510186999 27969658880 26603 33554432000 4194304 4196468 140736109520400 139678218070128 139679833864834 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15867904 140736109527750 140736109528198 140736109528198 140736109531087 0 [pid=29600/tid=29617] ppid=29597 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/29600/task/29617/stat : 29617 (java) R 29597 29597 28266 0 -1 4202560 300 0 0 0 0 0 0 0 20 0 20 0 510186999 27969658880 26603 33554432000 4194304 4196468 140736109520400 139678217015720 139679812222326 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15867904 140736109527750 140736109528198 140736109528198 140736109531087 0 [pid=29600/tid=29618] ppid=29597 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/29600/task/29618/stat : 29618 (java) S 29597 29597 28266 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510186999 27969658880 26603 33554432000 4194304 4196468 140736109520400 139676564319328 139679833863893 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15867904 140736109527750 140736109528198 140736109528198 140736109531087 0 [pid=29600/tid=29619] ppid=29597 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/29600/task/29619/stat : 29619 (java) S 29597 29597 28266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510186999 27969658880 26603 33554432000 4194304 4196468 140736109520400 139678215965744 139679833864834 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15867904 140736109527750 140736109528198 140736109528198 140736109531087 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 107808 KiB [startup+0.210308 s]* /proc/loadavg: 2.68 5.76 6.49 3/211 29619 /proc/meminfo: memFree=25163764/32770624 swapFree=66974376/67108860 [pid=29597] ppid=29594 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/29597/stat : 29597 (scop.sh) S 29594 29597 28266 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 510186991 115843072 349 33554432000 4194304 5098028 140726701285248 140726701282504 139702157681276 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 9924608 140726701294332 140726701294680 140726701294680 140726701297609 0 /proc/29597/statm: 28282 349 296 221 0 87 0 [pid=29600] ppid=29597 vsize=27314120 memory=123452 CPUtime=0.25 cores=0-7 /proc/29600/stat : 29600 (java) S 29597 29597 28266 0 -1 1077944320 12255 0 0 0 21 4 0 0 20 0 20 0 510186992 27969658880 30863 33554432000 4194304 4196468 140736109520400 140736109502944 139679833853687 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15867904 140736109527750 140736109528198 140736109528198 140736109531087 0 /proc/29600/statm: 6828530 30863 2928 1 0 6790935 0 [pid=29600/tid=29601] ppid=29597 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/29600/task/29601/stat : 29601 (java) R 29597 29597 28266 0 -1 4202560 9941 0 0 0 16 3 0 0 20 0 20 0 510186992 27969658880 30863 33554432000 4194304 4196468 140736109520400 139679805658064 139679814129576 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15867904 140736109527750 140736109528198 140736109528198 140736109531087 0 [pid=29600/tid=29602] ppid=29597 vsize=27314120 memory=329 CPUtime=0 cores=0-7 /proc/29600/task/29602/stat : 29602 (java) S 29597 29597 28266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510186994 27969658880 30863 33554432000 4194304 4196468 140736109520400 139679838096528 139679833863893 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15867904 140736109527750 140736109528198 140736109528198 140736109531087 0 [pid=29600/tid=29603] ppid=29597 vsize=27314120 memory=140386118181644 CPUtime=0 cores=0-7 /proc/29600/task/29603/stat : 29603 (java) S 29597 29597 28266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510186994 27969658880 30863 33554432000 4194304 4196468 140736109520400 139679255657488 139679833863893 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15867904 140736109527750 140736109528198 140736109528198 140736109531087 0 [pid=29600/tid=29604] ppid=29597 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/29600/task/29604/stat : 29604 (java) S 29597 29597 28266 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510186994 27969658880 30863 33554432000 4194304 4196468 140736109520400 139679254604688 139679833863893 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15867904 140736109527750 140736109528198 140736109528198 140736109531087 0 [pid=29600/tid=29605] ppid=29597 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/29600/task/29605/stat : 29605 (java) S 29597 29597 28266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510186994 27969658880 30863 33554432000 4194304 4196468 140736109520400 139679253551888 139679833863893 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15867904 140736109527750 140736109528198 140736109528198 140736109531087 0 [pid=29600/tid=29606] ppid=29597 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/29600/task/29606/stat : 29606 (java) S 29597 29597 28266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510186994 27969658880 30863 33554432000 4194304 4196468 140736109520400 139679252499088 139679833863893 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15867904 140736109527750 140736109528198 140736109528198 140736109531087 0 [pid=29600/tid=29607] ppid=29597 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/29600/task/29607/stat : 29607 (java) S 29597 29597 28266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510186994 27969658880 30863 33554432000 4194304 4196468 140736109520400 139679251446288 139679833863893 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15867904 140736109527750 140736109528198 140736109528198 140736109531087 0 [pid=29600/tid=29608] ppid=29597 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/29600/task/29608/stat : 29608 (java) S 29597 29597 28266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510186994 27969658880 30863 33554432000 4194304 4196468 140736109520400 139679250393488 139679833863893 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15867904 140736109527750 140736109528198 140736109528198 140736109531087 0 [pid=29600/tid=29609] ppid=29597 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/29600/task/29609/stat : 29609 (java) S 29597 29597 28266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510186994 27969658880 30863 33554432000 4194304 4196468 140736109520400 139679249340688 139679833863893 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15867904 140736109527750 140736109528198 140736109528198 140736109531087 0 [pid=29600/tid=29610] ppid=29597 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/29600/task/29610/stat : 29610 (java) S 29597 29597 28266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510186996 27969658880 30863 33554432000 4194304 4196468 140736109520400 139678221228912 139679833864834 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15867904 140736109527750 140736109528198 140736109528198 140736109531087 0 [pid=29600/tid=29611] ppid=29597 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/29600/task/29611/stat : 29611 (java) S 29597 29597 28266 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510186996 27969658880 30863 33554432000 4194304 4196468 140736109520400 139677570950688 139679833863893 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15867904 140736109527750 140736109528198 140736109528198 140736109531087 0 [pid=29600/tid=29612] ppid=29597 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/29600/task/29612/stat : 29612 (java) S 29597 29597 28266 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510186996 27969658880 30863 33554432000 4194304 4196468 140736109520400 139677436728688 139679833863893 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15867904 140736109527750 140736109528198 140736109528198 140736109531087 0 [pid=29600/tid=29613] ppid=29597 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/29600/task/29613/stat : 29613 (java) S 29597 29597 28266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510186999 27969658880 30863 33554432000 4194304 4196468 140736109520400 139677062224208 139679833872283 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15867904 140736109527750 140736109528198 140736109528198 140736109531087 0 [pid=29600/tid=29614] ppid=29597 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/29600/task/29614/stat : 29614 (java) S 29597 29597 28266 0 -1 1077944384 455 0 0 0 0 0 0 0 20 0 20 0 510186999 27969658880 30863 33554432000 4194304 4196468 140736109520400 139678220175728 139679833864834 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15867904 140736109527750 140736109528198 140736109528198 140736109531087 0 [pid=29600/tid=29615] ppid=29597 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/29600/task/29615/stat : 29615 (java) S 29597 29597 28266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510186999 27969658880 30863 33554432000 4194304 4196468 140736109520400 139678219122928 139679833864834 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15867904 140736109527750 140736109528198 140736109528198 140736109531087 0 [pid=29600/tid=29616] ppid=29597 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/29600/task/29616/stat : 29616 (java) S 29597 29597 28266 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 20 0 510186999 27969658880 30863 33554432000 4194304 4196468 140736109520400 139678218070128 139679833864834 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15867904 140736109527750 140736109528198 140736109528198 140736109531087 0 [pid=29600/tid=29617] ppid=29597 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7 /proc/29600/task/29617/stat : 29617 (java) S 29597 29597 28266 0 -1 1077944384 479 0 0 0 2 0 0 0 20 0 20 0 510186999 27969658880 30863 33554432000 4194304 4196468 140736109520400 139678217017328 139679833864834 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15867904 140736109527750 140736109528198 140736109528198 140736109531087 0 [pid=29600/tid=29618] ppid=29597 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/29600/task/29618/stat : 29618 (java) S 29597 29597 28266 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510186999 27969658880 30863 33554432000 4194304 4196468 140736109520400 139676564319328 139679833863893 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15867904 140736109527750 140736109528198 140736109528198 140736109531087 0 [pid=29600/tid=29619] ppid=29597 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/29600/task/29619/stat : 29619 (java) S 29597 29597 28266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510186999 27969658880 30863 33554432000 4194304 4196468 140736109520400 139678215965744 139679833864834 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15867904 140736109527750 140736109528198 140736109528198 140736109531087 0 Current children cumulated CPU time: 0.25 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 124848 KiB [startup+0.310168 s]* /proc/loadavg: 2.62 5.70 6.47 2/211 29619 /proc/meminfo: memFree=25160228/32770624 swapFree=66974376/67108860 [pid=29597] ppid=29594 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/29597/stat : 29597 (scop.sh) S 29594 29597 28266 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 510186991 115843072 349 33554432000 4194304 5098028 140726701285248 140726701282504 139702157681276 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 9924608 140726701294332 140726701294680 140726701294680 140726701297609 0 /proc/29597/statm: 28282 349 296 221 0 87 0 [pid=29600] ppid=29597 vsize=27314120 memory=127484 CPUtime=0.43 cores=0-7 /proc/29600/stat : 29600 (java) S 29597 29597 28266 0 -1 1077944320 12818 0 0 0 38 5 0 0 20 0 20 0 510186992 27969658880 31871 33554432000 4194304 4196468 140736109520400 140736109502944 139679833853687 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15867904 140736109527750 140736109528198 140736109528198 140736109531087 0 /proc/29600/statm: 6828530 31871 3033 1 0 6790935 0 [pid=29600/tid=29601] ppid=29597 vsize=27314120 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/29600/task/29601/stat : 29601 (java) R 29597 29597 28266 0 -1 4202560 10301 0 0 0 26 3 0 0 20 0 20 0 510186992 27969658880 31871 33554432000 4194304 4196468 140736109520400 139679805681328 139679814129017 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15867904 140736109527750 140736109528198 140736109528198 140736109531087 0 [pid=29600/tid=29602] ppid=29597 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/29600/task/29602/stat : 29602 (java) S 29597 29597 28266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510186994 27969658880 31871 33554432000 4194304 4196468 140736109520400 139679838096528 139679833863893 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15867904 140736109527750 140736109528198 140736109528198 140736109531087 0 [pid=29600/tid=29603] ppid=29597 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/29600/task/29603/stat : 29603 (java) S 29597 29597 28266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510186994 27969658880 31871 33554432000 4194304 4196468 140736109520400 139679255657488 139679833863893 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15867904 140736109527750 140736109528198 140736109528198 140736109531087 0 [pid=29600/tid=29604] ppid=29597 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/29600/task/29604/stat : 29604 (java) S 29597 29597 28266 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510186994 27969658880 31871 33554432000 4194304 4196468 140736109520400 139679254604688 139679833863893 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15867904 140736109527750 140736109528198 140736109528198 140736109531087 0 [pid=29600/tid=29605] ppid=29597 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/29600/task/29605/stat : 29605 (java) S 29597 29597 28266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510186994 27969658880 31871 33554432000 4194304 4196468 140736109520400 139679253551888 139679833863893 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15867904 140736109527750 140736109528198 140736109528198 140736109531087 0 [pid=29600/tid=29606] ppid=29597 vsize=27314120 memory=2244 CPUtime=0 cores=0-7 /proc/29600/task/29606/stat : 29606 (java) S 29597 29597 28266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510186994 27969658880 31871 33554432000 4194304 4196468 140736109520400 139679252499088 139679833863893 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15867904 140736109527750 140736109528198 140736109528198 140736109531087 0 [pid=29600/tid=29607] ppid=29597 vsize=27314120 memory=140385972220847 CPUtime=0 cores=0-7 /proc/29600/task/29607/stat : 29607 (java) S 29597 29597 28266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510186994 27969658880 31871 33554432000 4194304 4196468 140736109520400 139679251446288 139679833863893 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15867904 140736109527750 140736109528198 140736109528198 140736109531087 0 [pid=29600/tid=29608] ppid=29597 vsize=27314120 memory=140385972223152 CPUtime=0 cores=0-7 /proc/29600/task/29608/stat : 29608 (java) S 29597 29597 28266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510186994 27969658880 31871 33554432000 4194304 4196468 140736109520400 139679250393488 139679833863893 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15867904 140736109527750 140736109528198 140736109528198 140736109531087 0 [pid=29600/tid=29609] ppid=29597 vsize=27314120 memory=140385972225456 CPUtime=0 cores=0-7 /proc/29600/task/29609/stat : 29609 (java) S 29597 29597 28266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510186994 27969658880 31871 33554432000 4194304 4196468 140736109520400 139679249340688 139679833863893 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15867904 140736109527750 140736109528198 140736109528198 140736109531087 0 [pid=29600/tid=29610] ppid=29597 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/29600/task/29610/stat : 29610 (java) S 29597 29597 28266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510186996 27969658880 31871 33554432000 4194304 4196468 140736109520400 139678221228912 139679833864834 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15867904 140736109527750 140736109528198 140736109528198 140736109531087 0 [pid=29600/tid=29611] ppid=29597 vsize=27314120 memory=280771944457872 CPUtime=0 cores=0-7 /proc/29600/task/29611/stat : 29611 (java) S 29597 29597 28266 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510186996 27969658880 31871 33554432000 4194304 4196468 140736109520400 139677570950688 139679833863893 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15867904 140736109527750 140736109528198 140736109528198 140736109531087 0 [pid=29600/tid=29612] ppid=29597 vsize=27314120 memory=280771944464784 CPUtime=0 cores=0-7 /proc/29600/task/29612/stat : 29612 (java) S 29597 29597 28266 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510186996 27969658880 31871 33554432000 4194304 4196468 140736109520400 139677436728688 139679833863893 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15867904 140736109527750 140736109528198 140736109528198 140736109531087 0 [pid=29600/tid=29613] ppid=29597 vsize=27314120 memory=280771944406064 CPUtime=0 cores=0-7 /proc/29600/task/29613/stat : 29613 (java) S 29597 29597 28266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510186999 27969658880 31871 33554432000 4194304 4196468 140736109520400 139677062224208 139679833872283 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15867904 140736109527750 140736109528198 140736109528198 140736109531087 0 [pid=29600/tid=29614] ppid=29597 vsize=27314120 memory=280771944478608 CPUtime=0.01 cores=0-7 /proc/29600/task/29614/stat : 29614 (java) S 29597 29597 28266 0 -1 1077944384 550 0 0 0 1 0 0 0 20 0 20 0 510186999 27969658880 31871 33554432000 4194304 4196468 140736109520400 139678220175728 139679833864834 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15867904 140736109527750 140736109528198 140736109528198 140736109531087 0 [pid=29600/tid=29615] ppid=29597 vsize=27314120 memory=280771944485520 CPUtime=0.01 cores=0-7 /proc/29600/task/29615/stat : 29615 (java) S 29597 29597 28266 0 -1 1077944384 55 0 0 0 1 0 0 0 20 0 20 0 510186999 27969658880 31871 33554432000 4194304 4196468 140736109520400 139678219122928 139679833864834 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15867904 140736109527750 140736109528198 140736109528198 140736109531087 0 [pid=29600/tid=29616] ppid=29597 vsize=27314120 memory=280771944483216 CPUtime=0 cores=0-7 /proc/29600/task/29616/stat : 29616 (java) S 29597 29597 28266 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 20 0 510186999 27969658880 31871 33554432000 4194304 4196468 140736109520400 139678218070128 139679833864834 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15867904 140736109527750 140736109528198 140736109528198 140736109531087 0 [pid=29600/tid=29617] ppid=29597 vsize=27314120 memory=280771944499376 CPUtime=0.07 cores=0-7 /proc/29600/task/29617/stat : 29617 (java) S 29597 29597 28266 0 -1 1077944384 526 0 0 0 7 0 0 0 20 0 20 0 510186999 27969658880 31871 33554432000 4194304 4196468 140736109520400 139678217017328 139679833864834 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15867904 140736109527750 140736109528198 140736109528198 140736109531087 0 [pid=29600/tid=29618] ppid=29597 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/29600/task/29618/stat : 29618 (java) S 29597 29597 28266 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510186999 27969658880 31871 33554432000 4194304 4196468 140736109520400 139676564319328 139679833863893 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15867904 140736109527750 140736109528198 140736109528198 140736109531087 0 [pid=29600/tid=29619] ppid=29597 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/29600/task/29619/stat : 29619 (java) S 29597 29597 28266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510186999 27969658880 31871 33554432000 4194304 4196468 140736109520400 139678215965744 139679833864834 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15867904 140736109527750 140736109528198 140736109528198 140736109531087 0 Current children cumulated CPU time: 0.43 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 128880 KiB [startup+0.701326 s] /proc/loadavg: 2.62 5.70 6.47 3/211 29619 /proc/meminfo: memFree=25138512/32770624 swapFree=66974376/67108860 [pid=29597] ppid=29594 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/29597/stat : 29597 (scop.sh) S 29594 29597 28266 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 510186991 115843072 349 33554432000 4194304 5098028 140726701285248 140726701282504 139702157681276 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 9924608 140726701294332 140726701294680 140726701294680 140726701297609 0 /proc/29597/statm: 28282 349 296 221 0 87 0 [pid=29600] ppid=29597 vsize=27320392 memory=165792 CPUtime=1.02 cores=0-7 /proc/29600/stat : 29600 (java) S 29597 29597 28266 0 -1 1077944320 20503 0 0 0 95 7 0 0 20 0 20 0 510186992 27976081408 41448 33554432000 4194304 4196468 140736109520400 140736109502944 139679833853687 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15867904 140736109527750 140736109528198 140736109528198 140736109531087 0 /proc/29600/statm: 6830098 41448 3201 1 0 6791447 0 [pid=29600/tid=29601] ppid=29597 vsize=27320392 memory=280771944857264 CPUtime=0.68 cores=0-7 /proc/29600/task/29601/stat : 29601 (java) R 29597 29597 28266 0 -1 4202560 17356 0 0 0 63 5 0 0 20 0 20 0 510186992 27976081408 41448 33554432000 4194304 4196468 140736109520400 139679805692160 139679833875613 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15867904 140736109527750 140736109528198 140736109528198 140736109531087 0 [pid=29600/tid=29602] ppid=29597 vsize=27320392 memory=140385972429680 CPUtime=0 cores=0-7 /proc/29600/task/29602/stat : 29602 (java) S 29597 29597 28266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510186994 27976081408 41448 33554432000 4194304 4196468 140736109520400 139679838096528 139679833863893 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15867904 140736109527750 140736109528198 140736109528198 140736109531087 0 [pid=29600/tid=29603] ppid=29597 vsize=27320392 memory=0 CPUtime=0 cores=0-7 /proc/29600/task/29603/stat : 29603 (java) S 29597 29597 28266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510186994 27976081408 41448 33554432000 4194304 4196468 140736109520400 139679255657488 139679833863893 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15867904 140736109527750 140736109528198 140736109528198 140736109531087 0 [pid=29600/tid=29604] ppid=29597 vsize=27320392 memory=1716 CPUtime=0 cores=0-7 /proc/29600/task/29604/stat : 29604 (java) S 29597 29597 28266 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510186994 27976081408 41448 33554432000 4194304 4196468 140736109520400 139679254604688 139679833863893 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15867904 140736109527750 140736109528198 140736109528198 140736109531087 0 ################ # More data... # ################ Current children cumulated CPU time: 3.57 s Current children cumulated vsize: 27439740 KiB Current children cumulated memory: 301132 KiB [startup+3.10972 s] /proc/loadavg: 2.62 5.70 6.47 2/204 29632 /proc/meminfo: memFree=25253612/32770624 swapFree=66974376/67108860 [pid=29597] ppid=29594 vsize=113128 memory=1476 CPUtime=8.97 cores=0-7 /proc/29597/stat : 29597 (scop.sh) S 29594 29597 28266 0 -1 4202496 582 33025 0 0 0 0 877 20 20 0 1 0 510186991 115843072 369 33554432000 4194304 5098028 140726701285248 140726701281992 139702157681276 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 9924608 140726701294332 140726701294680 140726701294680 140726701297609 0 /proc/29597/statm: 28282 369 311 221 0 87 0 [pid=29620] ppid=29597 vsize=7750184 memory=53824 CPUtime=0.18 cores=0-7 /proc/29620/stat : 29620 (java) S 29597 29597 28266 0 -1 1077944320 10038 0 0 0 14 4 0 0 20 0 20 0 510187287 7936188416 13456 33554432000 4194304 4196468 140733725855456 140733725838000 140494509797111 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35094528 140733725860831 140733725860998 140733725860998 140733725863887 0 /proc/29620/statm: 1937546 13456 2891 1 0 1899951 0 [pid=29620/tid=29621] ppid=29597 vsize=7750184 memory=523352 CPUtime=0.13 cores=0-7 /proc/29620/task/29621/stat : 29621 (java) R 29597 29597 28266 0 -1 4202560 7991 0 0 0 11 2 0 0 20 0 20 0 510187287 7936188416 13456 33554432000 4194304 4196468 140733725855456 140494481586816 140494490072782 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35094528 140733725860831 140733725860998 140733725860998 140733725863887 0 [pid=29620/tid=29622] ppid=29597 vsize=7750184 memory=0 CPUtime=0 cores=0-7 /proc/29620/task/29622/stat : 29622 (java) S 29597 29597 28266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510187288 7936188416 13456 33554432000 4194304 4196468 140733725855456 140494514039440 140494509807317 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35094528 140733725860831 140733725860998 140733725860998 140733725863887 0 [pid=29620/tid=29623] ppid=29597 vsize=7750184 memory=0 CPUtime=0 cores=0-7 /proc/29620/task/29623/stat : 29623 (java) S 29597 29597 28266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510187288 7936188416 13456 33554432000 4194304 4196468 140733725855456 140494314207760 140494509807317 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35094528 140733725860831 140733725860998 140733725860998 140733725863887 0 [pid=29620/tid=29624] ppid=29597 vsize=7750184 memory=56 CPUtime=0 cores=0-7 /proc/29620/task/29624/stat : 29624 (java) S 29597 29597 28266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510187288 7936188416 13456 33554432000 4194304 4196468 140733725855456 140494313154960 140494509807317 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35094528 140733725860831 140733725860998 140733725860998 140733725863887 0 [pid=29620/tid=29625] ppid=29597 vsize=7750184 memory=13877 CPUtime=0 cores=0-7 /proc/29620/task/29625/stat : 29625 (java) S 29597 29597 28266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510187288 7936188416 13456 33554432000 4194304 4196468 140733725855456 140494312102160 140494509807317 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35094528 140733725860831 140733725860998 140733725860998 140733725863887 0 [pid=29620/tid=29626] ppid=29597 vsize=7750184 memory=26822 CPUtime=0 cores=0-7 /proc/29620/task/29626/stat : 29626 (java) S 29597 29597 28266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510187288 7936188416 13456 33554432000 4194304 4196468 140733725855456 140494311050384 140494509807317 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35094528 140733725860831 140733725860998 140733725860998 140733725863887 0 [pid=29620/tid=29627] ppid=29597 vsize=7750184 memory=0 CPUtime=0 cores=0-7 /proc/29620/task/29627/stat : 29627 (java) S 29597 29597 28266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510187288 7936188416 13456 33554432000 4194304 4196468 140733725855456 140494309997584 140494509807317 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35094528 140733725860831 140733725860998 140733725860998 140733725863887 0 [pid=29620/tid=29628] ppid=29597 vsize=7750184 memory=0 CPUtime=0 cores=0-7 /proc/29620/task/29628/stat : 29628 (java) S 29597 29597 28266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510187288 7936188416 13456 33554432000 4194304 4196468 140733725855456 140494308944784 140494509807317 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35094528 140733725860831 140733725860998 140733725860998 140733725863887 0 [pid=29620/tid=29629] ppid=29597 vsize=7750184 memory=0 CPUtime=0 cores=0-7 /proc/29620/task/29629/stat : 29629 (java) S 29597 29597 28266 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510187288 7936188416 13456 33554432000 4194304 4196468 140733725855456 140494307891984 140494509807317 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35094528 140733725860831 140733725860998 140733725860998 140733725863887 0 [pid=29620/tid=29630] ppid=29597 vsize=7750184 memory=280771945131024 CPUtime=0 cores=0-7 /proc/29620/task/29630/stat : 29630 (java) S 29597 29597 28266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510187290 7936188416 13456 33554432000 4194304 4196468 140733725855456 140493871593840 140494509808258 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35094528 140733725860831 140733725860998 140733725860998 140733725863887 0 [pid=29620/tid=29631] ppid=29597 vsize=7750184 memory=140385972566560 CPUtime=0 cores=0-7 /proc/29620/task/29631/stat : 29631 (java) S 29597 29597 28266 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510187290 7936188416 13456 33554432000 4194304 4196468 140733725855456 140492943647776 140494509807317 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35094528 140733725860831 140733725860998 140733725860998 140733725863887 0 [pid=29620/tid=29632] ppid=29597 vsize=7750184 memory=0 CPUtime=0 cores=0-7 /proc/29620/task/29632/stat : 29632 (java) S 29597 29597 28266 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510187290 7936188416 13456 33554432000 4194304 4196468 140733725855456 140492809425776 140494509807317 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35094528 140733725860831 140733725860998 140733725860998 140733725863887 0 Current children cumulated CPU time: 9.15 s Current children cumulated vsize: 7863312 KiB Current children cumulated memory: 55300 KiB [startup+3.83065 s] # the end of solver process 29597 was just reported to runsolver # cumulated CPU time of all completed processes: user=10.5305 s, system=0.305862 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+3.20094 s] /proc/loadavg: 2.62 5.70 6.47 2/204 29632 /proc/meminfo: memFree=25253612/32770624 swapFree=66974376/67108860 [pid=29597] ppid=29594 vsize=113128 memory=1476 CPUtime=8.97 cores=0-7 /proc/29597/stat : 29597 (scop.sh) S 29594 29597 28266 0 -1 4202496 582 33025 0 0 0 0 877 20 20 0 1 0 510186991 115843072 369 33554432000 4194304 5098028 140726701285248 140726701281992 139702157681276 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 9924608 140726701294332 140726701294680 140726701294680 140726701297609 0 /proc/29597/statm: 28282 369 311 221 0 87 0 [pid=29620] ppid=29597 vsize=7750184 memory=61376 CPUtime=0.34 cores=0-7 /proc/29620/stat : 29620 (java) S 29597 29597 28266 0 -1 1077944320 11074 0 0 0 30 4 0 0 20 0 20 0 510187287 7936188416 15344 33554432000 4194304 4196468 140733725855456 140733725838000 140494509797111 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35094528 140733725860831 140733725860998 140733725860998 140733725863887 0 /proc/29620/statm: 1937546 15344 2978 1 0 1899951 0 [pid=29620/tid=29621] ppid=29597 vsize=7750184 memory=1716 CPUtime=0.23 cores=0-7 /proc/29620/task/29621/stat : 29621 (java) R 29597 29597 28266 0 -1 4202560 8847 0 0 0 20 3 0 0 20 0 20 0 510187287 7936188416 15344 33554432000 4194304 4196468 140733725855456 140494481622880 140494491360598 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35094528 140733725860831 140733725860998 140733725860998 140733725863887 0 [pid=29620/tid=29622] ppid=29597 vsize=7750184 memory=1200 CPUtime=0 cores=0-7 /proc/29620/task/29622/stat : 29622 (java) S 29597 29597 28266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510187288 7936188416 15344 33554432000 4194304 4196468 140733725855456 140494514039440 140494509807317 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35094528 140733725860831 140733725860998 140733725860998 140733725863887 0 [pid=29620/tid=29623] ppid=29597 vsize=7750184 memory=6140 CPUtime=0 cores=0-7 /proc/29620/task/29623/stat : 29623 (java) S 29597 29597 28266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510187288 7936188416 15344 33554432000 4194304 4196468 140733725855456 140494314207760 140494509807317 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35094528 140733725860831 140733725860998 140733725860998 140733725863887 0 [pid=29620/tid=29624] ppid=29597 vsize=7750184 memory=14012 CPUtime=0 cores=0-7 /proc/29620/task/29624/stat : 29624 (java) S 29597 29597 28266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510187288 7936188416 15344 33554432000 4194304 4196468 140733725855456 140494313154960 140494509807317 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35094528 140733725860831 140733725860998 140733725860998 140733725863887 0 [pid=29620/tid=29625] ppid=29597 vsize=7750184 memory=24972 CPUtime=0 cores=0-7 /proc/29620/task/29625/stat : 29625 (java) S 29597 29597 28266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510187288 7936188416 15344 33554432000 4194304 4196468 140733725855456 140494312102160 140494509807317 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35094528 140733725860831 140733725860998 140733725860998 140733725863887 0 [pid=29620/tid=29626] ppid=29597 vsize=7750184 memory=12024 CPUtime=0 cores=0-7 /proc/29620/task/29626/stat : 29626 (java) S 29597 29597 28266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510187288 7936188416 15344 33554432000 4194304 4196468 140733725855456 140494311050384 140494509807317 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35094528 140733725860831 140733725860998 140733725860998 140733725863887 0 [pid=29620/tid=29627] ppid=29597 vsize=7750184 memory=2120 CPUtime=0 cores=0-7 /proc/29620/task/29627/stat : 29627 (java) S 29597 29597 28266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510187288 7936188416 15344 33554432000 4194304 4196468 140733725855456 140494309997584 140494509807317 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35094528 140733725860831 140733725860998 140733725860998 140733725863887 0 [pid=29620/tid=29628] ppid=29597 vsize=7750184 memory=280771944472464 CPUtime=0 cores=0-7 /proc/29620/task/29628/stat : 29628 (java) S 29597 29597 28266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510187288 7936188416 15344 33554432000 4194304 4196468 140733725855456 140494308944784 140494509807317 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35094528 140733725860831 140733725860998 140733725860998 140733725863887 0 [pid=29620/tid=29629] ppid=29597 vsize=7750184 memory=280771944251632 CPUtime=0 cores=0-7 /proc/29620/task/29629/stat : 29629 (java) S 29597 29597 28266 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510187288 7936188416 15344 33554432000 4194304 4196468 140733725855456 140494307891984 140494509807317 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35094528 140733725860831 140733725860998 140733725860998 140733725863887 0 [pid=29620/tid=29630] ppid=29597 vsize=7750184 memory=280771944254864 CPUtime=0 cores=0-7 /proc/29620/task/29630/stat : 29630 (java) S 29597 29597 28266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510187290 7936188416 15344 33554432000 4194304 4196468 140733725855456 140493871593840 140494509808258 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35094528 140733725860831 140733725860998 140733725860998 140733725863887 0 [pid=29620/tid=29631] ppid=29597 vsize=7750184 memory=280771944504512 CPUtime=0 cores=0-7 /proc/29620/task/29631/stat : 29631 (java) S 29597 29597 28266 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510187290 7936188416 15344 33554432000 4194304 4196468 140733725855456 140492943647776 140494509807317 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35094528 140733725860831 140733725860998 140733725860998 140733725863887 0 [pid=29620/tid=29632] ppid=29597 vsize=7750184 memory=6656426216303648864 CPUtime=0 cores=0-7 /proc/29620/task/29632/stat : 29632 (java) S 29597 29597 28266 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510187290 7936188416 15344 33554432000 4194304 4196468 140733725855456 140492809425776 140494509807317 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35094528 140733725860831 140733725860998 140733725860998 140733725863887 0 Current children cumulated CPU time: 9.31 s Current children cumulated vsize: 7863312 KiB Current children cumulated memory: 62852 KiB [startup+3.60076 s] /proc/loadavg: 2.62 5.70 6.47 2/204 29632 /proc/meminfo: memFree=25253612/32770624 swapFree=66974376/67108860 [pid=29597] ppid=29594 vsize=113128 memory=1476 CPUtime=8.97 cores=0-7 /proc/29597/stat : 29597 (scop.sh) S 29594 29597 28266 0 -1 4202496 582 33025 0 0 0 0 877 20 20 0 1 0 510186991 115843072 369 33554432000 4194304 5098028 140726701285248 140726701281992 139702157681276 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 9924608 140726701294332 140726701294680 140726701294680 140726701297609 0 /proc/29597/statm: 28282 369 311 221 0 87 0 [pid=29620] ppid=29597 vsize=7754336 memory=97988 CPUtime=0.89 cores=0-7 /proc/29620/stat : 29620 (java) S 29597 29597 28266 0 -1 1077944320 18793 0 0 0 82 7 0 0 20 0 20 0 510187287 7940440064 24497 33554432000 4194304 4196468 140733725855456 140733725838000 140494509797111 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35094528 140733725860831 140733725860998 140733725860998 140733725863887 0 /proc/29620/statm: 1938584 24497 3092 1 0 1900463 0 [pid=29620/tid=29621] ppid=29597 vsize=7754336 memory=1424 CPUtime=0.62 cores=0-7 /proc/29620/task/29621/stat : 29621 (java) R 29597 29597 28266 0 -1 4202560 16352 0 0 0 57 5 0 0 20 0 20 0 510187287 7940440064 24497 33554432000 4194304 4196468 140733725855456 140494481630016 140494509819037 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35094528 140733725860831 140733725860998 140733725860998 140733725863887 0 [pid=29620/tid=29622] ppid=29597 vsize=7754336 memory=6791534058613427641 CPUtime=0 cores=0-7 /proc/29620/task/29622/stat : 29622 (java) S 29597 29597 28266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510187288 7940440064 24497 33554432000 4194304 4196468 140733725855456 140494514039440 140494509807317 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35094528 140733725860831 140733725860998 140733725860998 140733725863887 0 [pid=29620/tid=29623] ppid=29597 vsize=7754336 memory=1672 CPUtime=0 cores=0-7 /proc/29620/task/29623/stat : 29623 (java) S 29597 29597 28266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510187288 7940440064 24497 33554432000 4194304 4196468 140733725855456 140494314207760 140494509807317 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35094528 140733725860831 140733725860998 140733725860998 140733725863887 0 [pid=29620/tid=29624] ppid=29597 vsize=7754336 memory=780 CPUtime=0 cores=0-7 /proc/29620/task/29624/stat : 29624 (java) S 29597 29597 28266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510187288 7940440064 24497 33554432000 4194304 4196468 140733725855456 140494313154960 140494509807317 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35094528 140733725860831 140733725860998 140733725860998 140733725863887 0 [pid=29620/tid=29625] ppid=29597 vsize=7754336 memory=1436 CPUtime=0 cores=0-7 /proc/29620/task/29625/stat : 29625 (java) S 29597 29597 28266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510187288 7940440064 24497 33554432000 4194304 4196468 140733725855456 140494312102160 140494509807317 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35094528 140733725860831 140733725860998 140733725860998 140733725863887 0 [pid=29620/tid=29626] ppid=29597 vsize=7754336 memory=1984 CPUtime=0 cores=0-7 /proc/29620/task/29626/stat : 29626 (java) S 29597 29597 28266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510187288 7940440064 24497 33554432000 4194304 4196468 140733725855456 140494311050384 140494509807317 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35094528 140733725860831 140733725860998 140733725860998 140733725863887 0 [pid=29620/tid=29627] ppid=29597 vsize=7754336 memory=2424 CPUtime=0 cores=0-7 /proc/29620/task/29627/stat : 29627 (java) S 29597 29597 28266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510187288 7940440064 24497 33554432000 4194304 4196468 140733725855456 140494309997584 140494509807317 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35094528 140733725860831 140733725860998 140733725860998 140733725863887 0 [pid=29620/tid=29628] ppid=29597 vsize=7754336 memory=1764 CPUtime=0 cores=0-7 /proc/29620/task/29628/stat : 29628 (java) S 29597 29597 28266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510187288 7940440064 24497 33554432000 4194304 4196468 140733725855456 140494308944784 140494509807317 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35094528 140733725860831 140733725860998 140733725860998 140733725863887 0 [pid=29620/tid=29629] ppid=29597 vsize=7754336 memory=111636 CPUtime=0 cores=0-7 /proc/29620/task/29629/stat : 29629 (java) S 29597 29597 28266 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510187288 7940440064 24497 33554432000 4194304 4196468 140733725855456 140494307891984 140494509807317 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35094528 140733725860831 140733725860998 140733725860998 140733725863887 0 [pid=29620/tid=29630] ppid=29597 vsize=7754336 memory=804 CPUtime=0 cores=0-7 /proc/29620/task/29630/stat : 29630 (java) S 29597 29597 28266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510187290 7940440064 24497 33554432000 4194304 4196468 140733725855456 140493871593840 140494509808258 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35094528 140733725860831 140733725860998 140733725860998 140733725863887 0 [pid=29620/tid=29631] ppid=29597 vsize=7754336 memory=1804 CPUtime=0 cores=0-7 /proc/29620/task/29631/stat : 29631 (java) S 29597 29597 28266 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510187290 7940440064 24497 33554432000 4194304 4196468 140733725855456 140492943647776 140494509807317 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35094528 140733725860831 140733725860998 140733725860998 140733725863887 0 [pid=29620/tid=29632] ppid=29597 vsize=7754336 memory=920 CPUtime=0 cores=0-7 /proc/29620/task/29632/stat : 29632 (java) S 29597 29597 28266 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510187290 7940440064 24497 33554432000 4194304 4196468 140733725855456 140492809425776 140494509807317 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35094528 140733725860831 140733725860998 140733725860998 140733725863887 0 Current children cumulated CPU time: 9.86 s Current children cumulated vsize: 7867464 KiB Current children cumulated memory: 99464 KiB [startup+3.80068 s] /proc/loadavg: 2.62 5.70 6.47 2/204 29632 /proc/meminfo: memFree=25253612/32770624 swapFree=66974376/67108860 [pid=29597] ppid=29594 vsize=113128 memory=1476 CPUtime=8.97 cores=0-7 /proc/29597/stat : 29597 (scop.sh) S 29594 29597 28266 0 -1 4202496 582 33025 0 0 0 0 877 20 20 0 1 0 510186991 115843072 369 33554432000 4194304 5098028 140726701285248 140726701281992 139702157681276 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 9924608 140726701294332 140726701294680 140726701294680 140726701297609 0 /proc/29597/statm: 28282 369 311 221 0 87 0 [pid=29620] ppid=29597 vsize=8414124 memory=119996 CPUtime=1.18 cores=0-7 /proc/29620/stat : 29620 (java) S 29597 29597 28266 0 -1 1077944320 20548 0 0 0 110 8 0 0 20 0 24 0 510187287 8616062976 29999 33554432000 4194304 4196468 140733725855456 140733725838000 140494509797111 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35094528 140733725860831 140733725860998 140733725860998 140733725863887 0 /proc/29620/statm: 2103531 29999 3205 1 0 2064875 0 [pid=29620/tid=29621] ppid=29597 vsize=8414124 memory=0 CPUtime=0.76 cores=0-7 /proc/29620/task/29621/stat : 29621 (java) S 29597 29597 28266 0 -1 1077944384 17448 0 0 0 71 5 0 0 20 0 24 0 510187287 8616062976 29999 33554432000 4194304 4196468 140733725855456 140494481637280 140494509807317 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35094528 140733725860831 140733725860998 140733725860998 140733725863887 0 [pid=29620/tid=29622] ppid=29597 vsize=8414124 memory=6791534058613427641 CPUtime=0 cores=0-7 /proc/29620/task/29622/stat : 29622 (java) S 29597 29597 28266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510187288 8616062976 29999 33554432000 4194304 4196468 140733725855456 140494514039440 140494509807317 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35094528 140733725860831 140733725860998 140733725860998 140733725863887 0 [pid=29620/tid=29623] ppid=29597 vsize=8414124 memory=6645459911560372124 CPUtime=0 cores=0-7 /proc/29620/task/29623/stat : 29623 (java) S 29597 29597 28266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510187288 8616062976 29999 33554432000 4194304 4196468 140733725855456 140494314207760 140494509807317 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35094528 140733725860831 140733725860998 140733725860998 140733725863887 0 [pid=29620/tid=29624] ppid=29597 vsize=8414124 memory=6944656592385698452 CPUtime=0 cores=0-7 /proc/29620/task/29624/stat : 29624 (java) S 29597 29597 28266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510187288 8616062976 29999 33554432000 4194304 4196468 140733725855456 140494313154960 140494509807317 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35094528 140733725860831 140733725860998 140733725860998 140733725863887 0 [pid=29620/tid=29625] ppid=29597 vsize=8414124 memory=-7161131788332309537 CPUtime=0 cores=0-7 /proc/29620/task/29625/stat : 29625 (java) S 29597 29597 28266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510187288 8616062976 29999 33554432000 4194304 4196468 140733725855456 140494312102160 140494509807317 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35094528 140733725860831 140733725860998 140733725860998 140733725863887 0 [pid=29620/tid=29626] ppid=29597 vsize=8414124 memory=-8316900901535099443 CPUtime=0 cores=0-7 /proc/29620/task/29626/stat : 29626 (java) S 29597 29597 28266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510187288 8616062976 29999 33554432000 4194304 4196468 140733725855456 140494311050384 140494509807317 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35094528 140733725860831 140733725860998 140733725860998 140733725863887 0 [pid=29620/tid=29627] ppid=29597 vsize=8414124 memory=7976406965554101975 CPUtime=0 cores=0-7 /proc/29620/task/29627/stat : 29627 (java) S 29597 29597 28266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510187288 8616062976 29999 33554432000 4194304 4196468 140733725855456 140494309997584 140494509807317 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35094528 140733725860831 140733725860998 140733725860998 140733725863887 0 [pid=29620/tid=29628] ppid=29597 vsize=8414124 memory=-6948055166404804227 CPUtime=0 cores=0-7 /proc/29620/task/29628/stat : 29628 (java) S 29597 29597 28266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510187288 8616062976 29999 33554432000 4194304 4196468 140733725855456 140494308944784 140494509807317 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35094528 140733725860831 140733725860998 140733725860998 140733725863887 0 [pid=29620/tid=29629] ppid=29597 vsize=8414124 memory=-7390251449858225344 CPUtime=0 cores=0-7 /proc/29620/task/29629/stat : 29629 (java) S 29597 29597 28266 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510187288 8616062976 29999 33554432000 4194304 4196468 140733725855456 140494307891984 140494509807317 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35094528 140733725860831 140733725860998 140733725860998 140733725863887 0 [pid=29620/tid=29630] ppid=29597 vsize=8414124 memory=-8976644418600983157 CPUtime=0 cores=0-7 /proc/29620/task/29630/stat : 29630 (java) S 29597 29597 28266 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 510187290 8616062976 29999 33554432000 4194304 4196468 140733725855456 140493871593840 140494509808258 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35094528 140733725860831 140733725860998 140733725860998 140733725863887 0 [pid=29620/tid=29631] ppid=29597 vsize=8414124 memory=-8386972834861517941 CPUtime=0 cores=0-7 /proc/29620/task/29631/stat : 29631 (java) S 29597 29597 28266 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 510187290 8616062976 29999 33554432000 4194304 4196468 140733725855456 140492943647776 140494509807317 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35094528 140733725860831 140733725860998 140733725860998 140733725863887 0 [pid=29620/tid=29632] ppid=29597 vsize=8414124 memory=-6517945067560682637 CPUtime=0 cores=0-7 /proc/29620/task/29632/stat : 29632 (java) S 29597 29597 28266 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 510187290 8616062976 29999 33554432000 4194304 4196468 140733725855456 140492809425776 140494509807317 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35094528 140733725860831 140733725860998 140733725860998 140733725863887 0 Current children cumulated CPU time: 10.15 s Current children cumulated vsize: 8527252 KiB Current children cumulated memory: 121472 KiB Child status: 0 Real time (s): 3.8307 CPU time (s): 10.8364 CPU user time (s): 10.5305 CPU system time (s): 0.305862 CPU usage (%): 282.882 Max. virtual memory (cumulated for all children) (KiB): 27443924 Max. memory (cumulated for all children) (KiB): 524748 getrusage(RUSAGE_CHILDREN,...) data: user time used= 10.5305 system time used= 0.305862 maximum resident set size= 523748 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 56853 page faults= 0 swaps= 0 block input operations= 0 block output operations= 264 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 7214 involuntary context switches= 37 # summary of solver processes directly reported to runsolver: # pid: 29597 # total CPU time (s): 10.8364 # total CPU user time (s): 10.5305 # total CPU system time (s): 0.305862 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.051474 second user time and 0.085655 second system time The end
Begin job on node117 at 2019-09-24 18:26:48 IDJOB=4405489 IDBENCH=134301 IDSOLVER=2868 FILE ID=node117/4405489-1569342452 RUNJOBID= node117-1569335935-28293 PBS_JOBID= 21705066 Free space on /var/tmp= 13512 MiB SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-09-22) BENCH NAME= XCSP17/PigeonsPlus/PigeonsPlus-m1-s1/pigeonsPlus-10-05.xml COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -hybrid DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405489-1569342452/watcher-4405489-1569342452 -o /var/tmp/evaluation-result-4405489-1569342452/solver-4405489-1569342452 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node117-1569335935-28293 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405489-1569342452.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 11198b79b59252262e805adcf565fb89 RANDOM SEED=1091812113 node117.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.75 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.75 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.75 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.75 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: 25278984 kB MemAvailable: 31821960 kB Buffers: 116228 kB Cached: 6477724 kB SwapCached: 27884 kB Active: 3250772 kB Inactive: 3375192 kB Active(anon): 3848 kB Inactive(anon): 80016 kB Active(file): 3246924 kB Inactive(file): 3295176 kB Unevictable: 107640 kB Mlocked: 107640 kB SwapTotal: 67108860 kB SwapFree: 66974376 kB Dirty: 20992 kB Writeback: 8 kB AnonPages: 113460 kB Mapped: 54376 kB Shmem: 42712 kB Slab: 458156 kB SReclaimable: 429336 kB SUnreclaim: 28820 kB KernelStack: 3440 kB PageTables: 5716 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 514564 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: 118144 kB DirectMap2M: 33427456 kB Free space on /var/tmp at the end= 13492 MiB End job on node117 at 2019-09-24 18:26:52