Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
Fun-sCOP order+ManyGlucose (2019-06-15) | SAT | 411.775 | 84.3448 |
Name | SuperSolutions/SuperSolutions-Taillard-js15/ SuperTaillard-js-15-18.xml |
MD5SUM | 3f0141c7bb33af25d9039070b39091b8 |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 52.3708 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 450 |
Number of constraints | 5580 |
Number of domains | 84 |
Minimum domain size | 1184 |
Maximum domain size | 1282 |
Distribution of domain sizes | [{"size":1184,"count":10},{"size":1185,"count":4},{"size":1186,"count":4},{"size":1187,"count":10},{"size":1188,"count":8},{"size":1191,"count":6},{"size":1192,"count":4},{"size":1193,"count":6},{"size":1194,"count":8},{"size":1195,"count":6},{"size":1196,"count":2},{"size":1197,"count":2},{"size":1198,"count":6},{"size":1199,"count":6},{"size":1200,"count":10},{"size":1201,"count":6},{"size":1202,"count":10},{"size":1203,"count":10},{"size":1204,"count":6},{"size":1206,"count":4},{"size":1207,"count":10},{"size":1208,"count":6},{"size":1209,"count":2},{"size":1210,"count":2},{"size":1211,"count":2},"...",{"size":1253,"count":4}, {"size":1255,"count":6}, {"size":1256,"count":6}, {"size":1257,"count":2}, {"size":1259,"count":8}, {"size":1260,"count":6}, {"size":1261,"count":4}, {"size":1262,"count":6}, {"size":1263,"count":4}, {"size":1264,"count":2}, {"size":1265,"count":2}, {"size":1267,"count":8}, {"size":1268,"count":6}, {"size":1269,"count":10}, {"size":1272,"count":6}, {"size":1273,"count":2}, {"size":1274,"count":6}, {"size":1275,"count":4}, {"size":1276,"count":2}, {"size":1277,"count":10}, {"size":1278,"count":10}, {"size":1279,"count":12}, {"size":1280,"count":6}, {"size":1281,"count":4}, {"size":1282,"count":8}] |
Minimum variable degree | 16 |
Maximum variable degree | 33 |
Distribution of variable degrees | [{"degree":16,"count":30},{"degree":17,"count":195},{"degree":31,"count":30},{"degree":33,"count":195}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 2 |
Distribution of constraint arities | [{"arity":2,"count":5580}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 5580 |
Distribution of constraint types | [{"type":"intension","count":5580}] |
Optimization problem | NO |
Type of objective |
0.00/0.00 c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -order -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-11857-serial-file.bin HOME/instance-4392318-1568442121.xml 0.66/0.54 0.66/0.54 Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15) 0.66/0.54 0.66/0.57 c BEGIN-Prog: Sat Sep 14 08:21:20 CEST 2019 0.66/0.57 c PID: 11860 0.66/0.57 c IP: 172.20.3.143 0.66/0.57 c HOST: node143.alineos.net 0.66/0.57 c (0,0) Parsing Begin 5.30/1.86 c (1,1) Parsing End 5.30/1.87 c (1,1) CSP: 450 int (0 aux), 0 bool (0 aux), 5580 ctr, max domain size 1282 5.30/1.88 c (1,1) Heap : 563 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB) 5.30/1.88 c (1,1) Constraint Name Generate Begin 5.67/1.92 c (1,1) Ctr:HOME/instance-4392318-1568442121.xml,Add:Le:Ne:Num:Or:Var 5.67/1.92 c (1,1) Constraint Name Generate End 5.67/1.92 c (1,1) Heap : 563 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB) 5.67/1.92 c (1,1) CSP to CSPinCNF Begin 6.41/2.18 c (1,1) translated 558 (10%) constraints 6.75/2.24 c (1,1) translated 1116 (20%) constraints 6.75/2.29 c (1,1) translated 1674 (30%) constraints 7.16/2.34 c (1,1) translated 2232 (40%) constraints 7.16/2.38 c (1,1) translated 2790 (50%) constraints 7.55/2.42 c (1,1) translated 3348 (60%) constraints 7.55/2.46 c (1,1) translated 3906 (70%) constraints 7.55/2.49 c (1,1) translated 4464 (80%) constraints 7.95/2.53 c (1,1) translated 5022 (90%) constraints 7.95/2.54 c (2,1) translated 5580 (100%) constraints 7.95/2.54 c (2,1) =========================================== 7.95/2.55 c (2,1) Order 7.95/2.55 c (2,1) =========================================== 7.95/2.58 c (2,2) translated 558 (10%) constraints 7.95/2.59 c (2,2) translated 1116 (20%) constraints 8.33/2.61 c (2,2) translated 1674 (30%) constraints 8.33/2.63 c (2,2) translated 2232 (40%) constraints 8.33/2.64 c (2,2) translated 2790 (50%) constraints 8.33/2.66 c (2,2) translated 3348 (60%) constraints 8.33/2.67 c (2,2) translated 3906 (70%) constraints 8.33/2.68 c (2,2) translated 4464 (80%) constraints 8.33/2.70 c (2,2) translated 5022 (90%) constraints 8.53/2.71 c (2,2) translated 5580 (100%) constraints 8.53/2.71 c (2,2) CSP to CSPinCNF End 8.53/2.72 c (2,2) CSP: 450 int (0 aux), 0 bool (0 aux), 5580 ctr, max domain size 1199 8.53/2.72 c (2,2) Heap : 675 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB) 8.53/2.72 c (2,2) CSPinCNF Propagation Begin 8.95/2.80 c (2,2) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed 8.95/2.80 c (2,2) CSPinCNF Propagation End 8.95/2.80 c (2,2) CSP: 450 int (0 aux), 0 bool (0 aux), 5580 ctr, max domain size 1199 8.95/2.80 c (2,2) Heap : 675 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB) 8.95/2.80 c (2,2) Simplify CSPinCNF Begin 9.63/3.08 c (2,2) Simplify CSPinCNF End 9.63/3.08 c (2,2) CSP: 450 int (0 aux), 9900 bool (9900 aux), 15480 ctr, max domain size 1199 9.63/3.08 c (2,2) Heap : 675 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB) 9.63/3.08 c (2,2) Calculate Precise Domain Begin 9.63/3.08 c (2,2) 0 values are removed by re-calculation 9.63/3.08 c (2,2) Calculate Precise Domain End 9.63/3.08 c (2,2) CSP: 450 int (0 aux), 9900 bool (9900 aux), 15480 ctr, max domain size 1199 9.63/3.08 c (2,2) Heap : 675 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB) 9.63/3.08 c (2,2) CSPinCNF to SatSolver Begin 15.22/6.41 c (5,5) 1548 (10 %) CSP clauses are encoded (0 SAT variables, 940202 SAT clauses) 18.29/9.38 c (8,8) 3096 (20 %) CSP clauses are encoded (0 SAT variables, 1601442 SAT clauses) 20.80/11.70 c (11,11) 4644 (30 %) CSP clauses are encoded (0 SAT variables, 2210997 SAT clauses) 23.25/14.22 c (13,13) 6192 (40 %) CSP clauses are encoded (0 SAT variables, 2837790 SAT clauses) 26.03/16.72 c (16,15) 7740 (50 %) CSP clauses are encoded (0 SAT variables, 3490456 SAT clauses) 28.52/19.19 c (18,18) 9288 (60 %) CSP clauses are encoded (0 SAT variables, 4136938 SAT clauses) 30.97/21.42 c (20,20) 10836 (70 %) CSP clauses are encoded (0 SAT variables, 4724782 SAT clauses) 33.20/23.97 c (23,22) 12384 (80 %) CSP clauses are encoded (0 SAT variables, 5320262 SAT clauses) 36.01/26.77 c (26,25) 13932 (90 %) CSP clauses are encoded (0 SAT variables, 6054478 SAT clauses) 38.87/29.47 c (28,28) 15480 (100 %) CSP clauses are encoded (0 SAT variables, 7001863 SAT clauses) 38.87/29.47 c (28,28) CSPinCNF to SatSolver End 38.87/29.47 c (28,28) Heap : 1721 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB) 38.87/29.47 c (28,28) 366146 bool, 7002496 clause 38.87/29.47 c (28,28) Export Begin 38.98/29.58 c (29,28) Export to HOME/scop-11857-serial-file.bin 38.98/29.58 c (29,28) Export End 38.98/29.58 c (29,28) Export File Size: 0.07 MB 38.98/29.58 c (29,28) 1,1,2,2,2,2,28,STOP-AFTER(DIMACS) 38.98/29.58 c END-Prog: Sat Sep 14 08:21:49 CEST 2019 0.00/29.62 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-11857-serial-file.bin 39.69/30.09 c (0,0) Read Serial File Begin 39.69/30.09 c (0,0) HOME/scop-11857-serial-file.bin 40.14/30.33 c (0,0) Read Serial File End 40.14/30.34 40.14/30.34 Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15) 40.14/30.34 (Solving Process) 40.14/30.34 40.14/30.36 c BEGIN-Prog: Sat Sep 14 08:21:50 CEST 2019 40.14/30.36 c PID: 11880 40.14/30.36 c IP: 172.20.3.143 40.14/30.36 c HOST: node143.alineos.net 40.14/30.37 c (0,0) SatSolver.solve Begin 40.14/30.37 c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392318-1568442121.xml-scop-11860.cnf 40.14/30.39 c (0,0) c 40.14/30.39 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) 40.14/30.39 c (0,0) c 40.14/30.39 c (0,0) c WARNING: for repeatability, setting FPU to use double precision 40.14/30.39 c (0,0) c 8 solvers engines and 1 companion as a blackboard created. 40.14/30.39 c (0,0) c ========================================[ Problem Statistics ]=========================================== 40.14/30.39 c (0,0) c | | 43.19/33.12 c (3,0) c | Number of variables: 366146 | 43.19/33.12 c (3,0) c | Number of clauses: 6880550 | 43.19/33.12 c (3,0) c | Parse time: 2.48 s | 43.19/33.12 c (3,0) c | | 43.58/33.57 c (3,0) c | Too many clauses... No preprocessing | 43.58/33.57 c (3,0) c | Simplification time: 0.41 s | 43.58/33.57 c (3,0) c | | 43.58/33.57 c (3,0) c | Generating clones | 45.39/35.34 c (5,0) c | all clones generated. Memory = 3660.43Mb. | 45.39/35.34 c (5,0) c ========================================================================================================| 45.39/35.34 c (5,0) c 45.39/35.34 c (5,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 45.39/35.34 c (5,0) c 45.39/35.34 c (5,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 45.39/35.34 c (5,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 45.39/35.34 c (5,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 45.39/35.34 c (5,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 45.39/35.34 c (5,0) c | adaptStrategeis | True | False | True | False | True | False | True | False | 45.39/35.34 c (5,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 45.39/35.34 c (5,0) c | Initial random_seed | 91648253 | 91648254 | 91648255 | 91648256 | 91648257 | 91648258 | 91648259 | 91648260 | 45.39/35.34 c (5,0) c | chanseokStrategy | False | False | False | False | False | False | False | False | 45.39/35.34 c (5,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 45.39/35.34 c (5,0) c | glureduce | True | True | True | True | True | True | True | True | 45.39/35.34 c (5,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 45.39/35.34 c (5,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 45.39/35.34 c (5,0) c | luby_restart | False | False | False | False | False | False | False | False | 45.39/35.34 c (5,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 45.39/35.34 c (5,0) c | var_decay | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 45.39/35.34 c (5,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 45.39/35.34 c (5,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 45.39/35.34 c (5,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 45.39/35.34 c (5,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 278.98/64.90 c (34,0) c 278.98/64.90 c (34,0) c |------------------------------------------------------------------------------------------------------------------------| 278.98/64.90 c (34,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 278.98/64.90 c (34,0) c |------------------------------------------------------------------------------------------------------------------------| 278.98/64.90 c (34,0) c | 0 | 9 | 8394 | 3348 | 73626 | 2343 | 206 | 1444 | 49 | 179 | 20 | 33.974 | 278.98/64.90 c (34,0) c | 1 | 16 | 6563 | 2998 | 77214 | 1997 | 196 | 1230 | 50 | 168 | 20 | 33.928 | 278.98/64.90 c (34,0) c | 2 | 3 | 9019 | 3820 | 81785 | 2813 | 256 | 1440 | 49 | 187 | 20 | 33.982 | 278.98/64.90 c (34,0) c | 3 | 11 | 7329 | 3286 | 75346 | 2285 | 209 | 1500 | 49 | 188 | 20 | 33.974 | 278.98/64.90 c (34,0) c | 4 | 12 | 8732 | 3414 | 77180 | 2407 | 258 | 1101 | 47 | 184 | 20 | 33.933 | 278.98/64.90 c (34,0) c | 5 | 20 | 7987 | 3409 | 81596 | 2407 | 231 | 1396 | 37 | 186 | 20 | 33.974 | 278.98/64.90 c (34,0) c | 6 | 11 | 6307 | 2978 | 73727 | 1973 | 208 | 1428 | 48 | 177 | 20 | 33.982 | 278.98/64.90 c (34,0) c | 7 | 18 | 9555 | 3042 | 71726 | 2027 | 277 | 1244 | 50 | 169 | 20 | 33.954 | 278.98/64.90 c (34,0) c 278.98/64.90 c (34,0) c synthesis 26295 conflicts 364834948 propagations 113 conflicts/sec 1566770 propagations/sec 278.98/64.90 c (34,0) c real: 34.514 s, cpu: 232.858 s, memory: 3722.14 Mb 410.52/83.87 c (53,0) c 410.52/83.87 c (53,0) c real time : 53.48 s 410.52/83.87 c (53,0) c cpu time : 363.395 s 410.52/83.87 c (53,0) c 410.52/83.87 c (53,0) c 410.52/83.87 c (53,0) c 410.52/83.87 c (53,0) c |---------------------------------------- FINAL STATS --------------------------------------------------| 410.52/83.87 c (53,0) c 410.52/83.87 c (53,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 410.52/83.87 c (53,0) c | Threads | Total | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 410.52/83.87 c (53,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 410.52/83.87 c (53,0) c | Conflicts | 43514 | 5553 | 5397 | 5843 | 5223 | 5398 | 5477 | 5329 | 5294 | 410.52/83.87 c (53,0) c | Decisions | 110197 | 18784 | 14334 | 12488 | 12926 | 12609 | 11992 | 12790 | 14274 | 410.52/83.87 c (53,0) c | Propagations | 607801168 | 77901231 | 75661596 | 75093885 | 73967398 | 76376139 | 76254726 | 74707785 | 77838408 | 410.52/83.87 c (53,0) c | ReduceDBs | 8 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 410.52/83.87 c (53,0) c | SimpDBs | 43 | 6 | 6 | 4 | 6 | 5 | 5 | 5 | 6 | 410.52/83.87 c (53,0) c | Restarts | 154 | 17 | 24 | 5 | 21 | 20 | 22 | 20 | 25 | 410.52/83.87 c (53,0) c | ForcedImports | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 410.52/83.87 c (53,0) c | PropBinClauses| 2042228868 | 254998402 | 252278997 | 255542114 | 246425922 | 259141756 | 260391662 | 252061397 | 261388618 | 410.52/83.87 c (53,0) c | PropPreBlocker| 9688489618 | 1210252598 | 1204455397 | 1226772506 | 1218309542 | 1209868712 | 1208766501 | 1218455869 | 1191608493 | 410.52/83.87 c (53,0) c | PropNotBlocker| 1120237020 | 133420359 | 139234810 | 141735914 | 136886641 | 144103629 | 143543350 | 137787871 | 143524446 | 410.52/83.87 c (53,0) c | LitFullScans | 13602102819 | 1700877451 | 1696669707 | 1702744388 | 1702734370 | 1702602980 | 1702766975 | 1696814527 | 1696892421 | 410.52/83.87 c (53,0) c | LitScanFracts | 1636785 | 184587 | 231544 | 195387 | 230058 | 184964 | 201752 | 174007 | 234486 | 410.52/83.87 c (53,0) c | DecisionLevel0| 307 | 34 | 41 | 18 | 35 | 47 | 33 | 40 | 59 | 410.52/83.87 c (53,0) c | Periods | 2260 | 282 | 282 | 283 | 283 | 283 | 283 | 282 | 282 | 410.52/83.87 c (53,0) c | Margin | 160 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 410.52/83.87 c (53,0) c | Avg_Trail | | 267810 | 270788 | 261786 | 276333 | 264378 | 263809 | 265312 | 265196 | 410.52/83.87 c (53,0) c | Avg_DL | | 40 | 30 | 33 | 31 | 24 | 27 | 29 | 31 | 410.52/83.87 c (53,0) c | Avg_Res | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 410.52/83.87 c (53,0) c | Avg_Res_Seen | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 410.52/83.87 c (53,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 410.52/83.87 c (53,0) c | Exported | 4059 | 528 | 456 | 582 | 441 | 484 | 482 | 527 | 559 | 410.52/83.87 c (53,0) c | Imported | 20216 | 2656 | 2396 | 2499 | 2636 | 2407 | 2590 | 2563 | 2469 | 410.52/83.87 c (53,0) c | Good | 736 | 101 | 84 | 98 | 89 | 86 | 93 | 94 | 91 | 410.52/83.87 c (53,0) c | Purge | 19480 | 2555 | 2312 | 2401 | 2547 | 2321 | 2497 | 2469 | 2378 | 410.52/83.87 c (53,0) c | Promoted | 841 | 108 | 117 | 83 | 127 | 91 | 82 | 116 | 117 | 410.52/83.87 c (53,0) c | Remove_Imp | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 410.52/83.87 c (53,0) c | Blocked_Reuse | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 410.52/83.87 c (53,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 410.52/83.87 c (53,0) c | Unaries | | 17 | 17 | 13 | 14 | 27 | 11 | 20 | 34 | 410.52/83.87 c (53,0) c | Binaries | | 8 | 18 | 9 | 21 | 16 | 14 | 17 | 16 | 410.52/83.87 c (53,0) c | Glues | | 452 | 372 | 326 | 386 | 339 | 338 | 461 | 459 | 410.52/83.87 c (53,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 410.52/83.87 c (53,0) c | Orig_Seen | 2 % | 106645 | 111145 | 110742 | 109464 | 108475 | 108763 | 108536 | 111471 | 410.52/83.87 c (53,0) c | Diff Orig seen| | X | 4500 | 4097 | 2819 | 1830 | 2118 | 1891 | 4826 | 410.52/83.87 c (53,0) c | Hamming | 13 % | X | 47643 | 62552 | 47518 | 66083 | 37691 | 40939 | 33497 | 410.52/83.87 c (53,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 410.52/83.87 c (53,0) c | RunningTime | | 46.2 100%| 48.5 100%| 43.8 95%| 44.8 97%| 44.8 97%| 45.5 98%| 46.3 100%| 47.6 100%| 410.52/83.87 c (53,0) c | WaitingTime | | 0.0 0%| 0.0 0%| 2.5 5%| 1.5 3%| 1.5 3%| 0.8 2%| 0.0 0%| 0.0 0%| 410.52/83.87 c (53,0) c | ExchangingTime| | 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 410.52/83.87 c (53,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%| 410.52/83.87 c (53,0) c | SolvingTime | | 46.2 | 48.5 | 46.3 | 46.3 | 46.3 | 46.3 | 46.4 | 47.6 | 410.52/83.87 c (53,0) c | PropagationTim| | 43.1 93%| 45.4 94%| 43.0 93%| 42.6 92%| 43.2 93%| 43.1 93%| 43.3 93%| 44.4 93%| 410.52/83.87 c (53,0) c | AnalysisTime | | 0.7 1%| 0.7 1%| 0.7 2%| 0.7 2%| 0.7 1%| 0.7 2%| 0.7 2%| 0.7 1%| 410.52/83.87 c (53,0) c | ReductionTime | | 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 410.52/83.87 c (53,0) c | SimplifyTime | | 1.4 3%| 1.4 3%| 1.5 3%| 2.0 4%| 1.4 3%| 1.4 3%| 1.4 3%| 1.4 3%| 410.52/83.87 c (53,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%| 410.52/83.87 c (53,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%| 410.52/83.87 c (53,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 410.52/83.87 c (53,0) c 410.52/83.87 c (53,0) c 410.52/83.87 c (53,0) c Threads : 8 410.52/83.87 c (53,0) c Winner : 0 410.52/83.87 c (53,0) c Conflicts_0 : 5553 410.52/83.87 c (53,0) c Conflicts_1 : 5397 410.52/83.87 c (53,0) c Conflicts_2 : 5843 410.52/83.87 c (53,0) c Conflicts_3 : 5223 410.52/83.87 c (53,0) c Conflicts_4 : 5398 410.52/83.87 c (53,0) c Conflicts_5 : 5477 410.52/83.87 c (53,0) c Conflicts_6 : 5329 410.52/83.87 c (53,0) c Conflicts_7 : 5294 410.52/83.87 c (53,0) c Conflicts_total : 43514 410.52/83.87 c (53,0) c Conflicts_winner : 5553 410.52/83.87 c (53,0) c Decisions_0 : 18784 410.52/83.87 c (53,0) c Decisions_1 : 14334 410.52/83.87 c (53,0) c Decisions_2 : 12488 410.52/83.87 c (53,0) c Decisions_3 : 12926 410.52/83.87 c (53,0) c Decisions_4 : 12609 410.52/83.87 c (53,0) c Decisions_5 : 11992 410.52/83.87 c (53,0) c Decisions_6 : 12790 410.52/83.87 c (53,0) c Decisions_7 : 14274 410.52/83.87 c (53,0) c Decisions_total : 110197 410.52/83.87 c (53,0) c Decisions_winner : 18784 410.52/83.87 c (53,0) c Propagations_0 : 77901231 410.52/83.87 c (53,0) c Propagations_1 : 75661596 410.52/83.87 c (53,0) c Propagations_2 : 75093885 410.52/83.87 c (53,0) c Propagations_3 : 73967398 410.52/83.87 c (53,0) c Propagations_4 : 76376139 410.52/83.87 c (53,0) c Propagations_5 : 76254726 410.52/83.87 c (53,0) c Propagations_6 : 74707785 410.52/83.87 c (53,0) c Propagations_7 : 77838408 410.52/83.87 c (53,0) c Propagations_total : 607801168 410.52/83.87 c (53,0) c Propagations_winner : 77901231 410.52/83.87 c (53,0) c ReduceDBs_0 : 1 410.52/83.87 c (53,0) c ReduceDBs_1 : 1 410.52/83.87 c (53,0) c ReduceDBs_2 : 1 410.52/83.87 c (53,0) c ReduceDBs_3 : 1 410.52/83.87 c (53,0) c ReduceDBs_4 : 1 410.52/83.87 c (53,0) c ReduceDBs_5 : 1 410.52/83.87 c (53,0) c ReduceDBs_6 : 1 410.52/83.87 c (53,0) c ReduceDBs_7 : 1 410.52/83.87 c (53,0) c ReduceDBs_total : 8 410.52/83.87 c (53,0) c ReduceDBs_winner : 1 410.52/83.87 c (53,0) c SimpDBs_0 : 6 410.52/83.87 c (53,0) c SimpDBs_1 : 6 410.52/83.87 c (53,0) c SimpDBs_2 : 4 410.52/83.87 c (53,0) c SimpDBs_3 : 6 410.52/83.87 c (53,0) c SimpDBs_4 : 5 410.52/83.87 c (53,0) c SimpDBs_5 : 5 410.52/83.87 c (53,0) c SimpDBs_6 : 5 410.52/83.87 c (53,0) c SimpDBs_7 : 6 410.52/83.87 c (53,0) c SimpDBs_total : 43 410.52/83.87 c (53,0) c SimpDBs_winner : 6 410.52/83.87 c (53,0) c Restarts_0 : 17 410.52/83.87 c (53,0) c Restarts_1 : 24 410.52/83.88 c (53,0) c Restarts_2 : 5 410.52/83.88 c (53,0) c Restarts_3 : 21 410.52/83.88 c (53,0) c Restarts_4 : 20 410.52/83.88 c (53,0) c Restarts_5 : 22 410.52/83.88 c (53,0) c Restarts_6 : 20 410.52/83.88 c (53,0) c Restarts_7 : 25 410.52/83.88 c (53,0) c Restarts_total : 154 410.52/83.88 c (53,0) c Restarts_winner : 17 410.52/83.88 c (53,0) c ForcedImports_0 : 0 410.52/83.88 c (53,0) c ForcedImports_1 : 0 410.52/83.88 c (53,0) c ForcedImports_2 : 0 410.52/83.88 c (53,0) c ForcedImports_3 : 0 410.52/83.88 c (53,0) c ForcedImports_4 : 0 410.52/83.88 c (53,0) c ForcedImports_5 : 0 410.52/83.88 c (53,0) c ForcedImports_6 : 0 410.52/83.88 c (53,0) c ForcedImports_7 : 0 410.52/83.88 c (53,0) c ForcedImports_total : 0 410.52/83.88 c (53,0) c ForcedImports_winner : 0 410.52/83.88 c (53,0) c PropsBinClauses_0 : 254998402 410.52/83.88 c (53,0) c PropsBinClauses_1 : 252278997 410.52/83.88 c (53,0) c PropsBinClauses_2 : 255542114 410.52/83.88 c (53,0) c PropsBinClauses_3 : 246425922 410.52/83.88 c (53,0) c PropsBinClauses_4 : 259141756 410.52/83.88 c (53,0) c PropsBinClauses_5 : 260391662 410.52/83.88 c (53,0) c PropsBinClauses_6 : 252061397 410.52/83.88 c (53,0) c PropsBinClauses_7 : 261388618 410.52/83.88 c (53,0) c PropsBinClauses_total : 2042228868 410.52/83.88 c (53,0) c PropsBinClauses_winner : 254998402 410.52/83.88 c (53,0) c PropsPreBlocker_0 : 1210252598 410.52/83.88 c (53,0) c PropsPreBlocker_1 : 1204455397 410.52/83.88 c (53,0) c PropsPreBlocker_2 : 1226772506 410.52/83.88 c (53,0) c PropsPreBlocker_3 : 1218309542 410.52/83.88 c (53,0) c PropsPreBlocker_4 : 1209868712 410.52/83.88 c (53,0) c PropsPreBlocker_5 : 1208766501 410.52/83.88 c (53,0) c PropsPreBlocker_6 : 1218455869 410.52/83.88 c (53,0) c PropsPreBlocker_7 : 1191608493 410.52/83.88 c (53,0) c PropsPreBlocker_total : 9688489618 410.52/83.88 c (53,0) c PropsPreBlocker_winner : 1210252598 410.52/83.88 c (53,0) c PropsNotBlocker_0 : 133420359 410.52/83.88 c (53,0) c PropsNotBlocker_1 : 139234810 410.52/83.88 c (53,0) c PropsNotBlocker_2 : 141735914 410.52/83.88 c (53,0) c PropsNotBlocker_3 : 136886641 410.52/83.88 c (53,0) c PropsNotBlocker_4 : 144103629 410.52/83.88 c (53,0) c PropsNotBlocker_5 : 143543350 410.52/83.88 c (53,0) c PropsNotBlocker_6 : 137787871 410.52/83.88 c (53,0) c PropsNotBlocker_7 : 143524446 410.52/83.88 c (53,0) c PropsNotBlocker_total : 1120237020 410.52/83.88 c (53,0) c PropsNotBlocker_winner : 133420359 410.52/83.88 c (53,0) c PropsLitFullScans_0 : 1700877451 410.52/83.88 c (53,0) c PropsLitFullScans_1 : 1696669707 410.52/83.88 c (53,0) c PropsLitFullScans_2 : 1702744388 410.52/83.88 c (53,0) c PropsLitFullScans_3 : 1702734370 410.52/83.88 c (53,0) c PropsLitFullScans_4 : 1702602980 410.52/83.88 c (53,0) c PropsLitFullScans_5 : 1702766975 410.52/83.88 c (53,0) c PropsLitFullScans_6 : 1696814527 410.52/83.88 c (53,0) c PropsLitFullScans_7 : 1696892421 410.52/83.88 c (53,0) c PropsLitFullScans_total : 13602102819 410.52/83.88 c (53,0) c PropsLitFullScans_winner : 1700877451 410.52/83.88 c (53,0) c LitScanFractions_0 : 184587 410.52/83.88 c (53,0) c LitScanFractions_1 : 231544 410.52/83.88 c (53,0) c LitScanFractions_2 : 195387 410.52/83.88 c (53,0) c LitScanFractions_3 : 230058 410.52/83.88 c (53,0) c LitScanFractions_4 : 184964 410.52/83.88 c (53,0) c LitScanFractions_5 : 201752 410.52/83.88 c (53,0) c LitScanFractions_6 : 174007 410.52/83.88 c (53,0) c LitScanFractions_7 : 234486 410.52/83.88 c (53,0) c LitScanFractions_total : 1636785 410.52/83.88 c (53,0) c LitScanFractions_winner : 184587 410.52/83.88 c (53,0) c DecisionLevel0_0 : 34 410.52/83.88 c (53,0) c DecisionLevel0_1 : 41 410.52/83.88 c (53,0) c DecisionLevel0_2 : 18 410.52/83.88 c (53,0) c DecisionLevel0_3 : 35 410.52/83.88 c (53,0) c DecisionLevel0_4 : 47 410.52/83.88 c (53,0) c DecisionLevel0_5 : 33 410.52/83.88 c (53,0) c DecisionLevel0_6 : 40 410.52/83.88 c (53,0) c DecisionLevel0_7 : 59 410.52/83.88 c (53,0) c DecisionLevel0_total : 307 410.52/83.88 c (53,0) c DecisionLevel0_winner : 34 410.52/83.88 c (53,0) c Periods_0 : 282 410.52/83.88 c (53,0) c Periods_1 : 282 410.52/83.88 c (53,0) c Periods_2 : 283 410.52/83.88 c (53,0) c Periods_3 : 283 410.52/83.88 c (53,0) c Periods_4 : 283 410.52/83.88 c (53,0) c Periods_5 : 283 410.52/83.88 c (53,0) c Periods_6 : 282 410.52/83.88 c (53,0) c Periods_7 : 282 410.52/83.88 c (53,0) c Periods_total : 2260 410.52/83.88 c (53,0) c Periods_winner : 282 410.52/83.89 c (53,0) c Margin_0 : 20 410.52/83.89 c (53,0) c Margin_1 : 20 410.52/83.89 c (53,0) c Margin_2 : 20 410.52/83.89 c (53,0) c Margin_3 : 20 410.52/83.89 c (53,0) c Margin_4 : 20 410.52/83.89 c (53,0) c Margin_5 : 20 410.52/83.89 c (53,0) c Margin_6 : 20 410.52/83.89 c (53,0) c Margin_7 : 20 410.52/83.89 c (53,0) c Margin_total : 160 410.52/83.89 c (53,0) c Margin_winner : 20 410.52/83.89 c (53,0) c Exported_0 : 528 410.52/83.89 c (53,0) c Exported_1 : 456 410.52/83.89 c (53,0) c Exported_2 : 582 410.52/83.89 c (53,0) c Exported_3 : 441 410.52/83.89 c (53,0) c Exported_4 : 484 410.52/83.89 c (53,0) c Exported_5 : 482 410.52/83.89 c (53,0) c Exported_6 : 527 410.52/83.89 c (53,0) c Exported_7 : 559 410.52/83.89 c (53,0) c Exported_total : 4059 410.52/83.89 c (53,0) c Exported_winner : 528 410.52/83.89 c (53,0) c Imported_0 : 2656 410.52/83.89 c (53,0) c Imported_1 : 2396 410.52/83.89 c (53,0) c Imported_2 : 2499 410.52/83.89 c (53,0) c Imported_3 : 2636 410.52/83.89 c (53,0) c Imported_4 : 2407 410.52/83.89 c (53,0) c Imported_5 : 2590 410.52/83.89 c (53,0) c Imported_6 : 2563 410.52/83.89 c (53,0) c Imported_7 : 2469 410.52/83.89 c (53,0) c Imported_total : 20216 410.52/83.89 c (53,0) c Imported_winner : 2656 410.52/83.89 c (53,0) c Good_0 : 101 410.52/83.89 c (53,0) c Good_1 : 84 410.52/83.89 c (53,0) c Good_2 : 98 410.52/83.89 c (53,0) c Good_3 : 89 410.52/83.89 c (53,0) c Good_4 : 86 410.52/83.89 c (53,0) c Good_5 : 93 410.52/83.89 c (53,0) c Good_6 : 94 410.52/83.89 c (53,0) c Good_7 : 91 410.52/83.89 c (53,0) c Good_total : 736 410.52/83.89 c (53,0) c Good_winner : 101 410.52/83.89 c (53,0) c Purge_0 : 2555 410.52/83.89 c (53,0) c Purge_1 : 2312 410.52/83.89 c (53,0) c Purge_2 : 2401 410.52/83.89 c (53,0) c Purge_3 : 2547 410.52/83.89 c (53,0) c Purge_4 : 2321 410.52/83.89 c (53,0) c Purge_5 : 2497 410.52/83.89 c (53,0) c Purge_6 : 2469 410.52/83.89 c (53,0) c Purge_7 : 2378 410.52/83.89 c (53,0) c Purge_total : 19480 410.52/83.89 c (53,0) c Purge_winner : 2555 410.52/83.89 c (53,0) c Promoted_0 : 108 410.52/83.89 c (53,0) c Promoted_1 : 117 410.52/83.89 c (53,0) c Promoted_2 : 83 410.52/83.89 c (53,0) c Promoted_3 : 127 410.52/83.89 c (53,0) c Promoted_4 : 91 410.52/83.89 c (53,0) c Promoted_5 : 82 410.52/83.89 c (53,0) c Promoted_6 : 116 410.52/83.89 c (53,0) c Promoted_7 : 117 410.52/83.89 c (53,0) c Promoted_total : 841 410.52/83.89 c (53,0) c Promoted_winner : 108 410.52/83.89 c (53,0) c Remove_Imp_0 : 0 410.52/83.89 c (53,0) c Remove_Imp_1 : 0 410.52/83.89 c (53,0) c Remove_Imp_2 : 0 410.52/83.89 c (53,0) c Remove_Imp_3 : 0 410.52/83.89 c (53,0) c Remove_Imp_4 : 0 410.52/83.89 c (53,0) c Remove_Imp_5 : 0 410.52/83.89 c (53,0) c Remove_Imp_6 : 0 410.52/83.89 c (53,0) c Remove_Imp_7 : 0 410.52/83.89 c (53,0) c Remove_Imp_total : 0 410.52/83.89 c (53,0) c Remove_Imp_winner : 0 410.52/83.89 c (53,0) c Blocked_Reuse_0 : 0 410.52/83.89 c (53,0) c Blocked_Reuse_1 : 0 410.52/83.89 c (53,0) c Blocked_Reuse_2 : 0 410.52/83.89 c (53,0) c Blocked_Reuse_3 : 0 410.52/83.89 c (53,0) c Blocked_Reuse_4 : 0 410.52/83.89 c (53,0) c Blocked_Reuse_5 : 0 410.52/83.89 c (53,0) c Blocked_Reuse_6 : 0 410.52/83.89 c (53,0) c Blocked_Reuse_7 : 0 410.52/83.89 c (53,0) c Blocked_Reuse_total : 0 410.52/83.89 c (53,0) c Blocked_Reuse_winner : 0 410.52/83.89 c (53,0) c Unaries_0 : 17 410.52/83.89 c (53,0) c Unaries_1 : 17 410.52/83.89 c (53,0) c Unaries_2 : 13 410.52/83.89 c (53,0) c Unaries_3 : 14 410.52/83.89 c (53,0) c Unaries_4 : 27 410.52/83.89 c (53,0) c Unaries_5 : 11 410.52/83.89 c (53,0) c Unaries_6 : 20 410.52/83.89 c (53,0) c Unaries_7 : 34 410.52/83.89 c (53,0) c Unaries_total : 153 410.52/83.89 c (53,0) c Unaries_winner : 17 410.52/83.89 c (53,0) c Binaries_0 : 8 410.52/83.89 c (53,0) c Binaries_1 : 18 410.52/83.89 c (53,0) c Binaries_2 : 9 410.52/83.89 c (53,0) c Binaries_3 : 21 410.52/83.89 c (53,0) c Binaries_4 : 16 410.52/83.89 c (53,0) c Binaries_5 : 14 410.52/83.89 c (53,0) c Binaries_6 : 17 410.52/83.89 c (53,0) c Binaries_7 : 16 410.52/83.89 c (53,0) c Binaries_total : 119 410.52/83.89 c (53,0) c Binaries_winner : 8 410.52/83.89 c (53,0) c Glues_0 : 452 410.52/83.89 c (53,0) c Glues_1 : 372 410.52/83.89 c (53,0) c Glues_2 : 326 410.52/83.89 c (53,0) c Glues_3 : 386 410.52/83.89 c (53,0) c Glues_4 : 339 410.52/83.89 c (53,0) c Glues_5 : 338 410.52/83.89 c (53,0) c Glues_6 : 461 410.52/83.89 c (53,0) c Glues_7 : 459 410.52/83.89 c (53,0) c Glues_total : 3133 410.52/83.89 c (53,0) c Glues_winner : 452 410.52/83.89 c (53,0) c RunningTime_0 : 46.213128 410.52/83.89 c (53,0) c RunningTime_1 : 48.494881 410.52/83.89 c (53,0) c RunningTime_2 : 43.793086 410.52/83.89 c (53,0) c RunningTime_3 : 44.762437 410.52/83.89 c (53,0) c RunningTime_4 : 44.758255 410.52/83.89 c (53,0) c RunningTime_5 : 45.493833 410.52/83.89 c (53,0) c RunningTime_6 : 46.327026 410.52/83.89 c (53,0) c RunningTime_7 : 47.592881 410.52/83.89 c (53,0) c RunningTime_total : 367.435527 410.52/83.89 c (53,0) c RunningTime_winner : 46.213128 410.52/83.89 c (53,0) c WaitingTime_0 : 0.024869 410.52/83.89 c (53,0) c WaitingTime_1 : 0.000445 410.52/83.89 c (53,0) c WaitingTime_2 : 2.466375 410.52/83.89 c (53,0) c WaitingTime_3 : 1.507069 410.52/83.89 c (53,0) c WaitingTime_4 : 1.498657 410.52/83.89 c (53,0) c WaitingTime_5 : 0.767072 410.52/83.89 c (53,0) c WaitingTime_6 : 0.019165 410.52/83.89 c (53,0) c WaitingTime_7 : 0.000592 410.52/83.89 c (53,0) c WaitingTime_total : 6.284245 410.52/83.89 c (53,0) c WaitingTime_winner : 0.024869 410.52/83.89 c (53,0) c ExchangingTime_0 : 0.006449 410.52/83.89 c (53,0) c ExchangingTime_1 : 0.005936 410.52/83.89 c (53,0) c ExchangingTime_2 : 0.005960 410.52/83.89 c (53,0) c ExchangingTime_3 : 0.006560 410.52/83.89 c (53,0) c ExchangingTime_4 : 0.006347 410.52/83.89 c (53,0) c ExchangingTime_5 : 0.006206 410.52/83.89 c (53,0) c ExchangingTime_6 : 0.006560 410.52/83.89 c (53,0) c ExchangingTime_7 : 0.006712 410.52/83.89 c (53,0) c ExchangingTime_total : 0.050729 410.52/83.89 c (53,0) c ExchangingTime_winner : 0.006449 410.52/83.89 c (53,0) c PeriodProcTime_0 : 0.003168 410.52/83.89 c (53,0) c PeriodProcTime_1 : 0.004603 410.52/83.89 c (53,0) c PeriodProcTime_2 : 0.003215 410.52/83.89 c (53,0) c PeriodProcTime_3 : 0.003836 410.52/83.89 c (53,0) c PeriodProcTime_4 : 0.003162 410.52/83.89 c (53,0) c PeriodProcTime_5 : 0.003573 410.52/83.89 c (53,0) c PeriodProcTime_6 : 0.003366 410.52/83.89 c (53,0) c PeriodProcTime_7 : 0.003757 410.52/83.89 c (53,0) c PeriodProcTime_total : 0.028681 410.52/83.89 c (53,0) c PeriodProcTime_winner : 0.003168 410.52/83.89 c (53,0) c SolvingTime_0 : 46.247614 410.52/83.89 c (53,0) c SolvingTime_1 : 48.505866 410.52/83.89 c (53,0) c SolvingTime_2 : 46.268636 410.52/83.89 c (53,0) c SolvingTime_3 : 46.279902 410.52/83.89 c (53,0) c SolvingTime_4 : 46.266421 410.52/83.89 c (53,0) c SolvingTime_5 : 46.270684 410.52/83.89 c (53,0) c SolvingTime_6 : 46.356117 410.52/83.89 c (53,0) c SolvingTime_7 : 47.603943 410.52/83.89 c (53,0) c SolvingTime_total : 373.799182 410.52/83.89 c (53,0) c SolvingTime_winner : 46.247614 410.52/83.89 c (53,0) c PropagationTime_0 : 43.127459 410.52/83.89 c (53,0) c PropagationTime_1 : 45.362084 410.52/83.89 c (53,0) c PropagationTime_2 : 43.011448 410.52/83.89 c (53,0) c PropagationTime_3 : 42.571225 410.52/83.89 c (53,0) c PropagationTime_4 : 43.204781 410.52/83.89 c (53,0) c PropagationTime_5 : 43.125395 410.52/83.89 c (53,0) c PropagationTime_6 : 43.279461 410.52/83.89 c (53,0) c PropagationTime_7 : 44.436167 410.52/83.89 c (53,0) c PropagationTime_total : 348.118021 410.52/83.89 c (53,0) c PropagationTime_winner : 43.127459 410.52/83.89 c (53,0) c AnalysisTime_0 : 0.677890 410.52/83.89 c (53,0) c AnalysisTime_1 : 0.716887 410.52/83.89 c (53,0) c AnalysisTime_2 : 0.735591 410.52/83.89 c (53,0) c AnalysisTime_3 : 0.725660 410.52/83.89 c (53,0) c AnalysisTime_4 : 0.693493 410.52/83.89 c (53,0) c AnalysisTime_5 : 0.737906 410.52/83.89 c (53,0) c AnalysisTime_6 : 0.711517 410.52/83.89 c (53,0) c AnalysisTime_7 : 0.687561 410.52/83.89 c (53,0) c AnalysisTime_total : 5.686505 410.52/83.89 c (53,0) c AnalysisTime_winner : 0.677890 410.52/83.89 c (53,0) c ReductionTime_0 : 0.000550 410.52/83.89 c (53,0) c ReductionTime_1 : 0.001700 410.52/83.89 c (53,0) c ReductionTime_2 : 0.000525 410.52/83.89 c (53,0) c ReductionTime_3 : 0.001727 410.52/83.89 c (53,0) c ReductionTime_4 : 0.000559 410.52/83.89 c (53,0) c ReductionTime_5 : 0.001166 410.52/83.89 c (53,0) c ReductionTime_6 : 0.000627 410.52/83.89 c (53,0) c ReductionTime_7 : 0.000611 410.52/83.89 c (53,0) c ReductionTime_total : 0.007465 410.52/83.89 c (53,0) c ReductionTime_winner : 0.000550 410.52/83.89 c (53,0) c SimplifyTime_0 : 1.418774 410.52/83.89 c (53,0) c SimplifyTime_1 : 1.401130 410.52/83.89 c (53,0) c SimplifyTime_2 : 1.546024 410.52/83.89 c (53,0) c SimplifyTime_3 : 1.975111 410.52/83.89 c (53,0) c SimplifyTime_4 : 1.351573 410.52/83.89 c (53,0) c SimplifyTime_5 : 1.367608 410.52/83.89 c (53,0) c SimplifyTime_6 : 1.359221 410.52/83.89 c (53,0) c SimplifyTime_7 : 1.404684 410.52/83.89 c (53,0) c SimplifyTime_total : 11.824126 410.52/83.89 c (53,0) c SimplifyTime_winner : 1.418774 410.52/83.89 c (53,0) c UsedRateTime_0 : 0.000000 410.52/83.89 c (53,0) c UsedRateTime_1 : 0.000000 410.52/83.89 c (53,0) c UsedRateTime_2 : 0.000000 410.52/83.89 c (53,0) c UsedRateTime_3 : 0.000000 410.52/83.89 c (53,0) c UsedRateTime_4 : 0.000000 410.52/83.89 c (53,0) c UsedRateTime_5 : 0.000000 410.52/83.89 c (53,0) c UsedRateTime_6 : 0.000000 410.52/83.89 c (53,0) c UsedRateTime_7 : 0.000000 410.52/83.89 c (53,0) c UsedRateTime_total : 0.000000 410.52/83.89 c (53,0) c UsedRateTime_winner : 0.000000 410.52/83.89 c (53,0) c OverlapRateTime_0 : 0.000000 410.52/83.89 c (53,0) c OverlapRateTime_1 : 0.000000 410.52/83.89 c (53,0) c OverlapRateTime_2 : 0.000000 410.52/83.89 c (53,0) c OverlapRateTime_3 : 0.000000 410.52/83.89 c (53,0) c OverlapRateTime_4 : 0.000000 410.52/83.89 c (53,0) c OverlapRateTime_5 : 0.000000 410.52/83.89 c (53,0) c OverlapRateTime_6 : 0.000000 410.52/83.89 c (53,0) c OverlapRateTime_7 : 0.000000 410.52/83.89 c (53,0) c OverlapRateTime_total : 0.000000 410.52/83.89 c (53,0) c OverlapRateTime_winner : 0.000000 410.52/83.89 c (53,0) c 410.52/83.89 c (53,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 410.52/83.89 c (53,0) c 410.52/83.89 c (53,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 410.52/83.89 c (53,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 410.52/83.89 c (53,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 410.52/83.89 c (53,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 410.52/83.89 c (53,0) c | adaptStrategeis | True | False | True | False | True | False | True | False | 410.52/83.89 c (53,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 410.52/83.89 c (53,0) c | Initial random_seed | 1531936566 | 657476851 | 777980269 | 858000572 | 1493522642 | 994435803 | 1040893227 | 2061557128 | 410.52/83.89 c (53,0) c | chanseokStrategy | False | False | False | False | False | False | False | False | 410.52/83.89 c (53,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 410.52/83.89 c (53,0) c | glureduce | True | True | True | True | True | True | True | True | 410.52/83.89 c (53,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 410.52/83.89 c (53,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 410.52/83.89 c (53,0) c | luby_restart | False | False | False | False | False | False | False | False | 410.52/83.89 c (53,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 410.52/83.89 c (53,0) c | var_decay | 0.8100 | 0.8100 | 0.8100 | 0.8100 | 0.8100 | 0.8100 | 0.8100 | 0.8100 | 410.52/83.89 c (53,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 410.52/83.89 c (53,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 410.52/83.89 c (53,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 410.52/83.89 c (53,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 410.52/83.89 c (53,0) 410.52/83.89 c (53,0) s SATISFIABLE 40.97/84.15 c (54,0) SatSolver.solve End 40.97/84.15 c (54,0) Heap : 184 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB) 40.97/84.15 c (54,0) Show results Begin 411.44/84.29 c (54,0) x0 = 44 411.44/84.29 c (54,0) x1 = 43 411.44/84.29 c (54,0) x10 = 518 411.44/84.29 c (54,0) x100 = 445 411.44/84.29 c (54,0) x101 = 446 411.44/84.29 c (54,0) x102 = 533 411.44/84.29 c (54,0) x103 = 532 411.44/84.29 c (54,0) x104 = 625 411.44/84.29 c (54,0) x105 = 626 411.44/84.29 c (54,0) x106 = 664 411.44/84.29 c (54,0) x107 = 665 411.44/84.29 c (54,0) x108 = 704 411.44/84.29 c (54,0) x109 = 703 411.44/84.29 c (54,0) x11 = 517 411.44/84.29 c (54,0) x110 = 708 411.44/84.29 c (54,0) x111 = 707 411.44/84.29 c (54,0) x112 = 837 411.44/84.29 c (54,0) x113 = 838 411.44/84.29 c (54,0) x114 = 921 411.44/84.29 c (54,0) x115 = 922 411.44/84.29 c (54,0) x116 = 1109 411.44/84.29 c (54,0) x117 = 1110 411.44/84.29 c (54,0) x118 = 1209 411.44/84.29 c (54,0) x119 = 1210 411.44/84.29 c (54,0) x12 = 754 411.44/84.29 c (54,0) x120 = 0 411.44/84.29 c (54,0) x121 = 1 411.44/84.29 c (54,0) x122 = 86 411.44/84.29 c (54,0) x123 = 85 411.44/84.29 c (54,0) x124 = 166 411.44/84.29 c (54,0) x125 = 167 411.44/84.29 c (54,0) x126 = 203 411.44/84.29 c (54,0) x127 = 202 411.44/84.29 c (54,0) x128 = 261 411.44/84.29 c (54,0) x129 = 260 411.44/84.29 c (54,0) x13 = 755 411.44/84.29 c (54,0) x130 = 380 411.44/84.29 c (54,0) x131 = 379 411.44/84.29 c (54,0) x132 = 414 411.44/84.29 c (54,0) x133 = 415 411.44/84.29 c (54,0) x134 = 461 411.44/84.29 c (54,0) x135 = 462 411.44/84.29 c (54,0) x136 = 465 411.44/84.29 c (54,0) x137 = 466 411.44/84.29 c (54,0) x138 = 560 411.44/84.29 c (54,0) x139 = 559 411.44/84.29 c (54,0) x14 = 859 411.44/84.29 c (54,0) x140 = 661 411.44/84.29 c (54,0) x141 = 660 411.44/84.29 c (54,0) x142 = 671 411.44/84.29 c (54,0) x143 = 670 411.44/84.29 c (54,0) x144 = 751 411.44/84.29 c (54,0) x145 = 750 411.44/84.29 c (54,0) x146 = 1081 411.44/84.29 c (54,0) x147 = 1082 411.44/84.29 c (54,0) x148 = 1162 411.44/84.29 c (54,0) x149 = 1163 411.44/84.29 c (54,0) x15 = 860 411.44/84.29 c (54,0) x150 = 0 411.44/84.29 c (54,0) x151 = 1 411.44/84.29 c (54,0) x152 = 29 411.44/84.29 c (54,0) x153 = 30 411.44/84.29 c (54,0) x154 = 96 411.44/84.29 c (54,0) x155 = 97 411.44/84.29 c (54,0) x156 = 166 411.44/84.29 c (54,0) x157 = 167 411.44/84.29 c (54,0) x158 = 169 411.44/84.29 c (54,0) x159 = 168 411.44/84.29 c (54,0) x16 = 869 411.44/84.29 c (54,0) x160 = 204 411.69/84.30 c (54,0) x161 = 205 411.69/84.30 c (54,0) x162 = 453 411.69/84.30 c (54,0) x163 = 452 411.69/84.30 c (54,0) x164 = 528 411.69/84.30 c (54,0) x165 = 529 411.69/84.30 c (54,0) x166 = 614 411.69/84.30 c (54,0) x167 = 615 411.69/84.30 c (54,0) x168 = 715 411.69/84.30 c (54,0) x169 = 716 411.69/84.30 c (54,0) x17 = 868 411.69/84.30 c (54,0) x170 = 772 411.69/84.30 c (54,0) x171 = 771 411.69/84.30 c (54,0) x172 = 871 411.69/84.30 c (54,0) x173 = 870 411.69/84.30 c (54,0) x174 = 952 411.69/84.30 c (54,0) x175 = 953 411.69/84.30 c (54,0) x176 = 1047 411.69/84.30 c (54,0) x177 = 1048 411.69/84.30 c (54,0) x178 = 1186 411.69/84.30 c (54,0) x179 = 1185 411.69/84.30 c (54,0) x18 = 919 411.69/84.30 c (54,0) x180 = 0 411.69/84.30 c (54,0) x181 = 7 411.69/84.30 c (54,0) x182 = 41 411.69/84.30 c (54,0) x183 = 42 411.69/84.30 c (54,0) x184 = 169 411.69/84.30 c (54,0) x185 = 168 411.69/84.30 c (54,0) x186 = 274 411.69/84.30 c (54,0) x187 = 275 411.69/84.30 c (54,0) x188 = 282 411.69/84.30 c (54,0) x189 = 283 411.69/84.30 c (54,0) x19 = 918 411.69/84.30 c (54,0) x190 = 307 411.69/84.30 c (54,0) x191 = 306 411.69/84.30 c (54,0) x192 = 324 411.69/84.30 c (54,0) x193 = 323 411.69/84.30 c (54,0) x194 = 408 411.69/84.30 c (54,0) x195 = 407 411.69/84.30 c (54,0) x196 = 514 411.69/84.30 c (54,0) x197 = 515 411.69/84.30 c (54,0) x198 = 684 411.69/84.30 c (54,0) x199 = 683 411.69/84.30 c (54,0) x2 = 129 411.69/84.30 c (54,0) x20 = 951 411.69/84.30 c (54,0) x200 = 844 411.69/84.30 c (54,0) x201 = 845 411.69/84.30 c (54,0) x202 = 881 411.69/84.30 c (54,0) x203 = 882 411.69/84.30 c (54,0) x204 = 1093 411.69/84.30 c (54,0) x205 = 1092 411.69/84.30 c (54,0) x206 = 1192 411.69/84.30 c (54,0) x207 = 1193 411.69/84.30 c (54,0) x208 = 1237 411.69/84.30 c (54,0) x209 = 1236 411.69/84.30 c (54,0) x21 = 952 411.69/84.30 c (54,0) x210 = 0 411.69/84.30 c (54,0) x211 = 1 411.69/84.30 c (54,0) x212 = 50 411.69/84.30 c (54,0) x213 = 49 411.69/84.30 c (54,0) x214 = 136 411.69/84.30 c (54,0) x215 = 135 411.69/84.30 c (54,0) x216 = 254 411.69/84.30 c (54,0) x217 = 253 411.69/84.30 c (54,0) x218 = 355 411.69/84.30 c (54,0) x219 = 354 411.69/84.30 c (54,0) x22 = 971 411.69/84.30 c (54,0) x220 = 401 411.69/84.30 c (54,0) x221 = 402 411.69/84.30 c (54,0) x222 = 410 411.69/84.30 c (54,0) x223 = 411 411.69/84.30 c (54,0) x224 = 494 411.69/84.30 c (54,0) x225 = 495 411.69/84.30 c (54,0) x226 = 599 411.69/84.30 c (54,0) x227 = 598 411.69/84.30 c (54,0) x228 = 664 411.69/84.30 c (54,0) x229 = 663 411.69/84.30 c (54,0) x23 = 972 411.69/84.30 c (54,0) x230 = 753 411.69/84.30 c (54,0) x231 = 752 411.69/84.30 c (54,0) x232 = 762 411.69/84.30 c (54,0) x233 = 763 411.69/84.30 c (54,0) x234 = 852 411.69/84.30 c (54,0) x235 = 851 411.69/84.30 c (54,0) x236 = 955 411.69/84.30 c (54,0) x237 = 956 411.69/84.30 c (54,0) x238 = 1037 411.69/84.30 c (54,0) x239 = 1038 411.69/84.30 c (54,0) x24 = 1064 411.69/84.30 c (54,0) x240 = 0 411.69/84.30 c (54,0) x241 = 1 411.69/84.30 c (54,0) x242 = 173 411.69/84.30 c (54,0) x243 = 172 411.69/84.30 c (54,0) x244 = 283 411.69/84.30 c (54,0) x245 = 282 411.69/84.30 c (54,0) x246 = 358 411.69/84.30 c (54,0) x247 = 357 411.69/84.30 c (54,0) x248 = 427 411.69/84.30 c (54,0) x249 = 428 411.69/84.30 c (54,0) x25 = 1063 411.69/84.30 c (54,0) x250 = 434 411.69/84.30 c (54,0) x251 = 433 411.69/84.30 c (54,0) x252 = 460 411.69/84.30 c (54,0) x253 = 461 411.69/84.30 c (54,0) x254 = 586 411.69/84.30 c (54,0) x255 = 587 411.69/84.30 c (54,0) x256 = 858 411.69/84.30 c (54,0) x257 = 859 411.69/84.30 c (54,0) x258 = 953 411.69/84.30 c (54,0) x259 = 952 411.69/84.30 c (54,0) x26 = 1129 411.69/84.30 c (54,0) x260 = 981 411.69/84.30 c (54,0) x261 = 980 411.69/84.30 c (54,0) x262 = 1102 411.69/84.30 c (54,0) x263 = 1103 411.69/84.30 c (54,0) x264 = 1185 411.69/84.30 c (54,0) x265 = 1184 411.69/84.30 c (54,0) x266 = 1190 411.69/84.30 c (54,0) x267 = 1191 411.69/84.30 c (54,0) x268 = 1281 411.69/84.30 c (54,0) x269 = 1280 411.69/84.30 c (54,0) x27 = 1130 411.69/84.30 c (54,0) x270 = 76 411.69/84.30 c (54,0) x271 = 77 411.69/84.30 c (54,0) x272 = 162 411.69/84.30 c (54,0) x273 = 163 411.69/84.30 c (54,0) x274 = 227 411.69/84.30 c (54,0) x275 = 226 411.69/84.30 c (54,0) x276 = 435 411.69/84.30 c (54,0) x277 = 436 411.69/84.30 c (54,0) x278 = 512 411.69/84.30 c (54,0) x279 = 511 411.69/84.30 c (54,0) x28 = 1218 411.69/84.30 c (54,0) x280 = 619 411.69/84.30 c (54,0) x281 = 620 411.69/84.30 c (54,0) x282 = 713 411.69/84.30 c (54,0) x283 = 714 411.69/84.30 c (54,0) x284 = 748 411.69/84.30 c (54,0) x285 = 747 411.69/84.30 c (54,0) x286 = 792 411.69/84.30 c (54,0) x287 = 791 411.69/84.30 c (54,0) x288 = 848 411.69/84.30 c (54,0) x289 = 847 411.69/84.30 c (54,0) x29 = 1217 411.69/84.30 c (54,0) x290 = 895 411.69/84.30 c (54,0) x291 = 894 411.69/84.30 c (54,0) x292 = 990 411.69/84.30 c (54,0) x293 = 989 411.69/84.30 c (54,0) x294 = 994 411.69/84.30 c (54,0) x295 = 995 411.69/84.30 c (54,0) x296 = 1013 411.69/84.30 c (54,0) x297 = 1012 411.69/84.30 c (54,0) x298 = 1108 411.69/84.30 c (54,0) x299 = 1109 411.69/84.30 c (54,0) x3 = 128 411.69/84.30 c (54,0) x30 = 0 411.69/84.30 c (54,0) x300 = 0 411.69/84.30 c (54,0) x301 = 1 411.69/84.30 c (54,0) x302 = 41 411.69/84.30 c (54,0) x303 = 40 411.69/84.30 c (54,0) x304 = 49 411.69/84.30 c (54,0) x305 = 50 411.69/84.30 c (54,0) x306 = 110 411.69/84.30 c (54,0) x307 = 111 411.69/84.30 c (54,0) x308 = 132 411.69/84.30 c (54,0) x309 = 133 411.69/84.30 c (54,0) x31 = 1 411.69/84.30 c (54,0) x310 = 134 411.69/84.30 c (54,0) x311 = 135 411.69/84.30 c (54,0) x312 = 211 411.69/84.30 c (54,0) x313 = 212 411.69/84.30 c (54,0) x314 = 305 411.69/84.30 c (54,0) x315 = 304 411.69/84.30 c (54,0) x316 = 386 411.69/84.30 c (54,0) x317 = 385 411.69/84.30 c (54,0) x318 = 483 411.69/84.30 c (54,0) x319 = 484 411.69/84.30 c (54,0) x32 = 47 411.69/84.30 c (54,0) x320 = 631 411.69/84.30 c (54,0) x321 = 630 411.69/84.30 c (54,0) x322 = 986 411.69/84.30 c (54,0) x323 = 987 411.69/84.30 c (54,0) x324 = 1052 411.69/84.30 c (54,0) x325 = 1051 411.69/84.30 c (54,0) x326 = 1109 411.69/84.30 c (54,0) x327 = 1108 411.69/84.30 c (54,0) x328 = 1207 411.69/84.30 c (54,0) x329 = 1206 411.69/84.30 c (54,0) x33 = 46 411.69/84.30 c (54,0) x330 = 0 411.69/84.30 c (54,0) x331 = 1 411.69/84.30 c (54,0) x332 = 39 411.69/84.30 c (54,0) x333 = 38 411.69/84.30 c (54,0) x334 = 124 411.69/84.30 c (54,0) x335 = 123 411.69/84.30 c (54,0) x336 = 185 411.69/84.30 c (54,0) x337 = 186 411.69/84.30 c (54,0) x338 = 264 411.69/84.30 c (54,0) x339 = 265 411.69/84.30 c (54,0) x34 = 132 411.69/84.30 c (54,0) x340 = 280 411.69/84.30 c (54,0) x341 = 279 411.69/84.30 c (54,0) x342 = 290 411.69/84.30 c (54,0) x343 = 291 411.69/84.30 c (54,0) x344 = 399 411.69/84.30 c (54,0) x345 = 400 411.69/84.30 c (54,0) x346 = 465 411.69/84.30 c (54,0) x347 = 464 411.69/84.30 c (54,0) x348 = 562 411.69/84.30 c (54,0) x349 = 563 411.69/84.30 c (54,0) x35 = 131 411.69/84.30 c (54,0) x350 = 660 411.69/84.30 c (54,0) x351 = 659 411.69/84.30 c (54,0) x352 = 694 411.69/84.30 c (54,0) x353 = 693 411.69/84.30 c (54,0) x354 = 741 411.69/84.30 c (54,0) x355 = 742 411.69/84.30 c (54,0) x356 = 763 411.69/84.30 c (54,0) x357 = 762 411.69/84.30 c (54,0) x358 = 1260 411.69/84.30 c (54,0) x359 = 1261 411.69/84.30 c (54,0) x36 = 294 411.69/84.30 c (54,0) x360 = 30 411.69/84.30 c (54,0) x361 = 24 411.69/84.30 c (54,0) x362 = 204 411.69/84.30 c (54,0) x363 = 205 411.69/84.30 c (54,0) x364 = 227 411.69/84.30 c (54,0) x365 = 226 411.69/84.30 c (54,0) x366 = 245 411.69/84.30 c (54,0) x367 = 244 411.69/84.30 c (54,0) x368 = 286 411.69/84.30 c (54,0) x369 = 285 411.69/84.30 c (54,0) x37 = 293 411.69/84.30 c (54,0) x370 = 327 411.69/84.30 c (54,0) x371 = 326 411.69/84.30 c (54,0) x372 = 392 411.69/84.30 c (54,0) x373 = 393 411.69/84.30 c (54,0) x374 = 426 411.69/84.30 c (54,0) x375 = 427 411.69/84.30 c (54,0) x376 = 466 411.69/84.30 c (54,0) x377 = 467 411.69/84.30 c (54,0) x378 = 707 411.69/84.30 c (54,0) x379 = 708 411.69/84.30 c (54,0) x38 = 341 411.69/84.30 c (54,0) x380 = 722 411.69/84.30 c (54,0) x381 = 721 411.69/84.30 c (54,0) x382 = 1041 411.69/84.30 c (54,0) x383 = 1040 411.69/84.30 c (54,0) x384 = 1084 411.69/84.30 c (54,0) x385 = 1083 411.69/84.30 c (54,0) x386 = 1210 411.69/84.30 c (54,0) x387 = 1209 411.69/84.30 c (54,0) x388 = 1255 411.69/84.30 c (54,0) x389 = 1256 411.69/84.30 c (54,0) x39 = 342 411.69/84.30 c (54,0) x390 = 1 411.69/84.30 c (54,0) x391 = 0 411.69/84.30 c (54,0) x392 = 219 411.69/84.30 c (54,0) x393 = 220 411.69/84.30 c (54,0) x394 = 322 411.69/84.30 c (54,0) x395 = 321 411.69/84.30 c (54,0) x396 = 336 411.69/84.30 c (54,0) x397 = 358 411.69/84.30 c (54,0) x398 = 428 411.69/84.30 c (54,0) x399 = 427 411.69/84.30 c (54,0) x4 = 130 411.69/84.30 c (54,0) x40 = 429 411.69/84.30 c (54,0) x400 = 522 411.69/84.30 c (54,0) x401 = 521 411.69/84.30 c (54,0) x402 = 555 411.69/84.30 c (54,0) x403 = 554 411.69/84.30 c (54,0) x404 = 561 411.69/84.30 c (54,0) x405 = 560 411.69/84.30 c (54,0) x406 = 610 411.69/84.30 c (54,0) x407 = 609 411.69/84.30 c (54,0) x408 = 774 411.69/84.30 c (54,0) x409 = 775 411.69/84.30 c (54,0) x41 = 430 411.69/84.30 c (54,0) x410 = 842 411.69/84.30 c (54,0) x411 = 841 411.69/84.30 c (54,0) x412 = 846 411.69/84.30 c (54,0) x413 = 847 411.69/84.30 c (54,0) x414 = 848 411.69/84.30 c (54,0) x415 = 847 411.69/84.30 c (54,0) x416 = 870 411.69/84.30 c (54,0) x417 = 871 411.69/84.30 c (54,0) x418 = 962 411.69/84.30 c (54,0) x419 = 961 411.69/84.30 c (54,0) x42 = 559 411.69/84.30 c (54,0) x420 = 0 411.69/84.30 c (54,0) x421 = 6 411.69/84.30 c (54,0) x422 = 30 411.69/84.30 c (54,0) x423 = 29 411.69/84.30 c (54,0) x424 = 269 411.69/84.30 c (54,0) x425 = 268 411.69/84.30 c (54,0) x426 = 273 411.69/84.30 c (54,0) x427 = 274 411.69/84.30 c (54,0) x428 = 470 411.69/84.30 c (54,0) x429 = 471 411.69/84.30 c (54,0) x43 = 558 411.69/84.30 c (54,0) x430 = 591 411.69/84.30 c (54,0) x431 = 592 411.69/84.30 c (54,0) x432 = 676 411.69/84.30 c (54,0) x433 = 677 411.69/84.30 c (54,0) x434 = 700 411.69/84.30 c (54,0) x435 = 699 411.69/84.30 c (54,0) x436 = 752 411.69/84.30 c (54,0) x437 = 751 411.69/84.30 c (54,0) x438 = 767 411.69/84.30 c (54,0) x439 = 766 411.69/84.30 c (54,0) x44 = 628 411.69/84.30 c (54,0) x440 = 859 411.69/84.30 c (54,0) x441 = 858 411.69/84.30 c (54,0) x442 = 945 411.69/84.30 c (54,0) x443 = 946 411.69/84.30 c (54,0) x444 = 1042 411.69/84.30 c (54,0) x445 = 1041 411.69/84.30 c (54,0) x446 = 1190 411.69/84.30 c (54,0) x447 = 1191 411.69/84.30 c (54,0) x448 = 1279 411.69/84.30 c (54,0) x449 = 1278 411.69/84.30 c (54,0) x45 = 627 411.69/84.30 c (54,0) x46 = 679 411.69/84.30 c (54,0) x47 = 680 411.69/84.30 c (54,0) x48 = 763 411.69/84.30 c (54,0) x49 = 762 411.69/84.30 c (54,0) x5 = 131 411.69/84.30 c (54,0) x50 = 919 411.69/84.30 c (54,0) x51 = 918 411.69/84.30 c (54,0) x52 = 1013 411.69/84.30 c (54,0) x53 = 1014 411.69/84.30 c (54,0) x54 = 1064 411.69/84.30 c (54,0) x55 = 1063 411.69/84.30 c (54,0) x56 = 1106 411.69/84.30 c (54,0) x57 = 1107 411.69/84.30 c (54,0) x58 = 1206 411.69/84.30 c (54,0) x59 = 1205 411.69/84.30 c (54,0) x6 = 327 411.69/84.30 c (54,0) x60 = 30 411.69/84.30 c (54,0) x61 = 21 411.69/84.30 c (54,0) x62 = 122 411.69/84.30 c (54,0) x63 = 123 411.69/84.30 c (54,0) x64 = 180 411.69/84.30 c (54,0) x65 = 179 411.69/84.30 c (54,0) x66 = 246 411.69/84.30 c (54,0) x67 = 247 411.69/84.30 c (54,0) x68 = 322 411.69/84.30 c (54,0) x69 = 321 411.69/84.30 c (54,0) x7 = 326 411.69/84.30 c (54,0) x70 = 412 411.69/84.30 c (54,0) x71 = 411 411.69/84.30 c (54,0) x72 = 476 411.69/84.30 c (54,0) x73 = 477 411.69/84.30 c (54,0) x74 = 583 411.69/84.30 c (54,0) x75 = 582 411.69/84.30 c (54,0) x76 = 619 411.69/84.30 c (54,0) x77 = 618 411.69/84.30 c (54,0) x78 = 679 411.69/84.30 c (54,0) x79 = 678 411.69/84.30 c (54,0) x8 = 382 411.69/84.30 c (54,0) x80 = 767 411.69/84.30 c (54,0) x81 = 768 411.69/84.30 c (54,0) x82 = 847 411.69/84.30 c (54,0) x83 = 846 411.69/84.30 c (54,0) x84 = 988 411.69/84.30 c (54,0) x85 = 987 411.69/84.30 c (54,0) x86 = 1025 411.69/84.30 c (54,0) x87 = 1026 411.69/84.30 c (54,0) x88 = 1105 411.69/84.30 c (54,0) x89 = 1106 411.69/84.30 c (54,0) x9 = 381 411.69/84.30 c (54,0) x90 = 0 411.69/84.30 c (54,0) x91 = 1 411.69/84.30 c (54,0) x92 = 116 411.69/84.30 c (54,0) x93 = 115 411.69/84.30 c (54,0) x94 = 228 411.69/84.30 c (54,0) x95 = 227 411.69/84.30 c (54,0) x96 = 282 411.69/84.30 c (54,0) x97 = 281 411.69/84.30 c (54,0) x98 = 416 411.69/84.30 c (54,0) x99 = 394 411.69/84.30 s SATISFIABLE 411.69/84.31 v <instantiation> 411.69/84.31 v <list>x0 x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 x15 x16 x17 x18 x19 x20 x21 x22 x23 x24 x25 x26 x27 x28 x29 x30 x31 x32 x33 x34 x35 x36 x37 x38 x39 x40 x41 x42 x43 x44 x45 x46 x47 x48 x49 x50 x51 x52 x53 x54 x55 x56 x57 x58 x59 x60 x61 x62 x63 x64 x65 x66 x67 x68 x69 x70 x71 x72 x73 x74 x75 x76 x77 x78 x79 x80 x81 x82 x83 x84 x85 x86 x87 x88 x89 x90 x91 x92 x93 x94 x95 x96 x97 x98 x99 x100 x101 x102 x103 x104 x105 x106 x107 x108 x109 x110 x111 x112 x113 x114 x115 x116 x117 x118 x119 x120 x121 x122 x123 x124 x125 x126 x127 x128 x129 x130 x131 x132 x133 x134 x135 x136 x137 x138 x139 x140 x141 x142 x143 x144 x145 x146 x147 x148 x149 x150 x151 x152 x153 x154 x155 x156 x157 x158 x159 x160 x161 x162 x163 x164 x165 x166 x167 x168 x169 x170 x171 x172 x173 x174 x175 x176 x177 x178 x179 x180 x181 x182 x183 x184 x185 x186 x187 x188 x189 x190 x191 x192 x193 x194 x195 x196 x197 x198 x199 x200 x201 x202 x203 x204 x205 x206 x207 x208 x209 x210 x211 x212 x213 x214 x215 x216 x217 x218 x219 x220 x221 x222 x223 x224 x225 x226 x227 x228 x229 x230 x231 x232 x233 x234 x235 x236 x237 x238 x239 x240 x241 x242 x243 x244 x245 x246 x247 x248 x249 x250 x251 x252 x253 x254 x255 x256 x257 x258 x259 x260 x261 x262 x263 x264 x265 x266 x267 x268 x269 x270 x271 x272 x273 x274 x275 x276 x277 x278 x279 x280 x281 x282 x283 x284 x285 x286 x287 x288 x289 x290 x291 x292 x293 x294 x295 x296 x297 x298 x299 x300 x301 x302 x303 x304 x305 x306 x307 x308 x309 x310 x311 x312 x313 x314 x315 x316 x317 x318 x319 x320 x321 x322 x323 x324 x325 x326 x327 x328 x329 x330 x331 x332 x333 x334 x335 x336 x337 x338 x339 x340 x341 x342 x343 x344 x345 x346 x347 x348 x349 x350 x351 x352 x353 x354 x355 x356 x357 x358 x359 x360 x361 x362 x363 x364 x365 x366 x367 x368 x369 x370 x371 x372 x373 x374 x375 x376 x377 x378 x379 x380 x381 x382 x383 x384 x385 x386 x387 x388 x389 x390 x391 x392 x393 x394 x395 x396 x397 x398 x399 x400 x401 x402 x403 x404 x405 x406 x407 x408 x409 x410 x411 x412 x413 x414 x415 x416 x417 x418 x419 x420 x421 x422 x423 x424 x425 x426 x427 x428 x429 x430 x431 x432 x433 x434 x435 x436 x437 x438 x439 x440 x441 x442 x443 x444 x445 x446 x447 x448 x449</list> 411.69/84.31 v <values>44 43 129 128 130 131 327 326 382 381 518 517 754 755 859 860 869 868 919 918 951 952 971 972 1064 1063 1129 1130 1218 1217 0 1 47 46 132 131 294 293 341 342 429 430 559 558 628 627 679 680 763 762 919 918 1013 1014 1064 1063 1106 1107 1206 1205 30 21 122 123 180 179 246 247 322 321 412 411 476 477 583 582 619 618 679 678 767 768 847 846 988 987 1025 1026 1105 1106 0 1 116 115 228 227 282 281 416 394 445 446 533 532 625 626 664 665 704 703 708 707 837 838 921 922 1109 1110 1209 1210 0 1 86 85 166 167 203 202 261 260 380 379 414 415 461 462 465 466 560 559 661 660 671 670 751 750 1081 1082 1162 1163 0 1 29 30 96 97 166 167 169 168 204 205 453 452 528 529 614 615 715 716 772 771 871 870 952 953 1047 1048 1186 1185 0 7 41 42 169 168 274 275 282 283 307 306 324 323 408 407 514 515 684 683 844 845 881 882 1093 1092 1192 1193 1237 1236 0 1 50 49 136 135 254 253 355 354 401 402 410 411 494 495 599 598 664 663 753 752 762 763 852 851 955 956 1037 1038 0 1 173 172 283 282 358 357 427 428 434 433 460 461 586 587 858 859 953 952 981 980 1102 1103 1185 1184 1190 1191 1281 1280 76 77 162 163 227 226 435 436 512 511 619 620 713 714 748 747 792 791 848 847 895 894 990 989 994 995 1013 1012 1108 1109 0 1 41 40 49 50 110 111 132 133 134 135 211 212 305 304 386 385 483 484 631 630 986 987 1052 1051 1109 1108 1207 1206 0 1 39 38 124 123 185 186 264 265 280 279 290 291 399 400 465 464 562 563 660 659 694 693 741 742 763 762 1260 1261 30 24 204 205 227 226 245 244 286 285 327 326 392 393 426 427 466 467 707 708 722 721 1041 1040 1084 1083 1210 1209 1255 1256 1 0 219 220 322 321 336 358 428 427 522 521 555 554 561 560 610 609 774 775 842 841 846 847 848 847 870 871 962 961 0 6 30 29 269 268 273 274 470 471 591 592 676 677 700 699 752 751 767 766 859 858 945 946 1042 1041 1190 1191 1279 1278</values> 411.69/84.31 v </instantiation> 411.69/84.31 c (54,0) Show results End 411.69/84.31 c (54,0) Heap : 225 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB) 411.69/84.31 c (54,0) 54,54,STOP-AFTER(ALL) 411.69/84.31 c END-Prog: Sat Sep 14 08:22:44 CEST 2019
OK
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. NUMA information: number of nodes: 2 memory of node 0: 16374 MiB (10823 MiB free) memory of node 1: 16384 MiB (13296 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392318-1568442121/watcher-4392318-1568442121 -o /tmp/evaluation-result-4392318-1568442121/solver-4392318-1568442121 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node143-1568436511-10434 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392318-1568442121.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=11857, runsolver pid=11854 Current StackSize limit: 8192 KiB [startup+0.100134 s]* /proc/loadavg: 8.83 8.43 8.29 2/212 11879 /proc/meminfo: memFree=24607568/32770624 swapFree=67108848/67108860 [pid=11857] ppid=11854 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/11857/stat : 11857 (scop.sh) S 11854 11857 10407 0 -1 4202496 558 319 0 0 0 0 0 0 20 0 1 0 420149424 115843072 349 33554432000 4194304 5098028 140723105338368 140723105335624 140686749995644 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 15847424 140723105342245 140723105342572 140723105342572 140723105345485 0 /proc/11857/statm: 28282 349 296 221 0 87 0 [pid=11860] ppid=11857 vsize=27314120 memory=104340 CPUtime=0.11 cores=0-7 /proc/11860/stat : 11860 (java) S 11857 11857 10407 0 -1 1077944320 6655 0 0 0 9 2 0 0 20 0 20 0 420149425 27969658880 26085 33554432000 4194304 4196468 140724943892320 140724943874864 140484095569655 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27181056 140724943901419 140724943901846 140724943901846 140724943904719 0 /proc/11860/statm: 6828530 26085 2817 1 0 6790935 0 [pid=11860/tid=11861] ppid=11857 vsize=27314120 memory=1398722017469774279 CPUtime=0.08 cores=0-7 /proc/11860/task/11861/stat : 11861 (java) R 11857 11857 10407 0 -1 4202560 4726 0 0 0 7 1 0 0 20 0 20 0 420149425 27969658880 26597 33554432000 4194304 4196468 140724943892320 140484067392704 140484088666539 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27181056 140724943901419 140724943901846 140724943901846 140724943904719 0 [pid=11860/tid=11862] ppid=11857 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/11860/task/11862/stat : 11862 (java) S 11857 11857 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420149427 27969658880 26597 33554432000 4194304 4196468 140724943892320 140484099811984 140484095579861 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27181056 140724943901419 140724943901846 140724943901846 140724943904719 0 [pid=11860/tid=11863] ppid=11857 vsize=27314120 memory=140257870218880 CPUtime=0 cores=0-7 /proc/11860/task/11863/stat : 11863 (java) S 11857 11857 10407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420149427 27969658880 26597 33554432000 4194304 4196468 140724943892320 140483913968144 140484095579861 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27181056 140724943901419 140724943901846 140724943901846 140724943904719 0 [pid=11860/tid=11864] ppid=11857 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/11860/task/11864/stat : 11864 (java) S 11857 11857 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420149427 27969658880 26597 33554432000 4194304 4196468 140724943892320 140483912915344 140484095579861 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27181056 140724943901419 140724943901846 140724943901846 140724943904719 0 [pid=11860/tid=11865] ppid=11857 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/11860/task/11865/stat : 11865 (java) S 11857 11857 10407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420149427 27969658880 26597 33554432000 4194304 4196468 140724943892320 140483911862544 140484095579861 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27181056 140724943901419 140724943901846 140724943901846 140724943904719 0 [pid=11860/tid=11866] ppid=11857 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/11860/task/11866/stat : 11866 (java) S 11857 11857 10407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420149427 27969658880 26597 33554432000 4194304 4196468 140724943892320 140483910810768 140484095579861 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27181056 140724943901419 140724943901846 140724943901846 140724943904719 0 [pid=11860/tid=11867] ppid=11857 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/11860/task/11867/stat : 11867 (java) S 11857 11857 10407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420149427 27969658880 26597 33554432000 4194304 4196468 140724943892320 140483909757968 140484095579861 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27181056 140724943901419 140724943901846 140724943901846 140724943904719 0 [pid=11860/tid=11868] ppid=11857 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/11860/task/11868/stat : 11868 (java) S 11857 11857 10407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420149427 27969658880 26597 33554432000 4194304 4196468 140724943892320 140483908705168 140484095579861 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27181056 140724943901419 140724943901846 140724943901846 140724943904719 0 [pid=11860/tid=11869] ppid=11857 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/11860/task/11869/stat : 11869 (java) S 11857 11857 10407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420149428 27969658880 26597 33554432000 4194304 4196468 140724943892320 140483907652368 140484095579861 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27181056 140724943901419 140724943901846 140724943901846 140724943904719 0 [pid=11860/tid=11870] ppid=11857 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/11860/task/11870/stat : 11870 (java) S 11857 11857 10407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420149429 27969658880 26597 33554432000 4194304 4196468 140724943892320 140482684324208 140484095580802 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27181056 140724943901419 140724943901846 140724943901846 140724943904719 0 [pid=11860/tid=11871] ppid=11857 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/11860/task/11871/stat : 11871 (java) S 11857 11857 10407 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420149429 27969658880 26597 33554432000 4194304 4196468 140724943892320 140481669358624 140484095579861 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27181056 140724943901419 140724943901846 140724943901846 140724943904719 0 [pid=11860/tid=11872] ppid=11857 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/11860/task/11872/stat : 11872 (java) S 11857 11857 10407 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420149430 27969658880 26597 33554432000 4194304 4196468 140724943892320 140481535136624 140484095579861 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27181056 140724943901419 140724943901846 140724943901846 140724943904719 0 [pid=11860/tid=11873] ppid=11857 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/11860/task/11873/stat : 11873 (java) S 11857 11857 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420149432 27969658880 26597 33554432000 4194304 4196468 140724943892320 140481160632144 140484095588251 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27181056 140724943901419 140724943901846 140724943901846 140724943904719 0 [pid=11860/tid=11874] ppid=11857 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/11860/task/11874/stat : 11874 (java) S 11857 11857 10407 0 -1 1077944384 293 0 0 0 0 0 0 0 20 0 20 0 420149432 27969658880 26597 33554432000 4194304 4196468 140724943892320 140482683272048 140484095580802 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27181056 140724943901419 140724943901846 140724943901846 140724943904719 0 [pid=11860/tid=11875] ppid=11857 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/11860/task/11875/stat : 11875 (java) S 11857 11857 10407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420149432 27969658880 26597 33554432000 4194304 4196468 140724943892320 140482682219248 140484095580802 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27181056 140724943901419 140724943901846 140724943901846 140724943904719 0 [pid=11860/tid=11876] ppid=11857 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/11860/task/11876/stat : 11876 (java) S 11857 11857 10407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420149432 27969658880 26597 33554432000 4194304 4196468 140724943892320 140482681166448 140484095580802 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27181056 140724943901419 140724943901846 140724943901846 140724943904719 0 [pid=11860/tid=11877] ppid=11857 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/11860/task/11877/stat : 11877 (java) S 11857 11857 10407 0 -1 1077944384 277 0 0 0 0 0 0 0 20 0 20 0 420149432 27969658880 26597 33554432000 4194304 4196468 140724943892320 140482680113648 140484095580802 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27181056 140724943901419 140724943901846 140724943901846 140724943904719 0 [pid=11860/tid=11878] ppid=11857 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/11860/task/11878/stat : 11878 (java) S 11857 11857 10407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420149432 27969658880 26597 33554432000 4194304 4196468 140724943892320 140480662727264 140484095579861 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27181056 140724943901419 140724943901846 140724943901846 140724943904719 0 [pid=11860/tid=11879] ppid=11857 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/11860/task/11879/stat : 11879 (java) S 11857 11857 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420149433 27969658880 26597 33554432000 4194304 4196468 140724943892320 140482679061040 140484095580802 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27181056 140724943901419 140724943901846 140724943901846 140724943904719 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 105736 KiB [startup+0.210197 s]* /proc/loadavg: 8.83 8.43 8.29 3/212 11879 /proc/meminfo: memFree=24585588/32770624 swapFree=67108848/67108860 [pid=11857] ppid=11854 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/11857/stat : 11857 (scop.sh) S 11854 11857 10407 0 -1 4202496 558 319 0 0 0 0 0 0 20 0 1 0 420149424 115843072 349 33554432000 4194304 5098028 140723105338368 140723105335624 140686749995644 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 15847424 140723105342245 140723105342572 140723105342572 140723105345485 0 /proc/11857/statm: 28282 349 296 221 0 87 0 [pid=11860] ppid=11857 vsize=27314120 memory=123416 CPUtime=0.25 cores=0-7 /proc/11860/stat : 11860 (java) S 11857 11857 10407 0 -1 1077944320 12264 0 0 0 21 4 0 0 20 0 20 0 420149425 27969658880 30854 33554432000 4194304 4196468 140724943892320 140724943874864 140484095569655 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27181056 140724943901419 140724943901846 140724943901846 140724943904719 0 /proc/11860/statm: 6828530 30854 2940 1 0 6790935 0 [pid=11860/tid=11861] ppid=11857 vsize=27314120 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/11860/task/11861/stat : 11861 (java) R 11857 11857 10407 0 -1 4202560 9935 0 0 0 17 3 0 0 20 0 20 0 420149425 27969658880 30854 33554432000 4194304 4196468 140724943892320 140484067369040 140484077133184 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27181056 140724943901419 140724943901846 140724943901846 140724943904719 0 [pid=11860/tid=11862] ppid=11857 vsize=27314120 memory=342 CPUtime=0 cores=0-7 /proc/11860/task/11862/stat : 11862 (java) S 11857 11857 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420149427 27969658880 30854 33554432000 4194304 4196468 140724943892320 140484099811984 140484095579861 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27181056 140724943901419 140724943901846 140724943901846 140724943904719 0 [pid=11860/tid=11863] ppid=11857 vsize=27314120 memory=140257870230752 CPUtime=0 cores=0-7 /proc/11860/task/11863/stat : 11863 (java) S 11857 11857 10407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420149427 27969658880 30854 33554432000 4194304 4196468 140724943892320 140483913968144 140484095579861 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27181056 140724943901419 140724943901846 140724943901846 140724943904719 0 [pid=11860/tid=11864] ppid=11857 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/11860/task/11864/stat : 11864 (java) S 11857 11857 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420149427 27969658880 30854 33554432000 4194304 4196468 140724943892320 140483912915344 140484095579861 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27181056 140724943901419 140724943901846 140724943901846 140724943904719 0 [pid=11860/tid=11865] ppid=11857 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/11860/task/11865/stat : 11865 (java) S 11857 11857 10407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420149427 27969658880 30854 33554432000 4194304 4196468 140724943892320 140483911862544 140484095579861 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27181056 140724943901419 140724943901846 140724943901846 140724943904719 0 [pid=11860/tid=11866] ppid=11857 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/11860/task/11866/stat : 11866 (java) S 11857 11857 10407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420149427 27969658880 30854 33554432000 4194304 4196468 140724943892320 140483910810768 140484095579861 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27181056 140724943901419 140724943901846 140724943901846 140724943904719 0 [pid=11860/tid=11867] ppid=11857 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/11860/task/11867/stat : 11867 (java) S 11857 11857 10407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420149427 27969658880 30854 33554432000 4194304 4196468 140724943892320 140483909757968 140484095579861 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27181056 140724943901419 140724943901846 140724943901846 140724943904719 0 [pid=11860/tid=11868] ppid=11857 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/11860/task/11868/stat : 11868 (java) S 11857 11857 10407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420149427 27969658880 30854 33554432000 4194304 4196468 140724943892320 140483908705168 140484095579861 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27181056 140724943901419 140724943901846 140724943901846 140724943904719 0 [pid=11860/tid=11869] ppid=11857 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/11860/task/11869/stat : 11869 (java) S 11857 11857 10407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420149428 27969658880 30854 33554432000 4194304 4196468 140724943892320 140483907652368 140484095579861 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27181056 140724943901419 140724943901846 140724943901846 140724943904719 0 [pid=11860/tid=11870] ppid=11857 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/11860/task/11870/stat : 11870 (java) S 11857 11857 10407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420149429 27969658880 30854 33554432000 4194304 4196468 140724943892320 140482684324208 140484095580802 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27181056 140724943901419 140724943901846 140724943901846 140724943904719 0 [pid=11860/tid=11871] ppid=11857 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/11860/task/11871/stat : 11871 (java) S 11857 11857 10407 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420149429 27969658880 30854 33554432000 4194304 4196468 140724943892320 140481669358624 140484095579861 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27181056 140724943901419 140724943901846 140724943901846 140724943904719 0 [pid=11860/tid=11872] ppid=11857 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/11860/task/11872/stat : 11872 (java) S 11857 11857 10407 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420149430 27969658880 30854 33554432000 4194304 4196468 140724943892320 140481535136624 140484095579861 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27181056 140724943901419 140724943901846 140724943901846 140724943904719 0 [pid=11860/tid=11873] ppid=11857 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/11860/task/11873/stat : 11873 (java) S 11857 11857 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420149432 27969658880 30854 33554432000 4194304 4196468 140724943892320 140481160632144 140484095588251 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27181056 140724943901419 140724943901846 140724943901846 140724943904719 0 [pid=11860/tid=11874] ppid=11857 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/11860/task/11874/stat : 11874 (java) S 11857 11857 10407 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 20 0 420149432 27969658880 30854 33554432000 4194304 4196468 140724943892320 140482683272048 140484095580802 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27181056 140724943901419 140724943901846 140724943901846 140724943904719 0 [pid=11860/tid=11875] ppid=11857 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/11860/task/11875/stat : 11875 (java) S 11857 11857 10407 0 -1 1077944384 139 0 0 0 0 0 0 0 20 0 20 0 420149432 27969658880 30854 33554432000 4194304 4196468 140724943892320 140482682219248 140484095580802 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27181056 140724943901419 140724943901846 140724943901846 140724943904719 0 [pid=11860/tid=11876] ppid=11857 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/11860/task/11876/stat : 11876 (java) S 11857 11857 10407 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 20 0 420149432 27969658880 30854 33554432000 4194304 4196468 140724943892320 140482681166448 140484095580802 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27181056 140724943901419 140724943901846 140724943901846 140724943904719 0 [pid=11860/tid=11877] ppid=11857 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7 /proc/11860/task/11877/stat : 11877 (java) S 11857 11857 10407 0 -1 1077944384 481 0 0 0 2 0 0 0 20 0 20 0 420149432 27969658880 30854 33554432000 4194304 4196468 140724943892320 140482680113648 140484095580802 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27181056 140724943901419 140724943901846 140724943901846 140724943904719 0 [pid=11860/tid=11878] ppid=11857 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/11860/task/11878/stat : 11878 (java) S 11857 11857 10407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420149432 27969658880 30854 33554432000 4194304 4196468 140724943892320 140480662727264 140484095579861 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27181056 140724943901419 140724943901846 140724943901846 140724943904719 0 [pid=11860/tid=11879] ppid=11857 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/11860/task/11879/stat : 11879 (java) S 11857 11857 10407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420149433 27969658880 30854 33554432000 4194304 4196468 140724943892320 140482679061040 140484095580802 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27181056 140724943901419 140724943901846 140724943901846 140724943904719 0 Current children cumulated CPU time: 0.25 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 124812 KiB [startup+0.309432 s]* /proc/loadavg: 8.83 8.43 8.29 2/212 11879 /proc/meminfo: memFree=24582300/32770624 swapFree=67108848/67108860 [pid=11857] ppid=11854 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/11857/stat : 11857 (scop.sh) S 11854 11857 10407 0 -1 4202496 558 319 0 0 0 0 0 0 20 0 1 0 420149424 115843072 349 33554432000 4194304 5098028 140723105338368 140723105335624 140686749995644 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 15847424 140723105342245 140723105342572 140723105342572 140723105345485 0 /proc/11857/statm: 28282 349 296 221 0 87 0 [pid=11860] ppid=11857 vsize=27314120 memory=127444 CPUtime=0.43 cores=0-7 /proc/11860/stat : 11860 (java) S 11857 11857 10407 0 -1 1077944320 12810 0 0 0 39 4 0 0 20 0 20 0 420149425 27969658880 31861 33554432000 4194304 4196468 140724943892320 140724943874864 140484095569655 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27181056 140724943901419 140724943901846 140724943901846 140724943904719 0 /proc/11860/statm: 6828530 31861 3019 1 0 6790935 0 [pid=11860/tid=11861] ppid=11857 vsize=27314120 memory=1398722017469774279 CPUtime=0.3 cores=0-7 /proc/11860/task/11861/stat : 11861 (java) R 11857 11857 10407 0 -1 4202560 10294 0 0 0 27 3 0 0 20 0 20 0 420149425 27969658880 31861 33554432000 4194304 4196468 140724943892320 140484067399728 140484095591002 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27181056 140724943901419 140724943901846 140724943901846 140724943904719 0 [pid=11860/tid=11862] ppid=11857 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/11860/task/11862/stat : 11862 (java) S 11857 11857 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420149427 27969658880 31861 33554432000 4194304 4196468 140724943892320 140484099811984 140484095579861 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27181056 140724943901419 140724943901846 140724943901846 140724943904719 0 [pid=11860/tid=11863] ppid=11857 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/11860/task/11863/stat : 11863 (java) S 11857 11857 10407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420149427 27969658880 31861 33554432000 4194304 4196468 140724943892320 140483913968144 140484095579861 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27181056 140724943901419 140724943901846 140724943901846 140724943904719 0 [pid=11860/tid=11864] ppid=11857 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/11860/task/11864/stat : 11864 (java) S 11857 11857 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420149427 27969658880 31861 33554432000 4194304 4196468 140724943892320 140483912915344 140484095579861 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27181056 140724943901419 140724943901846 140724943901846 140724943904719 0 [pid=11860/tid=11865] ppid=11857 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/11860/task/11865/stat : 11865 (java) S 11857 11857 10407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420149427 27969658880 31861 33554432000 4194304 4196468 140724943892320 140483911862544 140484095579861 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27181056 140724943901419 140724943901846 140724943901846 140724943904719 0 [pid=11860/tid=11866] ppid=11857 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/11860/task/11866/stat : 11866 (java) S 11857 11857 10407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420149427 27969658880 31861 33554432000 4194304 4196468 140724943892320 140483910810768 140484095579861 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27181056 140724943901419 140724943901846 140724943901846 140724943904719 0 [pid=11860/tid=11867] ppid=11857 vsize=27314120 memory=140257727179439 CPUtime=0 cores=0-7 /proc/11860/task/11867/stat : 11867 (java) S 11857 11857 10407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420149427 27969658880 31861 33554432000 4194304 4196468 140724943892320 140483909757968 140484095579861 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27181056 140724943901419 140724943901846 140724943901846 140724943904719 0 [pid=11860/tid=11868] ppid=11857 vsize=27314120 memory=140257727181744 CPUtime=0 cores=0-7 /proc/11860/task/11868/stat : 11868 (java) S 11857 11857 10407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420149427 27969658880 31861 33554432000 4194304 4196468 140724943892320 140483908705168 140484095579861 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27181056 140724943901419 140724943901846 140724943901846 140724943904719 0 [pid=11860/tid=11869] ppid=11857 vsize=27314120 memory=140257727184048 CPUtime=0 cores=0-7 /proc/11860/task/11869/stat : 11869 (java) S 11857 11857 10407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420149428 27969658880 31861 33554432000 4194304 4196468 140724943892320 140483907652368 140484095579861 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27181056 140724943901419 140724943901846 140724943901846 140724943904719 0 [pid=11860/tid=11870] ppid=11857 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/11860/task/11870/stat : 11870 (java) S 11857 11857 10407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420149429 27969658880 31861 33554432000 4194304 4196468 140724943892320 140482684324208 140484095580802 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27181056 140724943901419 140724943901846 140724943901846 140724943904719 0 [pid=11860/tid=11871] ppid=11857 vsize=27314120 memory=280515454381968 CPUtime=0 cores=0-7 /proc/11860/task/11871/stat : 11871 (java) S 11857 11857 10407 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420149429 27969658880 31861 33554432000 4194304 4196468 140724943892320 140481669358624 140484095579861 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27181056 140724943901419 140724943901846 140724943901846 140724943904719 0 [pid=11860/tid=11872] ppid=11857 vsize=27314120 memory=280515454379664 CPUtime=0 cores=0-7 /proc/11860/task/11872/stat : 11872 (java) S 11857 11857 10407 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420149430 27969658880 31861 33554432000 4194304 4196468 140724943892320 140481535136624 140484095579861 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27181056 140724943901419 140724943901846 140724943901846 140724943904719 0 [pid=11860/tid=11873] ppid=11857 vsize=27314120 memory=280515454386576 CPUtime=0 cores=0-7 /proc/11860/task/11873/stat : 11873 (java) S 11857 11857 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420149432 27969658880 31861 33554432000 4194304 4196468 140724943892320 140481160632144 140484095588251 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27181056 140724943901419 140724943901846 140724943901846 140724943904719 0 [pid=11860/tid=11874] ppid=11857 vsize=27314120 memory=280515454327856 CPUtime=0.02 cores=0-7 /proc/11860/task/11874/stat : 11874 (java) S 11857 11857 10407 0 -1 1077944384 412 0 0 0 2 0 0 0 20 0 20 0 420149432 27969658880 31861 33554432000 4194304 4196468 140724943892320 140482683272048 140484095580802 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27181056 140724943901419 140724943901846 140724943901846 140724943904719 0 [pid=11860/tid=11875] ppid=11857 vsize=27314120 memory=280515454400400 CPUtime=0.01 cores=0-7 /proc/11860/task/11875/stat : 11875 (java) R 11857 11857 10407 0 -1 4202560 175 0 0 0 1 0 0 0 20 0 20 0 420149432 27969658880 31861 33554432000 4194304 4196468 140724943892320 140482682219248 140484073204304 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27181056 140724943901419 140724943901846 140724943901846 140724943904719 0 [pid=11860/tid=11876] ppid=11857 vsize=27314120 memory=280515454407312 CPUtime=0 cores=0-7 /proc/11860/task/11876/stat : 11876 (java) S 11857 11857 10407 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 20 0 420149432 27969658880 31861 33554432000 4194304 4196468 140724943892320 140482681166448 140484095580802 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27181056 140724943901419 140724943901846 140724943901846 140724943904719 0 [pid=11860/tid=11877] ppid=11857 vsize=27314120 memory=280515454405008 CPUtime=0.07 cores=0-7 /proc/11860/task/11877/stat : 11877 (java) S 11857 11857 10407 0 -1 1077944384 528 0 0 0 7 0 0 0 20 0 20 0 420149432 27969658880 31861 33554432000 4194304 4196468 140724943892320 140482680113648 140484095580802 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27181056 140724943901419 140724943901846 140724943901846 140724943904719 0 [pid=11860/tid=11878] ppid=11857 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/11860/task/11878/stat : 11878 (java) S 11857 11857 10407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420149432 27969658880 31861 33554432000 4194304 4196468 140724943892320 140480662727264 140484095579861 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27181056 140724943901419 140724943901846 140724943901846 140724943904719 0 [pid=11860/tid=11879] ppid=11857 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/11860/task/11879/stat : 11879 (java) S 11857 11857 10407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420149433 27969658880 31861 33554432000 4194304 4196468 140724943892320 140482679061040 140484095580802 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27181056 140724943901419 140724943901846 140724943901846 140724943904719 0 Current children cumulated CPU time: 0.43 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 128840 KiB [startup+0.700912 s] /proc/loadavg: 8.83 8.43 8.29 2/212 11879 /proc/meminfo: memFree=24561564/32770624 swapFree=67108848/67108860 [pid=11857] ppid=11854 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/11857/stat : 11857 (scop.sh) S 11854 11857 10407 0 -1 4202496 558 319 0 0 0 0 0 0 20 0 1 0 420149424 115843072 349 33554432000 4194304 5098028 140723105338368 140723105335624 140686749995644 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 15847424 140723105342245 140723105342572 140723105342572 140723105345485 0 /proc/11857/statm: 28282 349 296 221 0 87 0 [pid=11860] ppid=11857 vsize=27320392 memory=163160 CPUtime=1 cores=0-7 /proc/11860/stat : 11860 (java) S 11857 11857 10407 0 -1 1077944320 20469 0 0 0 93 7 0 0 20 0 20 0 420149425 27976081408 40790 33554432000 4194304 4196468 140724943892320 140724943874864 140484095569655 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27181056 140724943901419 140724943901846 140724943901846 140724943904719 0 /proc/11860/statm: 6830098 40790 3182 1 0 6791447 0 [pid=11860/tid=11861] ppid=11857 vsize=27320392 memory=0 CPUtime=0.68 cores=0-7 /proc/11860/task/11861/stat : 11861 (java) R 11857 11857 10407 0 -1 4202560 17352 0 0 0 63 5 0 0 20 0 20 0 420149425 27976081408 40790 33554432000 4194304 4196468 140724943892320 140484067405248 140484079650142 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27181056 140724943901419 140724943901846 140724943901846 140724943904719 0 [pid=11860/tid=11862] ppid=11857 vsize=27320392 memory=140257727390576 CPUtime=0 cores=0-7 /proc/11860/task/11862/stat : 11862 (java) S 11857 11857 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420149427 27976081408 40790 33554432000 4194304 4196468 140724943892320 140484099811984 140484095579861 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27181056 140724943901419 140724943901846 140724943901846 140724943904719 0 [pid=11860/tid=11863] ppid=11857 vsize=27320392 memory=0 CPUtime=0 cores=0-7 /proc/11860/task/11863/stat : 11863 (java) S 11857 11857 10407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420149427 27976081408 40790 33554432000 4194304 4196468 140724943892320 140483913968144 140484095579861 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27181056 140724943901419 140724943901846 140724943901846 140724943904719 0 [pid=11860/tid=11864] ppid=11857 vsize=27320392 memory=7180 CPUtime=0 cores=0-7 /proc/11860/task/11864/stat : 11864 (java) S 11857 11857 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420149427 27976081408 40790 33554432000 4194304 4196468 140724943892320 140483912915344 140484095579861 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27181056 140724943901419 140724943901846 140724943901846 140724943904719 0 ################ # More data... # ################ [pid=11880/tid=11881] ppid=11857 vsize=8414124 memory=1398722017469774279 CPUtime=0.79 cores=0-7 /proc/11880/task/11881/stat : 11881 (java) S 11857 11857 10407 0 -1 1077944384 17873 0 0 0 73 6 0 0 20 0 24 0 420152388 8616062976 41720 33554432000 4194304 4196468 140727644465280 140448387067808 140448415237845 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35024896 140727644472311 140727644472470 140727644472470 140727644475343 0 [pid=11880/tid=11882] ppid=11857 vsize=8414124 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/11880/task/11882/stat : 11882 (java) S 11857 11857 10407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420152389 8616062976 41720 33554432000 4194304 4196468 140727644465280 140448419470480 140448415237845 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35024896 140727644472311 140727644472470 140727644472470 140727644475343 0 [pid=11880/tid=11883] ppid=11857 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/11880/task/11883/stat : 11883 (java) S 11857 11857 10407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420152389 8616062976 41720 33554432000 4194304 4196468 140727644465280 140448250719248 140448415237845 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35024896 140727644472311 140727644472470 140727644472470 140727644475343 0 [pid=11880/tid=11884] ppid=11857 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/11880/task/11884/stat : 11884 (java) S 11857 11857 10407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420152389 8616062976 41720 33554432000 4194304 4196468 140727644465280 140447899298704 140448415237845 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35024896 140727644472311 140727644472470 140727644472470 140727644475343 0 [pid=11880/tid=11885] ppid=11857 vsize=8414124 memory=140257728075172 CPUtime=0 cores=0-7 /proc/11880/task/11885/stat : 11885 (java) S 11857 11857 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420152389 8616062976 41720 33554432000 4194304 4196468 140727644465280 140447898245904 140448415237845 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35024896 140727644472311 140727644472470 140727644472470 140727644475343 0 [pid=11880/tid=11886] ppid=11857 vsize=8414124 memory=1804 CPUtime=0 cores=0-7 /proc/11880/task/11886/stat : 11886 (java) S 11857 11857 10407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420152389 8616062976 41720 33554432000 4194304 4196468 140727644465280 140447897193104 140448415237845 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35024896 140727644472311 140727644472470 140727644472470 140727644475343 0 [pid=11880/tid=11887] ppid=11857 vsize=8414124 memory=5536 CPUtime=0 cores=0-7 /proc/11880/task/11887/stat : 11887 (java) S 11857 11857 10407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420152389 8616062976 41720 33554432000 4194304 4196468 140727644465280 140447896140304 140448415237845 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35024896 140727644472311 140727644472470 140727644472470 140727644475343 0 [pid=11880/tid=11888] ppid=11857 vsize=8414124 memory=4540 CPUtime=0 cores=0-7 /proc/11880/task/11888/stat : 11888 (java) S 11857 11857 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420152389 8616062976 41720 33554432000 4194304 4196468 140727644465280 140447895087504 140448415237845 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35024896 140727644472311 140727644472470 140727644472470 140727644475343 0 [pid=11880/tid=11889] ppid=11857 vsize=8414124 memory=752 CPUtime=0 cores=0-7 /proc/11880/task/11889/stat : 11889 (java) S 11857 11857 10407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420152389 8616062976 41720 33554432000 4194304 4196468 140727644465280 140447894034704 140448415237845 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35024896 140727644472311 140727644472470 140727644472470 140727644475343 0 [pid=11880/tid=11890] ppid=11857 vsize=8414124 memory=1636 CPUtime=0 cores=0-7 /proc/11880/task/11890/stat : 11890 (java) S 11857 11857 10407 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 420152391 8616062976 41720 33554432000 4194304 4196468 140727644465280 140447373572976 140448415238786 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35024896 140727644472311 140727644472470 140727644472470 140727644475343 0 [pid=11880/tid=11891] ppid=11857 vsize=8414124 memory=812 CPUtime=0 cores=0-7 /proc/11880/task/11891/stat : 11891 (java) S 11857 11857 10407 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 420152391 8616062976 41720 33554432000 4194304 4196468 140727644465280 140447041185312 140448415237845 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35024896 140727644472311 140727644472470 140727644472470 140727644475343 0 [pid=11880/tid=11892] ppid=11857 vsize=8414124 memory=1840 CPUtime=0 cores=0-7 /proc/11880/task/11892/stat : 11892 (java) S 11857 11857 10407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420152391 8616062976 41720 33554432000 4194304 4196468 140727644465280 140446772749680 140448415237845 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35024896 140727644472311 140727644472470 140727644472470 140727644475343 0 [pid=11880/tid=11893] ppid=11857 vsize=8414124 memory=1384 CPUtime=0 cores=0-7 /proc/11880/task/11893/stat : 11893 (java) S 11857 11857 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420152394 8616062976 41720 33554432000 4194304 4196468 140727644465280 140446398241104 140448415246235 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35024896 140727644472311 140727644472470 140727644472470 140727644475343 0 [pid=11880/tid=11894] ppid=11857 vsize=8414124 memory=7180 CPUtime=0.08 cores=0-7 /proc/11880/task/11894/stat : 11894 (java) R 11857 11857 10407 0 -1 4202560 590 0 0 0 8 0 0 0 20 0 24 0 420152394 8616062976 41720 33554432000 4194304 4196468 140727644465280 140447372519792 140448399615152 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35024896 140727644472311 140727644472470 140727644472470 140727644475343 0 [pid=11880/tid=11895] ppid=11857 vsize=8414124 memory=1100 CPUtime=0.16 cores=0-7 /proc/11880/task/11895/stat : 11895 (java) R 11857 11857 10407 0 -1 4202560 628 0 0 0 16 0 0 0 20 0 24 0 420152394 8616062976 41720 33554432000 4194304 4196468 140727644465280 140447371466992 140448395985921 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35024896 140727644472311 140727644472470 140727644472470 140727644475343 0 [pid=11880/tid=11896] ppid=11857 vsize=8414124 memory=15208 CPUtime=0.09 cores=0-7 /proc/11880/task/11896/stat : 11896 (java) S 11857 11857 10407 0 -1 1077944384 563 0 0 0 9 0 0 0 20 0 24 0 420152394 8616062976 41720 33554432000 4194304 4196468 140727644465280 140447370414192 140448415238786 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35024896 140727644472311 140727644472470 140727644472470 140727644475343 0 [pid=11880/tid=11897] ppid=11857 vsize=8414124 memory=1476 CPUtime=0.25 cores=0-7 /proc/11880/task/11897/stat : 11897 (java) R 11857 11857 10407 0 -1 1077944384 1241 0 0 0 25 0 0 0 20 0 24 0 420152394 8616062976 41720 33554432000 4194304 4196468 140727644465280 140447369361392 140448415238786 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35024896 140727644472311 140727644472470 140727644472470 140727644475343 0 [pid=11880/tid=11898] ppid=11857 vsize=8414124 memory=7686721470234008980 CPUtime=0 cores=0-7 /proc/11880/task/11898/stat : 11898 (java) S 11857 11857 10407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420152394 8616062976 41720 33554432000 4194304 4196468 140727644465280 140445900336224 140448415237845 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35024896 140727644472311 140727644472470 140727644472470 140727644475343 0 [pid=11880/tid=11899] ppid=11857 vsize=8414124 memory=3924 CPUtime=0.04 cores=0-7 /proc/11880/task/11899/stat : 11899 (java) S 11857 11857 10407 0 -1 1077944384 5 0 0 0 3 1 0 0 20 0 24 0 420152394 8616062976 41720 33554432000 4194304 4196468 140727644465280 140447368309808 140448415238786 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 35024896 140727644472311 140727644472470 140727644472470 140727644475343 0 [pid=11880/tid=11901] ppid=11857 vsize=8414124 memory=41624 CPUtime=0 cores=0-7 /proc/11880/task/11901/stat : 11901 (java) S 11857 11857 10407 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 420152464 8616062976 41720 33554432000 4194304 4196468 140727644465280 140447712687680 140448415252249 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 35024896 140727644472311 140727644472470 140727644472470 140727644475343 0 [pid=11880/tid=11903] ppid=11857 vsize=8414124 memory=1228 CPUtime=0.1 cores=0-7 /proc/11880/task/11903/stat : 11903 (java) R 11857 11857 10407 0 -1 4202560 78 0 0 0 9 1 0 0 20 0 24 0 420152464 8616062976 41720 33554432000 4194304 4196468 140727644465280 140445229235840 140447917359404 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35024896 140727644472311 140727644472470 140727644472470 140727644475343 0 [pid=11880/tid=11904] ppid=11857 vsize=8414124 memory=1476 CPUtime=0 cores=0-7 /proc/11880/task/11904/stat : 11904 (java) S 11857 11857 10407 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 420152464 8616062976 41720 33554432000 4194304 4196468 140727644465280 140445497671216 140448415249565 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 35024896 140727644472311 140727644472470 140727644472470 140727644475343 0 [pid=11880/tid=11905] ppid=11857 vsize=8414124 memory=288230574492221466 CPUtime=0 cores=0-7 /proc/11880/task/11905/stat : 11905 (java) S 11857 11857 10407 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 420152466 8616062976 41720 33554432000 4194304 4196468 140727644465280 140444960807984 140448415237845 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35024896 140727644472311 140727644472470 140727644472470 140727644475343 0 Current children cumulated CPU time: 40.76 s Current children cumulated vsize: 8527252 KiB Current children cumulated memory: 168356 KiB [startup+84.2084 s] /proc/loadavg: 6.41 7.57 7.99 3/217 11918 /proc/meminfo: memFree=21506704/32770624 swapFree=67108848/67108860 [pid=11857] ppid=11854 vsize=113128 memory=1476 CPUtime=39.2 cores=0-7 /proc/11857/stat : 11857 (scop.sh) S 11854 11857 10407 0 -1 4202496 584 35441 0 0 0 0 3767 153 20 0 1 0 420149424 115843072 369 33554432000 4194304 5098028 140723105338368 140723105335112 140686749995644 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 15847424 140723105342245 140723105342572 140723105342572 140723105345485 0 /proc/11857/statm: 28282 369 311 221 0 87 0 [pid=11880] ppid=11857 vsize=8283048 memory=205192 CPUtime=372.24 cores=0-7 /proc/11880/stat : 11880 (java) S 11857 11857 10407 0 -1 1077944320 22836 3733736 0 0 182 11 36347 684 20 0 22 0 420152387 8481841152 51298 33554432000 4194304 4196468 140727644465280 140727644447824 140448415227639 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35024896 140727644472311 140727644472470 140727644472470 140727644475343 0 /proc/11880/statm: 2070762 51298 3227 1 0 2032106 0 [pid=11880/tid=11881] ppid=11857 vsize=8283048 memory=3924 CPUtime=371.15 cores=0-7 /proc/11880/task/11881/stat : 11881 (java) R 11857 11857 10407 0 -1 4202560 18037 3733736 0 0 78 6 36347 684 20 0 22 0 420152388 8481841152 51298 33554432000 4194304 4196468 140727644465280 140448387065568 140448394938086 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35024896 140727644472311 140727644472470 140727644472470 140727644475343 0 [pid=11880/tid=11882] ppid=11857 vsize=8283048 memory=6791534058613427641 CPUtime=370.31 cores=0-7 /proc/11880/task/11882/stat : 11882 (java) S 11857 11857 10407 0 -1 1077944384 2 3733736 0 0 0 0 36347 684 20 0 22 0 420152389 8481841152 51298 33554432000 4194304 4196468 140727644465280 140448419470480 140448415237845 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35024896 140727644472311 140727644472470 140727644472470 140727644475343 0 [pid=11880/tid=11883] ppid=11857 vsize=8283048 memory=288230596050944315 CPUtime=370.31 cores=0-7 /proc/11880/task/11883/stat : 11883 (java) S 11857 11857 10407 0 -1 1077944384 3 3733736 0 0 0 0 36347 684 20 0 22 0 420152389 8481841152 51298 33554432000 4194304 4196468 140727644465280 140448250719248 140448415237845 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35024896 140727644472311 140727644472470 140727644472470 140727644475343 0 [pid=11880/tid=11884] ppid=11857 vsize=8283048 memory=15544015764327050 CPUtime=370.31 cores=0-7 /proc/11880/task/11884/stat : 11884 (java) S 11857 11857 10407 0 -1 1077944384 2 3733736 0 0 0 0 36347 684 20 0 22 0 420152389 8481841152 51298 33554432000 4194304 4196468 140727644465280 140447899298704 140448415237845 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35024896 140727644472311 140727644472470 140727644472470 140727644475343 0 [pid=11880/tid=11885] ppid=11857 vsize=8283048 memory=4108 CPUtime=370.31 cores=0-7 /proc/11880/task/11885/stat : 11885 (java) S 11857 11857 10407 0 -1 1077944384 1 3733736 0 0 0 0 36347 684 20 0 22 0 420152389 8481841152 51298 33554432000 4194304 4196468 140727644465280 140447898245904 140448415237845 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35024896 140727644472311 140727644472470 140727644472470 140727644475343 0 [pid=11880/tid=11886] ppid=11857 vsize=8283048 memory=1408 CPUtime=370.31 cores=0-7 /proc/11880/task/11886/stat : 11886 (java) S 11857 11857 10407 0 -1 1077944384 2 3733736 0 0 0 0 36347 684 20 0 22 0 420152389 8481841152 51298 33554432000 4194304 4196468 140727644465280 140447897193104 140448415237845 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35024896 140727644472311 140727644472470 140727644472470 140727644475343 0 [pid=11880/tid=11887] ppid=11857 vsize=8283048 memory=3432 CPUtime=370.31 cores=0-7 /proc/11880/task/11887/stat : 11887 (java) S 11857 11857 10407 0 -1 1077944384 2 3733736 0 0 0 0 36347 684 20 0 22 0 420152389 8481841152 51298 33554432000 4194304 4196468 140727644465280 140447896140304 140448415237845 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35024896 140727644472311 140727644472470 140727644472470 140727644475343 0 [pid=11880/tid=11888] ppid=11857 vsize=8283048 memory=1476 CPUtime=370.31 cores=0-7 /proc/11880/task/11888/stat : 11888 (java) S 11857 11857 10407 0 -1 1077944384 1 3733736 0 0 0 0 36347 684 20 0 22 0 420152389 8481841152 51298 33554432000 4194304 4196468 140727644465280 140447895087504 140448415237845 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35024896 140727644472311 140727644472470 140727644472470 140727644475343 0 [pid=11880/tid=11889] ppid=11857 vsize=8283048 memory=120668 CPUtime=370.31 cores=0-7 /proc/11880/task/11889/stat : 11889 (java) S 11857 11857 10407 0 -1 1077944384 2 3733736 0 0 0 0 36347 684 20 0 22 0 420152389 8481841152 51298 33554432000 4194304 4196468 140727644465280 140447894034704 140448415237845 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35024896 140727644472311 140727644472470 140727644472470 140727644475343 0 [pid=11880/tid=11890] ppid=11857 vsize=8283048 memory=3161868 CPUtime=370.31 cores=0-7 /proc/11880/task/11890/stat : 11890 (java) S 11857 11857 10407 0 -1 1077944384 8 3733736 0 0 0 0 36347 684 20 0 22 0 420152391 8481841152 51298 33554432000 4194304 4196468 140727644465280 140447373572976 140448415238786 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35024896 140727644472311 140727644472470 140727644472470 140727644475343 0 [pid=11880/tid=11891] ppid=11857 vsize=8283048 memory=1964 CPUtime=370.31 cores=0-7 /proc/11880/task/11891/stat : 11891 (java) S 11857 11857 10407 0 -1 1077944384 13 3733736 0 0 0 0 36347 684 20 0 22 0 420152391 8481841152 51298 33554432000 4194304 4196468 140727644465280 140447041185312 140448415237845 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35024896 140727644472311 140727644472470 140727644472470 140727644475343 0 [pid=11880/tid=11892] ppid=11857 vsize=8283048 memory=1398722017469774279 CPUtime=370.31 cores=0-7 /proc/11880/task/11892/stat : 11892 (java) S 11857 11857 10407 0 -1 1077944384 2 3733736 0 0 0 0 36347 684 20 0 22 0 420152391 8481841152 51298 33554432000 4194304 4196468 140727644465280 140446772749680 140448415237845 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35024896 140727644472311 140727644472470 140727644472470 140727644475343 0 [pid=11880/tid=11893] ppid=11857 vsize=8283048 memory=4872558044660077418 CPUtime=370.31 cores=0-7 /proc/11880/task/11893/stat : 11893 (java) S 11857 11857 10407 0 -1 1077944384 1 3733736 0 0 0 0 36347 684 20 0 22 0 420152394 8481841152 51298 33554432000 4194304 4196468 140727644465280 140446398241104 140448415246235 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35024896 140727644472311 140727644472470 140727644472470 140727644475343 0 [pid=11880/tid=11894] ppid=11857 vsize=8283048 memory=1840 CPUtime=370.43 cores=0-7 /proc/11880/task/11894/stat : 11894 (java) R 11857 11857 10407 0 -1 4202560 611 3733736 0 0 12 0 36347 684 20 0 22 0 420152394 8481841152 51298 33554432000 4194304 4196468 140727644465280 140447372519920 140448393219491 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35024896 140727644472311 140727644472470 140727644472470 140727644475343 0 [pid=11880/tid=11895] ppid=11857 vsize=8283048 memory=1384 CPUtime=370.52 cores=0-7 /proc/11880/task/11895/stat : 11895 (java) R 11857 11857 10407 0 -1 4202560 640 3733736 0 0 21 0 36347 684 20 0 22 0 420152394 8481841152 51298 33554432000 4194304 4196468 140727644465280 140447371460224 140448396747691 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35024896 140727644472311 140727644472470 140727644472470 140727644475343 0 [pid=11880/tid=11896] ppid=11857 vsize=8283048 memory=924 CPUtime=370.45 cores=0-7 /proc/11880/task/11896/stat : 11896 (java) R 11857 11857 10407 0 -1 4202560 591 3733736 0 0 14 0 36347 684 20 0 22 0 420152394 8481841152 51298 33554432000 4194304 4196468 140727644465280 140447370406144 140448415248986 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35024896 140727644472311 140727644472470 140727644472470 140727644475343 0 [pid=11880/tid=11897] ppid=11857 vsize=8283048 memory=2376 CPUtime=370.6 cores=0-7 /proc/11880/task/11897/stat : 11897 (java) R 11857 11857 10407 0 -1 4202560 1319 3733736 0 0 29 0 36347 684 20 0 22 0 420152394 8481841152 51298 33554432000 4194304 4196468 140727644465280 140447369361392 140448415248986 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35024896 140727644472311 140727644472470 140727644472470 140727644475343 0 [pid=11880/tid=11898] ppid=11857 vsize=8283048 memory=2212 CPUtime=370.31 cores=0-7 /proc/11880/task/11898/stat : 11898 (java) S 11857 11857 10407 0 -1 1077944384 3 3733736 0 0 0 0 36347 684 20 0 22 0 420152394 8481841152 51298 33554432000 4194304 4196468 140727644465280 140445900336224 140448415237845 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35024896 140727644472311 140727644472470 140727644472470 140727644475343 0 [pid=11880/tid=11899] ppid=11857 vsize=8283048 memory=4276 CPUtime=370.35 cores=0-7 /proc/11880/task/11899/stat : 11899 (java) S 11857 11857 10407 0 -1 1077944384 5 3733736 0 0 3 1 36347 684 20 0 22 0 420152394 8481841152 51298 33554432000 4194304 4196468 140727644465280 140447368309808 140448415238786 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 4 0 0 6293624 6294260 35024896 140727644472311 140727644472470 140727644472470 140727644475343 0 [pid=11880/tid=11901] ppid=11857 vsize=8283048 memory=1536 CPUtime=370.31 cores=0-7 /proc/11880/task/11901/stat : 11901 (java) S 11857 11857 10407 0 -1 1077944384 24 3733736 0 0 0 0 36347 684 20 0 22 0 420152464 8481841152 51298 33554432000 4194304 4196468 140727644465280 140447712686864 140448415238786 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35024896 140727644472311 140727644472470 140727644472470 140727644475343 0 [pid=11880/tid=11905] ppid=11857 vsize=8283048 memory=111636 CPUtime=370.31 cores=0-7 /proc/11880/task/11905/stat : 11905 (java) S 11857 11857 10407 0 -1 1077944384 14 3733736 0 0 0 0 36347 684 20 0 22 0 420152466 8481841152 51298 33554432000 4194304 4196468 140727644465280 140444960809776 140448415238786 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35024896 140727644472311 140727644472470 140727644472470 140727644475343 0 Current children cumulated CPU time: 411.44 s Current children cumulated vsize: 8396176 KiB Current children cumulated memory: 206668 KiB [startup+84.301 s] /proc/loadavg: 6.41 7.57 7.99 3/217 11918 /proc/meminfo: memFree=21506704/32770624 swapFree=67108848/67108860 [pid=11857] ppid=11854 vsize=113128 memory=1476 CPUtime=39.2 cores=0-7 /proc/11857/stat : 11857 (scop.sh) S 11854 11857 10407 0 -1 4202496 584 35441 0 0 0 0 3767 153 20 0 1 0 420149424 115843072 369 33554432000 4194304 5098028 140723105338368 140723105335112 140686749995644 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 15847424 140723105342245 140723105342572 140723105342572 140723105345485 0 /proc/11857/statm: 28282 369 311 221 0 87 0 [pid=11880] ppid=11857 vsize=8283048 memory=226820 CPUtime=372.49 cores=0-7 /proc/11880/stat : 11880 (java) S 11857 11857 10407 0 -1 1077944320 23927 3733736 0 0 206 12 36347 684 20 0 22 0 420152387 8481841152 56705 33554432000 4194304 4196468 140727644465280 140727644447824 140448415227639 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35024896 140727644472311 140727644472470 140727644472470 140727644475343 0 /proc/11880/statm: 2070762 56705 3234 1 0 2032106 0 [pid=11880/tid=11881] ppid=11857 vsize=8284072 memory=1476 CPUtime=371.25 cores=0-7 /proc/11880/task/11881/stat : 11881 (java) R 11857 11857 10407 0 -1 4202560 18993 3733736 0 0 87 7 36347 684 20 0 22 0 420152388 8482889728 56705 33554432000 4194304 4196468 140727644465280 140448387054368 140448407907357 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35024896 140727644472311 140727644472470 140727644472470 140727644475343 0 [pid=11880/tid=11882] ppid=11857 vsize=8284072 memory=41624 CPUtime=370.31 cores=0-7 /proc/11880/task/11882/stat : 11882 (java) S 11857 11857 10407 0 -1 1077944384 2 3733736 0 0 0 0 36347 684 20 0 22 0 420152389 8482889728 56705 33554432000 4194304 4196468 140727644465280 140448419470480 140448415237845 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35024896 140727644472311 140727644472470 140727644472470 140727644475343 0 [pid=11880/tid=11883] ppid=11857 vsize=8284072 memory=297237795305685307 CPUtime=370.31 cores=0-7 /proc/11880/task/11883/stat : 11883 (java) S 11857 11857 10407 0 -1 1077944384 3 3733736 0 0 0 0 36347 684 20 0 22 0 420152389 8482889728 56705 33554432000 4194304 4196468 140727644465280 140448250719248 140448415237845 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35024896 140727644472311 140727644472470 140727644472470 140727644475343 0 [pid=11880/tid=11884] ppid=11857 vsize=8284072 memory=15544015764327050 CPUtime=370.31 cores=0-7 /proc/11880/task/11884/stat : 11884 (java) S 11857 11857 10407 0 -1 1077944384 2 3733736 0 0 0 0 36347 684 20 0 22 0 420152389 8482889728 56705 33554432000 4194304 4196468 140727644465280 140447899298704 140448415237845 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35024896 140727644472311 140727644472470 140727644472470 140727644475343 0 [pid=11880/tid=11885] ppid=11857 vsize=8284072 memory=0 CPUtime=370.31 cores=0-7 /proc/11880/task/11885/stat : 11885 (java) S 11857 11857 10407 0 -1 1077944384 1 3733736 0 0 0 0 36347 684 20 0 22 0 420152389 8482889728 56705 33554432000 4194304 4196468 140727644465280 140447898245904 140448415237845 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35024896 140727644472311 140727644472470 140727644472470 140727644475343 0 [pid=11880/tid=11886] ppid=11857 vsize=8284072 memory=4420 CPUtime=370.31 cores=0-7 /proc/11880/task/11886/stat : 11886 (java) S 11857 11857 10407 0 -1 1077944384 2 3733736 0 0 0 0 36347 684 20 0 22 0 420152389 8482889728 56770 33554432000 4194304 4196468 140727644465280 140447897193104 140448415237845 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35024896 140727644472311 140727644472470 140727644472470 140727644475343 0 [pid=11880/tid=11887] ppid=11857 vsize=8284072 memory=1577 CPUtime=370.31 cores=0-7 /proc/11880/task/11887/stat : 11887 (java) S 11857 11857 10407 0 -1 1077944384 2 3733736 0 0 0 0 36347 684 20 0 22 0 420152389 8482889728 56770 33554432000 4194304 4196468 140727644465280 140447896140304 140448415237845 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35024896 140727644472311 140727644472470 140727644472470 140727644475343 0 [pid=11880/tid=11888] ppid=11857 vsize=8284072 memory=1565 CPUtime=370.31 cores=0-7 /proc/11880/task/11888/stat : 11888 (java) S 11857 11857 10407 0 -1 1077944384 1 3733736 0 0 0 0 36347 684 20 0 22 0 420152389 8482889728 56770 33554432000 4194304 4196468 140727644465280 140447895087504 140448415237845 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35024896 140727644472311 140727644472470 140727644472470 140727644475343 0 [pid=11880/tid=11889] ppid=11857 vsize=8284072 memory=12 CPUtime=370.31 cores=0-7 /proc/11880/task/11889/stat : 11889 (java) S 11857 11857 10407 0 -1 1077944384 2 3733736 0 0 0 0 36347 684 20 0 22 0 420152389 8482889728 56770 33554432000 4194304 4196468 140727644465280 140447894034704 140448415237845 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35024896 140727644472311 140727644472470 140727644472470 140727644475343 0 [pid=11880/tid=11890] ppid=11857 vsize=8284072 memory=5 CPUtime=370.31 cores=0-7 /proc/11880/task/11890/stat : 11890 (java) S 11857 11857 10407 0 -1 1077944384 8 3733736 0 0 0 0 36347 684 20 0 22 0 420152391 8482889728 56836 33554432000 4194304 4196468 140727644465280 140447373572976 140448415238786 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35024896 140727644472311 140727644472470 140727644472470 140727644475343 0 [pid=11880/tid=11891] ppid=11857 vsize=8284072 memory=21 CPUtime=370.31 cores=0-7 /proc/11880/task/11891/stat : 11891 (java) S 11857 11857 10407 0 -1 1077944384 13 3733736 0 0 0 0 36347 684 20 0 22 0 420152391 8482889728 56836 33554432000 4194304 4196468 140727644465280 140447041185312 140448415237845 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35024896 140727644472311 140727644472470 140727644472470 140727644475343 0 [pid=11880/tid=11892] ppid=11857 vsize=8284072 memory=1476 CPUtime=370.31 cores=0-7 /proc/11880/task/11892/stat : 11892 (java) S 11857 11857 10407 0 -1 1077944384 2 3733736 0 0 0 0 36347 684 20 0 22 0 420152391 8482889728 56836 33554432000 4194304 4196468 140727644465280 140446772749680 140448415237845 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35024896 140727644472311 140727644472470 140727644472470 140727644475343 0 [pid=11880/tid=11893] ppid=11857 vsize=8284072 memory=120668 CPUtime=370.31 cores=0-7 /proc/11880/task/11893/stat : 11893 (java) S 11857 11857 10407 0 -1 1077944384 1 3733736 0 0 0 0 36347 684 20 0 22 0 420152394 8482889728 56836 33554432000 4194304 4196468 140727644465280 140446398241104 140448415246235 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35024896 140727644472311 140727644472470 140727644472470 140727644475343 0 [pid=11880/tid=11894] ppid=11857 vsize=8284072 memory=3161256 CPUtime=370.45 cores=0-7 /proc/11880/task/11894/stat : 11894 (java) S 11857 11857 10407 0 -1 1077944384 627 3733736 0 0 14 0 36347 684 20 0 22 0 420152394 8482889728 56836 33554432000 4194304 4196468 140727644465280 140447372519792 140448415238786 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35024896 140727644472311 140727644472470 140727644472470 140727644475343 0 [pid=11880/tid=11895] ppid=11857 vsize=8284072 memory=56 CPUtime=370.56 cores=0-7 /proc/11880/task/11895/stat : 11895 (java) S 11857 11857 10407 0 -1 1077944384 660 3733736 0 0 25 0 36347 684 20 0 22 0 420152394 8482889728 56902 33554432000 4194304 4196468 140727644465280 140447371466992 140448415238786 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35024896 140727644472311 140727644472470 140727644472470 140727644475343 0 [pid=11880/tid=11896] ppid=11857 vsize=8284072 memory=6944656592455360604 CPUtime=370.5 cores=0-7 /proc/11880/task/11896/stat : 11896 (java) S 11857 11857 10407 0 -1 1077944384 610 3733736 0 0 19 0 36347 684 20 0 22 0 420152394 8482889728 56902 33554432000 4194304 4196468 140727644465280 140447370414192 140448415238786 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35024896 140727644472311 140727644472470 140727644472470 140727644475343 0 [pid=11880/tid=11897] ppid=11857 vsize=8284072 memory=7738992218234699883 CPUtime=370.65 cores=0-7 /proc/11880/task/11897/stat : 11897 (java) S 11857 11857 10407 0 -1 1077944384 1405 3733736 0 0 34 0 36347 684 20 0 22 0 420152394 8482889728 56902 33554432000 4194304 4196468 140727644465280 140447369361392 140448415238786 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35024896 140727644472311 140727644472470 140727644472470 140727644475343 0 [pid=11880/tid=11898] ppid=11857 vsize=8284072 memory=33 CPUtime=370.31 cores=0-7 /proc/11880/task/11898/stat : 11898 (java) S 11857 11857 10407 0 -1 1077944384 3 3733736 0 0 0 0 36347 684 20 0 22 0 420152394 8482889728 56902 33554432000 4194304 4196468 140727644465280 140445900336224 140448415237845 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35024896 140727644472311 140727644472470 140727644472470 140727644475343 0 [pid=11880/tid=11899] ppid=11857 vsize=8284072 memory=6944656592387989600 CPUtime=370.35 cores=0-7 /proc/11880/task/11899/stat : 11899 (java) S 11857 11857 10407 0 -1 1077944384 5 3733736 0 0 3 1 36347 684 20 0 22 0 420152394 8482889728 56902 33554432000 4194304 4196468 140727644465280 140447368309808 140448415238786 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 4 0 0 6293624 6294260 35024896 140727644472311 140727644472470 140727644472470 140727644475343 0 [pid=11880/tid=11901] ppid=11857 vsize=8284072 memory=6943526294502006880 CPUtime=370.31 cores=0-7 /proc/11880/task/11901/stat : 11901 (java) S 11857 11857 10407 0 -1 1077944384 24 3733736 0 0 0 0 36347 684 20 0 22 0 420152464 8482889728 56902 33554432000 4194304 4196468 140727644465280 140447712686864 140448415238786 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35024896 140727644472311 140727644472470 140727644472470 140727644475343 0 [pid=11880/tid=11905] ppid=11857 vsize=8284072 memory=0 CPUtime=370.31 cores=0-7 /proc/11880/task/11905/stat : 11905 (java) S 11857 11857 10407 0 -1 1077944384 14 3733736 0 0 0 0 36347 684 20 0 22 0 420152466 8482889728 56902 33554432000 4194304 4196468 140727644465280 140444960809776 140448415238786 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35024896 140727644472311 140727644472470 140727644472470 140727644475343 0 Current children cumulated CPU time: 411.69 s Current children cumulated vsize: 8396176 KiB Current children cumulated memory: 228296 KiB Child status: 0 Real time (s): 84.3448 CPU time (s): 411.775 CPU user time (s): 403.237 CPU system time (s): 8.53806 CPU usage (%): 488.205 Max. virtual memory (cumulated for all children) (KiB): 27441876 Max. memory (cumulated for all children) (KiB): 6058020 getrusage(RUSAGE_CHILDREN,...) data: user time used= 403.237 system time used= 8.53806 maximum resident set size= 6057972 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3794011 page faults= 0 swaps= 0 block input operations= 8 block output operations= 320768 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 61204 involuntary context switches= 3669 # summary of solver processes directly reported to runsolver: # pid: 11857 # total CPU time (s): 411.775 # total CPU user time (s): 403.237 # total CPU system time (s): 8.53806 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.728082 second user time and 1.06549 second system time The end
Begin job on node143 at 2019-09-14 08:21:19 IDJOB=4392318 IDBENCH=138482 IDSOLVER=2838 FILE ID=node143/4392318-1568442121 RUNJOBID= node143-1568436511-10434 PBS_JOBID= 21702317 Free space on /tmp= 59272 MiB SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-06-15) BENCH NAME= XCSP17/SuperSolutions/SuperSolutions-Taillard-js15/SuperTaillard-js-15-18.xml COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -order DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4392318-1568442121/watcher-4392318-1568442121 -o /tmp/evaluation-result-4392318-1568442121/solver-4392318-1568442121 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node143-1568436511-10434 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392318-1568442121.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 3f0141c7bb33af25d9039070b39091b8 RANDOM SEED=289457391 node143.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.73 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.73 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.73 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.73 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: 24699772 kB MemAvailable: 31758960 kB Buffers: 202388 kB Cached: 7146768 kB SwapCached: 8 kB Active: 2145344 kB Inactive: 5256572 kB Active(anon): 5600 kB Inactive(anon): 146304 kB Active(file): 2139744 kB Inactive(file): 5110268 kB Unevictable: 106472 kB Mlocked: 106472 kB SwapTotal: 67108860 kB SwapFree: 67108848 kB Dirty: 21056 kB Writeback: 0 kB AnonPages: 221444 kB Mapped: 49064 kB Shmem: 90756 kB Slab: 266332 kB SReclaimable: 237636 kB SUnreclaim: 28696 kB KernelStack: 3840 kB PageTables: 5060 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 498864 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 135168 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 132480 kB DirectMap2M: 33413120 kB Free space on /tmp at the end= 59252 MiB End job on node143 at 2019-09-14 08:22:44