| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| Fun-sCOP order+ManyGlucose (2019-06-15) | ? (TO) | 1353.59 | 2521.21 |
| Name | LatinSquare/LatinSquare-m1-gs/ qwh-o100-h10000.xml |
| MD5SUM | 2d32aa9e5f9738deac3ebf02ed7c37b3 |
| 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 | 67.7052 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 10000 |
| Number of constraints | 1 |
| Number of domains | 1 |
| Minimum domain size | 100 |
| Maximum domain size | 100 |
| Distribution of domain sizes | [{"size":100,"count":10000}] |
| Minimum variable degree | 1 |
| Maximum variable degree | 1 |
| Distribution of variable degrees | [{"degree":1,"count":10000}] |
| Minimum constraint arity | 10000 |
| Maximum constraint arity | 10000 |
| Distribution of constraint arities | [{"arity":10000,"count":1}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"allDifferent","count":1}] |
| Optimization problem | NO |
| Type of objective |
0.00/0.00 c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -order -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-10638-serial-file.bin HOME/instance-4392549-1568443114.xml 0.65/0.53 0.65/0.53 Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15) 0.65/0.53 0.65/0.56 c BEGIN-Prog: Sat Sep 14 08:37:45 CEST 2019 0.65/0.56 c PID: 10641 0.65/0.56 c IP: 172.20.3.132 0.65/0.56 c HOST: node132.alineos.net 0.65/0.57 c (0,0) Parsing Begin 3.37/1.43 c (0,0) Parsing End 3.37/1.46 c (0,0) CSP: 10000 int (0 aux), 0 bool (0 aux), 1 ctr, max domain size 100 3.37/1.46 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB) 3.37/1.46 c (0,0) Constraint Name Generate Begin 3.37/1.48 c (0,0) Ctr:HOME/instance-4392549-1568443114.xml,AllDifferentMatrix:Var 3.37/1.48 c (0,0) Constraint Name Generate End 3.37/1.48 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB) 3.37/1.48 c (0,0) CSP to CSPinCNF Begin 3.78/1.51 c (0,0) translated 1 (10%) constraints 77.49/47.23 c (46,43) =========================================== 77.49/47.23 c (46,43) Order 77.49/47.23 c (46,43) =========================================== 100.66/59.50 c (58,54) translated 101040 (10%) constraints 111.37/70.26 c (69,64) translated 202080 (20%) constraints 131.89/82.00 c (81,75) translated 303120 (30%) constraints 168.23/96.49 c (95,86) translated 404160 (40%) constraints 183.83/107.62 c (107,97) translated 505200 (50%) constraints 196.98/117.42 c (116,106) translated 606240 (60%) constraints 214.79/127.78 c (127,115) translated 707280 (70%) constraints 231.17/137.99 c (137,125) translated 808320 (80%) constraints 244.53/147.82 c (147,134) translated 909360 (90%) constraints 258.20/157.67 c (157,143) translated 1010400 (100%) constraints 258.20/157.67 c (157,143) CSP to CSPinCNF End 258.56/157.92 c (157,144) CSP: 10000 int (0 aux), 1000000 bool (1000000 aux), 5010400 ctr, max domain size 100 258.56/157.92 c (157,144) Heap : 6487 MiB used (max 20025 MiB), NonHeap : 26 MiB used (max 0 MiB) 258.56/157.92 c (157,144) CSPinCNF Propagation Begin 324.73/200.36 c (199,183) 0 values, 0 unsatisfiable literals, and 40000 valid clauses are removed 324.73/200.36 c (199,183) CSPinCNF Propagation End 324.93/200.59 c (200,183) CSP: 10000 int (0 aux), 1000000 bool (1000000 aux), 4970400 ctr, max domain size 100 324.93/200.59 c (200,183) Heap : 10399 MiB used (max 20911 MiB), NonHeap : 26 MiB used (max 0 MiB) 325.03/200.65 c (200,183) Simplify CSPinCNF Begin 399.94/238.96 c (238,216) Simplify CSPinCNF End 400.74/239.79 c (239,217) CSP: 10000 int (0 aux), 2980000 bool (2980000 aux), 6950400 ctr, max domain size 100 400.74/239.79 c (239,217) Heap : 10688 MiB used (max 21254 MiB), NonHeap : 27 MiB used (max 0 MiB) 400.74/239.79 c (239,217) Calculate Precise Domain Begin 400.74/239.79 c (239,217) 0 values are removed by re-calculation 400.74/239.79 c (239,217) Calculate Precise Domain End 401.65/240.62 c (240,218) CSP: 10000 int (0 aux), 2980000 bool (2980000 aux), 6950400 ctr, max domain size 100 401.65/240.62 c (240,218) Heap : 10688 MiB used (max 21254 MiB), NonHeap : 26 MiB used (max 0 MiB) 401.65/240.62 c (240,218) CSPinCNF to SatSolver Begin 512.80/332.90 c (332,304) 695040 (10 %) CSP clauses are encoded (0 SAT variables, 21277039 SAT clauses) 597.39/416.07 c (415,384) 1390080 (20 %) CSP clauses are encoded (0 SAT variables, 41574079 SAT clauses) 681.73/498.75 c (498,464) 2085120 (30 %) CSP clauses are encoded (0 SAT variables, 61871119 SAT clauses) 766.56/582.58 c (582,544) 2780160 (40 %) CSP clauses are encoded (0 SAT variables, 82168159 SAT clauses) 850.99/665.13 c (664,624) 3475200 (50 %) CSP clauses are encoded (0 SAT variables, 102465199 SAT clauses) 935.32/747.73 c (747,704) 4170240 (60 %) CSP clauses are encoded (0 SAT variables, 122762239 SAT clauses) 1018.93/830.75 c (830,784) 4865280 (70 %) CSP clauses are encoded (0 SAT variables, 143059279 SAT clauses) 1103.15/913.97 c (913,863) 5560320 (80 %) CSP clauses are encoded (0 SAT variables, 163356319 SAT clauses) 1187.09/997.24 c (996,943) 6255360 (90 %) CSP clauses are encoded (0 SAT variables, 183653359 SAT clauses) 1271.23/1081.60 c (1081,1023) 6950400 (100 %) CSP clauses are encoded (0 SAT variables, 203950399 SAT clauses) 1271.23/1081.60 c (1081,1023) CSPinCNF to SatSolver End 1271.23/1081.60 c (1081,1023) Heap : 15365 MiB used (max 22514 MiB), NonHeap : 29 MiB used (max 0 MiB) 1271.23/1081.60 c (1081,1023) 3970000 bool, 203950400 clause 1271.23/1081.60 c (1081,1023) Export Begin 1271.97/1082.06 c (1081,1024) Export to HOME/scop-10638-serial-file.bin 1271.97/1082.06 c (1081,1024) Export End 1271.97/1082.06 c (1081,1024) Export File Size: 1.64 MB 1271.97/1082.06 c (1081,1024) 0,0,157,200,239,240,1081,STOP-AFTER(DIMACS) 1271.97/1082.06 c END-Prog: Sat Sep 14 08:55:47 CEST 2019 0.00/1082.18 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-10638-serial-file.bin 1272.74/1082.65 c (0,0) Read Serial File Begin 1272.74/1082.65 c (0,0) HOME/scop-10638-serial-file.bin 1273.69/1083.20 c (0,0) Read Serial File End 1273.88/1083.21 1274.12/1083.36 Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15) 1274.12/1083.36 (Solving Process) 1274.12/1083.36 1274.12/1083.36 c BEGIN-Prog: Sat Sep 14 08:55:48 CEST 2019 1274.12/1083.36 c PID: 10745 1274.12/1083.36 c IP: 172.20.3.132 1274.12/1083.36 c HOST: node132.alineos.net 1274.12/1083.36 c (0,0) SatSolver.solve Begin 1274.12/1083.36 c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392549-1568443114.xml-scop-10641.cnf 1274.12/1083.36 c (0,0) c 1274.12/1083.36 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) 1274.12/1083.36 c (0,0) c 1274.12/1083.36 c (0,0) c WARNING: for repeatability, setting FPU to use double precision 1274.12/1083.36 c (0,0) c 8 solvers engines and 1 companion as a blackboard created. 1274.12/1083.36 c (0,0) c ========================================[ Problem Statistics ]=========================================== 1274.12/1083.36 c (0,0) c | | 1338.46/1147.74 c (65,0) c | Number of variables: 3970000 | 1338.46/1147.74 c (65,0) c | Number of clauses: 203950400 | 1338.46/1147.74 c (65,0) c | Parse time: 58.75 s | 1338.46/1147.74 c (65,0) c | | 1351.66/1160.92 c (78,0) c | Too many clauses... No preprocessing | 1351.66/1160.92 c (78,0) c | Simplification time: 11.29 s | 1351.66/1160.92 c (78,0) c | | 1351.66/1160.92 c (78,0) c | One Solver is taking 15069.35Mb... Let's take 0 solvers for this run (max 40% of the maxmemory). | 1351.66/1160.92 c (78,0) c | Generating clones | 1351.66/1160.92 c (78,0) c | all clones generated. Memory = 15069.35Mb. | 1351.66/1160.92 c (78,0) c ========================================================================================================| 1351.66/1160.92 c (78,0) c 1351.66/1160.92 c (78,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 1351.66/1160.92 c (78,0) c 1351.66/1160.92 c (78,0) c |-----------------------|------------| 1351.66/1160.92 c (78,0) c | Threads | 0 | 1351.66/1160.92 c (78,0) c |-----------------------|------------| 1351.66/1160.92 c (78,0) c | randomizeFirstDescent | False | 1351.66/1160.92 c (78,0) c | adaptStrategeis | True | 1351.66/1160.92 c (78,0) c | forceUnsatOnNewDescent| True | 1351.66/1160.92 c (78,0) c | Initial random_seed | 91648253 | 1351.66/1160.92 c (78,0) c | chanseokStrategy | False | 1351.66/1160.92 c (78,0) c | coLBDBound | 5 | 1351.66/1160.92 c (78,0) c | glureduce | True | 1351.66/1160.92 c (78,0) c | firstReduceDB | 2000 | 1351.66/1160.92 c (78,0) c | incReduceDB | 300 | 1351.66/1160.92 c (78,0) c | luby_restart | False | 1351.66/1160.92 c (78,0) c | luby_restart_factor | 100 | 1351.66/1160.92 c (78,0) c | var_decay | 0.8000 | 1351.66/1160.92 c (78,0) c | max_var_decay | 0.9500 | 1351.66/1160.92 c (78,0) c | randomize_on_restarts | False | 1351.66/1160.92 c (78,0) c | remove_satisfied | True | 1351.66/1160.92 c (78,0) c |-----------------------|------------| 1351.70/1190.68 c (108,0) c 1351.70/1190.68 c (108,0) c |------------------------------------------------------------------------------------------------------------------------| 1351.70/1190.68 c (108,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 1351.70/1190.68 c (108,0) c |------------------------------------------------------------------------------------------------------------------------| 1351.70/1190.68 c (108,0) c | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 20 | 0.000 | 1351.70/1190.68 c (108,0) c 1351.70/1190.68 c (108,0) c synthesis 0 conflicts 0 propagations 0 conflicts/sec 0 propagations/sec 1351.70/1190.68 c (108,0) c real: 107.422 s, cpu: 70.0477 s, memory: 15069.35 Mb 1351.71/1220.68 c (138,0) c 1351.71/1220.68 c (138,0) c |------------------------------------------------------------------------------------------------------------------------| 1351.71/1220.68 c (138,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 1351.71/1220.68 c (138,0) c |------------------------------------------------------------------------------------------------------------------------| 1351.71/1220.68 c (138,0) c | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 20 | 0.000 | 1351.71/1220.68 c (138,0) c 1351.71/1220.68 c (138,0) c synthesis 0 conflicts 0 propagations 0 conflicts/sec 0 propagations/sec 1351.71/1220.68 c (138,0) c real: 137.422 s, cpu: 70.0493 s, memory: 15069.35 Mb 1351.74/1250.68 c (168,0) c 1351.74/1250.68 c (168,0) c |------------------------------------------------------------------------------------------------------------------------| 1351.74/1250.68 c (168,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 1351.74/1250.68 c (168,0) c |------------------------------------------------------------------------------------------------------------------------| 1351.74/1250.68 c (168,0) c | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 20 | 0.000 | 1351.74/1250.68 c (168,0) c 1351.74/1250.68 c (168,0) c synthesis 0 conflicts 0 propagations 0 conflicts/sec 0 propagations/sec 1351.74/1250.68 c (168,0) c real: 167.422 s, cpu: 70.051 s, memory: 15069.35 Mb 1351.74/1280.68 c (198,0) c 1351.74/1280.68 c (198,0) c |------------------------------------------------------------------------------------------------------------------------| 1351.74/1280.68 c (198,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 1351.74/1280.68 c (198,0) c |------------------------------------------------------------------------------------------------------------------------| 1351.74/1280.68 c (198,0) c | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 20 | 0.000 | 1351.74/1280.68 c (198,0) c 1351.74/1280.68 c (198,0) c synthesis 0 conflicts 0 propagations 0 conflicts/sec 0 propagations/sec 1351.74/1280.68 c (198,0) c real: 197.422 s, cpu: 70.0526 s, memory: 15069.35 Mb 1351.76/1310.68 c (228,0) c 1351.76/1310.68 c (228,0) c |------------------------------------------------------------------------------------------------------------------------| 1351.76/1310.68 c (228,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 1351.76/1310.68 c (228,0) c |------------------------------------------------------------------------------------------------------------------------| 1351.76/1310.68 c (228,0) c | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 20 | 0.000 | 1351.76/1310.68 c (228,0) c 1351.76/1310.68 c (228,0) c synthesis 0 conflicts 0 propagations 0 conflicts/sec 0 propagations/sec 1351.76/1310.68 c (228,0) c real: 227.422 s, cpu: 70.0543 s, memory: 15069.35 Mb 1351.77/1340.68 c (258,0) c 1351.77/1340.68 c (258,0) c |------------------------------------------------------------------------------------------------------------------------| 1351.77/1340.68 c (258,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 1351.77/1340.68 c (258,0) c |------------------------------------------------------------------------------------------------------------------------| 1351.77/1340.68 c (258,0) c | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 20 | 0.000 | 1351.77/1340.68 c (258,0) c 1351.77/1340.68 c (258,0) c synthesis 0 conflicts 0 propagations 0 conflicts/sec 0 propagations/sec 1351.77/1340.68 c (258,0) c real: 257.422 s, cpu: 70.056 s, memory: 15069.35 Mb 1351.78/1370.68 c (288,0) c 1351.78/1370.68 c (288,0) c |------------------------------------------------------------------------------------------------------------------------| 1351.78/1370.68 c (288,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 1351.78/1370.68 c (288,0) c |------------------------------------------------------------------------------------------------------------------------| 1351.78/1370.68 c (288,0) c | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 20 | 0.000 | 1351.78/1370.68 c (288,0) c 1351.78/1370.68 c (288,0) c synthesis 0 conflicts 0 propagations 0 conflicts/sec 0 propagations/sec 1351.78/1370.68 c (288,0) c real: 287.422 s, cpu: 70.0577 s, memory: 15069.35 Mb 1351.79/1400.68 c (318,0) c 1351.79/1400.68 c (318,0) c |------------------------------------------------------------------------------------------------------------------------| 1351.79/1400.68 c (318,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 1351.79/1400.68 c (318,0) c |------------------------------------------------------------------------------------------------------------------------| 1351.79/1400.68 c (318,0) c | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 20 | 0.000 | 1351.79/1400.68 c (318,0) c 1351.79/1400.68 c (318,0) c synthesis 0 conflicts 0 propagations 0 conflicts/sec 0 propagations/sec 1351.79/1400.68 c (318,0) c real: 317.422 s, cpu: 70.0593 s, memory: 15069.35 Mb 1351.81/1430.68 c (348,0) c 1351.81/1430.68 c (348,0) c |------------------------------------------------------------------------------------------------------------------------| 1351.81/1430.68 c (348,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 1351.81/1430.68 c (348,0) c |------------------------------------------------------------------------------------------------------------------------| 1351.81/1430.68 c (348,0) c | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 20 | 0.000 | 1351.81/1430.68 c (348,0) c 1351.81/1430.68 c (348,0) c synthesis 0 conflicts 0 propagations 0 conflicts/sec 0 propagations/sec 1351.81/1430.68 c (348,0) c real: 347.422 s, cpu: 70.061 s, memory: 15069.35 Mb 1351.82/1460.68 c (378,0) c 1351.82/1460.68 c (378,0) c |------------------------------------------------------------------------------------------------------------------------| 1351.82/1460.68 c (378,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 1351.82/1460.68 c (378,0) c |------------------------------------------------------------------------------------------------------------------------| 1351.82/1460.68 c (378,0) c | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 20 | 0.000 | 1351.82/1460.68 c (378,0) c 1351.82/1460.68 c (378,0) c synthesis 0 conflicts 0 propagations 0 conflicts/sec 0 propagations/sec 1351.82/1460.68 c (378,0) c real: 377.422 s, cpu: 70.0626 s, memory: 15069.35 Mb 1351.84/1490.68 c (408,0) c 1351.84/1490.68 c (408,0) c |------------------------------------------------------------------------------------------------------------------------| 1351.84/1490.68 c (408,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 1351.84/1490.68 c (408,0) c |------------------------------------------------------------------------------------------------------------------------| 1351.84/1490.68 c (408,0) c | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 20 | 0.000 | 1351.84/1490.68 c (408,0) c 1351.84/1490.68 c (408,0) c synthesis 0 conflicts 0 propagations 0 conflicts/sec 0 propagations/sec 1351.84/1490.68 c (408,0) c real: 407.422 s, cpu: 70.0642 s, memory: 15069.35 Mb 1351.85/1520.68 c (438,0) c 1351.85/1520.68 c (438,0) c |------------------------------------------------------------------------------------------------------------------------| 1351.85/1520.68 c (438,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 1351.85/1520.68 c (438,0) c |------------------------------------------------------------------------------------------------------------------------| 1351.85/1520.68 c (438,0) c | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 20 | 0.000 | 1351.85/1520.68 c (438,0) c 1351.85/1520.68 c (438,0) c synthesis 0 conflicts 0 propagations 0 conflicts/sec 0 propagations/sec 1351.85/1520.68 c (438,0) c real: 437.422 s, cpu: 70.0657 s, memory: 15069.35 Mb 1351.86/1550.68 c (468,0) c 1351.86/1550.68 c (468,0) c |------------------------------------------------------------------------------------------------------------------------| 1351.86/1550.68 c (468,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 1351.86/1550.68 c (468,0) c |------------------------------------------------------------------------------------------------------------------------| 1351.86/1550.68 c (468,0) c | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 20 | 0.000 | 1351.86/1550.68 c (468,0) c 1351.86/1550.68 c (468,0) c synthesis 0 conflicts 0 propagations 0 conflicts/sec 0 propagations/sec 1351.86/1550.68 c (468,0) c real: 467.422 s, cpu: 70.0674 s, memory: 15069.35 Mb 1351.87/1580.68 c (498,0) c 1351.87/1580.68 c (498,0) c |------------------------------------------------------------------------------------------------------------------------| 1351.87/1580.68 c (498,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 1351.87/1580.68 c (498,0) c |------------------------------------------------------------------------------------------------------------------------| 1351.87/1580.68 c (498,0) c | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 20 | 0.000 | 1351.87/1580.68 c (498,0) c 1351.87/1580.68 c (498,0) c synthesis 0 conflicts 0 propagations 0 conflicts/sec 0 propagations/sec 1351.87/1580.68 c (498,0) c real: 497.422 s, cpu: 70.069 s, memory: 15069.35 Mb 1351.89/1610.68 c (528,0) c 1351.89/1610.68 c (528,0) c |------------------------------------------------------------------------------------------------------------------------| 1351.89/1610.68 c (528,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 1351.89/1610.68 c (528,0) c |------------------------------------------------------------------------------------------------------------------------| 1351.89/1610.68 c (528,0) c | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 20 | 0.000 | 1351.89/1610.68 c (528,0) c 1351.89/1610.68 c (528,0) c synthesis 0 conflicts 0 propagations 0 conflicts/sec 0 propagations/sec 1351.89/1610.68 c (528,0) c real: 527.422 s, cpu: 70.0707 s, memory: 15069.35 Mb 1351.91/1640.68 c (558,0) c 1351.91/1640.68 c (558,0) c |------------------------------------------------------------------------------------------------------------------------| 1351.91/1640.68 c (558,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 1351.91/1640.68 c (558,0) c |------------------------------------------------------------------------------------------------------------------------| 1351.91/1640.68 c (558,0) c | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 20 | 0.000 | 1351.91/1640.68 c (558,0) c 1351.91/1640.68 c (558,0) c synthesis 0 conflicts 0 propagations 0 conflicts/sec 0 propagations/sec 1351.91/1640.68 c (558,0) c real: 557.422 s, cpu: 70.0722 s, memory: 15069.35 Mb 1351.92/1670.68 c (588,0) c 1351.92/1670.68 c (588,0) c |------------------------------------------------------------------------------------------------------------------------| 1351.92/1670.68 c (588,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 1351.92/1670.68 c (588,0) c |------------------------------------------------------------------------------------------------------------------------| 1351.92/1670.68 c (588,0) c | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 20 | 0.000 | 1351.92/1670.68 c (588,0) c 1351.92/1670.68 c (588,0) c synthesis 0 conflicts 0 propagations 0 conflicts/sec 0 propagations/sec 1351.92/1670.68 c (588,0) c real: 587.422 s, cpu: 70.0739 s, memory: 15069.35 Mb 1351.93/1700.68 c (618,0) c 1351.93/1700.68 c (618,0) c |------------------------------------------------------------------------------------------------------------------------| 1351.93/1700.68 c (618,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 1351.93/1700.68 c (618,0) c |------------------------------------------------------------------------------------------------------------------------| 1351.93/1700.68 c (618,0) c | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 20 | 0.000 | 1351.93/1700.68 c (618,0) c 1351.93/1700.68 c (618,0) c synthesis 0 conflicts 0 propagations 0 conflicts/sec 0 propagations/sec 1351.93/1700.68 c (618,0) c real: 617.422 s, cpu: 70.0756 s, memory: 15069.35 Mb 1351.94/1730.68 c (648,0) c 1351.94/1730.68 c (648,0) c |------------------------------------------------------------------------------------------------------------------------| 1351.94/1730.68 c (648,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 1351.94/1730.68 c (648,0) c |------------------------------------------------------------------------------------------------------------------------| 1351.94/1730.68 c (648,0) c | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 20 | 0.000 | 1351.94/1730.68 c (648,0) c 1351.94/1730.68 c (648,0) c synthesis 0 conflicts 0 propagations 0 conflicts/sec 0 propagations/sec 1351.94/1730.68 c (648,0) c real: 647.422 s, cpu: 70.0773 s, memory: 15069.35 Mb 1351.95/1760.68 c (678,0) c 1351.95/1760.70 c (678,0) c |------------------------------------------------------------------------------------------------------------------------| 1351.95/1760.70 c (678,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 1351.95/1760.70 c (678,0) c |------------------------------------------------------------------------------------------------------------------------| 1351.95/1760.70 c (678,0) c | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 20 | 0.000 | 1351.95/1760.70 c (678,0) c 1351.95/1760.70 c (678,0) c synthesis 0 conflicts 0 propagations 0 conflicts/sec 0 propagations/sec 1351.95/1760.70 c (678,0) c real: 677.422 s, cpu: 70.079 s, memory: 15069.35 Mb 1351.98/1790.68 c (708,0) c 1351.98/1790.68 c (708,0) c |------------------------------------------------------------------------------------------------------------------------| 1351.98/1790.68 c (708,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 1351.98/1790.68 c (708,0) c |------------------------------------------------------------------------------------------------------------------------| 1351.98/1790.68 c (708,0) c | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 20 | 0.000 | 1351.98/1790.68 c (708,0) c 1351.98/1790.68 c (708,0) c synthesis 0 conflicts 0 propagations 0 conflicts/sec 0 propagations/sec 1351.98/1790.68 c (708,0) c real: 707.422 s, cpu: 70.0807 s, memory: 15069.35 Mb 1352.00/1820.68 c (738,0) c 1352.00/1820.68 c (738,0) c |------------------------------------------------------------------------------------------------------------------------| 1352.00/1820.68 c (738,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 1352.00/1820.68 c (738,0) c |------------------------------------------------------------------------------------------------------------------------| 1352.00/1820.68 c (738,0) c | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 20 | 0.000 | 1352.00/1820.68 c (738,0) c 1352.00/1820.68 c (738,0) c synthesis 0 conflicts 0 propagations 0 conflicts/sec 0 propagations/sec 1352.00/1820.68 c (738,0) c real: 737.422 s, cpu: 70.0824 s, memory: 15069.35 Mb 1352.01/1850.68 c (768,0) c 1352.01/1850.68 c (768,0) c |------------------------------------------------------------------------------------------------------------------------| 1352.01/1850.68 c (768,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 1352.01/1850.68 c (768,0) c |------------------------------------------------------------------------------------------------------------------------| 1352.01/1850.68 c (768,0) c | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 20 | 0.000 | 1352.01/1850.68 c (768,0) c 1352.01/1850.68 c (768,0) c synthesis 0 conflicts 0 propagations 0 conflicts/sec 0 propagations/sec 1352.01/1850.68 c (768,0) c real: 767.422 s, cpu: 70.0841 s, memory: 15069.35 Mb 1352.01/1880.68 c (798,0) c 1352.01/1880.68 c (798,0) c |------------------------------------------------------------------------------------------------------------------------| 1352.01/1880.68 c (798,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 1352.01/1880.68 c (798,0) c |------------------------------------------------------------------------------------------------------------------------| 1352.01/1880.68 c (798,0) c | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 20 | 0.000 | 1352.01/1880.68 c (798,0) c 1352.01/1880.68 c (798,0) c synthesis 0 conflicts 0 propagations 0 conflicts/sec 0 propagations/sec 1352.01/1880.68 c (798,0) c real: 797.422 s, cpu: 70.0858 s, memory: 15069.35 Mb 1352.03/1910.68 c (828,0) c 1352.03/1910.68 c (828,0) c |------------------------------------------------------------------------------------------------------------------------| 1352.03/1910.68 c (828,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 1352.03/1910.68 c (828,0) c |------------------------------------------------------------------------------------------------------------------------| 1352.03/1910.68 c (828,0) c | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 20 | 0.000 | 1352.03/1910.68 c (828,0) c 1352.03/1910.68 c (828,0) c synthesis 0 conflicts 0 propagations 0 conflicts/sec 0 propagations/sec 1352.03/1910.68 c (828,0) c real: 827.422 s, cpu: 70.0874 s, memory: 15069.35 Mb 1352.04/1940.68 c (858,0) c 1352.04/1940.68 c (858,0) c |------------------------------------------------------------------------------------------------------------------------| 1352.04/1940.68 c (858,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 1352.04/1940.68 c (858,0) c |------------------------------------------------------------------------------------------------------------------------| 1352.04/1940.68 c (858,0) c | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 20 | 0.000 | 1352.04/1940.68 c (858,0) c 1352.04/1940.68 c (858,0) c synthesis 0 conflicts 0 propagations 0 conflicts/sec 0 propagations/sec 1352.04/1940.68 c (858,0) c real: 857.422 s, cpu: 70.0889 s, memory: 15069.35 Mb 1352.07/1970.68 c (888,0) c 1352.07/1970.68 c (888,0) c |------------------------------------------------------------------------------------------------------------------------| 1352.07/1970.68 c (888,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 1352.07/1970.68 c (888,0) c |------------------------------------------------------------------------------------------------------------------------| 1352.07/1970.68 c (888,0) c | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 20 | 0.000 | 1352.07/1970.68 c (888,0) c 1352.07/1970.68 c (888,0) c synthesis 0 conflicts 0 propagations 0 conflicts/sec 0 propagations/sec 1352.07/1970.68 c (888,0) c real: 887.422 s, cpu: 70.0906 s, memory: 15069.35 Mb 1352.08/2000.68 c (918,0) c 1352.08/2000.68 c (918,0) c |------------------------------------------------------------------------------------------------------------------------| 1352.08/2000.68 c (918,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 1352.08/2000.68 c (918,0) c |------------------------------------------------------------------------------------------------------------------------| 1352.08/2000.68 c (918,0) c | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 20 | 0.000 | 1352.08/2000.68 c (918,0) c 1352.08/2000.68 c (918,0) c synthesis 0 conflicts 0 propagations 0 conflicts/sec 0 propagations/sec 1352.08/2000.68 c (918,0) c real: 917.422 s, cpu: 70.0913 s, memory: 15069.35 Mb 1352.09/2030.68 c (948,0) c 1352.09/2030.68 c (948,0) c |------------------------------------------------------------------------------------------------------------------------| 1352.09/2030.68 c (948,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 1352.09/2030.68 c (948,0) c |------------------------------------------------------------------------------------------------------------------------| 1352.09/2030.68 c (948,0) c | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 20 | 0.000 | 1352.09/2030.68 c (948,0) c 1352.09/2030.68 c (948,0) c synthesis 0 conflicts 0 propagations 0 conflicts/sec 0 propagations/sec 1352.09/2030.68 c (948,0) c real: 947.422 s, cpu: 70.0927 s, memory: 15069.35 Mb 1352.10/2060.68 c (978,0) c 1352.10/2060.68 c (978,0) c |------------------------------------------------------------------------------------------------------------------------| 1352.10/2060.68 c (978,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 1352.10/2060.68 c (978,0) c |------------------------------------------------------------------------------------------------------------------------| 1352.10/2060.68 c (978,0) c | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 20 | 0.000 | 1352.10/2060.68 c (978,0) c 1352.10/2060.68 c (978,0) c synthesis 0 conflicts 0 propagations 0 conflicts/sec 0 propagations/sec 1352.10/2060.68 c (978,0) c real: 977.422 s, cpu: 70.0943 s, memory: 15069.35 Mb 1352.11/2090.68 c (1008,0) c 1352.11/2090.68 c (1008,0) c |------------------------------------------------------------------------------------------------------------------------| 1352.11/2090.68 c (1008,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 1352.11/2090.68 c (1008,0) c |------------------------------------------------------------------------------------------------------------------------| 1352.11/2090.68 c (1008,0) c | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 20 | 0.000 | 1352.11/2090.68 c (1008,0) c 1352.11/2090.68 c (1008,0) c synthesis 0 conflicts 0 propagations 0 conflicts/sec 0 propagations/sec 1352.11/2090.68 c (1008,0) c real: 1007.42 s, cpu: 70.096 s, memory: 15069.35 Mb 1352.12/2120.68 c (1038,0) c 1352.12/2120.68 c (1038,0) c |------------------------------------------------------------------------------------------------------------------------| 1352.12/2120.68 c (1038,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 1352.12/2120.68 c (1038,0) c |------------------------------------------------------------------------------------------------------------------------| 1352.12/2120.68 c (1038,0) c | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 20 | 0.000 | 1352.12/2120.68 c (1038,0) c 1352.12/2120.68 c (1038,0) c synthesis 0 conflicts 0 propagations 0 conflicts/sec 0 propagations/sec 1352.12/2120.68 c (1038,0) c real: 1037.42 s, cpu: 70.0977 s, memory: 15069.35 Mb 1352.13/2150.68 c (1068,0) c 1352.13/2150.68 c (1068,0) c |------------------------------------------------------------------------------------------------------------------------| 1352.13/2150.68 c (1068,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 1352.13/2150.68 c (1068,0) c |------------------------------------------------------------------------------------------------------------------------| 1352.13/2150.68 c (1068,0) c | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 20 | 0.000 | 1352.13/2150.68 c (1068,0) c 1352.13/2150.68 c (1068,0) c synthesis 0 conflicts 0 propagations 0 conflicts/sec 0 propagations/sec 1352.13/2150.68 c (1068,0) c real: 1067.42 s, cpu: 70.0994 s, memory: 15069.35 Mb 1352.15/2180.68 c (1098,0) c 1352.15/2180.68 c (1098,0) c |------------------------------------------------------------------------------------------------------------------------| 1352.15/2180.68 c (1098,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 1352.15/2180.68 c (1098,0) c |------------------------------------------------------------------------------------------------------------------------| 1352.15/2180.68 c (1098,0) c | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 20 | 0.000 | 1352.15/2180.68 c (1098,0) c 1352.15/2180.68 c (1098,0) c synthesis 0 conflicts 0 propagations 0 conflicts/sec 0 propagations/sec 1352.15/2180.68 c (1098,0) c real: 1097.42 s, cpu: 70.1009 s, memory: 15069.35 Mb 1352.18/2210.68 c (1128,0) c 1352.18/2210.68 c (1128,0) c |------------------------------------------------------------------------------------------------------------------------| 1352.18/2210.68 c (1128,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 1352.18/2210.68 c (1128,0) c |------------------------------------------------------------------------------------------------------------------------| 1352.18/2210.68 c (1128,0) c | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 20 | 0.000 | 1352.18/2210.68 c (1128,0) c 1352.18/2210.68 c (1128,0) c synthesis 0 conflicts 0 propagations 0 conflicts/sec 0 propagations/sec 1352.18/2210.68 c (1128,0) c real: 1127.42 s, cpu: 70.1026 s, memory: 15069.35 Mb 1352.18/2240.68 c (1158,0) c 1352.18/2240.68 c (1158,0) c |------------------------------------------------------------------------------------------------------------------------| 1352.18/2240.68 c (1158,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 1352.18/2240.68 c (1158,0) c |------------------------------------------------------------------------------------------------------------------------| 1352.18/2240.68 c (1158,0) c | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 20 | 0.000 | 1352.18/2240.68 c (1158,0) c 1352.18/2240.68 c (1158,0) c synthesis 0 conflicts 0 propagations 0 conflicts/sec 0 propagations/sec 1352.18/2240.68 c (1158,0) c real: 1157.42 s, cpu: 70.1043 s, memory: 15069.35 Mb 1352.20/2270.68 c (1188,0) c 1352.20/2270.68 c (1188,0) c |------------------------------------------------------------------------------------------------------------------------| 1352.20/2270.68 c (1188,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 1352.20/2270.68 c (1188,0) c |------------------------------------------------------------------------------------------------------------------------| 1352.20/2270.68 c (1188,0) c | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 20 | 0.000 | 1352.20/2270.68 c (1188,0) c 1352.20/2270.68 c (1188,0) c synthesis 0 conflicts 0 propagations 0 conflicts/sec 0 propagations/sec 1352.20/2270.68 c (1188,0) c real: 1187.42 s, cpu: 70.1059 s, memory: 15069.35 Mb 1352.20/2300.68 c (1218,0) c 1352.20/2300.68 c (1218,0) c |------------------------------------------------------------------------------------------------------------------------| 1352.20/2300.68 c (1218,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 1352.20/2300.68 c (1218,0) c |------------------------------------------------------------------------------------------------------------------------| 1352.20/2300.68 c (1218,0) c | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 20 | 0.000 | 1352.20/2300.68 c (1218,0) c 1352.20/2300.68 c (1218,0) c synthesis 0 conflicts 0 propagations 0 conflicts/sec 0 propagations/sec 1352.20/2300.68 c (1218,0) c real: 1217.42 s, cpu: 70.1077 s, memory: 15069.35 Mb 1352.22/2330.68 c (1248,0) c 1352.22/2330.68 c (1248,0) c |------------------------------------------------------------------------------------------------------------------------| 1352.22/2330.68 c (1248,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 1352.22/2330.68 c (1248,0) c |------------------------------------------------------------------------------------------------------------------------| 1352.22/2330.68 c (1248,0) c | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 20 | 0.000 | 1352.22/2330.68 c (1248,0) c 1352.22/2330.68 c (1248,0) c synthesis 0 conflicts 0 propagations 0 conflicts/sec 0 propagations/sec 1352.22/2330.68 c (1248,0) c real: 1247.42 s, cpu: 70.1094 s, memory: 15069.35 Mb 1352.24/2360.68 c (1278,0) c 1352.24/2360.68 c (1278,0) c |------------------------------------------------------------------------------------------------------------------------| 1352.24/2360.68 c (1278,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 1352.24/2360.68 c (1278,0) c |------------------------------------------------------------------------------------------------------------------------| 1352.24/2360.68 c (1278,0) c | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 20 | 0.000 | 1352.24/2360.68 c (1278,0) c 1352.24/2360.68 c (1278,0) c synthesis 0 conflicts 0 propagations 0 conflicts/sec 0 propagations/sec 1352.24/2360.68 c (1278,0) c real: 1277.42 s, cpu: 70.111 s, memory: 15069.35 Mb 1352.25/2390.68 c (1308,0) c 1352.25/2390.68 c (1308,0) c |------------------------------------------------------------------------------------------------------------------------| 1352.25/2390.68 c (1308,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 1352.25/2390.68 c (1308,0) c |------------------------------------------------------------------------------------------------------------------------| 1352.25/2390.68 c (1308,0) c | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 20 | 0.000 | 1352.25/2390.68 c (1308,0) c 1352.25/2390.68 c (1308,0) c synthesis 0 conflicts 0 propagations 0 conflicts/sec 0 propagations/sec 1352.25/2390.68 c (1308,0) c real: 1307.42 s, cpu: 70.1125 s, memory: 15069.35 Mb 1352.26/2420.68 c (1338,0) c 1352.26/2420.68 c (1338,0) c |------------------------------------------------------------------------------------------------------------------------| 1352.26/2420.68 c (1338,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 1352.26/2420.68 c (1338,0) c |------------------------------------------------------------------------------------------------------------------------| 1352.26/2420.68 c (1338,0) c | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 20 | 0.000 | 1352.26/2420.68 c (1338,0) c 1352.26/2420.68 c (1338,0) c synthesis 0 conflicts 0 propagations 0 conflicts/sec 0 propagations/sec 1352.26/2420.68 c (1338,0) c real: 1337.42 s, cpu: 70.1141 s, memory: 15069.35 Mb 1352.28/2450.68 c (1368,0) c 1352.28/2450.69 c (1368,0) c |------------------------------------------------------------------------------------------------------------------------| 1352.28/2450.69 c (1368,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 1352.28/2450.69 c (1368,0) c |------------------------------------------------------------------------------------------------------------------------| 1352.28/2450.69 c (1368,0) c | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 20 | 0.000 | 1352.28/2450.69 c (1368,0) c 1352.28/2450.69 c (1368,0) c synthesis 0 conflicts 0 propagations 0 conflicts/sec 0 propagations/sec 1352.28/2450.69 c (1368,0) c real: 1367.42 s, cpu: 70.1157 s, memory: 15069.35 Mb 1352.29/2480.68 c (1398,0) c 1352.29/2480.68 c (1398,0) c |------------------------------------------------------------------------------------------------------------------------| 1352.29/2480.68 c (1398,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 1352.29/2480.68 c (1398,0) c |------------------------------------------------------------------------------------------------------------------------| 1352.29/2480.68 c (1398,0) c | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 20 | 0.000 | 1352.29/2480.68 c (1398,0) c 1352.29/2480.68 c (1398,0) c synthesis 0 conflicts 0 propagations 0 conflicts/sec 0 propagations/sec 1352.29/2480.68 c (1398,0) c real: 1397.42 s, cpu: 70.117 s, memory: 15069.35 Mb 1352.30/2510.68 c (1428,0) c 1352.30/2510.68 c (1428,0) c |------------------------------------------------------------------------------------------------------------------------| 1352.30/2510.68 c (1428,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 1352.30/2510.68 c (1428,0) c |------------------------------------------------------------------------------------------------------------------------| 1352.30/2510.68 c (1428,0) c | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 20 | 0.000 | 1352.30/2510.68 c (1428,0) c 1352.30/2510.68 c (1428,0) c synthesis 0 conflicts 0 propagations 0 conflicts/sec 0 propagations/sec 1352.30/2510.68 c (1428,0) c real: 1427.42 s, cpu: 70.1183 s, memory: 15069.35 Mb 1352.30/2520.01 c (1437,0) receiving signal SIGTERM 1352.30/2520.01 s UNKNOWN 1352.30/2520.02 c (scop.sh) Receiving Signal. Removing all intermediate files. 1352.30/2520.02 c (scop.sh) Remove HOME/scop-10638-serial-file.bin. 1352.30/2520.02 c (scop.sh) Killing background jobs. 1352.30/2520.02 c (1437,0) receiving signal SIGTERM
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 (15247 MiB free)
memory of node 1: 16384 MiB (15633 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392549-1568443114/watcher-4392549-1568443114 -o /tmp/evaluation-result-4392549-1568443114/solver-4392549-1568443114 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node132-1568438679-8579 --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-4392549-1568443114.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=10638, runsolver pid=10635
Current StackSize limit: 8192 KiB
[startup+0.100158 s]*
/proc/loadavg: 6.88 7.06 7.31 2/217 10660
/proc/meminfo: memFree=31528208/32770624 swapFree=67009760/67108860
[pid=10638] ppid=10635 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/10638/stat : 10638 (scop.sh) S 10635 10638 8552 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 420234146 115843072 348 33554432000 4194304 5098028 140721072258704 140721072255960 140263602406012 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 24625152 140721072259877 140721072260204 140721072260204 140721072263117 0
/proc/10638/statm: 28282 348 296 221 0 87 0
[pid=10641] ppid=10638 vsize=27314120 memory=105608 CPUtime=0.1 cores=0-7
/proc/10641/stat : 10641 (java) S 10638 10638 8552 0 -1 1077944320 6495 0 0 0 8 2 0 0 20 0 20 0 420234146 27969658880 26402 33554432000 4194304 4196468 140736844036960 140736844019504 140247444676343 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39141376 140736844038891 140736844039318 140736844039318 140736844042191 0
/proc/10641/statm: 6828530 26402 2799 1 0 6790935 0
[pid=10641/tid=10642] ppid=10638 vsize=27314120 memory=-7024592270288534718 CPUtime=0.08 cores=0-7
/proc/10641/task/10642/stat : 10642 (java) R 10638 10638 8552 0 -1 4202560 4592 0 0 0 6 2 0 0 20 0 20 0 420234147 27969658880 26914 33554432000 4194304 4196468 140736844036960 140247416502672 140247428756830 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39141376 140736844038891 140736844039318 140736844039318 140736844042191 0
[pid=10641/tid=10643] ppid=10638 vsize=27314120 memory=6735269665564437106 CPUtime=0 cores=0-7
/proc/10641/task/10643/stat : 10643 (java) S 10638 10638 8552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420234149 27969658880 26914 33554432000 4194304 4196468 140736844036960 140247448919056 140247444686549 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39141376 140736844038891 140736844039318 140736844039318 140736844042191 0
[pid=10641/tid=10644] ppid=10638 vsize=27314120 memory=139685130548864 CPUtime=0 cores=0-7
/proc/10641/task/10644/stat : 10644 (java) S 10638 10638 8552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420234149 27969658880 26914 33554432000 4194304 4196468 140736844036960 140247263075472 140247444686549 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39141376 140736844038891 140736844039318 140736844039318 140736844042191 0
[pid=10641/tid=10645] ppid=10638 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10641/task/10645/stat : 10645 (java) S 10638 10638 8552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420234149 27969658880 26914 33554432000 4194304 4196468 140736844036960 140247262022416 140247444686549 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39141376 140736844038891 140736844039318 140736844039318 140736844042191 0
[pid=10641/tid=10646] ppid=10638 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10641/task/10646/stat : 10646 (java) S 10638 10638 8552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420234149 27969658880 26914 33554432000 4194304 4196468 140736844036960 140247260969872 140247444686549 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39141376 140736844038891 140736844039318 140736844039318 140736844042191 0
[pid=10641/tid=10647] ppid=10638 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10641/task/10647/stat : 10647 (java) S 10638 10638 8552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420234149 27969658880 26914 33554432000 4194304 4196468 140736844036960 140247259916816 140247444686549 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39141376 140736844038891 140736844039318 140736844039318 140736844042191 0
[pid=10641/tid=10648] ppid=10638 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/10641/task/10648/stat : 10648 (java) S 10638 10638 8552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420234149 27969658880 26914 33554432000 4194304 4196468 140736844036960 140246862428816 140247444686549 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39141376 140736844038891 140736844039318 140736844039318 140736844042191 0
[pid=10641/tid=10649] ppid=10638 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10641/task/10649/stat : 10649 (java) S 10638 10638 8552 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420234149 27969658880 26914 33554432000 4194304 4196468 140736844036960 140246861375760 140247444686549 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39141376 140736844038891 140736844039318 140736844039318 140736844042191 0
[pid=10641/tid=10650] ppid=10638 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10641/task/10650/stat : 10650 (java) S 10638 10638 8552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420234149 27969658880 26914 33554432000 4194304 4196468 140736844036960 140246860323216 140247444686549 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39141376 140736844038891 140736844039318 140736844039318 140736844042191 0
[pid=10641/tid=10651] ppid=10638 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10641/task/10651/stat : 10651 (java) S 10638 10638 8552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420234151 27969658880 26914 33554432000 4194304 4196468 140736844036960 140246503058160 140247444687490 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39141376 140736844038891 140736844039318 140736844039318 140736844042191 0
[pid=10641/tid=10652] ppid=10638 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10641/task/10652/stat : 10652 (java) S 10638 10638 8552 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420234151 27969658880 26914 33554432000 4194304 4196468 140736844036960 140245244831392 140247444686549 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39141376 140736844038891 140736844039318 140736844039318 140736844042191 0
[pid=10641/tid=10653] ppid=10638 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10641/task/10653/stat : 10653 (java) S 10638 10638 8552 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420234151 27969658880 26914 33554432000 4194304 4196468 140736844036960 140245110609136 140247444686549 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39141376 140736844038891 140736844039318 140736844039318 140736844042191 0
[pid=10641/tid=10654] ppid=10638 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10641/task/10654/stat : 10654 (java) S 10638 10638 8552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420234154 27969658880 26914 33554432000 4194304 4196468 140736844036960 140244736104912 140247444694939 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39141376 140736844038891 140736844039318 140736844039318 140736844042191 0
[pid=10641/tid=10655] ppid=10638 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10641/task/10655/stat : 10655 (java) S 10638 10638 8552 0 -1 1077944384 294 0 0 0 0 0 0 0 20 0 20 0 420234154 27969658880 26914 33554432000 4194304 4196468 140736844036960 140246502004976 140247444687490 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39141376 140736844038891 140736844039318 140736844039318 140736844042191 0
[pid=10641/tid=10656] ppid=10638 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10641/task/10656/stat : 10656 (java) S 10638 10638 8552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420234154 27969658880 26914 33554432000 4194304 4196468 140736844036960 140246500952432 140247444687490 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39141376 140736844038891 140736844039318 140736844039318 140736844042191 0
[pid=10641/tid=10657] ppid=10638 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10641/task/10657/stat : 10657 (java) S 10638 10638 8552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420234154 27969658880 26914 33554432000 4194304 4196468 140736844036960 140246499899376 140247444687490 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39141376 140736844038891 140736844039318 140736844039318 140736844042191 0
[pid=10641/tid=10658] ppid=10638 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10641/task/10658/stat : 10658 (java) S 10638 10638 8552 0 -1 1077944384 264 0 0 0 0 0 0 0 20 0 20 0 420234154 27969658880 26914 33554432000 4194304 4196468 140736844036960 140246498846832 140247444687490 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39141376 140736844038891 140736844039318 140736844039318 140736844042191 0
[pid=10641/tid=10659] ppid=10638 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10641/task/10659/stat : 10659 (java) S 10638 10638 8552 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420234154 27969658880 26914 33554432000 4194304 4196468 140736844036960 140244238199776 140247444686549 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39141376 140736844038891 140736844039318 140736844039318 140736844042191 0
[pid=10641/tid=10660] ppid=10638 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/10641/task/10660/stat : 10660 (java) S 10638 10638 8552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420234154 27969658880 26914 33554432000 4194304 4196468 140736844036960 140246497795248 140247444687490 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39141376 140736844038891 140736844039318 140736844039318 140736844042191 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 107000 KiB
[startup+0.210577 s]*
/proc/loadavg: 6.88 7.06 7.31 3/217 10660
/proc/meminfo: memFree=31509996/32770624 swapFree=67009760/67108860
[pid=10638] ppid=10635 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/10638/stat : 10638 (scop.sh) S 10635 10638 8552 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 420234146 115843072 348 33554432000 4194304 5098028 140721072258704 140721072255960 140263602406012 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 24625152 140721072259877 140721072260204 140721072260204 140721072263117 0
/proc/10638/statm: 28282 348 296 221 0 87 0
[pid=10641] ppid=10638 vsize=27314120 memory=122436 CPUtime=0.25 cores=0-7
/proc/10641/stat : 10641 (java) S 10638 10638 8552 0 -1 1077944320 11500 0 0 0 21 4 0 0 20 0 20 0 420234146 27969658880 30609 33554432000 4194304 4196468 140736844036960 140736844019504 140247444676343 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39141376 140736844038891 140736844039318 140736844039318 140736844042191 0
/proc/10641/statm: 6828530 30609 2933 1 0 6790935 0
[pid=10641/tid=10642] ppid=10638 vsize=27314120 memory=8390339637985935414 CPUtime=0.19 cores=0-7
/proc/10641/task/10642/stat : 10642 (java) R 10638 10638 8552 0 -1 4202560 9184 0 0 0 16 3 0 0 20 0 20 0 420234147 27969658880 30609 33554432000 4194304 4196468 140736844036960 140247416475728 140247424951673 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39141376 140736844038891 140736844039318 140736844039318 140736844042191 0
[pid=10641/tid=10643] ppid=10638 vsize=27314120 memory=288230613314710904 CPUtime=0 cores=0-7
/proc/10641/task/10643/stat : 10643 (java) S 10638 10638 8552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420234149 27969658880 30609 33554432000 4194304 4196468 140736844036960 140247448919056 140247444686549 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39141376 140736844038891 140736844039318 140736844039318 140736844042191 0
[pid=10641/tid=10644] ppid=10638 vsize=27314120 memory=139685132433665 CPUtime=0 cores=0-7
/proc/10641/task/10644/stat : 10644 (java) S 10638 10638 8552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420234149 27969658880 30609 33554432000 4194304 4196468 140736844036960 140247263075472 140247444686549 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39141376 140736844038891 140736844039318 140736844039318 140736844042191 0
[pid=10641/tid=10645] ppid=10638 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/10641/task/10645/stat : 10645 (java) S 10638 10638 8552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420234149 27969658880 30609 33554432000 4194304 4196468 140736844036960 140247262022416 140247444686549 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39141376 140736844038891 140736844039318 140736844039318 140736844042191 0
[pid=10641/tid=10646] ppid=10638 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10641/task/10646/stat : 10646 (java) S 10638 10638 8552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420234149 27969658880 30609 33554432000 4194304 4196468 140736844036960 140247260969872 140247444686549 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39141376 140736844038891 140736844039318 140736844039318 140736844042191 0
[pid=10641/tid=10647] ppid=10638 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10641/task/10647/stat : 10647 (java) S 10638 10638 8552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420234149 27969658880 30609 33554432000 4194304 4196468 140736844036960 140247259916816 140247444686549 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39141376 140736844038891 140736844039318 140736844039318 140736844042191 0
[pid=10641/tid=10648] ppid=10638 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/10641/task/10648/stat : 10648 (java) S 10638 10638 8552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420234149 27969658880 30609 33554432000 4194304 4196468 140736844036960 140246862428816 140247444686549 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39141376 140736844038891 140736844039318 140736844039318 140736844042191 0
[pid=10641/tid=10649] ppid=10638 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10641/task/10649/stat : 10649 (java) S 10638 10638 8552 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420234149 27969658880 30609 33554432000 4194304 4196468 140736844036960 140246861375760 140247444686549 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39141376 140736844038891 140736844039318 140736844039318 140736844042191 0
[pid=10641/tid=10650] ppid=10638 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10641/task/10650/stat : 10650 (java) S 10638 10638 8552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420234149 27969658880 30609 33554432000 4194304 4196468 140736844036960 140246860323216 140247444686549 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39141376 140736844038891 140736844039318 140736844039318 140736844042191 0
[pid=10641/tid=10651] ppid=10638 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10641/task/10651/stat : 10651 (java) S 10638 10638 8552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420234151 27969658880 30609 33554432000 4194304 4196468 140736844036960 140246503058160 140247444687490 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39141376 140736844038891 140736844039318 140736844039318 140736844042191 0
[pid=10641/tid=10652] ppid=10638 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10641/task/10652/stat : 10652 (java) S 10638 10638 8552 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420234151 27969658880 30609 33554432000 4194304 4196468 140736844036960 140245244831392 140247444686549 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39141376 140736844038891 140736844039318 140736844039318 140736844042191 0
[pid=10641/tid=10653] ppid=10638 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10641/task/10653/stat : 10653 (java) S 10638 10638 8552 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420234151 27969658880 30609 33554432000 4194304 4196468 140736844036960 140245110609136 140247444686549 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39141376 140736844038891 140736844039318 140736844039318 140736844042191 0
[pid=10641/tid=10654] ppid=10638 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10641/task/10654/stat : 10654 (java) S 10638 10638 8552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420234154 27969658880 30609 33554432000 4194304 4196468 140736844036960 140244736104912 140247444694939 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39141376 140736844038891 140736844039318 140736844039318 140736844042191 0
[pid=10641/tid=10655] ppid=10638 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10641/task/10655/stat : 10655 (java) S 10638 10638 8552 0 -1 1077944384 409 0 0 0 0 0 0 0 20 0 20 0 420234154 27969658880 30609 33554432000 4194304 4196468 140736844036960 140246502004976 140247444687490 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39141376 140736844038891 140736844039318 140736844039318 140736844042191 0
[pid=10641/tid=10656] ppid=10638 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10641/task/10656/stat : 10656 (java) S 10638 10638 8552 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 20 0 420234154 27969658880 30609 33554432000 4194304 4196468 140736844036960 140246500952432 140247444687490 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39141376 140736844038891 140736844039318 140736844039318 140736844042191 0
[pid=10641/tid=10657] ppid=10638 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10641/task/10657/stat : 10657 (java) S 10638 10638 8552 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 20 0 420234154 27969658880 30609 33554432000 4194304 4196468 140736844036960 140246499899376 140247444687490 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39141376 140736844038891 140736844039318 140736844039318 140736844042191 0
[pid=10641/tid=10658] ppid=10638 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7
/proc/10641/task/10658/stat : 10658 (java) S 10638 10638 8552 0 -1 1077944384 489 0 0 0 2 0 0 0 20 0 20 0 420234154 27969658880 30609 33554432000 4194304 4196468 140736844036960 140246498846832 140247444687490 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39141376 140736844038891 140736844039318 140736844039318 140736844042191 0
[pid=10641/tid=10659] ppid=10638 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10641/task/10659/stat : 10659 (java) S 10638 10638 8552 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420234154 27969658880 30609 33554432000 4194304 4196468 140736844036960 140244238199776 140247444686549 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39141376 140736844038891 140736844039318 140736844039318 140736844042191 0
[pid=10641/tid=10660] ppid=10638 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/10641/task/10660/stat : 10660 (java) S 10638 10638 8552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420234154 27969658880 30609 33554432000 4194304 4196468 140736844036960 140246497795248 140247444687490 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39141376 140736844038891 140736844039318 140736844039318 140736844042191 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 123828 KiB
[startup+0.309923 s]*
/proc/loadavg: 6.88 7.06 7.31 2/217 10660
/proc/meminfo: memFree=31508100/32770624 swapFree=67009760/67108860
[pid=10638] ppid=10635 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/10638/stat : 10638 (scop.sh) S 10635 10638 8552 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 420234146 115843072 348 33554432000 4194304 5098028 140721072258704 140721072255960 140263602406012 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 24625152 140721072259877 140721072260204 140721072260204 140721072263117 0
/proc/10638/statm: 28282 348 296 221 0 87 0
[pid=10641] ppid=10638 vsize=27314120 memory=126108 CPUtime=0.42 cores=0-7
/proc/10641/stat : 10641 (java) S 10638 10638 8552 0 -1 1077944320 11971 0 0 0 38 4 0 0 20 0 20 0 420234146 27969658880 31527 33554432000 4194304 4196468 140736844036960 140736844019504 140247444676343 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39141376 140736844038891 140736844039318 140736844039318 140736844042191 0
/proc/10641/statm: 6828530 31527 3014 1 0 6790935 0
[pid=10641/tid=10642] ppid=10638 vsize=27314120 memory=1398722017469774279 CPUtime=0.29 cores=0-7
/proc/10641/task/10642/stat : 10642 (java) R 10638 10638 8552 0 -1 4202560 9456 0 0 0 26 3 0 0 20 0 20 0 420234147 27969658880 31527 33554432000 4194304 4196468 140736844036960 140247416490208 140247426239895 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39141376 140736844038891 140736844039318 140736844039318 140736844042191 0
[pid=10641/tid=10643] ppid=10638 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/10641/task/10643/stat : 10643 (java) S 10638 10638 8552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420234149 27969658880 31527 33554432000 4194304 4196468 140736844036960 140247448919056 140247444686549 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39141376 140736844038891 140736844039318 140736844039318 140736844042191 0
[pid=10641/tid=10644] ppid=10638 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10641/task/10644/stat : 10644 (java) S 10638 10638 8552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420234149 27969658880 31527 33554432000 4194304 4196468 140736844036960 140247263075472 140247444686549 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39141376 140736844038891 140736844039318 140736844039318 140736844042191 0
[pid=10641/tid=10645] ppid=10638 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10641/task/10645/stat : 10645 (java) S 10638 10638 8552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420234149 27969658880 31527 33554432000 4194304 4196468 140736844036960 140247262022416 140247444686549 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39141376 140736844038891 140736844039318 140736844039318 140736844042191 0
[pid=10641/tid=10646] ppid=10638 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10641/task/10646/stat : 10646 (java) S 10638 10638 8552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420234149 27969658880 31527 33554432000 4194304 4196468 140736844036960 140247260969872 140247444686549 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39141376 140736844038891 140736844039318 140736844039318 140736844042191 0
[pid=10641/tid=10647] ppid=10638 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10641/task/10647/stat : 10647 (java) S 10638 10638 8552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420234149 27969658880 31527 33554432000 4194304 4196468 140736844036960 140247259916816 140247444686549 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39141376 140736844038891 140736844039318 140736844039318 140736844042191 0
[pid=10641/tid=10648] ppid=10638 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10641/task/10648/stat : 10648 (java) S 10638 10638 8552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420234149 27969658880 31527 33554432000 4194304 4196468 140736844036960 140246862428816 140247444686549 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39141376 140736844038891 140736844039318 140736844039318 140736844042191 0
[pid=10641/tid=10649] ppid=10638 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/10641/task/10649/stat : 10649 (java) S 10638 10638 8552 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420234149 27969658880 31527 33554432000 4194304 4196468 140736844036960 140246861375760 140247444686549 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39141376 140736844038891 140736844039318 140736844039318 140736844042191 0
[pid=10641/tid=10650] ppid=10638 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/10641/task/10650/stat : 10650 (java) S 10638 10638 8552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420234149 27969658880 31527 33554432000 4194304 4196468 140736844036960 140246860323216 140247444686549 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39141376 140736844038891 140736844039318 140736844039318 140736844042191 0
[pid=10641/tid=10651] ppid=10638 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10641/task/10651/stat : 10651 (java) S 10638 10638 8552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420234151 27969658880 31527 33554432000 4194304 4196468 140736844036960 140246503058160 140247444687490 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39141376 140736844038891 140736844039318 140736844039318 140736844042191 0
[pid=10641/tid=10652] ppid=10638 vsize=27314120 memory=139685020131791 CPUtime=0 cores=0-7
/proc/10641/task/10652/stat : 10652 (java) S 10638 10638 8552 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420234151 27969658880 31527 33554432000 4194304 4196468 140736844036960 140245244831392 140247444686549 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39141376 140736844038891 140736844039318 140736844039318 140736844042191 0
[pid=10641/tid=10653] ppid=10638 vsize=27314120 memory=279370040291216 CPUtime=0 cores=0-7
/proc/10641/task/10653/stat : 10653 (java) S 10638 10638 8552 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420234151 27969658880 31527 33554432000 4194304 4196468 140736844036960 140245110609136 140247444686549 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39141376 140736844038891 140736844039318 140736844039318 140736844042191 0
[pid=10641/tid=10654] ppid=10638 vsize=27314120 memory=279370040288912 CPUtime=0 cores=0-7
/proc/10641/task/10654/stat : 10654 (java) S 10638 10638 8552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420234154 27969658880 31527 33554432000 4194304 4196468 140736844036960 140244736104912 140247444694939 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39141376 140736844038891 140736844039318 140736844039318 140736844042191 0
[pid=10641/tid=10655] ppid=10638 vsize=27314120 memory=279370040295824 CPUtime=0.01 cores=0-7
/proc/10641/task/10655/stat : 10655 (java) S 10638 10638 8552 0 -1 1077944384 454 0 0 0 1 0 0 0 20 0 20 0 420234154 27969658880 31527 33554432000 4194304 4196468 140736844036960 140246502004976 140247444687490 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39141376 140736844038891 140736844039318 140736844039318 140736844042191 0
[pid=10641/tid=10656] ppid=10638 vsize=27314120 memory=279370040237104 CPUtime=0.01 cores=0-7
/proc/10641/task/10656/stat : 10656 (java) S 10638 10638 8552 0 -1 1077944384 76 0 0 0 1 0 0 0 20 0 20 0 420234154 27969658880 31527 33554432000 4194304 4196468 140736844036960 140246500952432 140247444687490 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39141376 140736844038891 140736844039318 140736844039318 140736844042191 0
[pid=10641/tid=10657] ppid=10638 vsize=27314120 memory=279370040309648 CPUtime=0.01 cores=0-7
/proc/10641/task/10657/stat : 10657 (java) S 10638 10638 8552 0 -1 1077944384 114 0 0 0 1 0 0 0 20 0 20 0 420234154 27969658880 31527 33554432000 4194304 4196468 140736844036960 140246499899376 140247444687490 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39141376 140736844038891 140736844039318 140736844039318 140736844042191 0
[pid=10641/tid=10658] ppid=10638 vsize=27314120 memory=279370040316528 CPUtime=0.07 cores=0-7
/proc/10641/task/10658/stat : 10658 (java) S 10638 10638 8552 0 -1 1077944384 511 0 0 0 7 0 0 0 20 0 20 0 420234154 27969658880 31527 33554432000 4194304 4196468 140736844036960 140246498846832 140247444687490 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39141376 140736844038891 140736844039318 140736844039318 140736844042191 0
[pid=10641/tid=10659] ppid=10638 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10641/task/10659/stat : 10659 (java) S 10638 10638 8552 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420234154 27969658880 31527 33554432000 4194304 4196468 140736844036960 140244238199776 140247444686549 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39141376 140736844038891 140736844039318 140736844039318 140736844042191 0
[pid=10641/tid=10660] ppid=10638 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/10641/task/10660/stat : 10660 (java) S 10638 10638 8552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420234154 27969658880 31527 33554432000 4194304 4196468 140736844036960 140246497795248 140247444687490 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39141376 140736844038891 140736844039318 140736844039318 140736844042191 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 127500 KiB
[startup+0.700909 s]
/proc/loadavg: 6.88 7.06 7.31 2/217 10660
/proc/meminfo: memFree=31484536/32770624 swapFree=67009760/67108860
[pid=10638] ppid=10635 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/10638/stat : 10638 (scop.sh) S 10635 10638 8552 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 420234146 115843072 348 33554432000 4194304 5098028 140721072258704 140721072255960 140263602406012 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 24625152 140721072259877 140721072260204 140721072260204 140721072263117 0
/proc/10638/statm: 28282 348 296 221 0 87 0
[pid=10641] ppid=10638 vsize=27322516 memory=163424 CPUtime=0.98 cores=0-7
/proc/10641/stat : 10641 (java) S 10638 10638 8552 0 -1 1077944320 20148 0 0 0 92 6 0 0 20 0 20 0 420234146 27978256384 40856 33554432000 4194304 4196468 140736844036960 140736844019504 140247444676343 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39141376 140736844038891 140736844039318 140736844039318 140736844042191 0
/proc/10641/statm: 6830629 40856 3169 1 0 6791959 0
[pid=10641/tid=10642] ppid=10638 vsize=27322516 memory=2244 CPUtime=0.68 cores=0-7
/proc/10641/task/10642/stat : 10642 (java) R 10638 10638 8552 0 -1 4202560 17234 0 0 0 63 5 0 0 20 0 20 0 420234147 27978256384 40856 33554432000 4194304 4196468 140736844036960 140247416493728 140247428719973 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39141376 140736844038891 140736844039318 140736844039318 140736844042191 0
[pid=10641/tid=10643] ppid=10638 vsize=27322516 memory=0 CPUtime=0 cores=0-7
/proc/10641/task/10643/stat : 10643 (java) S 10638 10638 8552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420234149 27978256384 40856 33554432000 4194304 4196468 140736844036960 140247448919056 140247444686549 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39141376 140736844038891 140736844039318 140736844039318 140736844042191 0
[pid=10641/tid=10644] ppid=10638 vsize=27322516 memory=0 CPUtime=0 cores=0-7
/proc/10641/task/10644/stat : 10644 (java) S 10638 10638 8552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420234149 27978256384 40856 33554432000 4194304 4196468 140736844036960 140247263075472 140247444686549 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39141376 140736844038891 140736844039318 140736844039318 140736844042191 0
[pid=10641/tid=10645] ppid=10638 vsize=27322516 memory=14008 CPUtime=0 cores=0-7
/proc/10641/task/10645/stat : 10645 (java) S 10638 10638 8552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420234149 27978256384 40856 33554432000 4194304 4196468 140736844036960 140247262022416 140247444686549 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39141376 140736844038891 140736844039318 140736844039318 140736844042191 0
################
# More data... #
################
/proc/10745/task/10766/stat : 10766 (java) S 10638 10638 8552 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 420342473 8616062976 37954 33554432000 4194304 4196468 140720783679872 139625870144960 139626655801113 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 8290304 140720783684599 140720783684758 140720783684758 140720783687631 0
[pid=10745/tid=10768] ppid=10638 vsize=8414124 memory=1472 CPUtime=0.03 cores=0-7
/proc/10745/task/10768/stat : 10768 (java) S 10638 10638 8552 0 -1 4202560 1733 0 0 0 2 1 0 0 20 0 24 0 420342473 8616062976 37954 33554432000 4194304 4196468 140720783679872 139623548304880 139626655798429 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 8290304 140720783684599 140720783684758 140720783684758 140720783687631 0
[pid=10745/tid=10769] ppid=10638 vsize=8414124 memory=151816 CPUtime=0 cores=0-7
/proc/10745/task/10769/stat : 10769 (java) S 10638 10638 8552 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 420342473 8616062976 37954 33554432000 4194304 4196468 140720783679872 139623816740496 139626655798429 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 8290304 140720783684599 140720783684758 140720783684758 140720783687631 0
[pid=10745/tid=10770] ppid=10638 vsize=8414124 memory=13387240 CPUtime=0 cores=0-7
/proc/10745/task/10770/stat : 10770 (java) S 10638 10638 8552 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 420342475 8616062976 37954 33554432000 4194304 4196468 140720783679872 139623279877040 139626655786709 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8290304 140720783684599 140720783684758 140720783684758 140720783687631 0
Current children cumulated CPU time: 1352.3 s
Current children cumulated vsize: 23958264 KiB
Current children cumulated memory: 13540528 KiB
heavy processes:
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.03 s]
# the end of solver process 10638 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1223.43 s, system=48.7844 s
[startup+2521.21 s]
# the end of solver process 10745 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1295.54 s, system=58.0461 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2520.21 s]*
/proc/loadavg: 0.01 0.06 0.71 2/224 10904
/proc/meminfo: memFree=16314392/32770624 swapFree=67009800/67108860
[pid=10745] ppid=10635 vsize=8807348 memory=162056 CPUtime=2.51 cores=0-7
/proc/10745/stat : 10745 (java) S 10635 10638 8552 0 -1 1077944320 23115 0 0 0 199 52 0 0 20 0 26 0 420342365 9018724352 40514 33554432000 4194304 4196468 140720783679872 140720783662416 139626655776503 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8290304 140720783684599 140720783684758 140720783684758 140720783687631 0
/proc/10745/statm: 2201837 40514 3218 1 0 2163181 0
[pid=10745/tid=10746] ppid=10635 vsize=8807348 memory=1398722017469774279 CPUtime=1.09 cores=0-7
/proc/10745/task/10746/stat : 10746 (java) S 10635 10638 8552 0 -1 1077944384 16882 0 0 0 87 22 0 0 20 0 26 0 420342365 9018724352 40514 33554432000 4194304 4196468 140720783679872 139626627616672 139626655786709 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8290304 140720783684599 140720783684758 140720783684758 140720783687631 0
[pid=10745/tid=10747] ppid=10635 vsize=8807348 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/10745/task/10747/stat : 10747 (java) S 10635 10638 8552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 26 0 420342367 9018724352 40514 33554432000 4194304 4196468 140720783679872 139626660019216 139626655786709 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8290304 140720783684599 140720783684758 140720783684758 140720783687631 0
[pid=10745/tid=10748] ppid=10635 vsize=8807348 memory=2200 CPUtime=0 cores=0-7
/proc/10745/task/10748/stat : 10748 (java) S 10635 10638 8552 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 26 0 420342367 9018724352 40514 33554432000 4194304 4196468 140720783679872 139626460187792 139626655786709 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8290304 140720783684599 140720783684758 140720783684758 140720783687631 0
[pid=10745/tid=10749] ppid=10635 vsize=8807348 memory=1600 CPUtime=0 cores=0-7
/proc/10745/task/10749/stat : 10749 (java) S 10635 10638 8552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 26 0 420342367 9018724352 40514 33554432000 4194304 4196468 140720783679872 139626459134736 139626655786709 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8290304 140720783684599 140720783684758 140720783684758 140720783687631 0
[pid=10745/tid=10750] ppid=10635 vsize=8807348 memory=1398722017469774279 CPUtime=0 cores=0-7
/proc/10745/task/10750/stat : 10750 (java) S 10635 10638 8552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 26 0 420342367 9018724352 40514 33554432000 4194304 4196468 140720783679872 139626458082192 139626655786709 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8290304 140720783684599 140720783684758 140720783684758 140720783687631 0
[pid=10745/tid=10751] ppid=10635 vsize=8807348 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/10745/task/10751/stat : 10751 (java) S 10635 10638 8552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 26 0 420342367 9018724352 40514 33554432000 4194304 4196468 140720783679872 139626457029136 139626655786709 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8290304 140720783684599 140720783684758 140720783684758 140720783687631 0
[pid=10745/tid=10752] ppid=10635 vsize=8807348 memory=151816 CPUtime=0 cores=0-7
/proc/10745/task/10752/stat : 10752 (java) S 10635 10638 8552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 26 0 420342367 9018724352 40514 33554432000 4194304 4196468 140720783679872 139626455976592 139626655786709 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8290304 140720783684599 140720783684758 140720783684758 140720783687631 0
[pid=10745/tid=10753] ppid=10635 vsize=8807348 memory=13387240 CPUtime=0 cores=0-7
/proc/10745/task/10753/stat : 10753 (java) S 10635 10638 8552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 26 0 420342367 9018724352 40514 33554432000 4194304 4196468 140720783679872 139626454923536 139626655786709 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8290304 140720783684599 140720783684758 140720783684758 140720783687631 0
[pid=10745/tid=10754] ppid=10635 vsize=8807348 memory=4104 CPUtime=0 cores=0-7
/proc/10745/task/10754/stat : 10754 (java) S 10635 10638 8552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 26 0 420342367 9018724352 40514 33554432000 4194304 4196468 140720783679872 139626453870992 139626655786709 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8290304 140720783684599 140720783684758 140720783684758 140720783687631 0
[pid=10745/tid=10755] ppid=10635 vsize=8807348 memory=1792 CPUtime=0.01 cores=0-7
/proc/10745/task/10755/stat : 10755 (java) S 10635 10638 8552 0 -1 1077944384 11 0 0 0 0 1 0 0 20 0 26 0 420342368 9018724352 40514 33554432000 4194304 4196468 140720783679872 139625883441904 139626655787650 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8290304 140720783684599 140720783684758 140720783684758 140720783687631 0
[pid=10745/tid=10756] ppid=10635 vsize=8807348 memory=2200 CPUtime=0 cores=0-7
/proc/10745/task/10756/stat : 10756 (java) S 10635 10638 8552 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 26 0 420342369 9018724352 40514 33554432000 4194304 4196468 140720783679872 139625226036896 139626655786709 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8290304 140720783684599 140720783684758 140720783684758 140720783687631 0
[pid=10745/tid=10757] ppid=10635 vsize=8807348 memory=1600 CPUtime=0 cores=0-7
/proc/10745/task/10757/stat : 10757 (java) S 10635 10638 8552 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 26 0 420342369 9018724352 40514 33554432000 4194304 4196468 140720783679872 139625091814640 139626655786709 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8290304 140720783684599 140720783684758 140720783684758 140720783687631 0
[pid=10745/tid=10758] ppid=10635 vsize=8807348 memory=1398722017469774279 CPUtime=0 cores=0-7
/proc/10745/task/10758/stat : 10758 (java) S 10635 10638 8552 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 26 0 420342372 9018724352 40514 33554432000 4194304 4196468 140720783679872 139624717310416 139626655795099 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8290304 140720783684599 140720783684758 140720783684758 140720783687631 0
[pid=10745/tid=10759] ppid=10635 vsize=8807348 memory=3484 CPUtime=0.22 cores=0-7
/proc/10745/task/10759/stat : 10759 (java) S 10635 10638 8552 0 -1 1077944384 825 0 0 0 22 0 0 0 20 0 26 0 420342372 9018724352 40514 33554432000 4194304 4196468 140720783679872 139625882388720 139626655787650 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8290304 140720783684599 140720783684758 140720783684758 140720783687631 0
[pid=10745/tid=10760] ppid=10635 vsize=8807348 memory=4629539427040660854 CPUtime=0.17 cores=0-7
/proc/10745/task/10760/stat : 10760 (java) S 10635 10638 8552 0 -1 1077944384 321 0 0 0 17 0 0 0 20 0 26 0 420342372 9018724352 40514 33554432000 4194304 4196468 140720783679872 139625881336176 139626655787650 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8290304 140720783684599 140720783684758 140720783684758 140720783687631 0
[pid=10745/tid=10761] ppid=10635 vsize=8807348 memory=-7247262161690712702 CPUtime=0.19 cores=0-7
/proc/10745/task/10761/stat : 10761 (java) S 10635 10638 8552 0 -1 1077944384 598 0 0 0 19 0 0 0 20 0 26 0 420342372 9018724352 40514 33554432000 4194304 4196468 140720783679872 139625880283120 139626655787650 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8290304 140720783684599 140720783684758 140720783684758 140720783687631 0
[pid=10745/tid=10762] ppid=10635 vsize=8807348 memory=7379500264382096498 CPUtime=0.26 cores=0-7
/proc/10745/task/10762/stat : 10762 (java) S 10635 10638 8552 0 -1 1077944384 1209 0 0 0 26 0 0 0 20 0 26 0 420342372 9018724352 40514 33554432000 4194304 4196468 140720783679872 139625879230576 139626655787650 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8290304 140720783684599 140720783684758 140720783684758 140720783687631 0
[pid=10745/tid=10763] ppid=10635 vsize=8807348 memory=6371292086488622697 CPUtime=0 cores=0-7
/proc/10745/task/10763/stat : 10763 (java) S 10635 10638 8552 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 26 0 420342372 9018724352 40514 33554432000 4194304 4196468 140720783679872 139624219405280 139626655786709 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8290304 140720783684599 140720783684758 140720783684758 140720783687631 0
[pid=10745/tid=10764] ppid=10635 vsize=8807348 memory=6371292086488622697 CPUtime=0.46 cores=0-7
/proc/10745/task/10764/stat : 10764 (java) S 10635 10638 8552 0 -1 1077944384 96 0 0 0 16 30 0 0 20 0 26 0 420342372 9018724352 40514 33554432000 4194304 4196468 140720783679872 139625878178992 139626655787650 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8290304 140720783684599 140720783684758 140720783684758 140720783687631 0
[pid=10745/tid=10766] ppid=10635 vsize=8807348 memory=6371292086488622697 CPUtime=0 cores=0-7
/proc/10745/task/10766/stat : 10766 (java) S 10635 10638 8552 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 26 0 420342473 9018724352 40514 33554432000 4194304 4196468 140720783679872 139625870144960 139626655801113 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 8290304 140720783684599 140720783684758 140720783684758 140720783687631 0
[pid=10745/tid=10768] ppid=10635 vsize=8807348 memory=6371292086488622697 CPUtime=0.03 cores=0-7
/proc/10745/task/10768/stat : 10768 (java) S 10635 10638 8552 0 -1 4202560 1733 0 0 0 2 1 0 0 20 0 26 0 420342473 9018724352 40514 33554432000 4194304 4196468 140720783679872 139623548304880 139626655798429 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 8290304 140720783684599 140720783684758 140720783684758 140720783687631 0
[pid=10745/tid=10769] ppid=10635 vsize=8807348 memory=6371292086488622697 CPUtime=0 cores=0-7
/proc/10745/task/10769/stat : 10769 (java) S 10635 10638 8552 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 26 0 420342473 9018724352 40514 33554432000 4194304 4196468 140720783679872 139623816740496 139626655798429 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 8290304 140720783684599 140720783684758 140720783684758 140720783687631 0
[pid=10745/tid=10770] ppid=10635 vsize=8807348 memory=6371292086488622697 CPUtime=0 cores=0-7
/proc/10745/task/10770/stat : 10770 (java) S 10635 10638 8552 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 26 0 420342475 9018724352 40514 33554432000 4194304 4196468 140720783679872 139623279877040 139626655786709 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8290304 140720783684599 140720783684758 140720783684758 140720783687631 0
[pid=10745/tid=10901] ppid=10635 vsize=8807348 memory=7686721470317632659 CPUtime=0 cores=0-7
/proc/10745/task/10901/stat : 10901 (java) S 10635 10638 8552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 26 0 420486148 9018724352 40514 33554432000 4194304 4196468 140720783679872 139623011443360 139626655786709 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8290304 140720783684599 140720783684758 140720783684758 140720783687631 0
[pid=10745/tid=10904] ppid=10635 vsize=8807348 memory=6371292086488622697 CPUtime=0 cores=0-7
/proc/10745/task/10904/stat : 10904 (java) S 10635 10638 8552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 26 0 420486149 9018724352 40514 33554432000 4194304 4196468 140720783679872 139622743008544 139626655786709 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8290304 140720783684599 140720783684758 140720783684758 140720783687631 0
Current cumulated CPU time of completed processes: 1272.22 s
Current children cumulated CPU time: 2.51 s
Current children cumulated vsize: 8807348 KiB
Current children cumulated memory: 162056 KiB
[startup+2520.6 s]
/proc/loadavg: 0.01 0.06 0.71 2/224 10904
/proc/meminfo: memFree=16314392/32770624 swapFree=67009800/67108860
[pid=10745] ppid=10635 vsize=8545196 memory=162040 CPUtime=80.72 cores=0-7
/proc/10745/stat : 10745 (java) S 10635 10638 8552 0 -1 1077944320 23124 4613370 0 0 199 62 7011 800 20 0 23 0 420342365 8750280704 40510 33554432000 4194304 4196468 140720783679872 140720783662416 139626655776503 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8290304 140720783684599 140720783684758 140720783684758 140720783687631 0
/proc/10745/statm: 2136299 40510 3219 1 0 2097643 0
[pid=10745/tid=10746] ppid=10635 vsize=8545196 memory=984 CPUtime=79.2 cores=0-7
/proc/10745/task/10746/stat : 10746 (java) S 10635 10638 8552 0 -1 1077944384 16882 4613370 0 0 87 22 7011 800 20 0 23 0 420342365 8750280704 40510 33554432000 4194304 4196468 140720783679872 139626627616672 139626655786709 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8290304 140720783684599 140720783684758 140720783684758 140720783687631 0
[pid=10745/tid=10747] ppid=10635 vsize=8545196 memory=1948 CPUtime=78.11 cores=0-7
/proc/10745/task/10747/stat : 10747 (java) S 10635 10638 8552 0 -1 1077944384 2 4613370 0 0 0 0 7011 800 20 0 23 0 420342367 8750280704 40510 33554432000 4194304 4196468 140720783679872 139626660019216 139626655786709 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8290304 140720783684599 140720783684758 140720783684758 140720783687631 0
[pid=10745/tid=10748] ppid=10635 vsize=8545196 memory=6791534058613427641 CPUtime=78.11 cores=0-7
/proc/10745/task/10748/stat : 10748 (java) S 10635 10638 8552 0 -1 1077944384 3 4613370 0 0 0 0 7011 800 20 0 23 0 420342367 8750280704 40510 33554432000 4194304 4196468 140720783679872 139626460187792 139626655786709 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8290304 140720783684599 140720783684758 140720783684758 140720783687631 0
[pid=10745/tid=10749] ppid=10635 vsize=8545196 memory=6356 CPUtime=78.11 cores=0-7
/proc/10745/task/10749/stat : 10749 (java) S 10635 10638 8552 0 -1 1077944384 2 4613370 0 0 0 0 7011 800 20 0 23 0 420342367 8750280704 40510 33554432000 4194304 4196468 140720783679872 139626459134736 139626655786709 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8290304 140720783684599 140720783684758 140720783684758 140720783687631 0
[pid=10745/tid=10750] ppid=10635 vsize=8545196 memory=13948 CPUtime=78.11 cores=0-7
/proc/10745/task/10750/stat : 10750 (java) S 10635 10638 8552 0 -1 1077944384 1 4613370 0 0 0 0 7011 800 20 0 23 0 420342367 8750280704 40510 33554432000 4194304 4196468 140720783679872 139626458082192 139626655786709 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8290304 140720783684599 140720783684758 140720783684758 140720783687631 0
[pid=10745/tid=10751] ppid=10635 vsize=8545196 memory=2120 CPUtime=78.11 cores=0-7
/proc/10745/task/10751/stat : 10751 (java) S 10635 10638 8552 0 -1 1077944384 2 4613370 0 0 0 0 7011 800 20 0 23 0 420342367 8750280704 40510 33554432000 4194304 4196468 140720783679872 139626457029136 139626655786709 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8290304 140720783684599 140720783684758 140720783684758 140720783687631 0
[pid=10745/tid=10752] ppid=10635 vsize=8545196 memory=520 CPUtime=78.11 cores=0-7
/proc/10745/task/10752/stat : 10752 (java) S 10635 10638 8552 0 -1 1077944384 2 4613370 0 0 0 0 7011 800 20 0 23 0 420342367 8750280704 40510 33554432000 4194304 4196468 140720783679872 139626455976592 139626655786709 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8290304 140720783684599 140720783684758 140720783684758 140720783687631 0
[pid=10745/tid=10753] ppid=10635 vsize=8545196 memory=1472 CPUtime=78.11 cores=0-7
/proc/10745/task/10753/stat : 10753 (java) S 10635 10638 8552 0 -1 1077944384 1 4613370 0 0 0 0 7011 800 20 0 23 0 420342367 8750280704 40510 33554432000 4194304 4196468 140720783679872 139626454923536 139626655786709 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8290304 140720783684599 140720783684758 140720783684758 140720783687631 0
[pid=10745/tid=10754] ppid=10635 vsize=8545196 memory=151816 CPUtime=78.11 cores=0-7
/proc/10745/task/10754/stat : 10754 (java) S 10635 10638 8552 0 -1 1077944384 2 4613370 0 0 0 0 7011 800 20 0 23 0 420342367 8750280704 40510 33554432000 4194304 4196468 140720783679872 139626453870992 139626655786709 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8290304 140720783684599 140720783684758 140720783684758 140720783687631 0
[pid=10745/tid=10755] ppid=10635 vsize=8545196 memory=1472 CPUtime=78.12 cores=0-7
/proc/10745/task/10755/stat : 10755 (java) S 10635 10638 8552 0 -1 1077944384 11 4613370 0 0 0 1 7011 800 20 0 23 0 420342368 8750280704 40510 33554432000 4194304 4196468 140720783679872 139625883441408 139626655787650 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8290304 140720783684599 140720783684758 140720783684758 140720783687631 0
[pid=10745/tid=10756] ppid=10635 vsize=8545196 memory=151816 CPUtime=78.11 cores=0-7
/proc/10745/task/10756/stat : 10756 (java) S 10635 10638 8552 0 -1 1077944384 13 4613370 0 0 0 0 7011 800 20 0 23 0 420342369 8750280704 40510 33554432000 4194304 4196468 140720783679872 139625226036896 139626655786709 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8290304 140720783684599 140720783684758 140720783684758 140720783687631 0
[pid=10745/tid=10757] ppid=10635 vsize=8545196 memory=13387240 CPUtime=78.11 cores=0-7
/proc/10745/task/10757/stat : 10757 (java) S 10635 10638 8552 0 -1 1077944384 21 4613370 0 0 0 0 7011 800 20 0 23 0 420342369 8750280704 40510 33554432000 4194304 4196468 140720783679872 139625091814640 139626655786709 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8290304 140720783684599 140720783684758 140720783684758 140720783687631 0
[pid=10745/tid=10758] ppid=10635 vsize=8545196 memory=7686721470317632659 CPUtime=78.11 cores=0-7
/proc/10745/task/10758/stat : 10758 (java) S 10635 10638 8552 0 -1 1077944384 30 4613370 0 0 0 0 7011 800 20 0 23 0 420342372 8750280704 40510 33554432000 4194304 4196468 140720783679872 139624717307184 139626655786709 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8290304 140720783684599 140720783684758 140720783684758 140720783687631 0
[pid=10745/tid=10759] ppid=10635 vsize=8545196 memory=4760 CPUtime=78.33 cores=0-7
/proc/10745/task/10759/stat : 10759 (java) S 10635 10638 8552 0 -1 1077944384 828 4613370 0 0 22 0 7011 800 20 0 23 0 420342372 8750280704 40510 33554432000 4194304 4196468 140720783679872 139625882387616 139626655786709 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8290304 140720783684599 140720783684758 140720783684758 140720783687631 0
[pid=10745/tid=10760] ppid=10635 vsize=8545196 memory=1408 CPUtime=78.28 cores=0-7
/proc/10745/task/10760/stat : 10760 (java) S 10635 10638 8552 0 -1 1077944384 321 4613370 0 0 17 0 7011 800 20 0 23 0 420342372 8750280704 40510 33554432000 4194304 4196468 140720783679872 139625881336176 139626655787650 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8290304 140720783684599 140720783684758 140720783684758 140720783687631 0
[pid=10745/tid=10761] ppid=10635 vsize=8545196 memory=3724 CPUtime=78.3 cores=0-7
/proc/10745/task/10761/stat : 10761 (java) S 10635 10638 8552 0 -1 1077944384 598 4613370 0 0 19 0 7011 800 20 0 23 0 420342372 8750280704 40510 33554432000 4194304 4196468 140720783679872 139625880283120 139626655787650 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8290304 140720783684599 140720783684758 140720783684758 140720783687631 0
[pid=10745/tid=10762] ppid=10635 vsize=8545196 memory=1472 CPUtime=78.37 cores=0-7
/proc/10745/task/10762/stat : 10762 (java) S 10635 10638 8552 0 -1 1077944384 1209 4613370 0 0 26 0 7011 800 20 0 23 0 420342372 8750280704 40510 33554432000 4194304 4196468 140720783679872 139625879230336 139626655786709 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8290304 140720783684599 140720783684758 140720783684758 140720783687631 0
[pid=10745/tid=10763] ppid=10635 vsize=8545196 memory=151816 CPUtime=78.11 cores=0-7
/proc/10745/task/10763/stat : 10763 (java) S 10635 10638 8552 0 -1 1077944384 3 4613370 0 0 0 0 7011 800 20 0 23 0 420342372 8750280704 40510 33554432000 4194304 4196468 140720783679872 139624219405280 139626655786709 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8290304 140720783684599 140720783684758 140720783684758 140720783687631 0
[pid=10745/tid=10766] ppid=10635 vsize=8545196 memory=1980 CPUtime=78.11 cores=0-7
/proc/10745/task/10766/stat : 10766 (java) S 10635 10638 8552 0 -1 1077944384 23 4613370 0 0 0 0 7011 800 20 0 23 0 420342473 8750280704 40510 33554432000 4194304 4196468 140720783679872 139625870142512 139626655786709 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8290304 140720783684599 140720783684758 140720783684758 140720783687631 0
[pid=10745/tid=10770] ppid=10635 vsize=8545196 memory=111632 CPUtime=78.11 cores=0-7
/proc/10745/task/10770/stat : 10770 (java) S 10635 10638 8552 0 -1 1077944384 7 4613370 0 0 0 0 7011 800 20 0 23 0 420342475 8750280704 40510 33554432000 4194304 4196468 140720783679872 139623279867296 139626655786709 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8290304 140720783684599 140720783684758 140720783684758 140720783687631 0
[pid=10745/tid=10901] ppid=10635 vsize=8545196 memory=1804 CPUtime=78.11 cores=0-7
/proc/10745/task/10901/stat : 10901 (java) S 10635 10638 8552 0 -1 1077944384 2 4613370 0 0 0 0 7011 800 20 0 23 0 420486148 8750280704 40510 33554432000 4194304 4196468 140720783679872 139623011442512 139626655786709 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8290304 140720783684599 140720783684758 140720783684758 140720783687631 0
[pid=10745/tid=10904] ppid=10635 vsize=8545196 memory=920 CPUtime=78.19 cores=0-7
/proc/10745/task/10904/stat : 10904 (java) R 10635 10638 8552 0 -1 4202560 3 4613370 0 0 0 8 7011 800 20 0 23 0 420486149 8750280704 40510 33554432000 4194304 4196468 140720783679872 139622743008544 139626648462135 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8290304 140720783684599 140720783684758 140720783684758 140720783687631 0
Current cumulated CPU time of completed processes: 1272.22 s
Current children cumulated CPU time: 80.72 s
Current children cumulated vsize: 8545196 KiB
Current children cumulated memory: 162040 KiB
[startup+2521.01 s]
/proc/loadavg: 0.01 0.06 0.71 2/199 10904
/proc/meminfo: memFree=29144744/32770624 swapFree=67009800/67108860
Current cumulated CPU time of completed processes: 1272.22 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
[startup+2521.1 s]
/proc/loadavg: 0.01 0.06 0.71 2/199 10904
/proc/meminfo: memFree=29144744/32770624 swapFree=67009800/67108860
Current cumulated CPU time of completed processes: 1272.22 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 1
Real time (s): 2521.21
CPU time (s): 1353.59
CPU user time (s): 1295.54
CPU system time (s): 58.0461
CPU usage (%): 53.6881
Max. virtual memory (cumulated for all children) (KiB): 30289984
Max. memory (cumulated for all children) (KiB): 19338740
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1295.54
system time used= 58.0461
maximum resident set size= 19337856
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5006126
page faults= 0
swaps= 0
block input operations= 184
block output operations= 10297872
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 74286
involuntary context switches= 5138
# summary of solver processes directly reported to runsolver:
# pid: 10638,10745
# total CPU time (s): 1353.59
# total CPU user time (s): 1295.54
# total CPU system time (s): 58.0461
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.182 second user time and 25.7445 second system time
The end
Begin job on node132 at 2019-09-14 08:37:45 IDJOB=4392549 IDBENCH=139122 IDSOLVER=2838 FILE ID=node132/4392549-1568443114 RUNJOBID= node132-1568438679-8579 PBS_JOBID= 21702326 Free space on /tmp= 61624 MiB SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-06-15) BENCH NAME= XCSP17/LatinSquare/LatinSquare-m1-gs/qwh-o100-h10000.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-4392549-1568443114/watcher-4392549-1568443114 -o /tmp/evaluation-result-4392549-1568443114/solver-4392549-1568443114 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node132-1568438679-8579 --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-4392549-1568443114.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 2d32aa9e5f9738deac3ebf02ed7c37b3 RANDOM SEED=457698160 node132.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.95 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.95 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.95 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.95 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: 31623168 kB MemAvailable: 31914912 kB Buffers: 75048 kB Cached: 496320 kB SwapCached: 6276 kB Active: 406244 kB Inactive: 172816 kB Active(anon): 4908 kB Inactive(anon): 31660 kB Active(file): 401336 kB Inactive(file): 141156 kB Unevictable: 109404 kB Mlocked: 109404 kB SwapTotal: 67108860 kB SwapFree: 67009760 kB Dirty: 20920 kB Writeback: 0 kB AnonPages: 156588 kB Mapped: 32524 kB Shmem: 19608 kB Slab: 159476 kB SReclaimable: 130176 kB SUnreclaim: 29300 kB KernelStack: 3808 kB PageTables: 5724 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 476624 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 110592 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 136576 kB DirectMap2M: 33409024 kB Free space on /tmp at the end= 61604 MiB End job on node132 at 2019-09-14 09:19:46