Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
Fun-sCOP hybrid+ManyGlucose (2019-09-22) | UNSAT | 4166.52 | 773.773 |
Name | Random/Random-m1-7-40-8t/ rand-7-40-8-40-15000-9.xml |
MD5SUM | 134b875ea7bd230347634fe517213ca9 |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 11.0648 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 40 |
Number of constraints | 40 |
Number of domains | 1 |
Minimum domain size | 8 |
Maximum domain size | 8 |
Distribution of domain sizes | [{"size":8,"count":40}] |
Minimum variable degree | 1 |
Maximum variable degree | 13 |
Distribution of variable degrees | [{"degree":1,"count":1},{"degree":2,"count":1},{"degree":3,"count":1},{"degree":4,"count":2},{"degree":5,"count":9},{"degree":6,"count":5},{"degree":7,"count":4},{"degree":8,"count":5},{"degree":9,"count":5},{"degree":10,"count":3},{"degree":11,"count":2},{"degree":13,"count":2}] |
Minimum constraint arity | 7 |
Maximum constraint arity | 7 |
Distribution of constraint arities | [{"arity":7,"count":40}] |
Number of extensional constraints | 40 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":40}] |
Optimization problem | NO |
Type of objective |
0.00/0.00 c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -hybrid -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-6410-serial-file.bin HOME/instance-4405459-1569238653.xml 0.65/0.54 0.65/0.54 Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15) 0.65/0.54 0.65/0.57 c BEGIN-Prog: Mon Sep 23 13:36:50 CEST 2019 0.65/0.57 c PID: 6413 0.65/0.57 c IP: 172.20.3.147 0.65/0.57 c HOST: node147.alineos.net 0.65/0.58 c (0,0) Parsing Begin 3.48/2.06 c (1,1) Parsing End 3.48/2.07 c (1,1) CSP: 40 int (0 aux), 0 bool (0 aux), 40 ctr, max domain size 8 3.48/2.07 c (1,1) Heap : 1239 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB) 3.48/2.07 c (1,1) Constraint Name Generate Begin 3.48/2.07 c (1,1) Ctr:HOME/instance-4405459-1569238653.xml,ExtensionSupport:Var 3.48/2.07 c (1,1) Constraint Name Generate End 3.48/2.07 c (1,1) Heap : 1239 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB) 3.48/2.07 c (1,1) CSP to CSPinCNF Begin 34.69/15.92 c (15,15) translated 4 (10%) constraints 54.70/32.90 c (32,31) translated 8 (20%) constraints 74.60/50.00 c (49,48) translated 12 (30%) constraints 94.43/66.60 c (66,64) translated 16 (40%) constraints 115.46/83.56 c (83,80) translated 20 (50%) constraints 137.20/100.46 c (99,97) translated 24 (60%) constraints 158.86/117.24 c (116,113) translated 28 (70%) constraints 183.84/134.26 c (133,129) translated 32 (80%) constraints 204.30/150.73 c (150,144) translated 36 (90%) constraints 224.65/167.14 c (166,160) translated 40 (100%) constraints 228.55/171.10 c (170,164) =========================================== 229.48/171.93 c (171,165) Hybrid: #OE=249944, #LE=0 229.48/171.93 c (171,165) Hybrid 229.48/171.93 c (171,165) =========================================== 237.88/177.47 c (176,170) translated 239038 (10%) constraints 243.38/182.88 c (182,176) translated 478076 (20%) constraints 248.85/188.29 c (187,181) translated 717114 (30%) constraints 254.35/193.70 c (193,187) translated 956152 (40%) constraints 264.03/199.61 c (199,192) translated 1195190 (50%) constraints 269.34/204.98 c (204,197) translated 1434228 (60%) constraints 274.74/210.32 c (209,203) translated 1673266 (70%) constraints 284.86/216.27 c (215,208) translated 1912304 (80%) constraints 290.34/221.62 c (221,213) translated 2151342 (90%) constraints 295.72/226.95 c (226,219) translated 2390380 (100%) constraints 295.72/226.95 c (226,219) CSP to CSPinCNF End 295.85/227.05 c (226,219) CSP: 40 int (0 aux), 249904 bool (249904 aux), 2390380 ctr, max domain size 8 295.85/227.05 c (226,219) Heap : 6828 MiB used (max 21377 MiB), NonHeap : 26 MiB used (max 0 MiB) 295.85/227.05 c (226,219) CSPinCNF Propagation Begin 325.26/240.64 c (240,230) 0 values, 40 unsatisfiable literals, and 0 valid clauses are removed 325.26/240.64 c (240,230) CSPinCNF Propagation End 325.36/240.73 c (240,230) CSP: 40 int (0 aux), 249904 bool (249904 aux), 2390380 ctr, max domain size 8 325.36/240.73 c (240,230) Heap : 6169 MiB used (max 21415 MiB), NonHeap : 26 MiB used (max 0 MiB) 326.08/241.49 c (240,231) Hybrid: #OE=249944, #LE=0 326.08/241.49 c (240,231) Simplify CSPinCNF Begin 331.07/246.37 c (245,236) Simplify CSPinCNF End 331.17/246.46 c (245,236) CSP: 40 int (0 aux), 249904 bool (249904 aux), 2390380 ctr, max domain size 8 331.17/246.46 c (245,236) Heap : 8935 MiB used (max 21415 MiB), NonHeap : 27 MiB used (max 0 MiB) 331.17/246.46 c (245,236) Calculate Precise Domain Begin 331.17/246.46 c (245,236) 0 values are removed by re-calculation 331.17/246.46 c (245,236) Calculate Precise Domain End 331.28/246.55 c (246,236) CSP: 40 int (0 aux), 249904 bool (249904 aux), 2390380 ctr, max domain size 8 331.28/246.55 c (246,236) Heap : 8939 MiB used (max 21415 MiB), NonHeap : 27 MiB used (max 0 MiB) 331.28/246.55 c (246,236) CSPinCNF to SatSolver Begin 341.90/250.34 c (249,239) 239038 (10 %) CSP clauses are encoded (0 SAT variables, 239277 SAT clauses) 344.24/252.68 c (252,241) 478076 (20 %) CSP clauses are encoded (0 SAT variables, 478315 SAT clauses) 353.99/255.96 c (255,244) 717114 (30 %) CSP clauses are encoded (0 SAT variables, 717353 SAT clauses) 356.39/258.31 c (257,246) 956152 (40 %) CSP clauses are encoded (0 SAT variables, 956391 SAT clauses) 358.69/260.65 c (260,248) 1195190 (50 %) CSP clauses are encoded (0 SAT variables, 1195429 SAT clauses) 363.77/263.36 c (262,251) 1434228 (60 %) CSP clauses are encoded (0 SAT variables, 1434467 SAT clauses) 366.18/265.72 c (265,253) 1673266 (70 %) CSP clauses are encoded (0 SAT variables, 1673505 SAT clauses) 371.29/268.41 c (267,255) 1912304 (80 %) CSP clauses are encoded (0 SAT variables, 1912543 SAT clauses) 373.59/270.76 c (270,258) 2151342 (90 %) CSP clauses are encoded (0 SAT variables, 2151581 SAT clauses) 375.89/273.10 c (272,260) 2390380 (100 %) CSP clauses are encoded (0 SAT variables, 2390619 SAT clauses) 375.89/273.10 c (272,260) CSPinCNF to SatSolver End 375.89/273.10 c (272,260) Heap : 9537 MiB used (max 21480 MiB), NonHeap : 29 MiB used (max 0 MiB) 375.89/273.10 c (272,260) 250184 bool, 2390620 clause 375.89/273.10 c (272,260) Export Begin 376.00/273.19 c (272,260) Export to HOME/scop-6410-serial-file.bin 376.00/273.19 c (272,260) Export End 376.00/273.19 c (272,260) Export File Size: 0.01 MB 376.00/273.19 c (272,260) 1,1,226,240,245,246,272,STOP-AFTER(DIMACS) 376.00/273.19 c END-Prog: Mon Sep 23 13:41:22 CEST 2019 0.00/273.25 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-6410-serial-file.bin 376.24/273.72 c (0,0) Read Serial File Begin 376.24/273.72 c (0,0) HOME/scop-6410-serial-file.bin 376.24/273.93 c (0,0) Read Serial File End 376.24/273.94 376.24/273.94 Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15) 376.24/273.94 (Solving Process) 376.24/273.94 376.24/273.97 c BEGIN-Prog: Mon Sep 23 13:41:23 CEST 2019 376.24/273.97 c PID: 6458 376.24/273.97 c IP: 172.20.3.147 376.24/273.97 c HOST: node147.alineos.net 376.24/273.97 c (0,0) SatSolver.solve Begin 376.24/273.97 c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405459-1569238653.xml-scop-6413.cnf 376.24/274.00 c (0,0) c 376.24/274.00 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) 376.24/274.00 c (0,0) c 376.24/274.00 c (0,0) c WARNING: for repeatability, setting FPU to use double precision 376.24/274.00 c (0,0) c 8 solvers engines and 1 companion as a blackboard created. 376.24/274.00 c (0,0) c ========================================[ Problem Statistics ]=========================================== 376.24/274.00 c (0,0) c | | 378.29/274.92 c (1,0) c | Number of variables: 250184 | 378.29/274.92 c (1,0) c | Number of clauses: 2390620 | 378.29/274.92 c (1,0) c | Parse time: 0.85 s | 378.29/274.92 c (1,0) c | | 396.60/293.28 c (19,0) c | Simplification time: 18.27 s | 396.60/293.28 c (19,0) c | | 396.60/293.28 c (19,0) c | Generating clones | 397.41/294.04 c (20,0) c | all clones generated. Memory = 1491.96Mb. | 397.41/294.04 c (20,0) c ========================================================================================================| 397.41/294.04 c (20,0) c 397.41/294.04 c (20,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 397.41/294.04 c (20,0) c 397.41/294.04 c (20,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 397.41/294.04 c (20,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 397.41/294.04 c (20,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 397.41/294.04 c (20,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 397.41/294.04 c (20,0) c | adaptStrategeis | True | False | True | False | True | False | True | False | 397.41/294.04 c (20,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 397.41/294.04 c (20,0) c | Initial random_seed | 91648253 | 91648254 | 91648255 | 91648256 | 91648257 | 91648258 | 91648259 | 91648260 | 397.41/294.04 c (20,0) c | chanseokStrategy | False | False | False | False | False | False | False | False | 397.41/294.04 c (20,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 397.41/294.04 c (20,0) c | glureduce | True | True | True | True | True | True | True | True | 397.41/294.04 c (20,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 397.41/294.04 c (20,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 397.41/294.04 c (20,0) c | luby_restart | False | False | False | False | False | False | False | False | 397.41/294.04 c (20,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 397.41/294.04 c (20,0) c | var_decay | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 397.41/294.04 c (20,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 397.41/294.04 c (20,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 397.41/294.04 c (20,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 397.41/294.04 c (20,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 626.16/323.19 c (49,0) c 626.16/323.19 c (49,0) c |------------------------------------------------------------------------------------------------------------------------| 626.16/323.19 c (49,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 626.16/323.19 c (49,0) c |------------------------------------------------------------------------------------------------------------------------| 626.16/323.19 c (49,0) c | 0 | 3 | 14955 | 4363 | 88070 | 3370 | 72 | 395 | 1 | 114 | 20 | 0.000 | 626.16/323.19 c (49,0) c | 1 | 3 | 8001 | 2843 | 92899 | 1847 | 144 | 61 | 1 | 99 | 20 | 0.000 | 626.16/323.19 c (49,0) c | 2 | 2 | 11451 | 3976 | 93194 | 2983 | 46 | 0 | 0 | 111 | 20 | 0.000 | 626.16/323.19 c (49,0) c | 3 | 2 | 11568 | 3757 | 94735 | 2755 | 136 | 381 | 13 | 108 | 20 | 0.000 | 626.16/323.19 c (49,0) c | 4 | 3 | 10251 | 3626 | 103955 | 2633 | 135 | 94 | 4 | 105 | 20 | 0.000 | 626.16/323.19 c (49,0) c | 5 | 6 | 12789 | 3554 | 103769 | 2559 | 127 | 553 | 12 | 107 | 20 | 0.000 | 626.16/323.19 c (49,0) c | 6 | 3 | 8876 | 3258 | 61467 | 2261 | 123 | 636 | 7 | 102 | 20 | 0.000 | 626.16/323.19 c (49,0) c | 7 | 8 | 8530 | 3158 | 79003 | 2164 | 160 | 611 | 12 | 103 | 20 | 0.000 | 626.16/323.19 c (49,0) c 626.16/323.19 c (49,0) c synthesis 28535 conflicts 551908047 propagations 118 conflicts/sec 2282090 propagations/sec 626.16/323.19 c (49,0) c real: 49.1968 s, cpu: 241.843 s, memory: 2174.35 Mb 857.43/352.19 c (78,0) c 857.43/352.19 c (78,0) c |------------------------------------------------------------------------------------------------------------------------| 857.43/352.19 c (78,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 857.43/352.19 c (78,0) c |------------------------------------------------------------------------------------------------------------------------| 857.43/352.19 c (78,0) c | 0 | 3 | 18080 | 6550 | 109107 | 5557 | 537 | 395 | 2 | 220 | 20 | 0.000 | 857.43/352.19 c (78,0) c | 1 | 7 | 14385 | 6319 | 130616 | 5323 | 772 | 3242 | 67 | 203 | 20 | 0.000 | 857.43/352.19 c (78,0) c | 2 | 3 | 17354 | 7176 | 150946 | 3386 | 718 | 1008 | 66 | 219 | 20 | 0.000 | 857.43/352.19 c (78,0) c | 3 | 6 | 18529 | 7301 | 148802 | 3505 | 953 | 4495 | 97 | 218 | 20 | 0.000 | 857.43/352.19 c (78,0) c | 4 | 11 | 18732 | 8109 | 161288 | 4316 | 1114 | 4425 | 118 | 216 | 20 | 0.000 | 857.43/352.19 c (78,0) c | 5 | 7 | 17754 | 6754 | 135494 | 2965 | 676 | 1132 | 38 | 215 | 20 | 0.000 | 857.43/352.19 c (78,0) c | 6 | 13 | 14784 | 6472 | 98914 | 5475 | 703 | 4264 | 44 | 210 | 20 | 0.000 | 857.43/352.19 c (78,0) c | 7 | 21 | 17261 | 7195 | 170201 | 3410 | 1057 | 4034 | 108 | 213 | 20 | 0.000 | 857.43/352.19 c (78,0) c 857.43/352.19 c (78,0) c synthesis 55876 conflicts 1141721029 propagations 118 conflicts/sec 2415688 propagations/sec 857.43/352.19 c (78,0) c real: 78.1968 s, cpu: 472.628 s, memory: 2178.22 Mb 1087.17/381.19 c (107,0) c 1087.17/381.19 c (107,0) c |------------------------------------------------------------------------------------------------------------------------| 1087.17/381.19 c (107,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 1087.17/381.19 c (107,0) c |------------------------------------------------------------------------------------------------------------------------| 1087.17/381.19 c (107,0) c | 0 | 4 | 21579 | 9000 | 130864 | 5205 | 1114 | 11524 | 3 | 326 | 20 | 0.000 | 1087.17/381.19 c (107,0) c | 1 | 12 | 21015 | 9962 | 176018 | 6171 | 1703 | 8492 | 364 | 306 | 20 | 0.000 | 1087.17/381.19 c (107,0) c | 2 | 3 | 21691 | 10172 | 175024 | 6382 | 1312 | 1008 | 85 | 326 | 20 | 0.000 | 1087.17/381.19 c (107,0) c | 3 | 6 | 26101 | 11539 | 175140 | 7743 | 2074 | 4495 | 285 | 326 | 20 | 0.000 | 1087.17/381.19 c (107,0) c | 4 | 11 | 22634 | 10758 | 216246 | 6965 | 1903 | 4425 | 203 | 325 | 20 | 0.000 | 1087.17/381.19 c (107,0) c | 5 | 12 | 23256 | 9898 | 169437 | 6109 | 1512 | 11094 | 260 | 324 | 20 | 0.000 | 1087.17/381.19 c (107,0) c | 6 | 19 | 19590 | 9370 | 140081 | 5576 | 1297 | 10611 | 221 | 319 | 20 | 0.000 | 1087.17/381.19 c (107,0) c | 7 | 25 | 27549 | 12482 | 223789 | 8697 | 2643 | 6965 | 399 | 326 | 20 | 0.000 | 1087.17/381.19 c (107,0) c 1087.17/381.19 c (107,0) c synthesis 83181 conflicts 1705397849 propagations 118 conflicts/sec 2429425 propagations/sec 1087.17/381.19 c (107,0) c real: 107.197 s, cpu: 701.976 s, memory: 2180.80 Mb 1312.74/410.19 c (136,0) c 1312.74/410.19 c (136,0) c |------------------------------------------------------------------------------------------------------------------------| 1312.74/410.19 c (136,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 1312.74/410.19 c (136,0) c |------------------------------------------------------------------------------------------------------------------------| 1312.74/410.19 c (136,0) c | 0 | 6 | 25542 | 11395 | 180034 | 7599 | 1658 | 15918 | 432 | 411 | 20 | 0.000 | 1312.74/410.19 c (136,0) c | 1 | 12 | 26993 | 13364 | 221432 | 9573 | 2667 | 8492 | 640 | 412 | 20 | 0.000 | 1312.74/410.19 c (136,0) c | 2 | 3 | 26361 | 13033 | 204595 | 9243 | 1937 | 1008 | 106 | 431 | 20 | 0.000 | 1312.74/410.19 c (136,0) c | 3 | 6 | 30165 | 14153 | 193448 | 5360 | 2669 | 4495 | 356 | 413 | 20 | 0.000 | 1312.74/410.19 c (136,0) c | 4 | 12 | 26529 | 13278 | 252848 | 9485 | 2540 | 15558 | 377 | 431 | 20 | 0.000 | 1312.74/410.19 c (136,0) c | 5 | 14 | 30815 | 13805 | 223184 | 5019 | 2687 | 16056 | 680 | 431 | 20 | 0.000 | 1312.74/410.19 c (136,0) c | 6 | 23 | 26551 | 13075 | 180695 | 9281 | 2130 | 16611 | 664 | 431 | 20 | 0.000 | 1312.74/410.19 c (136,0) c | 7 | 33 | 33741 | 16085 | 251150 | 7298 | 3387 | 15247 | 625 | 431 | 20 | 0.000 | 1312.74/410.19 c (136,0) c 1312.74/410.19 c (136,0) c synthesis 108188 conflicts 2262833499 propagations 117 conflicts/sec 2439672 propagations/sec 1312.74/410.19 c (136,0) c real: 136.197 s, cpu: 927.515 s, memory: 2182.09 Mb 1540.79/439.19 c (165,0) c 1540.79/439.19 c (165,0) c |------------------------------------------------------------------------------------------------------------------------| 1540.79/439.19 c (165,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 1540.79/439.19 c (165,0) c |------------------------------------------------------------------------------------------------------------------------| 1540.79/439.19 c (165,0) c | 0 | 9 | 31921 | 14929 | 232245 | 6130 | 2403 | 21459 | 867 | 520 | 20 | 0.000 | 1540.79/439.19 c (165,0) c | 1 | 12 | 33178 | 16867 | 254518 | 6214 | 3519 | 19192 | 938 | 518 | 20 | 0.000 | 1540.79/439.19 c (165,0) c | 2 | 3 | 31299 | 16111 | 224475 | 7322 | 2618 | 1008 | 118 | 538 | 20 | 0.000 | 1540.79/439.19 c (165,0) c | 3 | 7 | 35941 | 17560 | 214154 | 8768 | 3351 | 18189 | 559 | 522 | 20 | 0.000 | 1540.79/439.19 c (165,0) c | 4 | 16 | 32390 | 16756 | 279916 | 7967 | 3145 | 21778 | 678 | 538 | 20 | 0.000 | 1540.79/439.19 c (165,0) c | 5 | 14 | 36095 | 16964 | 254519 | 8178 | 3302 | 16056 | 776 | 538 | 20 | 0.000 | 1540.79/439.19 c (165,0) c | 6 | 24 | 35218 | 17610 | 215692 | 8812 | 3302 | 17147 | 878 | 535 | 20 | 0.000 | 1540.79/439.19 c (165,0) c | 7 | 42 | 38624 | 18911 | 270141 | 10095 | 3912 | 20367 | 877 | 531 | 20 | 0.000 | 1540.79/439.19 c (165,0) c 1540.79/439.19 c (165,0) c synthesis 135708 conflicts 2825707849 propagations 118 conflicts/sec 2448042 propagations/sec 1540.79/439.19 c (165,0) c real: 165.197 s, cpu: 1154.27 s, memory: 2183.25 Mb 1777.46/469.19 c (195,0) c 1777.46/469.19 c (195,0) c |------------------------------------------------------------------------------------------------------------------------| 1777.46/469.19 c (195,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 1777.46/469.19 c (195,0) c |------------------------------------------------------------------------------------------------------------------------| 1777.46/469.19 c (195,0) c | 0 | 12 | 36345 | 17873 | 256097 | 9072 | 2958 | 26358 | 1029 | 636 | 20 | 0.002 | 1777.46/469.19 c (195,0) c | 1 | 16 | 37596 | 19701 | 275941 | 9047 | 3906 | 24648 | 1255 | 629 | 20 | 0.002 | 1777.46/469.19 c (195,0) c | 2 | 4 | 36587 | 19258 | 243955 | 10462 | 3271 | 26446 | 183 | 647 | 20 | 0.002 | 1777.46/469.19 c (195,0) c | 3 | 7 | 42088 | 21240 | 240859 | 12448 | 4176 | 18189 | 903 | 636 | 20 | 0.000 | 1777.46/469.19 c (195,0) c | 4 | 19 | 38344 | 20121 | 305161 | 11329 | 3775 | 25368 | 1007 | 634 | 20 | 0.002 | 1777.46/469.19 c (195,0) c | 5 | 17 | 41321 | 20075 | 273382 | 11285 | 3849 | 24908 | 1049 | 641 | 20 | 0.001 | 1777.46/469.19 c (195,0) c | 6 | 31 | 40608 | 20790 | 247586 | 10902 | 3890 | 25344 | 1081 | 634 | 20 | 0.002 | 1777.46/469.19 c (195,0) c | 7 | 45 | 45019 | 22006 | 291592 | 13188 | 4643 | 24901 | 1204 | 637 | 20 | 0.002 | 1777.46/469.19 c (195,0) c 1777.46/469.19 c (195,0) c synthesis 161064 conflicts 3392921914 propagations 116 conflicts/sec 2439677 propagations/sec 1777.46/469.19 c (195,0) c real: 195.197 s, cpu: 1390.73 s, memory: 2184.28 Mb 2003.10/498.19 c (224,0) c 2003.10/498.19 c (224,0) c |------------------------------------------------------------------------------------------------------------------------| 2003.10/498.19 c (224,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 2003.10/498.19 c (224,0) c |------------------------------------------------------------------------------------------------------------------------| 2003.10/498.19 c (224,0) c | 0 | 14 | 41656 | 21175 | 287708 | 12374 | 3636 | 29041 | 1323 | 744 | 20 | 0.002 | 2003.10/498.19 c (224,0) c | 1 | 16 | 40375 | 21947 | 287497 | 11292 | 4259 | 24648 | 1370 | 733 | 20 | 0.002 | 2003.10/498.19 c (224,0) c | 2 | 4 | 41732 | 22207 | 276604 | 13411 | 3876 | 26446 | 778 | 744 | 20 | 0.002 | 2003.10/498.19 c (224,0) c | 3 | 9 | 48801 | 25067 | 261282 | 8876 | 4927 | 26338 | 1297 | 744 | 20 | 0.002 | 2003.10/498.19 c (224,0) c | 4 | 24 | 42821 | 23205 | 326670 | 14413 | 4335 | 29025 | 1280 | 728 | 20 | 0.002 | 2003.10/498.19 c (224,0) c | 5 | 21 | 46936 | 23444 | 294015 | 14654 | 4397 | 29949 | 1400 | 744 | 20 | 0.002 | 2003.10/498.19 c (224,0) c | 6 | 34 | 44021 | 23200 | 264381 | 13312 | 4377 | 26331 | 1219 | 724 | 20 | 0.002 | 2003.10/498.19 c (224,0) c | 7 | 49 | 49588 | 24888 | 309606 | 8691 | 5091 | 28867 | 1430 | 736 | 20 | 0.002 | 2003.10/498.19 c (224,0) c 2003.10/498.19 c (224,0) c synthesis 185133 conflicts 3934396155 propagations 115 conflicts/sec 2434420 propagations/sec 2003.10/498.19 c (224,0) c real: 224.197 s, cpu: 1616.15 s, memory: 2185.05 Mb 2232.59/527.19 c (253,0) c 2232.59/527.19 c (253,0) c |------------------------------------------------------------------------------------------------------------------------| 2232.59/527.19 c (253,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 2232.59/527.19 c (253,0) c |------------------------------------------------------------------------------------------------------------------------| 2232.59/527.19 c (253,0) c | 0 | 16 | 46663 | 24477 | 311918 | 8283 | 4162 | 34495 | 1561 | 851 | 20 | 0.002 | 2232.59/527.19 c (253,0) c | 1 | 17 | 43481 | 24257 | 300020 | 7135 | 4629 | 32372 | 1457 | 838 | 20 | 0.002 | 2232.59/527.19 c (253,0) c | 2 | 7 | 46985 | 25305 | 304535 | 9112 | 4510 | 33306 | 1056 | 848 | 20 | 0.002 | 2232.59/527.19 c (253,0) c | 3 | 13 | 54534 | 28371 | 276652 | 12180 | 5558 | 31932 | 1485 | 835 | 20 | 0.002 | 2232.59/527.19 c (253,0) c | 4 | 28 | 48667 | 26613 | 346896 | 9807 | 4903 | 33182 | 1484 | 839 | 20 | 0.002 | 2232.59/527.19 c (253,0) c | 5 | 24 | 51773 | 26349 | 311951 | 10158 | 5008 | 32710 | 1548 | 836 | 20 | 0.002 | 2232.59/527.19 c (253,0) c | 6 | 34 | 47038 | 25460 | 274344 | 8724 | 4766 | 26331 | 1287 | 831 | 20 | 0.002 | 2232.59/527.19 c (253,0) c | 7 | 54 | 55251 | 28177 | 324705 | 10946 | 5708 | 32951 | 1638 | 846 | 20 | 0.002 | 2232.59/527.19 c (253,0) c 2232.59/527.19 c (253,0) c synthesis 209009 conflicts 4481074309 propagations 113 conflicts/sec 2429427 propagations/sec 2232.59/527.19 c (253,0) c real: 253.197 s, cpu: 1844.5 s, memory: 2185.70 Mb 2458.39/556.19 c (282,0) c 2458.39/556.19 c (282,0) c |------------------------------------------------------------------------------------------------------------------------| 2458.39/556.19 c (282,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 2458.39/556.19 c (282,0) c |------------------------------------------------------------------------------------------------------------------------| 2458.39/556.19 c (282,0) c | 0 | 18 | 51537 | 27466 | 325589 | 11272 | 4731 | 36917 | 1822 | 948 | 20 | 0.003 | 2458.39/556.19 c (282,0) c | 1 | 18 | 47747 | 27181 | 317698 | 10055 | 5199 | 37320 | 1554 | 945 | 20 | 0.003 | 2458.39/556.19 c (282,0) c | 2 | 9 | 52014 | 28583 | 328337 | 12388 | 5178 | 38099 | 1200 | 951 | 20 | 0.003 | 2458.39/556.19 c (282,0) c | 3 | 16 | 59621 | 31495 | 297687 | 15303 | 6066 | 35856 | 1688 | 931 | 20 | 0.003 | 2458.39/556.19 c (282,0) c | 4 | 36 | 54932 | 30381 | 360864 | 13575 | 5409 | 36435 | 1770 | 951 | 20 | 0.003 | 2458.39/556.19 c (282,0) c | 5 | 26 | 57883 | 29641 | 331491 | 13124 | 5701 | 36871 | 1749 | 935 | 20 | 0.003 | 2458.39/556.19 c (282,0) c | 6 | 35 | 53041 | 29170 | 299399 | 12434 | 5338 | 34380 | 1623 | 945 | 20 | 0.002 | 2458.39/556.19 c (282,0) c | 7 | 59 | 60819 | 31375 | 336297 | 14143 | 6173 | 36396 | 1863 | 951 | 20 | 0.003 | 2458.39/556.19 c (282,0) c 2458.39/556.19 c (282,0) c synthesis 235292 conflicts 5038249080 propagations 114 conflicts/sec 2434287 propagations/sec 2458.39/556.19 c (282,0) c real: 282.197 s, cpu: 2069.7 s, memory: 2186.34 Mb 2686.82/585.19 c (311,0) c 2686.82/585.19 c (311,0) c |------------------------------------------------------------------------------------------------------------------------| 2686.82/585.19 c (311,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 2686.82/585.19 c (311,0) c |------------------------------------------------------------------------------------------------------------------------| 2686.82/585.19 c (311,0) c | 0 | 19 | 56612 | 30644 | 352132 | 14450 | 5274 | 40371 | 2110 | 1053 | 20 | 0.003 | 2686.82/585.19 c (311,0) c | 1 | 22 | 53213 | 30530 | 335132 | 13404 | 5660 | 41373 | 1802 | 1052 | 20 | 0.003 | 2686.82/585.19 c (311,0) c | 2 | 9 | 56215 | 31622 | 346372 | 15427 | 5592 | 38099 | 1404 | 1055 | 20 | 0.003 | 2686.82/585.19 c (311,0) c | 3 | 17 | 65120 | 34671 | 310258 | 18479 | 6594 | 38964 | 1903 | 1037 | 20 | 0.003 | 2686.82/585.19 c (311,0) c | 4 | 40 | 60210 | 33778 | 370652 | 16972 | 5897 | 40238 | 2003 | 1057 | 20 | 0.003 | 2686.82/585.19 c (311,0) c | 5 | 30 | 63450 | 33242 | 343582 | 16725 | 6289 | 39567 | 2003 | 1043 | 20 | 0.003 | 2686.82/585.19 c (311,0) c | 6 | 36 | 57650 | 32372 | 314291 | 15636 | 5878 | 38469 | 1890 | 1051 | 20 | 0.003 | 2686.82/585.19 c (311,0) c | 7 | 63 | 65527 | 34436 | 344917 | 17204 | 6561 | 38849 | 2151 | 1054 | 20 | 0.003 | 2686.82/585.19 c (311,0) c 2686.82/585.19 c (311,0) c synthesis 261295 conflicts 5616335145 propagations 114 conflicts/sec 2444196 propagations/sec 2686.82/585.19 c (311,0) c real: 311.197 s, cpu: 2297.82 s, memory: 2186.73 Mb 2925.55/615.19 c (341,0) c 2925.55/615.19 c (341,0) c |------------------------------------------------------------------------------------------------------------------------| 2925.55/615.19 c (341,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 2925.55/615.19 c (341,0) c |------------------------------------------------------------------------------------------------------------------------| 2925.55/615.19 c (341,0) c | 0 | 21 | 60474 | 33454 | 370957 | 17260 | 5769 | 45377 | 2327 | 1166 | 20 | 0.003 | 2926.26/615.29 c (341,0) c | 1 | 25 | 57183 | 33323 | 347674 | 16196 | 6087 | 44700 | 2017 | 1163 | 20 | 0.003 | 2926.26/615.29 c (341,0) c | 2 | 10 | 61086 | 34719 | 359910 | 18524 | 6144 | 42899 | 1634 | 1147 | 20 | 0.003 | 2926.26/615.29 c (341,0) c | 3 | 20 | 70295 | 38001 | 326742 | 11914 | 7094 | 42843 | 2078 | 1150 | 20 | 0.003 | 2926.26/615.29 c (341,0) c | 4 | 46 | 63882 | 36355 | 383088 | 9962 | 6264 | 42906 | 2256 | 1149 | 20 | 0.003 | 2926.26/615.29 c (341,0) c | 5 | 32 | 68610 | 36552 | 354652 | 10298 | 6789 | 40553 | 2173 | 1156 | 20 | 0.003 | 2926.26/615.29 c (341,0) c | 6 | 39 | 63404 | 36035 | 332337 | 8764 | 6482 | 44757 | 2271 | 1166 | 20 | 0.003 | 2926.26/615.29 c (341,0) c | 7 | 63 | 70270 | 37609 | 357922 | 10996 | 6952 | 38849 | 2333 | 1166 | 20 | 0.003 | 2926.26/615.29 c (341,0) c 2926.26/615.29 c (341,0) c synthesis 286048 conflicts 6197126006 propagations 113 conflicts/sec 2443595 propagations/sec 2926.26/615.29 c (341,0) c real: 341.197 s, cpu: 2536.07 s, memory: 2187.26 Mb 3164.81/645.19 c (371,0) c 3164.81/645.19 c (371,0) c |------------------------------------------------------------------------------------------------------------------------| 3164.81/645.19 c (371,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 3164.81/645.19 c (371,0) c |------------------------------------------------------------------------------------------------------------------------| 3164.81/645.19 c (371,0) c | 0 | 21 | 63564 | 35899 | 378436 | 19705 | 6053 | 45377 | 2510 | 1272 | 20 | 0.003 | 3164.81/645.19 c (371,0) c | 1 | 30 | 62292 | 36571 | 362003 | 10021 | 6526 | 47711 | 2272 | 1270 | 20 | 0.003 | 3164.81/645.19 c (371,0) c | 2 | 11 | 66376 | 38130 | 373279 | 12028 | 6695 | 47639 | 1797 | 1260 | 20 | 0.003 | 3164.81/645.19 c (371,0) c | 3 | 24 | 75486 | 41328 | 337576 | 15241 | 7617 | 46813 | 2238 | 1262 | 20 | 0.003 | 3164.81/645.19 c (371,0) c | 4 | 52 | 69018 | 39758 | 394618 | 13363 | 6737 | 47672 | 2392 | 1262 | 20 | 0.003 | 3164.81/645.19 c (371,0) c | 5 | 33 | 73663 | 39854 | 364314 | 13597 | 7242 | 45439 | 2312 | 1270 | 20 | 0.003 | 3164.81/645.19 c (371,0) c | 6 | 41 | 68922 | 39515 | 344521 | 12244 | 6962 | 46890 | 2378 | 1278 | 20 | 0.003 | 3164.81/645.19 c (371,0) c | 7 | 64 | 75315 | 41074 | 369613 | 14459 | 7505 | 45961 | 2571 | 1277 | 20 | 0.003 | 3164.81/645.19 c (371,0) c 3164.81/645.19 c (371,0) c synthesis 312129 conflicts 6809550361 propagations 112 conflicts/sec 2453999 propagations/sec 3164.81/645.19 c (371,0) c real: 371.197 s, cpu: 2774.88 s, memory: 2187.64 Mb 3396.10/674.19 c (400,0) c 3396.10/674.19 c (400,0) c |------------------------------------------------------------------------------------------------------------------------| 3396.10/674.19 c (400,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 3396.10/674.19 c (400,0) c |------------------------------------------------------------------------------------------------------------------------| 3396.10/674.19 c (400,0) c | 0 | 21 | 67097 | 38510 | 387678 | 12416 | 6393 | 45377 | 2558 | 1375 | 20 | 0.003 | 3396.10/674.19 c (400,0) c | 1 | 32 | 67759 | 40100 | 372194 | 12266 | 7233 | 50679 | 2428 | 1376 | 20 | 0.059 | 3396.10/674.19 c (400,0) c | 2 | 14 | 71523 | 41477 | 387293 | 15094 | 7241 | 50112 | 2056 | 1370 | 20 | 0.058 | 3396.10/674.19 c (400,0) c | 3 | 25 | 80969 | 44970 | 348900 | 18393 | 8295 | 49122 | 2490 | 1374 | 20 | 0.058 | 3396.10/674.19 c (400,0) c | 4 | 54 | 73761 | 42947 | 405000 | 15176 | 7153 | 50561 | 2608 | 1371 | 20 | 0.058 | 3396.10/674.19 c (400,0) c | 5 | 34 | 78383 | 43114 | 374075 | 16857 | 7689 | 47615 | 2474 | 1380 | 20 | 0.003 | 3396.10/674.19 c (400,0) c | 6 | 50 | 74069 | 42698 | 356388 | 15287 | 7411 | 50912 | 2574 | 1386 | 20 | 0.058 | 3396.10/674.19 c (400,0) c | 7 | 73 | 80121 | 44193 | 377931 | 15789 | 7875 | 50936 | 2809 | 1385 | 20 | 0.059 | 3396.10/674.19 c (400,0) c 3396.10/674.19 c (400,0) c synthesis 338009 conflicts 7403372125 propagations 112 conflicts/sec 2462801 propagations/sec 3396.10/674.19 c (400,0) c real: 400.197 s, cpu: 3006.08 s, memory: 2187.90 Mb 3627.10/703.19 c (429,0) c 3627.10/703.19 c (429,0) c |------------------------------------------------------------------------------------------------------------------------| 3627.10/703.19 c (429,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 3627.10/703.19 c (429,0) c |------------------------------------------------------------------------------------------------------------------------| 3627.10/703.19 c (429,0) c | 0 | 24 | 70985 | 41165 | 398171 | 14444 | 6812 | 54274 | 2698 | 1480 | 20 | 0.059 | 3627.10/703.19 c (429,0) c | 1 | 34 | 72250 | 43212 | 380477 | 15378 | 7630 | 53792 | 2609 | 1480 | 20 | 0.059 | 3627.10/703.19 c (429,0) c | 2 | 14 | 75188 | 44239 | 394047 | 17856 | 7553 | 50112 | 2171 | 1476 | 20 | 0.058 | 3627.10/703.19 c (429,0) c | 3 | 27 | 85999 | 48536 | 359877 | 21957 | 8931 | 51325 | 2797 | 1485 | 20 | 0.059 | 3627.10/703.19 c (429,0) c | 4 | 54 | 78188 | 46123 | 411674 | 18352 | 7555 | 50561 | 2743 | 1478 | 20 | 0.058 | 3627.10/703.19 c (429,0) c | 5 | 35 | 83338 | 46313 | 383384 | 19460 | 8160 | 51854 | 2692 | 1489 | 20 | 0.059 | 3627.10/703.19 c (429,0) c | 6 | 54 | 79333 | 45998 | 368766 | 18584 | 7840 | 54497 | 2790 | 1496 | 20 | 0.059 | 3627.10/703.19 c (429,0) c | 7 | 74 | 84656 | 47262 | 384884 | 18858 | 8229 | 53349 | 3051 | 1491 | 20 | 0.059 | 3627.10/703.19 c (429,0) c 3627.10/703.19 c (429,0) c synthesis 362848 conflicts 7996498376 propagations 112 conflicts/sec 2470398 propagations/sec 3627.10/703.19 c (429,0) c real: 429.197 s, cpu: 3236.93 s, memory: 2188.29 Mb 3857.75/732.19 c (458,0) c 3857.75/732.19 c (458,0) c |------------------------------------------------------------------------------------------------------------------------| 3857.75/732.19 c (458,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 3857.75/732.19 c (458,0) c |------------------------------------------------------------------------------------------------------------------------| 3857.75/732.19 c (458,0) c | 0 | 24 | 76009 | 44433 | 405610 | 17712 | 7301 | 54274 | 2920 | 1584 | 20 | 0.059 | 3857.75/732.19 c (458,0) c | 1 | 35 | 77097 | 46406 | 387930 | 14474 | 8064 | 56901 | 2799 | 1584 | 20 | 0.161 | 3857.75/732.19 c (458,0) c | 2 | 15 | 78696 | 46915 | 399774 | 19057 | 7908 | 57114 | 2288 | 1585 | 20 | 0.162 | 3857.75/732.19 c (458,0) c | 3 | 27 | 90392 | 51872 | 366188 | 13092 | 9443 | 51325 | 2973 | 1592 | 20 | 0.059 | 3857.75/732.19 c (458,0) c | 4 | 58 | 82884 | 49354 | 417006 | 21581 | 7979 | 55998 | 2967 | 1587 | 20 | 0.059 | 3857.75/732.19 c (458,0) c | 5 | 36 | 88168 | 49474 | 390728 | 22621 | 8529 | 55691 | 2964 | 1599 | 20 | 0.059 | 3857.75/732.19 c (458,0) c | 6 | 59 | 84011 | 49164 | 376827 | 16927 | 8268 | 56616 | 3053 | 1603 | 20 | 0.161 | 3857.75/732.19 c (458,0) c | 7 | 80 | 89171 | 50298 | 391995 | 14469 | 8578 | 56573 | 3352 | 1598 | 20 | 0.161 | 3857.75/732.19 c (458,0) c 3857.75/732.19 c (458,0) c synthesis 387916 conflicts 8594796041 propagations 112 conflicts/sec 2478863 propagations/sec 3857.75/732.19 c (458,0) c real: 458.197 s, cpu: 3467.23 s, memory: 2188.55 Mb 4095.43/762.19 c (488,0) c 4095.43/762.19 c (488,0) c |------------------------------------------------------------------------------------------------------------------------| 4095.43/762.19 c (488,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 4095.43/762.19 c (488,0) c |------------------------------------------------------------------------------------------------------------------------| 4095.43/762.19 c (488,0) c | 0 | 25 | 81089 | 47803 | 419697 | 17907 | 7767 | 58167 | 3238 | 1696 | 20 | 0.161 | 4095.43/762.19 c (488,0) c | 1 | 40 | 82247 | 49656 | 394342 | 17634 | 8570 | 59736 | 3091 | 1691 | 20 | 0.252 | 4095.43/762.19 c (488,0) c | 2 | 16 | 83865 | 50681 | 409428 | 17196 | 8460 | 60376 | 2671 | 1702 | 20 | 1.440 | 4095.43/762.19 c (488,0) c | 3 | 27 | 94618 | 55002 | 372143 | 16222 | 9961 | 51325 | 3028 | 1689 | 20 | 0.059 | 4095.43/762.19 c (488,0) c | 4 | 60 | 87603 | 52591 | 423041 | 12246 | 8397 | 59859 | 3188 | 1701 | 20 | 0.252 | 4095.43/762.19 c (488,0) c | 5 | 37 | 93018 | 52732 | 396776 | 12206 | 9017 | 59236 | 3183 | 1709 | 20 | 0.582 | 4095.43/762.19 c (488,0) c | 6 | 63 | 88454 | 52114 | 383706 | 10474 | 8626 | 59891 | 3229 | 1701 | 20 | 1.264 | 4095.43/762.19 c (488,0) c | 7 | 82 | 93393 | 53476 | 396804 | 8647 | 8824 | 59893 | 3536 | 1708 | 20 | 1.441 | 4095.43/762.19 c (488,0) c 4095.43/762.19 c (488,0) c synthesis 414055 conflicts 9194332527 propagations 112 conflicts/sec 2481846 propagations/sec 4095.43/762.19 c (488,0) c real: 488.197 s, cpu: 3704.63 s, memory: 2189.39 Mb 4166.26/773.63 c (499,0) c 4166.26/773.63 c (499,0) c real time : 499.637 s 4166.26/773.63 c (499,0) c cpu time : 3774.57 s 4166.26/773.63 c (499,0) c 4166.26/773.63 c (499,0) c 4166.26/773.63 c (499,0) c 4166.26/773.63 c (499,0) c |---------------------------------------- FINAL STATS --------------------------------------------------| 4166.26/773.63 c (499,0) c 4166.26/773.63 c (499,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 4166.26/773.63 c (499,0) c | Threads | Total | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 4166.26/773.63 c (499,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 4166.26/773.63 c (499,0) c | Conflicts | 421820 | 48891 | 50801 | 51581 | 56197 | 53513 | 53493 | 53033 | 54311 | 4166.26/773.63 c (499,0) c | Decisions | 715558 | 82704 | 83850 | 85076 | 96436 | 88908 | 94205 | 89782 | 94597 | 4166.26/773.63 c (499,0) c | Propagations | 9377783223 | 1155750663 | 1163728221 | 1181386270 | 1184515023 | 1174671099 | 1189957819 | 1155971229 | 1171802899 | 4166.26/773.63 c (499,0) c | ReduceDBs | 46 | 5 | 5 | 6 | 6 | 6 | 6 | 6 | 6 | 4166.26/773.63 c (499,0) c | SimpDBs | 84 | 12 | 10 | 10 | 9 | 11 | 10 | 11 | 11 | 4166.26/773.63 c (499,0) c | Restarts | 352 | 26 | 41 | 16 | 27 | 60 | 37 | 63 | 82 | 4166.26/773.63 c (499,0) c | ForcedImports | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 4166.26/773.63 c (499,0) c | PropBinClauses| 3196551606 | 406936842 | 410597727 | 399154326 | 388699194 | 394705246 | 391380480 | 404765473 | 400312318 | 4166.26/773.63 c (499,0) c | PropPreBlocker| 38280847294 | 4798965889 | 4743874343 | 4815848105 | 4776182779 | 4799263448 | 4789504024 | 4779176036 | 4778032670 | 4166.26/773.63 c (499,0) c | PropNotBlocker| 20983561676 | 2653549637 | 2707714936 | 2592962638 | 2576566627 | 2614945101 | 2598175740 | 2625436526 | 2614210471 | 4166.26/773.63 c (499,0) c | LitFullScans | 83230954495 |10398514659 |10399027056 |10398382452 |10399901345 |10398689889 |10415810033 |10398602720 |10422026341 | 4166.26/773.63 c (499,0) c | LitScanFracts | 49612550 | 6424572 | 6954198 | 5883048 | 6061152 | 6365254 | 5709139 | 6397508 | 5817679 | 4166.26/773.63 c (499,0) c | DecisionLevel0| 386 | 28 | 47 | 26 | 30 | 62 | 41 | 66 | 86 | 4166.26/773.63 c (499,0) c | Periods | 13863 | 1732 | 1732 | 1732 | 1732 | 1732 | 1735 | 1732 | 1736 | 4166.26/773.63 c (499,0) c | Margin | 160 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 4166.26/773.63 c (499,0) c | Avg_Trail | | 86932 | 81876 | 86932 | 84692 | 83969 | 86537 | 84747 | 84958 | 4166.26/773.63 c (499,0) c | Avg_DL | | 19 | 18 | 26 | 23 | 16 | 18 | 15 | 16 | 4166.26/773.63 c (499,0) c | Avg_Res | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 4166.26/773.63 c (499,0) c | Avg_Res_Seen | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 4166.26/773.63 c (499,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 4166.26/773.63 c (499,0) c | Exported | 70815 | 8003 | 8732 | 8629 | 10261 | 8505 | 9097 | 8732 | 8856 | 4166.26/773.63 c (499,0) c | Imported | 483837 | 62173 | 61271 | 61586 | 59928 | 59859 | 59236 | 59891 | 59893 | 4166.26/773.63 c (499,0) c | Good | 28746 | 3702 | 3629 | 3759 | 3666 | 3468 | 3495 | 3563 | 3464 | 4166.26/773.63 c (499,0) c | Purge | 455091 | 58471 | 57642 | 57827 | 56262 | 56391 | 55741 | 56328 | 56429 | 4166.26/773.63 c (499,0) c | Promoted | 25679 | 3351 | 3200 | 2725 | 3153 | 3221 | 3211 | 3249 | 3569 | 4166.26/773.63 c (499,0) c | Remove_Imp | 249165 | 24406 | 26416 | 35885 | 24704 | 32968 | 30477 | 37015 | 37294 | 4166.26/773.63 c (499,0) c | Blocked_Reuse | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 4166.26/773.63 c (499,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 4166.26/773.63 c (499,0) c | Unaries | | 2 | 6 | 10 | 3 | 2 | 4 | 3 | 4 | 4166.26/773.63 c (499,0) c | Binaries | | 473 | 533 | 438 | 519 | 596 | 554 | 520 | 627 | 4166.26/773.63 c (499,0) c | Glues | | 1169 | 1558 | 1265 | 1316 | 1450 | 1462 | 1336 | 1618 | 4166.26/773.63 c (499,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 4166.26/773.63 c (499,0) c | Orig_Seen | 21 % | 423467 | 397571 | 410862 | 374100 | 425376 | 398797 | 385480 | 398362 | 4166.26/773.63 c (499,0) c | Diff Orig seen| | 12605 | - 13291 | X | - 36762 | 14514 | - 12065 | - 25382 | - 12500 | 4166.26/773.63 c (499,0) c | Hamming | 1 % | 2108 | 2780 | X | 2733 | 2788 | 2452 | 2107 | 2630 | 4166.26/773.63 c (499,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 4166.26/773.63 c (499,0) c | RunningTime | | 473.7 99%| 479.5 100%| 467.9 98%| 477.0 100%| 473.5 99%| 468.1 98%| 474.2 99%| 470.6 99%| 4166.26/773.63 c (499,0) c | WaitingTime | | 3.2 1%| 0.0 0%| 7.8 2%| 2.0 0%| 2.7 1%| 7.6 2%| 2.5 1%| 5.3 1%| 4166.26/773.63 c (499,0) c | ExchangingTime| | 0.1 0%| 0.1 0%| 0.1 0%| 0.1 0%| 0.1 0%| 0.1 0%| 0.1 0%| 0.1 0%| 4166.26/773.63 c (499,0) c | PeriodProcTime| | 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 4166.26/773.63 c (499,0) c | SolvingTime | | 477.0 | 479.6 | 475.7 | 479.0 | 476.3 | 475.8 | 476.8 | 475.9 | 4166.26/773.63 c (499,0) c | PropagationTim| | 455.4 95%| 458.4 96%| 453.8 95%| 455.9 95%| 454.6 95%| 454.0 95%| 453.2 95%| 453.0 95%| 4166.26/773.64 c (499,0) c | AnalysisTime | | 6.6 1%| 6.5 1%| 6.7 1%| 7.7 2%| 7.0 1%| 7.0 1%| 7.9 2%| 7.7 2%| 4166.26/773.64 c (499,0) c | ReductionTime | | 0.0 0%| 0.0 0%| 0.3 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.4 0%| 0.0 0%| 4166.26/773.64 c (499,0) c | SimplifyTime | | 1.1 0%| 0.5 0%| 0.7 0%| 0.8 0%| 0.5 0%| 0.7 0%| 0.7 0%| 0.8 0%| 4166.26/773.64 c (499,0) c | UsedRateTime | | 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 4166.26/773.64 c (499,0) c | OverlapRateTim| | 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 4166.26/773.64 c (499,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 4166.26/773.64 c (499,0) c 4166.26/773.64 c (499,0) c 4166.26/773.64 c (499,0) c Threads : 8 4166.26/773.64 c (499,0) c Winner : 2 4166.26/773.64 c (499,0) c Conflicts_0 : 48891 4166.26/773.64 c (499,0) c Conflicts_1 : 50801 4166.26/773.64 c (499,0) c Conflicts_2 : 51581 4166.26/773.64 c (499,0) c Conflicts_3 : 56197 4166.26/773.64 c (499,0) c Conflicts_4 : 53513 4166.26/773.64 c (499,0) c Conflicts_5 : 53493 4166.26/773.64 c (499,0) c Conflicts_6 : 53033 4166.26/773.64 c (499,0) c Conflicts_7 : 54311 4166.26/773.64 c (499,0) c Conflicts_total : 421820 4166.26/773.64 c (499,0) c Conflicts_winner : 51581 4166.26/773.64 c (499,0) c Decisions_0 : 82704 4166.26/773.64 c (499,0) c Decisions_1 : 83850 4166.26/773.64 c (499,0) c Decisions_2 : 85076 4166.26/773.64 c (499,0) c Decisions_3 : 96436 4166.26/773.64 c (499,0) c Decisions_4 : 88908 4166.26/773.64 c (499,0) c Decisions_5 : 94205 4166.26/773.64 c (499,0) c Decisions_6 : 89782 4166.26/773.64 c (499,0) c Decisions_7 : 94597 4166.26/773.64 c (499,0) c Decisions_total : 715558 4166.26/773.64 c (499,0) c Decisions_winner : 85076 4166.26/773.64 c (499,0) c Propagations_0 : 1155750663 4166.26/773.64 c (499,0) c Propagations_1 : 1163728221 4166.26/773.64 c (499,0) c Propagations_2 : 1181386270 4166.26/773.64 c (499,0) c Propagations_3 : 1184515023 4166.26/773.64 c (499,0) c Propagations_4 : 1174671099 4166.26/773.64 c (499,0) c Propagations_5 : 1189957819 4166.26/773.64 c (499,0) c Propagations_6 : 1155971229 4166.26/773.64 c (499,0) c Propagations_7 : 1171802899 4166.26/773.64 c (499,0) c Propagations_total : 9377783223 4166.26/773.64 c (499,0) c Propagations_winner : 1181386270 4166.26/773.64 c (499,0) c ReduceDBs_0 : 5 4166.26/773.64 c (499,0) c ReduceDBs_1 : 5 4166.26/773.64 c (499,0) c ReduceDBs_2 : 6 4166.26/773.64 c (499,0) c ReduceDBs_3 : 6 4166.26/773.64 c (499,0) c ReduceDBs_4 : 6 4166.26/773.64 c (499,0) c ReduceDBs_5 : 6 4166.26/773.64 c (499,0) c ReduceDBs_6 : 6 4166.26/773.64 c (499,0) c ReduceDBs_7 : 6 4166.26/773.64 c (499,0) c ReduceDBs_total : 46 4166.26/773.64 c (499,0) c ReduceDBs_winner : 6 4166.26/773.64 c (499,0) c SimpDBs_0 : 12 4166.26/773.64 c (499,0) c SimpDBs_1 : 10 4166.26/773.64 c (499,0) c SimpDBs_2 : 10 4166.26/773.64 c (499,0) c SimpDBs_3 : 9 4166.26/773.64 c (499,0) c SimpDBs_4 : 11 4166.26/773.64 c (499,0) c SimpDBs_5 : 10 4166.26/773.64 c (499,0) c SimpDBs_6 : 11 4166.26/773.64 c (499,0) c SimpDBs_7 : 11 4166.26/773.64 c (499,0) c SimpDBs_total : 84 4166.26/773.64 c (499,0) c SimpDBs_winner : 10 4166.26/773.64 c (499,0) c Restarts_0 : 26 4166.26/773.64 c (499,0) c Restarts_1 : 41 4166.26/773.64 c (499,0) c Restarts_2 : 16 4166.26/773.64 c (499,0) c Restarts_3 : 27 4166.26/773.64 c (499,0) c Restarts_4 : 60 4166.26/773.64 c (499,0) c Restarts_5 : 37 4166.26/773.64 c (499,0) c Restarts_6 : 63 4166.26/773.64 c (499,0) c Restarts_7 : 82 4166.26/773.64 c (499,0) c Restarts_total : 352 4166.26/773.64 c (499,0) c Restarts_winner : 16 4166.26/773.64 c (499,0) c ForcedImports_0 : 0 4166.26/773.64 c (499,0) c ForcedImports_1 : 0 4166.26/773.64 c (499,0) c ForcedImports_2 : 0 4166.26/773.64 c (499,0) c ForcedImports_3 : 0 4166.26/773.64 c (499,0) c ForcedImports_4 : 0 4166.26/773.64 c (499,0) c ForcedImports_5 : 0 4166.26/773.64 c (499,0) c ForcedImports_6 : 0 4166.26/773.64 c (499,0) c ForcedImports_7 : 0 4166.26/773.64 c (499,0) c ForcedImports_total : 0 4166.26/773.64 c (499,0) c ForcedImports_winner : 0 4166.26/773.64 c (499,0) c PropsBinClauses_0 : 406936842 4166.26/773.64 c (499,0) c PropsBinClauses_1 : 410597727 4166.26/773.64 c (499,0) c PropsBinClauses_2 : 399154326 4166.26/773.64 c (499,0) c PropsBinClauses_3 : 388699194 4166.26/773.64 c (499,0) c PropsBinClauses_4 : 394705246 4166.26/773.64 c (499,0) c PropsBinClauses_5 : 391380480 4166.26/773.64 c (499,0) c PropsBinClauses_6 : 404765473 4166.26/773.64 c (499,0) c PropsBinClauses_7 : 400312318 4166.26/773.64 c (499,0) c PropsBinClauses_total : 3196551606 4166.26/773.64 c (499,0) c PropsBinClauses_winner : 399154326 4166.26/773.64 c (499,0) c PropsPreBlocker_0 : 4798965889 4166.26/773.64 c (499,0) c PropsPreBlocker_1 : 4743874343 4166.26/773.64 c (499,0) c PropsPreBlocker_2 : 4815848105 4166.26/773.64 c (499,0) c PropsPreBlocker_3 : 4776182779 4166.26/773.64 c (499,0) c PropsPreBlocker_4 : 4799263448 4166.26/773.64 c (499,0) c PropsPreBlocker_5 : 4789504024 4166.26/773.64 c (499,0) c PropsPreBlocker_6 : 4779176036 4166.26/773.64 c (499,0) c PropsPreBlocker_7 : 4778032670 4166.26/773.64 c (499,0) c PropsPreBlocker_total : 38280847294 4166.26/773.64 c (499,0) c PropsPreBlocker_winner : 4815848105 4166.26/773.64 c (499,0) c PropsNotBlocker_0 : 2653549637 4166.26/773.64 c (499,0) c PropsNotBlocker_1 : 2707714936 4166.26/773.64 c (499,0) c PropsNotBlocker_2 : 2592962638 4166.26/773.64 c (499,0) c PropsNotBlocker_3 : 2576566627 4166.26/773.64 c (499,0) c PropsNotBlocker_4 : 2614945101 4166.26/773.64 c (499,0) c PropsNotBlocker_5 : 2598175740 4166.26/773.64 c (499,0) c PropsNotBlocker_6 : 2625436526 4166.26/773.64 c (499,0) c PropsNotBlocker_7 : 2614210471 4166.26/773.64 c (499,0) c PropsNotBlocker_total : 20983561676 4166.26/773.64 c (499,0) c PropsNotBlocker_winner : 2592962638 4166.26/773.64 c (499,0) c PropsLitFullScans_0 : 10398514659 4166.26/773.64 c (499,0) c PropsLitFullScans_1 : 10399027056 4166.26/773.64 c (499,0) c PropsLitFullScans_2 : 10398382452 4166.26/773.64 c (499,0) c PropsLitFullScans_3 : 10399901345 4166.26/773.64 c (499,0) c PropsLitFullScans_4 : 10398689889 4166.26/773.64 c (499,0) c PropsLitFullScans_5 : 10415810033 4166.26/773.64 c (499,0) c PropsLitFullScans_6 : 10398602720 4166.26/773.64 c (499,0) c PropsLitFullScans_7 : 10422026341 4166.26/773.64 c (499,0) c PropsLitFullScans_total : 83230954495 4166.26/773.64 c (499,0) c PropsLitFullScans_winner : 10398382452 4166.26/773.64 c (499,0) c LitScanFractions_0 : 6424572 4166.26/773.64 c (499,0) c LitScanFractions_1 : 6954198 4166.26/773.64 c (499,0) c LitScanFractions_2 : 5883048 4166.26/773.64 c (499,0) c LitScanFractions_3 : 6061152 4166.26/773.64 c (499,0) c LitScanFractions_4 : 6365254 4166.26/773.64 c (499,0) c LitScanFractions_5 : 5709139 4166.26/773.64 c (499,0) c LitScanFractions_6 : 6397508 4166.26/773.64 c (499,0) c LitScanFractions_7 : 5817679 4166.26/773.64 c (499,0) c LitScanFractions_total : 49612550 4166.26/773.64 c (499,0) c LitScanFractions_winner : 5883048 4166.26/773.64 c (499,0) c DecisionLevel0_0 : 28 4166.26/773.64 c (499,0) c DecisionLevel0_1 : 47 4166.26/773.64 c (499,0) c DecisionLevel0_2 : 26 4166.26/773.64 c (499,0) c DecisionLevel0_3 : 30 4166.26/773.64 c (499,0) c DecisionLevel0_4 : 62 4166.26/773.64 c (499,0) c DecisionLevel0_5 : 41 4166.26/773.64 c (499,0) c DecisionLevel0_6 : 66 4166.26/773.64 c (499,0) c DecisionLevel0_7 : 86 4166.26/773.64 c (499,0) c DecisionLevel0_total : 386 4166.26/773.64 c (499,0) c DecisionLevel0_winner : 26 4166.26/773.64 c (499,0) c Periods_0 : 1732 4166.26/773.64 c (499,0) c Periods_1 : 1732 4166.26/773.64 c (499,0) c Periods_2 : 1732 4166.26/773.64 c (499,0) c Periods_3 : 1732 4166.26/773.64 c (499,0) c Periods_4 : 1732 4166.26/773.64 c (499,0) c Periods_5 : 1735 4166.26/773.64 c (499,0) c Periods_6 : 1732 4166.26/773.64 c (499,0) c Periods_7 : 1736 4166.26/773.64 c (499,0) c Periods_total : 13863 4166.26/773.64 c (499,0) c Periods_winner : 1732 4166.26/773.64 c (499,0) c Margin_0 : 20 4166.26/773.64 c (499,0) c Margin_1 : 20 4166.26/773.64 c (499,0) c Margin_2 : 20 4166.26/773.64 c (499,0) c Margin_3 : 20 4166.26/773.64 c (499,0) c Margin_4 : 20 4166.26/773.64 c (499,0) c Margin_5 : 20 4166.26/773.64 c (499,0) c Margin_6 : 20 4166.26/773.64 c (499,0) c Margin_7 : 20 4166.26/773.64 c (499,0) c Margin_total : 160 4166.26/773.64 c (499,0) c Margin_winner : 20 4166.26/773.64 c (499,0) c Exported_0 : 8003 4166.26/773.64 c (499,0) c Exported_1 : 8732 4166.26/773.64 c (499,0) c Exported_2 : 8629 4166.26/773.64 c (499,0) c Exported_3 : 10261 4166.26/773.64 c (499,0) c Exported_4 : 8505 4166.26/773.64 c (499,0) c Exported_5 : 9097 4166.26/773.64 c (499,0) c Exported_6 : 8732 4166.26/773.64 c (499,0) c Exported_7 : 8856 4166.26/773.64 c (499,0) c Exported_total : 70815 4166.26/773.64 c (499,0) c Exported_winner : 8629 4166.26/773.64 c (499,0) c Imported_0 : 62173 4166.26/773.64 c (499,0) c Imported_1 : 61271 4166.26/773.64 c (499,0) c Imported_2 : 61586 4166.26/773.64 c (499,0) c Imported_3 : 59928 4166.26/773.64 c (499,0) c Imported_4 : 59859 4166.26/773.64 c (499,0) c Imported_5 : 59236 4166.26/773.64 c (499,0) c Imported_6 : 59891 4166.26/773.64 c (499,0) c Imported_7 : 59893 4166.26/773.64 c (499,0) c Imported_total : 483837 4166.26/773.64 c (499,0) c Imported_winner : 61586 4166.26/773.64 c (499,0) c Good_0 : 3702 4166.26/773.64 c (499,0) c Good_1 : 3629 4166.26/773.64 c (499,0) c Good_2 : 3759 4166.26/773.64 c (499,0) c Good_3 : 3666 4166.26/773.64 c (499,0) c Good_4 : 3468 4166.26/773.64 c (499,0) c Good_5 : 3495 4166.26/773.64 c (499,0) c Good_6 : 3563 4166.26/773.64 c (499,0) c Good_7 : 3464 4166.26/773.64 c (499,0) c Good_total : 28746 4166.26/773.64 c (499,0) c Good_winner : 3759 4166.26/773.64 c (499,0) c Purge_0 : 58471 4166.26/773.64 c (499,0) c Purge_1 : 57642 4166.26/773.64 c (499,0) c Purge_2 : 57827 4166.26/773.64 c (499,0) c Purge_3 : 56262 4166.26/773.64 c (499,0) c Purge_4 : 56391 4166.26/773.64 c (499,0) c Purge_5 : 55741 4166.26/773.64 c (499,0) c Purge_6 : 56328 4166.26/773.64 c (499,0) c Purge_7 : 56429 4166.26/773.64 c (499,0) c Purge_total : 455091 4166.26/773.64 c (499,0) c Purge_winner : 57827 4166.26/773.64 c (499,0) c Promoted_0 : 3351 4166.26/773.64 c (499,0) c Promoted_1 : 3200 4166.26/773.64 c (499,0) c Promoted_2 : 2725 4166.26/773.64 c (499,0) c Promoted_3 : 3153 4166.26/773.64 c (499,0) c Promoted_4 : 3221 4166.26/773.64 c (499,0) c Promoted_5 : 3211 4166.26/773.64 c (499,0) c Promoted_6 : 3249 4166.26/773.64 c (499,0) c Promoted_7 : 3569 4166.26/773.64 c (499,0) c Promoted_total : 25679 4166.26/773.64 c (499,0) c Promoted_winner : 2725 4166.26/773.64 c (499,0) c Remove_Imp_0 : 24406 4166.26/773.64 c (499,0) c Remove_Imp_1 : 26416 4166.26/773.64 c (499,0) c Remove_Imp_2 : 35885 4166.26/773.64 c (499,0) c Remove_Imp_3 : 24704 4166.26/773.64 c (499,0) c Remove_Imp_4 : 32968 4166.26/773.64 c (499,0) c Remove_Imp_5 : 30477 4166.26/773.64 c (499,0) c Remove_Imp_6 : 37015 4166.26/773.64 c (499,0) c Remove_Imp_7 : 37294 4166.26/773.64 c (499,0) c Remove_Imp_total : 249165 4166.26/773.64 c (499,0) c Remove_Imp_winner : 35885 4166.26/773.64 c (499,0) c Blocked_Reuse_0 : 0 4166.26/773.64 c (499,0) c Blocked_Reuse_1 : 0 4166.26/773.64 c (499,0) c Blocked_Reuse_2 : 0 4166.26/773.64 c (499,0) c Blocked_Reuse_3 : 0 4166.26/773.64 c (499,0) c Blocked_Reuse_4 : 0 4166.26/773.64 c (499,0) c Blocked_Reuse_5 : 0 4166.26/773.64 c (499,0) c Blocked_Reuse_6 : 0 4166.26/773.64 c (499,0) c Blocked_Reuse_7 : 0 4166.26/773.64 c (499,0) c Blocked_Reuse_total : 0 4166.26/773.64 c (499,0) c Blocked_Reuse_winner : 0 4166.26/773.64 c (499,0) c Unaries_0 : 2 4166.26/773.64 c (499,0) c Unaries_1 : 6 4166.26/773.64 c (499,0) c Unaries_2 : 10 4166.26/773.64 c (499,0) c Unaries_3 : 3 4166.26/773.64 c (499,0) c Unaries_4 : 2 4166.26/773.64 c (499,0) c Unaries_5 : 4 4166.26/773.64 c (499,0) c Unaries_6 : 3 4166.26/773.64 c (499,0) c Unaries_7 : 4 4166.26/773.64 c (499,0) c Unaries_total : 34 4166.26/773.64 c (499,0) c Unaries_winner : 10 4166.26/773.64 c (499,0) c Binaries_0 : 473 4166.26/773.64 c (499,0) c Binaries_1 : 533 4166.26/773.64 c (499,0) c Binaries_2 : 438 4166.26/773.64 c (499,0) c Binaries_3 : 519 4166.26/773.64 c (499,0) c Binaries_4 : 596 4166.26/773.64 c (499,0) c Binaries_5 : 554 4166.26/773.64 c (499,0) c Binaries_6 : 520 4166.26/773.64 c (499,0) c Binaries_7 : 627 4166.26/773.64 c (499,0) c Binaries_total : 4260 4166.26/773.64 c (499,0) c Binaries_winner : 438 4166.26/773.64 c (499,0) c Glues_0 : 1169 4166.26/773.64 c (499,0) c Glues_1 : 1558 4166.26/773.64 c (499,0) c Glues_2 : 1265 4166.26/773.64 c (499,0) c Glues_3 : 1316 4166.26/773.64 c (499,0) c Glues_4 : 1450 4166.26/773.64 c (499,0) c Glues_5 : 1462 4166.26/773.64 c (499,0) c Glues_6 : 1336 4166.26/773.64 c (499,0) c Glues_7 : 1618 4166.26/773.64 c (499,0) c Glues_total : 11174 4166.26/773.64 c (499,0) c Glues_winner : 1265 4166.26/773.64 c (499,0) c RunningTime_0 : 473.712311 4166.26/773.64 c (499,0) c RunningTime_1 : 479.490667 4166.26/773.64 c (499,0) c RunningTime_2 : 467.853938 4166.26/773.64 c (499,0) c RunningTime_3 : 476.957359 4166.26/773.64 c (499,0) c RunningTime_4 : 473.516595 4166.26/773.64 c (499,0) c RunningTime_5 : 468.127657 4166.26/773.64 c (499,0) c RunningTime_6 : 474.162296 4166.26/773.64 c (499,0) c RunningTime_7 : 470.588135 4166.26/773.64 c (499,0) c RunningTime_total : 3784.408957 4166.26/773.64 c (499,0) c RunningTime_winner : 467.853938 4166.26/773.64 c (499,0) c WaitingTime_0 : 3.164112 4166.26/773.64 c (499,0) c WaitingTime_1 : 0.002515 4166.26/773.64 c (499,0) c WaitingTime_2 : 7.769213 4166.26/773.64 c (499,0) c WaitingTime_3 : 1.964143 4166.26/773.64 c (499,0) c WaitingTime_4 : 2.699008 4166.26/773.64 c (499,0) c WaitingTime_5 : 7.583322 4166.26/773.64 c (499,0) c WaitingTime_6 : 2.507354 4166.26/773.64 c (499,0) c WaitingTime_7 : 5.252494 4166.26/773.64 c (499,0) c WaitingTime_total : 30.942162 4166.26/773.64 c (499,0) c WaitingTime_winner : 7.769213 4166.26/773.64 c (499,0) c ExchangingTime_0 : 0.058348 4166.26/773.64 c (499,0) c ExchangingTime_1 : 0.054996 4166.26/773.64 c (499,0) c ExchangingTime_2 : 0.056040 4166.26/773.64 c (499,0) c ExchangingTime_3 : 0.055284 4166.26/773.64 c (499,0) c ExchangingTime_4 : 0.057199 4166.26/773.64 c (499,0) c ExchangingTime_5 : 0.058777 4166.26/773.64 c (499,0) c ExchangingTime_6 : 0.060619 4166.26/773.64 c (499,0) c ExchangingTime_7 : 0.061480 4166.26/773.64 c (499,0) c ExchangingTime_total : 0.462743 4166.26/773.64 c (499,0) c ExchangingTime_winner : 0.056040 4166.26/773.64 c (499,0) c PeriodProcTime_0 : 0.020142 4166.26/773.64 c (499,0) c PeriodProcTime_1 : 0.020780 4166.26/773.64 c (499,0) c PeriodProcTime_2 : 0.020831 4166.26/773.64 c (499,0) c PeriodProcTime_3 : 0.019161 4166.26/773.64 c (499,0) c PeriodProcTime_4 : 0.017985 4166.26/773.64 c (499,0) c PeriodProcTime_5 : 0.021941 4166.26/773.64 c (499,0) c PeriodProcTime_6 : 0.020561 4166.26/773.64 c (499,0) c PeriodProcTime_7 : 0.018505 4166.26/773.64 c (499,0) c PeriodProcTime_total : 0.159907 4166.26/773.64 c (499,0) c PeriodProcTime_winner : 0.020831 4166.26/773.64 c (499,0) c SolvingTime_0 : 476.954913 4166.26/773.64 c (499,0) c SolvingTime_1 : 479.568959 4166.26/773.64 c (499,0) c SolvingTime_2 : 475.700022 4166.26/773.64 c (499,0) c SolvingTime_3 : 478.995947 4166.26/773.64 c (499,0) c SolvingTime_4 : 476.290787 4166.26/773.64 c (499,0) c SolvingTime_5 : 475.791697 4166.26/773.64 c (499,0) c SolvingTime_6 : 476.750830 4166.26/773.64 c (499,0) c SolvingTime_7 : 475.920614 4166.26/773.64 c (499,0) c SolvingTime_total : 3815.973770 4166.26/773.64 c (499,0) c SolvingTime_winner : 475.700022 4166.26/773.64 c (499,0) c PropagationTime_0 : 455.382039 4166.26/773.64 c (499,0) c PropagationTime_1 : 458.418739 4166.26/773.64 c (499,0) c PropagationTime_2 : 453.761529 4166.26/773.64 c (499,0) c PropagationTime_3 : 455.906928 4166.26/773.64 c (499,0) c PropagationTime_4 : 454.570774 4166.26/773.64 c (499,0) c PropagationTime_5 : 454.002866 4166.26/773.64 c (499,0) c PropagationTime_6 : 453.218220 4166.26/773.64 c (499,0) c PropagationTime_7 : 453.038960 4166.26/773.64 c (499,0) c PropagationTime_total : 3638.300055 4166.26/773.64 c (499,0) c PropagationTime_winner : 453.761529 4166.26/773.64 c (499,0) c AnalysisTime_0 : 6.643637 4166.26/773.64 c (499,0) c AnalysisTime_1 : 6.514196 4166.26/773.64 c (499,0) c AnalysisTime_2 : 6.652204 4166.26/773.64 c (499,0) c AnalysisTime_3 : 7.677214 4166.26/773.64 c (499,0) c AnalysisTime_4 : 6.962514 4166.26/773.64 c (499,0) c AnalysisTime_5 : 7.030231 4166.26/773.64 c (499,0) c AnalysisTime_6 : 7.873672 4166.26/773.64 c (499,0) c AnalysisTime_7 : 7.683201 4166.26/773.64 c (499,0) c AnalysisTime_total : 57.036869 4166.26/773.64 c (499,0) c AnalysisTime_winner : 6.652204 4166.26/773.64 c (499,0) c ReductionTime_0 : 0.026474 4166.26/773.64 c (499,0) c ReductionTime_1 : 0.026208 4166.26/773.64 c (499,0) c ReductionTime_2 : 0.312363 4166.26/773.64 c (499,0) c ReductionTime_3 : 0.036985 4166.26/773.64 c (499,0) c ReductionTime_4 : 0.039732 4166.26/773.64 c (499,0) c ReductionTime_5 : 0.036763 4166.26/773.64 c (499,0) c ReductionTime_6 : 0.411878 4166.26/773.64 c (499,0) c ReductionTime_7 : 0.038577 4166.26/773.64 c (499,0) c ReductionTime_total : 0.928980 4166.26/773.64 c (499,0) c ReductionTime_winner : 0.312363 4166.26/773.64 c (499,0) c SimplifyTime_0 : 1.111358 4166.26/773.64 c (499,0) c SimplifyTime_1 : 0.451239 4166.26/773.64 c (499,0) c SimplifyTime_2 : 0.717375 4166.26/773.64 c (499,0) c SimplifyTime_3 : 0.767766 4166.26/773.64 c (499,0) c SimplifyTime_4 : 0.504946 4166.26/773.64 c (499,0) c SimplifyTime_5 : 0.692102 4166.26/773.64 c (499,0) c SimplifyTime_6 : 0.686899 4166.26/773.64 c (499,0) c SimplifyTime_7 : 0.845420 4166.26/773.64 c (499,0) c SimplifyTime_total : 5.777106 4166.26/773.64 c (499,0) c SimplifyTime_winner : 0.717375 4166.26/773.64 c (499,0) c UsedRateTime_0 : 0.000000 4166.26/773.64 c (499,0) c UsedRateTime_1 : 0.000000 4166.26/773.64 c (499,0) c UsedRateTime_2 : 0.000000 4166.26/773.64 c (499,0) c UsedRateTime_3 : 0.000000 4166.26/773.64 c (499,0) c UsedRateTime_4 : 0.000000 4166.26/773.64 c (499,0) c UsedRateTime_5 : 0.000000 4166.26/773.64 c (499,0) c UsedRateTime_6 : 0.000000 4166.26/773.64 c (499,0) c UsedRateTime_7 : 0.000000 4166.26/773.64 c (499,0) c UsedRateTime_total : 0.000000 4166.26/773.64 c (499,0) c UsedRateTime_winner : 0.000000 4166.26/773.64 c (499,0) c OverlapRateTime_0 : 0.000000 4166.26/773.64 c (499,0) c OverlapRateTime_1 : 0.000000 4166.26/773.64 c (499,0) c OverlapRateTime_2 : 0.000000 4166.26/773.64 c (499,0) c OverlapRateTime_3 : 0.000000 4166.26/773.64 c (499,0) c OverlapRateTime_4 : 0.000000 4166.26/773.64 c (499,0) c OverlapRateTime_5 : 0.000000 4166.26/773.64 c (499,0) c OverlapRateTime_6 : 0.000000 4166.26/773.64 c (499,0) c OverlapRateTime_7 : 0.000000 4166.26/773.64 c (499,0) c OverlapRateTime_total : 0.000000 4166.26/773.64 c (499,0) c OverlapRateTime_winner : 0.000000 4166.26/773.64 c (499,0) c 4166.26/773.64 c (499,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 4166.26/773.64 c (499,0) c 4166.26/773.64 c (499,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 4166.26/773.64 c (499,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 4166.26/773.64 c (499,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 4166.26/773.64 c (499,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 4166.26/773.64 c (499,0) c | adaptStrategeis | True | False | True | False | True | False | True | False | 4166.26/773.64 c (499,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 4166.26/773.64 c (499,0) c | Initial random_seed | 949978738 | 1923304095 | 1301142833 | 902062186 | 563701640 | 1973903454 | 2047624180 | 329141337 | 4166.26/773.64 c (499,0) c | chanseokStrategy | False | False | False | False | False | False | False | False | 4166.26/773.64 c (499,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 4166.26/773.64 c (499,0) c | glureduce | True | True | True | True | True | True | True | True | 4166.26/773.64 c (499,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 4166.26/773.64 c (499,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 4166.26/773.64 c (499,0) c | luby_restart | False | False | False | False | False | False | False | False | 4166.26/773.64 c (499,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 4166.26/773.64 c (499,0) c | var_decay | 0.8900 | 0.9000 | 0.9000 | 0.9100 | 0.9000 | 0.9000 | 0.9000 | 0.9000 | 4166.26/773.64 c (499,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 4166.26/773.64 c (499,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 4166.26/773.64 c (499,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 4166.26/773.64 c (499,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 4166.26/773.64 c (499,0) 4166.26/773.64 c (499,0) s UNSATISFIABLE 377.84/773.75 c (500,0) SatSolver.solve End 377.84/773.75 c (500,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB) 377.84/773.75 c (500,0) Show results Begin 377.84/773.75 s UNSATISFIABLE 377.84/773.75 c (500,0) Show results End 377.84/773.75 c (500,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB) 377.84/773.75 c (500,0) 500,500,STOP-AFTER(ALL) 377.84/773.75 c END-Prog: Mon Sep 23 13:49:43 CEST 2019
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. NUMA information: number of nodes: 2 memory of node 0: 16374 MiB (13410 MiB free) memory of node 1: 16384 MiB (10857 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405459-1569238653/watcher-4405459-1569238653 -o /var/tmp/evaluation-result-4405459-1569238653/solver-4405459-1569238653 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node147-1569238584-6182 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405459-1569238653.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=6410, runsolver pid=6407 Current StackSize limit: 8192 KiB [startup+0.100158 s]* /proc/loadavg: 0.65 0.16 0.09 2/212 6432 /proc/meminfo: memFree=24758052/32770624 swapFree=66935948/67108860 [pid=6410] ppid=6407 vsize=113128 memory=1400 CPUtime=0 cores=0-7 /proc/6410/stat : 6410 (scop.sh) S 6407 6410 6155 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 499779095 115843072 350 33554432000 4194304 5098028 140725958469360 140725958466616 140229778715260 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 39088128 140725958476540 140725958476888 140725958476888 140725958479817 0 /proc/6410/statm: 28282 350 297 221 0 87 0 [pid=6413] ppid=6410 vsize=27314120 memory=105832 CPUtime=0.1 cores=0-7 /proc/6413/stat : 6413 (java) S 6410 6410 6155 0 -1 1077944320 6065 0 0 0 8 2 0 0 20 0 20 0 499779095 27969658880 26458 33554432000 4194304 4196468 140724050967840 140724050950384 139934752960247 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23515136 140724050973383 140724050973830 140724050973830 140724050976719 0 /proc/6413/statm: 6828530 26458 2775 1 0 6790935 0 [pid=6413/tid=6414] ppid=6410 vsize=27314120 memory=4134692831991783777 CPUtime=0.09 cores=0-7 /proc/6413/task/6414/stat : 6414 (java) R 6410 6410 6155 0 -1 4202560 4179 0 0 0 7 2 0 0 20 0 20 0 499779096 27969658880 26523 33554432000 4194304 4196468 140724050967840 139934724786576 139934745197374 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23515136 140724050973383 140724050973830 140724050973830 140724050976719 0 [pid=6413/tid=6415] ppid=6410 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/6413/task/6415/stat : 6415 (java) S 6410 6410 6155 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 499779098 27969658880 26523 33554432000 4194304 4196468 140724050967840 139934757202448 139934752970453 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23515136 140724050973383 140724050973830 140724050973830 140724050976719 0 [pid=6413/tid=6416] ppid=6410 vsize=27314120 memory=139744930162304 CPUtime=0 cores=0-7 /proc/6413/task/6416/stat : 6416 (java) S 6410 6410 6155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499779098 27969658880 26523 33554432000 4194304 4196468 140724050967840 139934540597904 139934752970453 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23515136 140724050973383 140724050973830 140724050973830 140724050976719 0 [pid=6413/tid=6417] ppid=6410 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/6413/task/6417/stat : 6417 (java) S 6410 6410 6155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 499779098 27969658880 26523 33554432000 4194304 4196468 140724050967840 139934539544848 139934752970453 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23515136 140724050973383 140724050973830 140724050973830 140724050976719 0 [pid=6413/tid=6418] ppid=6410 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/6413/task/6418/stat : 6418 (java) S 6410 6410 6155 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 499779098 27969658880 26523 33554432000 4194304 4196468 140724050967840 139934538492304 139934752970453 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23515136 140724050973383 140724050973830 140724050973830 140724050976719 0 [pid=6413/tid=6419] ppid=6410 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/6413/task/6419/stat : 6419 (java) S 6410 6410 6155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 499779098 27969658880 26523 33554432000 4194304 4196468 140724050967840 139934537440272 139934752970453 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23515136 140724050973383 140724050973830 140724050973830 140724050976719 0 [pid=6413/tid=6420] ppid=6410 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/6413/task/6420/stat : 6420 (java) S 6410 6410 6155 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 499779098 27969658880 26523 33554432000 4194304 4196468 140724050967840 139934536387728 139934752970453 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23515136 140724050973383 140724050973830 140724050973830 140724050976719 0 [pid=6413/tid=6421] ppid=6410 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/6413/task/6421/stat : 6421 (java) S 6410 6410 6155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499779098 27969658880 26523 33554432000 4194304 4196468 140724050967840 139934535334672 139934752970453 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23515136 140724050973383 140724050973830 140724050973830 140724050976719 0 [pid=6413/tid=6422] ppid=6410 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/6413/task/6422/stat : 6422 (java) S 6410 6410 6155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 499779098 27969658880 26523 33554432000 4194304 4196468 140724050967840 139934534282128 139934752970453 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23515136 140724050973383 140724050973830 140724050973830 140724050976719 0 [pid=6413/tid=6423] ppid=6410 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/6413/task/6423/stat : 6423 (java) S 6410 6410 6155 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 499779099 27969658880 26523 33554432000 4194304 4196468 140724050967840 139933006153968 139934752971394 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23515136 140724050973383 140724050973830 140724050973830 140724050976719 0 [pid=6413/tid=6424] ppid=6410 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/6413/task/6424/stat : 6424 (java) S 6410 6410 6155 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 499779100 27969658880 26523 33554432000 4194304 4196468 140724050967840 139932718851232 139934752970453 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23515136 140724050973383 140724050973830 140724050973830 140724050976719 0 [pid=6413/tid=6425] ppid=6410 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/6413/task/6425/stat : 6425 (java) S 6410 6410 6155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499779100 27969658880 26523 33554432000 4194304 4196468 140724050967840 139932450415344 139934752970453 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23515136 140724050973383 140724050973830 140724050973830 140724050976719 0 [pid=6413/tid=6426] ppid=6410 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/6413/task/6426/stat : 6426 (java) S 6410 6410 6155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499779103 27969658880 26523 33554432000 4194304 4196468 140724050967840 139932075907024 139934752978843 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23515136 140724050973383 140724050973830 140724050973830 140724050976719 0 [pid=6413/tid=6427] ppid=6410 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/6413/task/6427/stat : 6427 (java) S 6410 6410 6155 0 -1 1077944384 317 0 0 0 0 0 0 0 20 0 20 0 499779103 27969658880 26523 33554432000 4194304 4196468 140724050967840 139933005101808 139934752971394 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23515136 140724050973383 140724050973830 140724050973830 140724050976719 0 [pid=6413/tid=6428] ppid=6410 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/6413/task/6428/stat : 6428 (java) S 6410 6410 6155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499779103 27969658880 26523 33554432000 4194304 4196468 140724050967840 139933004049264 139934752971394 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23515136 140724050973383 140724050973830 140724050973830 140724050976719 0 [pid=6413/tid=6429] ppid=6410 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/6413/task/6429/stat : 6429 (java) S 6410 6410 6155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 499779103 27969658880 26523 33554432000 4194304 4196468 140724050967840 139933002996208 139934752971394 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23515136 140724050973383 140724050973830 140724050973830 140724050976719 0 [pid=6413/tid=6430] ppid=6410 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/6413/task/6430/stat : 6430 (java) S 6410 6410 6155 0 -1 1077944384 248 0 0 0 0 0 0 0 20 0 20 0 499779103 27969658880 26523 33554432000 4194304 4196468 140724050967840 139933001943664 139934752971394 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23515136 140724050973383 140724050973830 140724050973830 140724050976719 0 [pid=6413/tid=6431] ppid=6410 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/6413/task/6431/stat : 6431 (java) S 6410 6410 6155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 499779103 27969658880 26523 33554432000 4194304 4196468 140724050967840 139931578001888 139934752970453 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23515136 140724050973383 140724050973830 140724050973830 140724050976719 0 [pid=6413/tid=6432] ppid=6410 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/6413/task/6432/stat : 6432 (java) S 6410 6410 6155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499779103 27969658880 26523 33554432000 4194304 4196468 140724050967840 139933000891056 139934752971394 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23515136 140724050973383 140724050973830 140724050973830 140724050976719 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 107232 KiB [startup+0.210318 s]* /proc/loadavg: 0.65 0.16 0.09 3/212 6432 /proc/meminfo: memFree=24734936/32770624 swapFree=66935948/67108860 [pid=6410] ppid=6407 vsize=113128 memory=1400 CPUtime=0 cores=0-7 /proc/6410/stat : 6410 (scop.sh) S 6407 6410 6155 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 499779095 115843072 350 33554432000 4194304 5098028 140725958469360 140725958466616 140229778715260 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 39088128 140725958476540 140725958476888 140725958476888 140725958479817 0 /proc/6410/statm: 28282 350 297 221 0 87 0 [pid=6413] ppid=6410 vsize=27314120 memory=125708 CPUtime=0.24 cores=0-7 /proc/6413/stat : 6413 (java) S 6410 6410 6155 0 -1 1077944320 11724 0 0 0 20 4 0 0 20 0 20 0 499779095 27969658880 31427 33554432000 4194304 4196468 140724050967840 140724050950384 139934752960247 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23515136 140724050973383 140724050973830 140724050973830 140724050976719 0 /proc/6413/statm: 6828530 31427 2961 1 0 6790935 0 [pid=6413/tid=6414] ppid=6410 vsize=27314120 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/6413/task/6414/stat : 6414 (java) R 6410 6410 6155 0 -1 4202560 9415 0 0 0 16 4 0 0 20 0 20 0 499779096 27969658880 31427 33554432000 4194304 4196468 140724050967840 139934724759632 139934752974151 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23515136 140724050973383 140724050973830 140724050973830 140724050976719 0 [pid=6413/tid=6415] ppid=6410 vsize=27314120 memory=331 CPUtime=0 cores=0-7 /proc/6413/task/6415/stat : 6415 (java) S 6410 6410 6155 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 499779098 27969658880 31427 33554432000 4194304 4196468 140724050967840 139934757202448 139934752970453 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23515136 140724050973383 140724050973830 140724050973830 140724050976719 0 [pid=6413/tid=6416] ppid=6410 vsize=27314120 memory=139744930173409 CPUtime=0 cores=0-7 /proc/6413/task/6416/stat : 6416 (java) S 6410 6410 6155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499779098 27969658880 31427 33554432000 4194304 4196468 140724050967840 139934540597904 139934752970453 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23515136 140724050973383 140724050973830 140724050973830 140724050976719 0 [pid=6413/tid=6417] ppid=6410 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/6413/task/6417/stat : 6417 (java) S 6410 6410 6155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 499779098 27969658880 31427 33554432000 4194304 4196468 140724050967840 139934539544848 139934752970453 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23515136 140724050973383 140724050973830 140724050973830 140724050976719 0 [pid=6413/tid=6418] ppid=6410 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/6413/task/6418/stat : 6418 (java) S 6410 6410 6155 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 499779098 27969658880 31427 33554432000 4194304 4196468 140724050967840 139934538492304 139934752970453 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23515136 140724050973383 140724050973830 140724050973830 140724050976719 0 [pid=6413/tid=6419] ppid=6410 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/6413/task/6419/stat : 6419 (java) S 6410 6410 6155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 499779098 27969658880 31427 33554432000 4194304 4196468 140724050967840 139934537440272 139934752970453 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23515136 140724050973383 140724050973830 140724050973830 140724050976719 0 [pid=6413/tid=6420] ppid=6410 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/6413/task/6420/stat : 6420 (java) S 6410 6410 6155 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 499779098 27969658880 31427 33554432000 4194304 4196468 140724050967840 139934536387728 139934752970453 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23515136 140724050973383 140724050973830 140724050973830 140724050976719 0 [pid=6413/tid=6421] ppid=6410 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/6413/task/6421/stat : 6421 (java) S 6410 6410 6155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499779098 27969658880 31427 33554432000 4194304 4196468 140724050967840 139934535334672 139934752970453 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23515136 140724050973383 140724050973830 140724050973830 140724050976719 0 [pid=6413/tid=6422] ppid=6410 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/6413/task/6422/stat : 6422 (java) S 6410 6410 6155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 499779098 27969658880 31427 33554432000 4194304 4196468 140724050967840 139934534282128 139934752970453 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23515136 140724050973383 140724050973830 140724050973830 140724050976719 0 [pid=6413/tid=6423] ppid=6410 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/6413/task/6423/stat : 6423 (java) S 6410 6410 6155 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 499779099 27969658880 31427 33554432000 4194304 4196468 140724050967840 139933006153968 139934752971394 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23515136 140724050973383 140724050973830 140724050973830 140724050976719 0 [pid=6413/tid=6424] ppid=6410 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/6413/task/6424/stat : 6424 (java) S 6410 6410 6155 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 499779100 27969658880 31427 33554432000 4194304 4196468 140724050967840 139932718851232 139934752970453 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23515136 140724050973383 140724050973830 140724050973830 140724050976719 0 [pid=6413/tid=6425] ppid=6410 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/6413/task/6425/stat : 6425 (java) S 6410 6410 6155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499779100 27969658880 31427 33554432000 4194304 4196468 140724050967840 139932450415344 139934752970453 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23515136 140724050973383 140724050973830 140724050973830 140724050976719 0 [pid=6413/tid=6426] ppid=6410 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/6413/task/6426/stat : 6426 (java) S 6410 6410 6155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499779103 27969658880 31427 33554432000 4194304 4196468 140724050967840 139932075907024 139934752978843 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23515136 140724050973383 140724050973830 140724050973830 140724050976719 0 [pid=6413/tid=6427] ppid=6410 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/6413/task/6427/stat : 6427 (java) S 6410 6410 6155 0 -1 1077944384 479 0 0 0 0 0 0 0 20 0 20 0 499779103 27969658880 31427 33554432000 4194304 4196468 140724050967840 139933005101808 139934752971394 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23515136 140724050973383 140724050973830 140724050973830 140724050976719 0 [pid=6413/tid=6428] ppid=6410 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/6413/task/6428/stat : 6428 (java) S 6410 6410 6155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499779103 27969658880 31427 33554432000 4194304 4196468 140724050967840 139933004049264 139934752971394 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23515136 140724050973383 140724050973830 140724050973830 140724050976719 0 [pid=6413/tid=6429] ppid=6410 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/6413/task/6429/stat : 6429 (java) S 6410 6410 6155 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 20 0 499779103 27969658880 31427 33554432000 4194304 4196468 140724050967840 139933002996208 139934752971394 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23515136 140724050973383 140724050973830 140724050973830 140724050976719 0 [pid=6413/tid=6430] ppid=6410 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7 /proc/6413/task/6430/stat : 6430 (java) S 6410 6410 6155 0 -1 1077944384 467 0 0 0 2 0 0 0 20 0 20 0 499779103 27969658880 31427 33554432000 4194304 4196468 140724050967840 139933001943664 139934752971394 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23515136 140724050973383 140724050973830 140724050973830 140724050976719 0 [pid=6413/tid=6431] ppid=6410 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/6413/task/6431/stat : 6431 (java) S 6410 6410 6155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 499779103 27969658880 31427 33554432000 4194304 4196468 140724050967840 139931578001888 139934752970453 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23515136 140724050973383 140724050973830 140724050973830 140724050976719 0 [pid=6413/tid=6432] ppid=6410 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/6413/task/6432/stat : 6432 (java) S 6410 6410 6155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499779103 27969658880 31427 33554432000 4194304 4196468 140724050967840 139933000891056 139934752971394 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23515136 140724050973383 140724050973830 140724050973830 140724050976719 0 Current children cumulated CPU time: 0.24 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 127108 KiB [startup+0.309774 s]* /proc/loadavg: 0.65 0.16 0.09 2/212 6432 /proc/meminfo: memFree=24731152/32770624 swapFree=66935948/67108860 [pid=6410] ppid=6407 vsize=113128 memory=1400 CPUtime=0 cores=0-7 /proc/6410/stat : 6410 (scop.sh) S 6407 6410 6155 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 499779095 115843072 350 33554432000 4194304 5098028 140725958469360 140725958466616 140229778715260 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 39088128 140725958476540 140725958476888 140725958476888 140725958479817 0 /proc/6410/statm: 28282 350 297 221 0 87 0 [pid=6413] ppid=6410 vsize=27314120 memory=129476 CPUtime=0.42 cores=0-7 /proc/6413/stat : 6413 (java) S 6410 6410 6155 0 -1 1077944320 12278 0 0 0 37 5 0 0 20 0 20 0 499779095 27969658880 32369 33554432000 4194304 4196468 140724050967840 140724050950384 139934752960247 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23515136 140724050973383 140724050973830 140724050973830 140724050976719 0 /proc/6413/statm: 6828530 32369 2998 1 0 6790935 0 [pid=6413/tid=6414] ppid=6410 vsize=27314120 memory=8112282956445269571 CPUtime=0.29 cores=0-7 /proc/6413/task/6414/stat : 6414 (java) R 6410 6410 6155 0 -1 4202560 9776 0 0 0 25 4 0 0 20 0 20 0 499779096 27969658880 32369 33554432000 4194304 4196468 140724050967840 139934724785104 139934737040734 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23515136 140724050973383 140724050973830 140724050973830 140724050976719 0 [pid=6413/tid=6415] ppid=6410 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/6413/task/6415/stat : 6415 (java) S 6410 6410 6155 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 499779098 27969658880 32369 33554432000 4194304 4196468 140724050967840 139934757202448 139934752970453 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23515136 140724050973383 140724050973830 140724050973830 140724050976719 0 [pid=6413/tid=6416] ppid=6410 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/6413/task/6416/stat : 6416 (java) S 6410 6410 6155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499779098 27969658880 32369 33554432000 4194304 4196468 140724050967840 139934540597904 139934752970453 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23515136 140724050973383 140724050973830 140724050973830 140724050976719 0 [pid=6413/tid=6417] ppid=6410 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/6413/task/6417/stat : 6417 (java) S 6410 6410 6155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 499779098 27969658880 32369 33554432000 4194304 4196468 140724050967840 139934539544848 139934752970453 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23515136 140724050973383 140724050973830 140724050973830 140724050976719 0 [pid=6413/tid=6418] ppid=6410 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/6413/task/6418/stat : 6418 (java) S 6410 6410 6155 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 499779098 27969658880 32369 33554432000 4194304 4196468 140724050967840 139934538492304 139934752970453 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23515136 140724050973383 140724050973830 140724050973830 140724050976719 0 [pid=6413/tid=6419] ppid=6410 vsize=27314120 memory=2244 CPUtime=0 cores=0-7 /proc/6413/task/6419/stat : 6419 (java) S 6410 6410 6155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 499779098 27969658880 32369 33554432000 4194304 4196468 140724050967840 139934537440272 139934752970453 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23515136 140724050973383 140724050973830 140724050973830 140724050976719 0 [pid=6413/tid=6420] ppid=6410 vsize=27314120 memory=139744814134191 CPUtime=0 cores=0-7 /proc/6413/task/6420/stat : 6420 (java) S 6410 6410 6155 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 499779098 27969658880 32369 33554432000 4194304 4196468 140724050967840 139934536387728 139934752970453 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23515136 140724050973383 140724050973830 140724050973830 140724050976719 0 [pid=6413/tid=6421] ppid=6410 vsize=27314120 memory=139744814136496 CPUtime=0 cores=0-7 /proc/6413/task/6421/stat : 6421 (java) S 6410 6410 6155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499779098 27969658880 32369 33554432000 4194304 4196468 140724050967840 139934535334672 139934752970453 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23515136 140724050973383 140724050973830 140724050973830 140724050976719 0 [pid=6413/tid=6422] ppid=6410 vsize=27314120 memory=139744814138800 CPUtime=0 cores=0-7 /proc/6413/task/6422/stat : 6422 (java) S 6410 6410 6155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 499779098 27969658880 32369 33554432000 4194304 4196468 140724050967840 139934534282128 139934752970453 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23515136 140724050973383 140724050973830 140724050973830 140724050976719 0 [pid=6413/tid=6423] ppid=6410 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/6413/task/6423/stat : 6423 (java) S 6410 6410 6155 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 499779099 27969658880 32369 33554432000 4194304 4196468 140724050967840 139933006153968 139934752971394 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23515136 140724050973383 140724050973830 140724050973830 140724050976719 0 [pid=6413/tid=6424] ppid=6410 vsize=27314120 memory=279489628284560 CPUtime=0 cores=0-7 /proc/6413/task/6424/stat : 6424 (java) S 6410 6410 6155 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 499779100 27969658880 32369 33554432000 4194304 4196468 140724050967840 139932718851232 139934752970453 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23515136 140724050973383 140724050973830 140724050973830 140724050976719 0 [pid=6413/tid=6425] ppid=6410 vsize=27314120 memory=279489628291472 CPUtime=0 cores=0-7 /proc/6413/task/6425/stat : 6425 (java) S 6410 6410 6155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499779100 27969658880 32369 33554432000 4194304 4196468 140724050967840 139932450415344 139934752970453 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23515136 140724050973383 140724050973830 140724050973830 140724050976719 0 [pid=6413/tid=6426] ppid=6410 vsize=27314120 memory=279489628232752 CPUtime=0 cores=0-7 /proc/6413/task/6426/stat : 6426 (java) S 6410 6410 6155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499779103 27969658880 32369 33554432000 4194304 4196468 140724050967840 139932075907024 139934752978843 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23515136 140724050973383 140724050973830 140724050973830 140724050976719 0 [pid=6413/tid=6427] ppid=6410 vsize=27314120 memory=279489628305296 CPUtime=0 cores=0-7 /proc/6413/task/6427/stat : 6427 (java) S 6410 6410 6155 0 -1 1077944384 488 0 0 0 0 0 0 0 20 0 20 0 499779103 27969658880 32369 33554432000 4194304 4196468 140724050967840 139933005101808 139934752971394 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23515136 140724050973383 140724050973830 140724050973830 140724050976719 0 [pid=6413/tid=6428] ppid=6410 vsize=27314120 memory=279489628312208 CPUtime=0.02 cores=0-7 /proc/6413/task/6428/stat : 6428 (java) R 6410 6410 6155 0 -1 4202560 104 0 0 0 2 0 0 0 20 0 20 0 499779103 27969658880 32369 33554432000 4194304 4196468 140724050967840 139933004049264 139934730594896 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23515136 140724050973383 140724050973830 140724050973830 140724050976719 0 [pid=6413/tid=6429] ppid=6410 vsize=27314120 memory=279489628309904 CPUtime=0.01 cores=0-7 /proc/6413/task/6429/stat : 6429 (java) S 6410 6410 6155 0 -1 1077944384 59 0 0 0 1 0 0 0 20 0 20 0 499779103 27969658880 32369 33554432000 4194304 4196468 140724050967840 139933002996208 139934752971394 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23515136 140724050973383 140724050973830 140724050973830 140724050976719 0 [pid=6413/tid=6430] ppid=6410 vsize=27314120 memory=279489628326064 CPUtime=0.07 cores=0-7 /proc/6413/task/6430/stat : 6430 (java) S 6410 6410 6155 0 -1 1077944384 513 0 0 0 7 0 0 0 20 0 20 0 499779103 27969658880 32369 33554432000 4194304 4196468 140724050967840 139933001943664 139934752971394 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23515136 140724050973383 140724050973830 140724050973830 140724050976719 0 [pid=6413/tid=6431] ppid=6410 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/6413/task/6431/stat : 6431 (java) S 6410 6410 6155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 499779103 27969658880 32369 33554432000 4194304 4196468 140724050967840 139931578001888 139934752970453 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23515136 140724050973383 140724050973830 140724050973830 140724050976719 0 [pid=6413/tid=6432] ppid=6410 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/6413/task/6432/stat : 6432 (java) S 6410 6410 6155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499779103 27969658880 32369 33554432000 4194304 4196468 140724050967840 139933000891056 139934752971394 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23515136 140724050973383 140724050973830 140724050973830 140724050976719 0 Current children cumulated CPU time: 0.42 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 130876 KiB [startup+0.700916 s] /proc/loadavg: 0.65 0.16 0.09 2/212 6432 /proc/meminfo: memFree=24709812/32770624 swapFree=66935948/67108860 [pid=6410] ppid=6407 vsize=113128 memory=1400 CPUtime=0 cores=0-7 /proc/6410/stat : 6410 (scop.sh) S 6407 6410 6155 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 499779095 115843072 350 33554432000 4194304 5098028 140725958469360 140725958466616 140229778715260 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 39088128 140725958476540 140725958476888 140725958476888 140725958479817 0 /proc/6410/statm: 28282 350 297 221 0 87 0 [pid=6413] ppid=6410 vsize=27320392 memory=165460 CPUtime=0.99 cores=0-7 /proc/6413/stat : 6413 (java) S 6410 6410 6155 0 -1 1077944320 19964 0 0 0 91 8 0 0 20 0 20 0 499779095 27976081408 41365 33554432000 4194304 4196468 140724050967840 140724050950384 139934752960247 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23515136 140724050973383 140724050973830 140724050973830 140724050976719 0 /proc/6413/statm: 6830098 41365 3180 1 0 6791447 0 [pid=6413/tid=6414] ppid=6410 vsize=27320392 memory=279489628683952 CPUtime=0.68 cores=0-7 /proc/6413/task/6414/stat : 6414 (java) R 6410 6410 6155 0 -1 4202560 16826 0 0 0 61 7 0 0 20 0 20 0 499779096 27976081408 41365 33554432000 4194304 4196468 140724050967840 139934724791432 139934752982173 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23515136 140724050973383 140724050973830 140724050973830 140724050976719 0 [pid=6413/tid=6415] ppid=6410 vsize=27320392 memory=139744814343024 CPUtime=0 cores=0-7 /proc/6413/task/6415/stat : 6415 (java) S 6410 6410 6155 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 499779098 27976081408 41365 33554432000 4194304 4196468 140724050967840 139934757202448 139934752970453 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23515136 140724050973383 140724050973830 140724050973830 140724050976719 0 [pid=6413/tid=6416] ppid=6410 vsize=27320392 memory=0 CPUtime=0 cores=0-7 /proc/6413/task/6416/stat : 6416 (java) S 6410 6410 6155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499779098 27976081408 41365 33554432000 4194304 4196468 140724050967840 139934540597904 139934752970453 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23515136 140724050973383 140724050973830 140724050973830 140724050976719 0 [pid=6413/tid=6417] ppid=6410 vsize=27320392 memory=1128 CPUtime=0 cores=0-7 /proc/6413/task/6417/stat : 6417 (java) S 6410 6410 6155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 499779098 27976081408 41365 33554432000 4194304 4196468 140724050967840 139934539544848 139934752970453 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23515136 140724050973383 140724050973830 140724050973830 140724050976719 0 ################ # More data... # ################ /proc/6458/task/6465/stat : 6465 (java) S 6410 6410 6155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 499806423 8616062976 30988 33554432000 4194304 4196468 140725448968928 140423904352528 140424423896789 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18448384 140725448975328 140725448975494 140725448975494 140725448978383 0 [pid=6458/tid=6466] ppid=6410 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/6458/task/6466/stat : 6466 (java) S 6410 6410 6155 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 499806423 8616062976 30988 33554432000 4194304 4196468 140725448968928 140423903300240 140424423896789 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18448384 140725448975328 140725448975494 140725448975494 140725448978383 0 [pid=6458/tid=6467] ppid=6410 vsize=8414124 memory=2520 CPUtime=0 cores=0-7 /proc/6458/task/6467/stat : 6467 (java) S 6410 6410 6155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 499806423 8616062976 30988 33554432000 4194304 4196468 140725448968928 140423902247440 140424423896789 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18448384 140725448975328 140725448975494 140725448975494 140725448978383 0 [pid=6458/tid=6468] ppid=6410 vsize=8414124 memory=1760 CPUtime=0.01 cores=0-7 /proc/6458/task/6468/stat : 6468 (java) S 6410 6410 6155 0 -1 1077944384 9 0 0 0 1 0 0 0 20 0 24 0 499806424 8616062976 30988 33554432000 4194304 4196468 140725448968928 140423383214704 140424423897730 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18448384 140725448975328 140725448975494 140725448975494 140725448978383 0 [pid=6458/tid=6469] ppid=6410 vsize=8414124 memory=1660 CPUtime=0 cores=0-7 /proc/6458/task/6469/stat : 6469 (java) S 6410 6410 6155 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 499806425 8616062976 30988 33554432000 4194304 4196468 140725448968928 140423016211744 140424423896789 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18448384 140725448975328 140725448975494 140725448975494 140725448978383 0 [pid=6458/tid=6470] ppid=6410 vsize=8414124 memory=111632 CPUtime=0 cores=0-7 /proc/6458/task/6470/stat : 6470 (java) S 6410 6410 6155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 499806425 8616062976 30988 33554432000 4194304 4196468 140725448968928 140422747776624 140424423896789 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18448384 140725448975328 140725448975494 140725448975494 140725448978383 0 [pid=6458/tid=6471] ppid=6410 vsize=8414124 memory=796 CPUtime=0 cores=0-7 /proc/6458/task/6471/stat : 6471 (java) S 6410 6410 6155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 499806428 8616062976 30988 33554432000 4194304 4196468 140725448968928 140422373268048 140424423905179 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18448384 140725448975328 140725448975494 140725448975494 140725448978383 0 [pid=6458/tid=6472] ppid=6410 vsize=8414124 memory=4100 CPUtime=0.05 cores=0-7 /proc/6458/task/6472/stat : 6472 (java) S 6410 6410 6155 0 -1 1077944384 663 0 0 0 5 0 0 0 20 0 24 0 499806428 8616062976 30988 33554432000 4194304 4196468 140725448968928 140423382161520 140424423897730 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18448384 140725448975328 140725448975494 140725448975494 140725448978383 0 [pid=6458/tid=6473] ppid=6410 vsize=8414124 memory=1808 CPUtime=0.07 cores=0-7 /proc/6458/task/6473/stat : 6473 (java) S 6410 6410 6155 0 -1 1077944384 265 0 0 0 7 0 0 0 20 0 24 0 499806428 8616062976 30988 33554432000 4194304 4196468 140725448968928 140423381108720 140424423897730 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18448384 140725448975328 140725448975494 140725448975494 140725448978383 0 [pid=6458/tid=6474] ppid=6410 vsize=8414124 memory=920 CPUtime=0.06 cores=0-7 /proc/6458/task/6474/stat : 6474 (java) S 6410 6410 6155 0 -1 1077944384 235 0 0 0 6 0 0 0 20 0 24 0 499806428 8616062976 30988 33554432000 4194304 4196468 140725448968928 140423380056432 140424423897730 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18448384 140725448975328 140725448975494 140725448975494 140725448978383 0 [pid=6458/tid=6475] ppid=6410 vsize=8414124 memory=4136 CPUtime=0.22 cores=0-7 /proc/6458/task/6475/stat : 6475 (java) S 6410 6410 6155 0 -1 1077944384 791 0 0 0 22 0 0 0 20 0 24 0 499806428 8616062976 30988 33554432000 4194304 4196468 140725448968928 140423379003632 140424423897730 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18448384 140725448975328 140725448975494 140725448975494 140725448978383 0 [pid=6458/tid=6476] ppid=6410 vsize=8414124 memory=1412 CPUtime=0 cores=0-7 /proc/6458/task/6476/stat : 6476 (java) S 6410 6410 6155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 499806428 8616062976 30988 33554432000 4194304 4196468 140725448968928 140421875362656 140424423896789 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18448384 140725448975328 140725448975494 140725448975494 140725448978383 0 [pid=6458/tid=6477] ppid=6410 vsize=8414124 memory=3952 CPUtime=0.28 cores=0-7 /proc/6458/task/6477/stat : 6477 (java) S 6410 6410 6155 0 -1 1077944384 35 0 0 0 8 20 0 0 20 0 24 0 499806428 8616062976 30988 33554432000 4194304 4196468 140725448968928 140423377951536 140424423897730 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18448384 140725448975328 140725448975494 140725448975494 140725448978383 0 [pid=6458/tid=6479] ppid=6410 vsize=8414124 memory=1476 CPUtime=0 cores=0-7 /proc/6458/task/6479/stat : 6479 (java) S 6410 6410 6155 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 499806495 8616062976 30988 33554432000 4194304 4196468 140725448968928 140423369918272 140424423911193 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 18448384 140725448975328 140725448975494 140725448975494 140725448978383 0 [pid=6458/tid=6481] ppid=6410 vsize=8414124 memory=123952 CPUtime=0.03 cores=0-7 /proc/6458/task/6481/stat : 6481 (java) S 6410 6410 6155 0 -1 4202560 1684 0 0 0 1 2 0 0 20 0 24 0 499806495 8616062976 30988 33554432000 4194304 4196468 140725448968928 140421204262288 140424423908509 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 18448384 140725448975328 140725448975494 140725448975494 140725448978383 0 [pid=6458/tid=6482] ppid=6410 vsize=8414124 memory=1752816 CPUtime=0 cores=0-7 /proc/6458/task/6482/stat : 6482 (java) S 6410 6410 6155 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 499806495 8616062976 30988 33554432000 4194304 4196468 140725448968928 140421472697616 140424423908509 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 18448384 140725448975328 140725448975494 140725448975494 140725448978383 0 [pid=6458/tid=6483] ppid=6410 vsize=8414124 memory=288230574492221466 CPUtime=0 cores=0-7 /proc/6458/task/6483/stat : 6483 (java) S 6410 6410 6155 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 499806497 8616062976 30988 33554432000 4194304 4196468 140725448968928 140420935834928 140424423896789 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18448384 140725448975328 140725448975494 140725448975494 140725448978383 0 Current children cumulated CPU time: 4165.86 s Current children cumulated vsize: 10770780 KiB Current children cumulated memory: 1879004 KiB [startup+773.601 s] /proc/loadavg: 8.08 6.75 3.58 3/218 6521 /proc/meminfo: memFree=22922560/32770624 swapFree=66935948/67108860 [pid=6410] ppid=6407 vsize=113128 memory=1476 CPUtime=376.24 cores=0-7 /proc/6410/stat : 6410 (scop.sh) S 6407 6410 6155 0 -1 4202496 583 148046 0 0 0 0 35708 1916 20 0 1 0 499779095 115843072 369 33554432000 4194304 5098028 140725958469360 140725958466104 140229778715260 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 39088128 140725958476540 140725958476888 140725958476888 140725958479817 0 /proc/6410/statm: 28282 369 311 221 0 87 0 [pid=6458] ppid=6410 vsize=8414124 memory=123952 CPUtime=1.54 cores=0-7 /proc/6458/stat : 6458 (java) S 6410 6410 6155 0 -1 1077944320 22000 0 0 0 141 13 0 0 20 0 24 0 499806420 8616062976 30988 33554432000 4194304 4196468 140725448968928 140725448951472 140424423886583 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18448384 140725448975328 140725448975494 140725448975494 140725448978383 0 /proc/6458/statm: 2103531 30988 3209 1 0 2064875 0 [pid=6478] ppid=6458 vsize=2243528 memory=1753576 CPUtime=3788.48 cores=0-7 /proc/6478/stat : 6478 (manyglucose-4.1) S 6458 6410 6155 0 -1 1077944320 5835528 0 0 0 377453 1395 0 0 20 0 2 0 499806495 2297372672 438394 33554432000 4194304 4454172 140724181403632 140724181402016 139947273776887 0 4 0 8388610 18446744073709551615 0 0 17 0 0 0 0 0 0 6552832 6554400 25595904 140724181410638 140724181410844 140724181410844 140724181413814 0 /proc/6478/statm: 560882 438394 422 64 0 556550 0 [pid=6478/tid=6487] ppid=6458 vsize=2243528 memory=2020 CPUtime=478.45 cores=0-7 /proc/6478/task/6487/stat : 6487 (manyglucose-4.1) R 6458 6410 6155 0 -1 4202560 751901 0 0 0 47647 198 0 0 20 0 2 0 499808500 2297372672 438394 33554432000 4194304 4454172 140724181403632 139947239099528 4351797 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6552832 6554400 25595904 140724181410638 140724181410844 140724181410844 140724181413814 0 [pid=6458/tid=6459] ppid=6410 vsize=8414124 memory=988 CPUtime=0.75 cores=0-7 /proc/6458/task/6459/stat : 6459 (java) S 6410 6410 6155 0 -1 1077944384 16934 0 0 0 70 5 0 0 20 0 24 0 499806421 8616062976 30988 33554432000 4194304 4196468 140725448968928 140424395726752 140424423896789 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18448384 140725448975328 140725448975494 140725448975494 140725448978383 0 [pid=6458/tid=6460] ppid=6410 vsize=8414124 memory=1368 CPUtime=0 cores=0-7 /proc/6458/task/6460/stat : 6460 (java) S 6410 6410 6155 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 499806423 8616062976 30988 33554432000 4194304 4196468 140725448968928 140424428129168 140424423896789 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18448384 140725448975328 140725448975494 140725448975494 140725448978383 0 [pid=6458/tid=6461] ppid=6410 vsize=8414124 memory=1476 CPUtime=0 cores=0-7 /proc/6458/task/6461/stat : 6461 (java) S 6410 6410 6155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 499806423 8616062976 30988 33554432000 4194304 4196468 140725448968928 140424228297488 140424423896789 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18448384 140725448975328 140725448975494 140725448975494 140725448978383 0 [pid=6458/tid=6462] ppid=6410 vsize=8414124 memory=123952 CPUtime=0 cores=0-7 /proc/6458/task/6462/stat : 6462 (java) S 6410 6410 6155 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 499806423 8616062976 30988 33554432000 4194304 4196468 140725448968928 140424227245200 140424423896789 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18448384 140725448975328 140725448975494 140725448975494 140725448978383 0 [pid=6458/tid=6463] ppid=6410 vsize=8414124 memory=1753560 CPUtime=0 cores=0-7 /proc/6458/task/6463/stat : 6463 (java) S 6410 6410 6155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 499806423 8616062976 30988 33554432000 4194304 4196468 140725448968928 140424226192400 140424423896789 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18448384 140725448975328 140725448975494 140725448975494 140725448978383 0 [pid=6458/tid=6464] ppid=6410 vsize=8414124 memory=1436 CPUtime=0 cores=0-7 /proc/6458/task/6464/stat : 6464 (java) S 6410 6410 6155 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 499806423 8616062976 30988 33554432000 4194304 4196468 140725448968928 140423905405328 140424423896789 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18448384 140725448975328 140725448975494 140725448975494 140725448978383 0 [pid=6458/tid=6465] ppid=6410 vsize=8414124 memory=2124 CPUtime=0 cores=0-7 /proc/6458/task/6465/stat : 6465 (java) S 6410 6410 6155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 499806423 8616062976 30988 33554432000 4194304 4196468 140725448968928 140423904352528 140424423896789 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18448384 140725448975328 140725448975494 140725448975494 140725448978383 0 [pid=6458/tid=6466] ppid=6410 vsize=8414124 memory=33624 CPUtime=0 cores=0-7 /proc/6458/task/6466/stat : 6466 (java) S 6410 6410 6155 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 499806423 8616062976 30988 33554432000 4194304 4196468 140725448968928 140423903300240 140424423896789 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18448384 140725448975328 140725448975494 140725448975494 140725448978383 0 [pid=6458/tid=6467] ppid=6410 vsize=8414124 memory=7686721470368029081 CPUtime=0 cores=0-7 /proc/6458/task/6467/stat : 6467 (java) S 6410 6410 6155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 499806423 8616062976 30988 33554432000 4194304 4196468 140725448968928 140423902247440 140424423896789 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18448384 140725448975328 140725448975494 140725448975494 140725448978383 0 [pid=6458/tid=6468] ppid=6410 vsize=8414124 memory=1560 CPUtime=0.01 cores=0-7 /proc/6458/task/6468/stat : 6468 (java) S 6410 6410 6155 0 -1 1077944384 9 0 0 0 1 0 0 0 20 0 24 0 499806424 8616062976 30988 33554432000 4194304 4196468 140725448968928 140423383214704 140424423897730 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18448384 140725448975328 140725448975494 140725448975494 140725448978383 0 [pid=6458/tid=6469] ppid=6410 vsize=8414124 memory=932 CPUtime=0 cores=0-7 /proc/6458/task/6469/stat : 6469 (java) S 6410 6410 6155 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 499806425 8616062976 30988 33554432000 4194304 4196468 140725448968928 140423016211744 140424423896789 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18448384 140725448975328 140725448975494 140725448975494 140725448978383 0 [pid=6458/tid=6470] ppid=6410 vsize=8414124 memory=1636 CPUtime=0 cores=0-7 /proc/6458/task/6470/stat : 6470 (java) S 6410 6410 6155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 499806425 8616062976 30988 33554432000 4194304 4196468 140725448968928 140422747776624 140424423896789 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18448384 140725448975328 140725448975494 140725448975494 140725448978383 0 [pid=6458/tid=6471] ppid=6410 vsize=8414124 memory=1436 CPUtime=0 cores=0-7 /proc/6458/task/6471/stat : 6471 (java) S 6410 6410 6155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 499806428 8616062976 30988 33554432000 4194304 4196468 140725448968928 140422373268048 140424423905179 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18448384 140725448975328 140725448975494 140725448975494 140725448978383 0 [pid=6458/tid=6472] ppid=6410 vsize=8414124 memory=880 CPUtime=0.05 cores=0-7 /proc/6458/task/6472/stat : 6472 (java) S 6410 6410 6155 0 -1 1077944384 663 0 0 0 5 0 0 0 20 0 24 0 499806428 8616062976 30988 33554432000 4194304 4196468 140725448968928 140423382161520 140424423897730 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18448384 140725448975328 140725448975494 140725448975494 140725448978383 0 [pid=6458/tid=6473] ppid=6410 vsize=8414124 memory=1980 CPUtime=0.07 cores=0-7 /proc/6458/task/6473/stat : 6473 (java) S 6410 6410 6155 0 -1 1077944384 265 0 0 0 7 0 0 0 20 0 24 0 499806428 8616062976 30988 33554432000 4194304 4196468 140725448968928 140423381108720 140424423897730 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18448384 140725448975328 140725448975494 140725448975494 140725448978383 0 [pid=6458/tid=6474] ppid=6410 vsize=8414124 memory=1056 CPUtime=0.06 cores=0-7 /proc/6458/task/6474/stat : 6474 (java) S 6410 6410 6155 0 -1 1077944384 235 0 0 0 6 0 0 0 20 0 24 0 499806428 8616062976 30988 33554432000 4194304 4196468 140725448968928 140423380056432 140424423897730 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18448384 140725448975328 140725448975494 140725448975494 140725448978383 0 [pid=6458/tid=6475] ppid=6410 vsize=8414124 memory=1716 CPUtime=0.22 cores=0-7 /proc/6458/task/6475/stat : 6475 (java) S 6410 6410 6155 0 -1 1077944384 791 0 0 0 22 0 0 0 20 0 24 0 499806428 8616062976 30988 33554432000 4194304 4196468 140725448968928 140423379003632 140424423897730 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18448384 140725448975328 140725448975494 140725448975494 140725448978383 0 [pid=6458/tid=6476] ppid=6410 vsize=8414124 memory=6048 CPUtime=0 cores=0-7 /proc/6458/task/6476/stat : 6476 (java) S 6410 6410 6155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 499806428 8616062976 30988 33554432000 4194304 4196468 140725448968928 140421875362656 140424423896789 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18448384 140725448975328 140725448975494 140725448975494 140725448978383 0 [pid=6458/tid=6477] ppid=6410 vsize=8414124 memory=11528 CPUtime=0.28 cores=0-7 /proc/6458/task/6477/stat : 6477 (java) S 6410 6410 6155 0 -1 1077944384 35 0 0 0 8 20 0 0 20 0 24 0 499806428 8616062976 30988 33554432000 4194304 4196468 140725448968928 140423377951536 140424423897730 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18448384 140725448975328 140725448975494 140725448975494 140725448978383 0 [pid=6458/tid=6479] ppid=6410 vsize=8414124 memory=780 CPUtime=0 cores=0-7 /proc/6458/task/6479/stat : 6479 (java) S 6410 6410 6155 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 499806495 8616062976 30988 33554432000 4194304 4196468 140725448968928 140423369918272 140424423911193 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 18448384 140725448975328 140725448975494 140725448975494 140725448978383 0 [pid=6458/tid=6481] ppid=6410 vsize=8414124 memory=776 CPUtime=0.03 cores=0-7 /proc/6458/task/6481/stat : 6481 (java) S 6410 6410 6155 0 -1 4202560 1684 0 0 0 1 2 0 0 20 0 24 0 499806495 8616062976 30988 33554432000 4194304 4196468 140725448968928 140421204262288 140424423908509 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 18448384 140725448975328 140725448975494 140725448975494 140725448978383 0 [pid=6458/tid=6482] ppid=6410 vsize=8414124 memory=1560 CPUtime=0 cores=0-7 /proc/6458/task/6482/stat : 6482 (java) S 6410 6410 6155 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 499806495 8616062976 30988 33554432000 4194304 4196468 140725448968928 140421472697616 140424423908509 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 18448384 140725448975328 140725448975494 140725448975494 140725448978383 0 [pid=6458/tid=6483] ppid=6410 vsize=8414124 memory=3592 CPUtime=0 cores=0-7 /proc/6458/task/6483/stat : 6483 (java) S 6410 6410 6155 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 499806497 8616062976 30988 33554432000 4194304 4196468 140725448968928 140420935834928 140424423896789 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18448384 140725448975328 140725448975494 140725448975494 140725448978383 0 Current children cumulated CPU time: 4166.26 s Current children cumulated vsize: 10770780 KiB Current children cumulated memory: 1879004 KiB [startup+773.701 s] /proc/loadavg: 8.08 6.75 3.58 3/218 6521 /proc/meminfo: memFree=22922560/32770624 swapFree=66935948/67108860 [pid=6410] ppid=6407 vsize=113128 memory=1476 CPUtime=376.24 cores=0-7 /proc/6410/stat : 6410 (scop.sh) S 6407 6410 6155 0 -1 4202496 583 148046 0 0 0 0 35708 1916 20 0 1 0 499779095 115843072 369 33554432000 4194304 5098028 140725958469360 140725958466104 140229778715260 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 39088128 140725958476540 140725958476888 140725958476888 140725958479817 0 /proc/6410/statm: 28282 369 311 221 0 87 0 [pid=6458] ppid=6410 vsize=8414124 memory=124576 CPUtime=1.6 cores=0-7 /proc/6458/stat : 6458 (java) S 6410 6410 6155 0 -1 1077944320 22206 0 0 0 147 13 0 0 20 0 24 0 499806420 8616062976 31144 33554432000 4194304 4196468 140725448968928 140725448951472 140424423886583 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18448384 140725448975328 140725448975494 140725448975494 140725448978383 0 /proc/6458/statm: 2103531 31144 3218 1 0 2064875 0 [pid=6458/tid=6459] ppid=6410 vsize=8414124 memory=1476 CPUtime=0.75 cores=0-7 /proc/6458/task/6459/stat : 6459 (java) S 6410 6410 6155 0 -1 1077944384 16934 0 0 0 70 5 0 0 20 0 24 0 499806421 8616062976 31144 33554432000 4194304 4196468 140725448968928 140424395726752 140424423896789 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18448384 140725448975328 140725448975494 140725448975494 140725448978383 0 [pid=6458/tid=6460] ppid=6410 vsize=8414124 memory=1128 CPUtime=0 cores=0-7 /proc/6458/task/6460/stat : 6460 (java) S 6410 6410 6155 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 499806423 8616062976 31144 33554432000 4194304 4196468 140725448968928 140424428129168 140424423896789 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18448384 140725448975328 140725448975494 140725448975494 140725448978383 0 [pid=6458/tid=6461] ppid=6410 vsize=8414124 memory=1476 CPUtime=0 cores=0-7 /proc/6458/task/6461/stat : 6461 (java) S 6410 6410 6155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 499806423 8616062976 31144 33554432000 4194304 4196468 140725448968928 140424228297488 140424423896789 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18448384 140725448975328 140725448975494 140725448975494 140725448978383 0 [pid=6458/tid=6462] ppid=6410 vsize=8414124 memory=1800988 CPUtime=0 cores=0-7 /proc/6458/task/6462/stat : 6462 (java) S 6410 6410 6155 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 499806423 8616062976 31144 33554432000 4194304 4196468 140725448968928 140424227245200 140424423896789 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18448384 140725448975328 140725448975494 140725448975494 140725448978383 0 [pid=6458/tid=6463] ppid=6410 vsize=8414124 memory=1476 CPUtime=0 cores=0-7 /proc/6458/task/6463/stat : 6463 (java) S 6410 6410 6155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 499806423 8616062976 31144 33554432000 4194304 4196468 140725448968928 140424226192400 140424423896789 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18448384 140725448975328 140725448975494 140725448975494 140725448978383 0 [pid=6458/tid=6464] ppid=6410 vsize=8414124 memory=33 CPUtime=0 cores=0-7 /proc/6458/task/6464/stat : 6464 (java) S 6410 6410 6155 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 499806423 8616062976 31144 33554432000 4194304 4196468 140725448968928 140423905405328 140424423896789 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18448384 140725448975328 140725448975494 140725448975494 140725448978383 0 [pid=6458/tid=6465] ppid=6410 vsize=8414124 memory=-7175204567652784766 CPUtime=0 cores=0-7 /proc/6458/task/6465/stat : 6465 (java) S 6410 6410 6155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 499806423 8616062976 31144 33554432000 4194304 4196468 140725448968928 140423904352528 140424423896789 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18448384 140725448975328 140725448975494 140725448975494 140725448978383 0 [pid=6458/tid=6466] ppid=6410 vsize=8414124 memory=1476 CPUtime=0 cores=0-7 /proc/6458/task/6466/stat : 6466 (java) S 6410 6410 6155 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 499806423 8616062976 31144 33554432000 4194304 4196468 140725448968928 140423903300240 140424423896789 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18448384 140725448975328 140725448975494 140725448975494 140725448978383 0 [pid=6458/tid=6467] ppid=6410 vsize=8414124 memory=123952 CPUtime=0 cores=0-7 /proc/6458/task/6467/stat : 6467 (java) S 6410 6410 6155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 499806423 8616062976 31144 33554432000 4194304 4196468 140725448968928 140423902247440 140424423896789 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18448384 140725448975328 140725448975494 140725448975494 140725448978383 0 [pid=6458/tid=6468] ppid=6410 vsize=8414124 memory=0 CPUtime=0.01 cores=0-7 /proc/6458/task/6468/stat : 6468 (java) S 6410 6410 6155 0 -1 1077944384 9 0 0 0 1 0 0 0 20 0 24 0 499806424 8616062976 31144 33554432000 4194304 4196468 140725448968928 140423383214704 140424423897730 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18448384 140725448975328 140725448975494 140725448975494 140725448978383 0 [pid=6458/tid=6469] ppid=6410 vsize=8414124 memory=5931619389389492816 CPUtime=0 cores=0-7 /proc/6458/task/6469/stat : 6469 (java) S 6410 6410 6155 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 499806425 8616062976 31144 33554432000 4194304 4196468 140725448968928 140423016211744 140424423896789 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18448384 140725448975328 140725448975494 140725448975494 140725448978383 0 [pid=6458/tid=6470] ppid=6410 vsize=8414124 memory=55 CPUtime=0 cores=0-7 /proc/6458/task/6470/stat : 6470 (java) S 6410 6410 6155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 499806425 8616062976 31144 33554432000 4194304 4196468 140725448968928 140422747776624 140424423896789 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18448384 140725448975328 140725448975494 140725448975494 140725448978383 0 [pid=6458/tid=6471] ppid=6410 vsize=8414124 memory=3054941812076800055 CPUtime=0 cores=0-7 /proc/6458/task/6471/stat : 6471 (java) S 6410 6410 6155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 499806428 8616062976 31144 33554432000 4194304 4196468 140725448968928 140422373268048 140424423905179 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18448384 140725448975328 140725448975494 140725448975494 140725448978383 0 [pid=6458/tid=6472] ppid=6410 vsize=8414124 memory=279489629423232 CPUtime=0.05 cores=0-7 /proc/6458/task/6472/stat : 6472 (java) S 6410 6410 6155 0 -1 1077944384 669 0 0 0 5 0 0 0 20 0 24 0 499806428 8616062976 31144 33554432000 4194304 4196468 140725448968928 140423382161520 140424423897730 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18448384 140725448975328 140725448975494 140725448975494 140725448978383 0 [pid=6458/tid=6473] ppid=6410 vsize=8414124 memory=7163091077921072704 CPUtime=0.07 cores=0-7 /proc/6458/task/6473/stat : 6473 (java) S 6410 6410 6155 0 -1 1077944384 268 0 0 0 7 0 0 0 20 0 24 0 499806428 8616062976 31144 33554432000 4194304 4196468 140725448968928 140423381108720 140424423897730 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18448384 140725448975328 140725448975494 140725448975494 140725448978383 0 [pid=6458/tid=6474] ppid=6410 vsize=8414124 memory=1476 CPUtime=0.09 cores=0-7 /proc/6458/task/6474/stat : 6474 (java) S 6410 6410 6155 0 -1 1077944384 358 0 0 0 9 0 0 0 20 0 24 0 499806428 8616062976 31144 33554432000 4194304 4196468 140725448968928 140423380056432 140424423897730 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18448384 140725448975328 140725448975494 140725448975494 140725448978383 0 [pid=6458/tid=6475] ppid=6410 vsize=8414124 memory=123952 CPUtime=0.23 cores=0-7 /proc/6458/task/6475/stat : 6475 (java) S 6410 6410 6155 0 -1 1077944384 807 0 0 0 23 0 0 0 20 0 24 0 499806428 8616062976 31144 33554432000 4194304 4196468 140725448968928 140423379003632 140424423897730 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18448384 140725448975328 140725448975494 140725448975494 140725448978383 0 [pid=6458/tid=6476] ppid=6410 vsize=8414124 memory=1782424 CPUtime=0 cores=0-7 /proc/6458/task/6476/stat : 6476 (java) S 6410 6410 6155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 499806428 8616062976 31144 33554432000 4194304 4196468 140725448968928 140421875362656 140424423896789 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18448384 140725448975328 140725448975494 140725448975494 140725448978383 0 [pid=6458/tid=6477] ppid=6410 vsize=8414124 memory=0 CPUtime=0.28 cores=0-7 /proc/6458/task/6477/stat : 6477 (java) S 6410 6410 6155 0 -1 1077944384 35 0 0 0 8 20 0 0 20 0 24 0 499806428 8616062976 31144 33554432000 4194304 4196468 140725448968928 140423377951536 140424423897730 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18448384 140725448975328 140725448975494 140725448975494 140725448978383 0 [pid=6458/tid=6479] ppid=6410 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/6458/task/6479/stat : 6479 (java) S 6410 6410 6155 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 499806495 8616062976 31144 33554432000 4194304 4196468 140725448968928 140423369918272 140424423911193 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 18448384 140725448975328 140725448975494 140725448975494 140725448978383 0 [pid=6458/tid=6481] ppid=6410 vsize=8414124 memory=0 CPUtime=0.04 cores=0-7 /proc/6458/task/6481/stat : 6481 (java) S 6410 6410 6155 0 -1 4202560 1742 0 0 0 2 2 0 0 20 0 24 0 499806495 8616062976 31144 33554432000 4194304 4196468 140725448968928 140421204262448 140424423908509 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 18448384 140725448975328 140725448975494 140725448975494 140725448978383 0 [pid=6458/tid=6482] ppid=6410 vsize=8414124 memory=111632 CPUtime=0 cores=0-7 /proc/6458/task/6482/stat : 6482 (java) S 6410 6410 6155 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 499806495 8616062976 31144 33554432000 4194304 4196468 140725448968928 140421472697616 140424423908509 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 18448384 140725448975328 140725448975494 140725448975494 140725448978383 0 [pid=6458/tid=6483] ppid=6410 vsize=8414124 memory=796 CPUtime=0 cores=0-7 /proc/6458/task/6483/stat : 6483 (java) S 6410 6410 6155 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 499806497 8616062976 31144 33554432000 4194304 4196468 140725448968928 140420935834928 140424423896789 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18448384 140725448975328 140725448975494 140725448975494 140725448978383 0 Current children cumulated CPU time: 377.84 s Current children cumulated vsize: 8527252 KiB Current children cumulated memory: 126052 KiB Child status: 0 Real time (s): 773.773 CPU time (s): 4166.52 CPU user time (s): 4133.14 CPU system time (s): 33.3899 CPU usage (%): 538.468 Max. virtual memory (cumulated for all children) (KiB): 27441856 Max. memory (cumulated for all children) (KiB): 12751432 getrusage(RUSAGE_CHILDREN,...) data: user time used= 4133.14 system time used= 33.3899 maximum resident set size= 12752120 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 6008973 page faults= 0 swaps= 0 block input operations= 0 block output operations= 119592 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 570408 involuntary context switches= 40657 # summary of solver processes directly reported to runsolver: # pid: 6410 # total CPU time (s): 4166.52 # total CPU user time (s): 4133.14 # total CPU system time (s): 33.3899 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 6.32394 second user time and 9.7062 second system time The end
Begin job on node147 at 2019-09-23 13:36:49 IDJOB=4405459 IDBENCH=121201 IDSOLVER=2868 FILE ID=node147/4405459-1569238653 RUNJOBID= node147-1569238584-6182 PBS_JOBID= 21704895 Free space on /var/tmp= 13500 MiB SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-09-22) BENCH NAME= XCSP17/Random/Random-m1-7-40-8t/rand-7-40-8-40-15000-9.xml COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -hybrid DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405459-1569238653/watcher-4405459-1569238653 -o /var/tmp/evaluation-result-4405459-1569238653/solver-4405459-1569238653 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node147-1569238584-6182 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405459-1569238653.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 134b875ea7bd230347634fe517213ca9 RANDOM SEED=600633216 node147.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.52 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.52 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.52 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.52 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: 24851692 kB MemAvailable: 31776788 kB Buffers: 134596 kB Cached: 6844876 kB SwapCached: 68664 kB Active: 3447228 kB Inactive: 3602924 kB Active(anon): 2844 kB Inactive(anon): 126092 kB Active(file): 3444384 kB Inactive(file): 3476832 kB Unevictable: 107756 kB Mlocked: 107756 kB SwapTotal: 67108860 kB SwapFree: 66935948 kB Dirty: 29756 kB Writeback: 0 kB AnonPages: 112096 kB Mapped: 55980 kB Shmem: 49088 kB Slab: 460784 kB SReclaimable: 432340 kB SUnreclaim: 28444 kB KernelStack: 3376 kB PageTables: 5244 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 513956 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 67584 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /var/tmp at the end= 13480 MiB End job on node147 at 2019-09-23 13:49:43